The objective of this study was to describe the characteristics of neonatal and pediatric intensive care units (ICU) and beds in Rio de Janeiro, correlating with population demands in 1997 and 2007. All neonatal and pediatric ICUs were visited, identifying the availability and type of beds. Comparisons were made between: supply and demand using projected need for beds for the population; public...

This paper deals with formal foundations for a subset of the UML notation (subset of class diagrams and constraints in OCL). There are already various proposals for semantics of UML and a few for OCL. Nevertheless, it is argued that these approaches are not fully adequate for building a conceptual bridge between the programming artifacts produced from UML/OCL and the formal semantics. A differe...

Any which way but loose back-to-back arrangement of kinetochores is not needed for correct alignment on the mitotic spindle, as shown by Hilary Dewar, Tomoyuki Tanaka (University of Dundee, UK), and colleagues. Sister chromatids are glued together by cohesin such that their kinetochores face opposing poles. This arrangement might thus prevent both chromatids from attaching to spindle microtubul...

Although multithreading can improve performance, it is a source of nondeterminism in application behavior. Existing approaches to replicating multithreaded applications either synchronize replicas at interrupt level, at the expense of performance, or use a nonpreemptive deterministic scheduler, at the expense of concurrency. This paper presents a loose synchronization algorithm for ensuring det...

The rovers, which some researchers and agencies are developing, have many functions to sense a lot of information from peculiar environments like the lunar surface for localization, path planning and so on. On rough terrain, without artificial ground maintenance, like the lunar surface, the rovers avoid obstacles by using sensors, which they have. However, if the rovers traverse loose soil, lik...

In this paper we define the loose block independence property for positive entropy Zd actions and extend some of the classical results to higher dimensions. In particular, we prove that two loose block independent actions are even Kakutani equivalent if and only if they have the same entropy. We also prove that for d > 1 the ergodic, isometric extensions of the positive entropy loose block inde...