In this paper we describe the development of model checking from BDD-based verification, through SAT-based bug finding, to Interpolation-based verification. Model checking is an automatic approach to formally verifying that a given system satisfies a given specification. BDD-based Symbolic Model Checking (SMC) was the first to enable model checking of real-life designs with a few hundreds of st...

OBJECTIVE To validate the causes of death determined with a single verbal autopsy instrument covering all age groups in the Agincourt subdistrict of rural South Africa. METHODS Verbal autopsies (VAs) were conducted on all deaths recorded during annual demographic and health surveillance over a 3-year period (1992-95) in a population of about 63 000 people. Trained fieldworkers elicited signs ...

The authors examined changes in morbidity and mortality from 1979 through 1992 during the Stanford Five-City Project, a comprehensive community health education study conducted in northern California. The intervention (1980-1986), a multiple risk factor strategy delivered through multiple educational methods, targeted all residents in two treatment communities. Potentially fatal and nonfatal my...

introduction: as the statistical time series are in short period and the meteorological station are not distributed well in mountainous area determining of climatic criteria are complex. therefore, in recent years interpolation methods for establishment of continuous climatic data have been considered. continuous daily maximum temperature data are a key factor for climate-crop modeling which is...

F 1979 through 1996, dog attacks resulted in more than 300 human dog bite-related fatalities (DBRF) in the United States. Most victims were children. Studies indicate that pit bull-type dogs were involved in approximately a third of human DBRF reported during the 12-year period from 1981 through 1992, and Rottweilers were responsible for about half of human DBRF reported during the 4 years from...

BACKGROUND Cross-sectional analyses of national data have found that persons with high baseline body mass index (BMI) gain weight faster than persons at the median and that those whose weight was below the median gain very little weight. However, it is not clear whether these population-level changes reflect patterns at the individual level. METHODS We examined longitudinal changes in BMI in ...

BACKGROUND From 1970 to 1990 increasing rates of asthma and allergic sensitisation were observed in several countries. The aim of this study was to investigate time trends in the prevalence of asthma and allergic sensitisation among school children in Germany between 1992 and 2001. METHODS Parental reports of asthma, hay fever, and wheezing and measurements of specific serum IgE antibodies we...

A study of temporal trends in mammography screening and changes in stage of disease at diagnosis was conducted among Hispanic and non-Hispanic white female members of the Lovelace Health Plan, Flexcare Plan, and Lovelace Senior Plan/Senior Options (LHP), a managed care organization. Two-year screening rates for female members ages 50-74 years were calculated for 1989-1996. From 1989-1996, mammo...

Relapse is the main reason for treatment failure in childhood acute lymphoblastic leukemia. Despite improvements in the up-front therapy, survival after relapse is still relatively poor, especially for high-risk relapses. The aims of this study were to assess outcomes following acute lymphoblastic leukemia relapse after common initial Nordic Society of Paediatric Haematology and Oncology protoc...

A huge amount of geographical datasets are becoming available in distributed environments like Spatial Data Infrastructures (SDI). These datasets are very heterogeneous since they come from different independent sources and surveys and are structured in different formats. In the context of a national SDI that needs to assure an adequate quality level of the data it provides, it is necessary to ...