A longitudinal study launched in 1994 within the framework of the Teplice Programme aimed at comparing the respiratory morbidity in children born (1994-1998) and living in the districts of Teplice (TE) and Prachatice (PRA) in the Czech Republic. Lists of all illnesses of 960 children from birth to 10 years of age were obtained from paediatric medical records. From 26,471 diagnoses (in ICD-10 co...

2009 This document contains the first part of the M2R course RAPA: Automated Reasoning: Principle and Applications. It presents the basis of first-order logic and automated deduction: syntax, semantics, transformation into clausal form, unification and the Resolution calculus (with selection functions and atom ordering). Some basic properties of the Resolution calculus are also investigated (w....

A key document in the development of thinking concerning town planning strategy. Itbegins from the challenges of changing population and socio-economic shifts inpopulation, changing town centres and the impact of public policies. It concludes byoutlining proposals for a town centre focus involving town centre management,planning proposals, transport considerations and local ...