Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Learning about life and death in early childhood

Inagaki and Hatano (2002) have argued that young children initially understand biological phenomena in terms of vitalism, a mode of construal in which life or life-force is the central causal-explanatory concept. This study investigated the development of vitalistic reasoning in young children's concepts of life, the human body and death. Sixty preschool children between the ages of 3 years, 7 months and 5 years, 11 months participated. All children were initially given structured interviews to assess their knowledge of (1) human body function and (2) death. From this sample 40 children in the Training group were taught about the human body and how it functions to maintain life. The Control group (n = 20) received no training. All 60 children were subsequently reassessed on their knowledge of human body function and death. Results from the initial interviews indicated that young children who spontaneously appealed to vitalistic concepts in reasoning about human body functioning were also more sophisticated in their understanding of death. Results from the posttraining interviews showed that children readily learned to adopt a vitalistic approach to human body functioning, and that this learning coincided with significant development in their understanding of human body function, and of death. The overall pattern of results supports the claim that the acquisition of a vitalistic causal-explanatory framework serves to structure children's concepts and facilitates learning in the domain of biology. (C) 2003 Elsevier Science (USA). All rights reserved.

Modified logit life table system: Principles, empirical validation, and application

Despite its widespread use, the Coale-Demeny model life table system does not capture the extensive variation in age-specific mortality patterns observed in contemporary populations, particularly those of the countries of Eastern Europe and populations affected by HIV/AIDS. Although relational mortality models, such as the Brass logit system, can identify these variations, these models show systematic bias in their predictive ability as mortality levels depart from the standard. We propose a modification of the two-parameter Brass relational model. The modified model incorporates two additional age-specific correction factors (gamma(x), and theta(x)) based on mortality levels among children and adults, relative to the standard. Tests of predictive validity show deviations in age-specific mortality rates predicted by the proposed system to be 30-50 per cent lower than those predicted by the Coale-Demeny system and 15-40 per cent lower than those predicted using the original Brass system. The modified logit system is a two-parameter system, parameterized using values of l(5) and l(60).