The time has come to introduce ourselves as Editors-in-Chief of Cadernos de Saúde Pública/Reports in Public Health (CSP). The Director of the Sergio Arouca National School of Public Health at the Oswaldo Cruz Foundation (ENSP/Fiocruz) has honored us with the invitation to occupy this joint position. First, we wish to express our heartfelt recognition for the work of Carlos Coimbra Jr., whose le...

We use a combination of three techniques for the specification of processes, data and time: CSP, Object-Z and Duration Calculus. Whereas the combination of CSP and Object-Z is well established by the work of C. Fischer [2, 3], the integration with Duration Calculus is new. The combination is used to specify parts of a novel case study on radio controlled railway crossings.

Classiications of the relationship between two spatial regions have been widely studied and include the 4-intersection and 9-intersection models of Egenhofer, and the RCC5 and RCC8 schemes of Cohn and his colleagues. This paper presents a new way of describing the RCC5 relation between two regions. The technique depends only on the notions of part and complement, and the central theme of the pa...

A prospective study of the relation between scores on the six subscales of the Crown-Crisp experiential index and subsequent incidence of ischaemic heart disease was undertaken among participants in the Northwick Park heart study. Results from 1457 white men aged 40-64 at recruitment showed that phobic anxiety was strongly related to subsequent major ischaemic heart disease (fatal and non-fatal...

The CRISP-DM (CRoss Industry Standard Process for Data Mining) project proposed a comprehensive process model for carrying out data mining projects. The process model is independent of both the industry sector and the technology used. In this paper we argue in favor of a standard process model for data mining and report some experiences with the CRISP-DM process model in practice. We applied an...

We consider weighted tree automata (wta) over strong bimonoids and their initial algebra semantics run semantics. There are wta for which these different; however, bottom-up deterministic semirings, the difference vanishes. A is crisp-deterministic if it each transition by one of unit elements bimonoid. prove that class languages recognized same as recognizable step mappings. Moreover, we inves...