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.

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...