Analogical transfer of verification proofs for state-based specifications

The amount of user interaction is the prime cause of costs in interactive program verification. This paper describes an internal analogy technique that reuses subproofs in the verification of state-based specifications. It identifies common patterns of subproofs and their justifications in order reuse these subproofs; thus significant savings on the number of user interactions in a verification proof are achievable

Case studies of non-freely generated data types

In this report we shall present case studies of different data type specifications for natural numbers, for integers, for finite lists, for finite lists with an additional error element, for finite sets, for binary words, for commutative trees, and for arrays. Furthermore, this report contains a collection of constructive function and predicate specifications, whose recursion orderings are shown to be well-founded

Interactions between genes and environmental factors in asthma and atopy: new developments

Asthma and associated phenotypes are complex traits most probably caused by an interaction of multiple disease susceptibility genes and environmental factors. Major achievements have occurred in identifying chromosomal regions and polymorphisms in candidate genes linked to or associated with asthma, atopic dermatitis, IgE levels and response to asthma therapy. The aims of this review are to explain the methodology of genetic studies of multifactorial diseases, to summarize chromosomal regions and polymorphisms in candidate genes linked to or associated with asthma and associated traits, to list genetic alterations that may alter response to asthma therapy, and to outline genetic factors that may render individuals more susceptible to asthma and atopy due to environmental changes

Physical and rehabilitation medicine (PRM) care pathways: Adults with severe traumatic brain injury

AbstractThis document is part of a series of guidelines documents designed by the French Physical and Rehabilitation Medicine Society (SOFMER) and the French Federation of PRM (FEDMER). These reference documents focus on a particular pathology (here patients with severe TBI). They describe for each given pathology patients’ clinical and social needs, PRM care objectives and necessary human and material resources of the pathology-dedicated pathway. ‘Care pathways in PRM’ is therefore a short document designed to enable readers (physician, decision-maker, administrator, lawyer, finance manager) to have a global understanding of available therapeutic care structures, organization and economic needs for patients’ optimal care and follow-up. After a severe traumatic brain injury, patients might be divided into three categories according to impairment's severity, to early outcomes in the intensive care unit and to functional prognosis. Each category is considered in line with six identical parameters used in the International Classification of Functioning, Disability and Health (World Health Organization), focusing thereafter on personal and environmental factors liable to affect the patients’ needs

Fuel cycle modelling of open cycle thorium-fuelled nuclear energy systems

In this study, we have sought to determine the advantages, disadvantages, and viability of open cycle thorium–uranium-fuelled (Th–U-fuelled) nuclear energy systems. This has been done by assessing three such systems, each of which requires uranium enriched to ∼20% 235U, in comparison to a reference uranium-fuelled (U-fuelled) system over various performance indicators, spanning material flows, waste composition, economics, and proliferation resistance. The values of these indicators were determined using the UK National Nuclear Laboratory’s fuel cycle modelling code ORION. This code required the results of lattice-physics calculations to model the neutronics of each nuclear energy system, and these were obtained using various nuclear reactor physics codes and burn-up routines. In summary, all three Th–U-fuelled nuclear energy systems required more separative work capacity than the equivalent benchmark U-fuelled system, with larger levelised fuel cycle costs and larger levelised cost of electricity. Although a reduction of ∼6% in the required uranium ore per kWh was seen for one of the Th–U-fuelled systems compared to the reference U-fuelled system, the other two Th–U-fuelled systems required more uranium ore per kWh than the reference. Negligible advantages and disadvantages were observed for the amount and the properties of the spent nuclear fuel (SNF) generated by the systems considered. Two of the Th–U-fuelled systems showed some benefit in terms of proliferation resistance of the SNF generated. Overall, it appears that there is little merit in incorporating thorium into nuclear energy systems operating with open nuclear fuel cycles

Mycoplasma pneumoniae infection in patients with Kawasaki disease

PurposeKawasaki disease (KD) is the main cause of acquired heart disease in children. In addition to cardiovascular involvement, many complications have been recognized in KD. However, respiratory complications have been rarely reported. We investigated the differences in clinical characteristics, laboratory findings, radiography findings, and echocardiography findings of Mycoplasma pneumoniae infection and other types of pneumonia in KD patients.MethodsAmong 358 patients with KD, 54 developed concurrent pneumonia. Among the 54 patients, 12 (22.2%) with high titers of anti-M. pneumoniae antibody (AMA) (>1:640) were grouped in the M. pneumoniae group and 42 were included in the control group. Serum AMA was measured in each patient. Clinical laboratory findings and total duration of fever were analyzed.ResultsThe duration of fever, serum hemoglobin, white blood cell count, platelet count, erythrocyte sedimentation rate, C-reactive protein level, albumin level, and the incidence of coronary arterial lesions showed no statistical difference in the 2 groups. Neutrophil count was significantly higher in the M. pneumoniae group than in the control group. Among various radiography findings observed in pneumonia, consolidation and pleural effusion were more frequent in the M. pneumoniae group than in the control group. On the other hand, parahilar peribronchial opacification, diffuse interstitial lesion, and normal findings prevailed in the control group.ConclusionKD patients can have concurrent infections, especially pulmonary symptoms. The cause of KD is likely to be associated with M. pneumoniae infection. Thus, immediate treatment of M. pneumoniae infection in KD patients is very important

Prevalence of urinary incontinence in Andorra: impact on women's health.

BACKGROUND: Urinary incontinence (UI) is a frequent public health problem with negative social consequences, particularly for women. Female susceptibility is the result of anatomical, social, economic and cultural factors. The main objectives of this study are to evaluate the prevalence of UI in the female population of Andorra over the age of 15 and, specifically, to determine the influence of socio-demographic factors. A secondary aim of the study is to measure the degree of concern associated with UI and whether the involved subjects have asked for medical assistance, or not. METHODS: Women aged 15 and over, answered a self-administered questionnaire while attending professional health units in Andorra during the period November 1998 to January 2000. A preliminary study was carried out to ensure that the questionnaire was both understandable and simple. RESULTS: 863 completed questionnaires were obtained during a one year period. The breakdown of the places where the questionnaires were obtained and filled out is as follows: 32.4% – medical specialists' offices; 31.5% – outpatient centres served exclusively by nurses; 24% – primary care doctors' offices; 12% from other sources. Of the women who answered the questionnaire, 37% manifested urine losses. Of those,45.3% presented regular urinary incontinence (RUI) and 55.7% presented sporadic urinary incontinence (SporadicUI). In those women aged between 45 and 64, UI was present in 56% of the subjects. UI was more frequent among parous than non-parous women. UI was perceived as a far more bothersome and disabling condition by working, middle-class women than in other socio-economic groups. Women in this particular group are more limited by UI, less likely to seek medical advice but more likely to follow a course of treatment. From a general point of view, however, less than 50% of women suffering from UI sought medical advice. CONCLUSION: The prevalence of UI in the female population of Andorra stands at about 37%, a statistic which should encourage both health professionals and women to a far greater awareness of this condition

CD14 C-159T and Toll-Like Receptor 4 Asp299Gly Polymorphisms in Surviving Meningococcal Disease Patients

BACKGROUND: Carriage of Neisseria meningitidis occurs approximately in 10% of the population, onset of invasive meningococcal disease (IMD) cannot be predicted and differs between ages. It remains unclear, which host factors determine invasion of the bloodstream by the bacteria. Innate immunity has a very important role in the first recognition of invading pathogens. The functional single nucleotide polymorphisms (SNPs) CD14 C-159T and toll-like receptor 4 (TLR4) Asp299Gly have been associated with the risk of gram-negative infections. However, their role in development of IMD still remains unclear. Our aim was to investigate the influence of CD14 C-159T and TLR4 Asp299Gly polymorphisms on the risk of IMD. METHODOLOGY/PRINCIPAL FINDINGS: It was a retrospective case control study. Surviving Austrian meningococcal disease patients were enrolled by sending buccal swabs for DNA analysis. 185 cases with a proven meningococcal infection and 770 healthy controls were enrolled. In surviving meningococcal disease patients DNA analysis of CD14 C-159T and TLR 4 Asp299Gly polymorphisms was performed, as they are part of the innate immune response to bacterial determinants. CD14 C-159T and TLR4 Asp299Gly SNPs were not significantly associated with the presence of IMD when compared to healthy controls. The odds ratio for CD14 C-159T SNP was 1.14 (95% confidence interval (CI) 0.91-1.43; p = 0.266). In TLR4 Asp 299 Gly SNP the odds ratio was 0.78 (CI 0.47-1.43; p = 0.359). CONCLUSION/SIGNIFICANCE: We could not observe a significant influence of CD14 C-159T and TLR4 Asp299Gly polymorphisms on the risk of developing IMD in surviving meningococcal disease patients. To our knowledge, this is the first study investigating the influence of the CD14 C-159T SNP on the susceptibility to IMD