Sawja: Static Analysis Workshop for Java

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs

Absence of association between behavior problems in childhood and hypertension in midlife

Background It is known that behavior in childhood is associated with certain physical and mental health problems in midlife. However, there is limited evidence on the role of childhood behavior problems in the development of hypertension in adulthood. The present study aimed to examine whether behavior problems in childhood influenced the risk of hypertension in midlife in the United Kingdom 1958 birth cohort. Methods The 1958 British birth cohort comprised 17,638 individuals born in the first week of March 1958 in the United Kingdom. Behavior problems were assessed at 7, 11, and 16 years of age by parents and teachers. At age 45, blood pressure was measured and hypertension was recorded if blood pressure was ≥140/90 mm Hg or if the participants were informed by their health professionals that they had high blood pressure. Behavioral information was reported according to the Rutter Children's Behaviour Questionnaire (RCBQ) and the Bristol Social Adjustment Guide (BSAG). Odds ratios (ORs) and 95% confidence intervals (CIs) were calculated to examine behavior problems in childhood in relation to hypertension at 45 years of age according to logistic regression analysis, with adjustment for sex, social class in childhood and adulthood, childhood cognition, birth weight, gestational age at birth, body mass index (BMI), smoking, alcohol consumption, and physical activity. Results Behavior problems reported by parents at 7, 11, and 16 years were not associated with hypertension in midlife (OR, 0.93; 95% CI, 0.81, 1.07; OR, 0.95; 95% CI, 0.81, 1.11; OR, 0.98; 95% CI, 0.85, 1.12, respectively). Similarly, teacher-reported behavior problems at 7, 11, and 16 years were not associated with hypertension in midlife (OR, 0.92; 95% CI, 0.72, 1.18; OR, 0.92; 95% CI, 0.84, 1.02; OR, 1.03; 95% CI, 0.92, 1.15, respectively). Further separate analyses showed similar results for males and females. Conclusion There is no association between behavior problems in childhood and hypertension in midlife

Use of the bootstrap in analysing cost data from cluster randomised trials: some simulation results

BACKGROUND: This work has investigated under what conditions confidence intervals around the differences in mean costs from a cluster RCT are suitable for estimation using a commonly used cluster-adjusted bootstrap in preference to methods that utilise the Huber-White robust estimator of variance. The bootstrap's main advantage is in dealing with skewed data, which often characterise patient costs. However, it is insufficiently well recognised that one method of adjusting the bootstrap to deal with clustered data is only valid in large samples. In particular, the requirement that the number of clusters randomised should be large would not be satisfied in many cluster RCTs performed to date. METHODS: The performances of confidence intervals for simple differences in mean costs utilising a robust (cluster-adjusted) standard error and from two cluster-adjusted bootstrap procedures were compared in terms of confidence interval coverage in a large number of simulations. Parameters varied included the intracluster correlation coefficient, the sample size and the distributions used to generate the data. RESULTS: The bootstrap's advantage in dealing with skewed data was found to be outweighed by its poor confidence interval coverage when the number of clusters was at the level frequently found in cluster RCTs in practice. Simulations showed that confidence intervals based on robust methods of standard error estimation achieved coverage rates between 93.5% and 94.8% for a 95% nominal level whereas those for the bootstrap ranged between 86.4% and 93.8%. CONCLUSION: In general, 24 clusters per treatment arm is probably the minimum number for which one would even begin to consider the bootstrap in preference to traditional robust methods, for the parameter combinations investigated here. At least this number of clusters and extremely skewed data would be necessary for the bootstrap to be considered in favour of the robust method. There is a need for further investigation of more complex bootstrap procedures if economic data from cluster RCTs are to be analysed appropriately

Are we willing to give what it takes? Willingness to pay for climate change adaptation in developing countries

Climate change adaptation is gaining traction as a necessary policy alongside mitigation, particularly for developing countries, many of which lack the resources to adapt. However, funding for developing country adaptation remains woefully inadequate. This paper identifies the burden of responsibility that individuals in the UK are willing to incur in support of adaptation projects in developing countries. Results from a nationally representative survey indicate that UK residents are willing to contribute £27 per year (or a median of £6 per year) towards developing country adaptation (US$30 and$7 using the World Bank’s purchasing power conversion factors). This represents less than one third of the back-of-the-envelope $100-140 per capita per year that the authors estimate would be needed to raise the$70-100bn per year recommended by the World Bank to fund developing country adaptation. Regressions indicate that WTP is driven mostly by a combination of beliefs and perceptions about one’s own knowledge levels, rather than actual knowledge of climate change. We conclude that, to engage the many different audiences that make up the ‘public’, communication efforts must move beyond the simple provision of information and instead, connect with people’s existing values and beliefs

Translation to practice: a randomised controlled study of an evidenced based booklet targeted at breast care nurses in the United Kingdom

BACKGROUND: In the United Kingdom (UK), it was documented that a problem of knowledge transfer existed within the speciality of breast-cancer care, thus depriving patients of receiving optimal care. Despite increasingly robust research evidence indicating recommendation of whole body exercise for people affected by breast cancer, commensurate changes to practice were not noted amongst breast-care nurses (BCNs). AIM: To evaluate the effect of a targeted booklet, Exercise and Breast Cancer: A Booklet for Breast-Care Nurses, on changes in knowledge, reported practice, and attitudes of BCNs in the UK. METHOD: A prospective, experimental approach was used for designing a pre- and post-test randomised controlled study. Comparisons of knowledge, reported practice, and attitudes based on responses to a questionnaire were made at two time-points in two groups of BCNs (control and experimental). The unit of randomisation and analysis was hospital clusters of BCNs. The sample comprised 92 nurses from 62 hospitals. Analysis consisted of descriptive statistics and clustered regression techniques: clustered logistic regression for knowledge items, clustered linear regression for knowledge scores, ologit for attitude and reported practice items, and clustered multiple regression for paired and multiple variable analysis. RESULTS: A statistically significant increase in knowledge and changes in reported practice and attitudes were found. Robust variables affecting knowledge acquisition were: promotion of health, promotion of exercise, and understanding how exercise can reduce cancer-related fatigue. DISCUSSION: The study has shown that evidence-based printed material, such as an information booklet, can be used as an effective research dissemination method when developed for needs, values, and context of a target audience. CONCLUSIONS: This practical approach to research dissemination could be replicated and applied to other groups of nurses.</p

Healthcare workers and health care-associated infections: knowledge, attitudes, and behavior in emergency departments in Italy

<p>Abstract</p> <p>Background</p> <p>This survey assessed knowledge, attitudes, and compliance regarding standard precautions about health care-associated infections (HAIs) and the associated determinants among healthcare workers (HCWs) in emergency departments in Italy.</p> <p>Methods</p> <p>An anonymous questionnaire, self-administered by all HCWs in eight randomly selected non-academic acute general public hospitals, comprised questions on demographic and occupational characteristics; knowledge about the risks of acquiring and/or transmitting HAIs from/to a patient and standard precautions; attitudes toward guidelines and risk perceived of acquiring a HAI; practice of standard precautions; and sources of information.</p> <p>Results</p> <p>HCWs who know the risk of acquiring Hepatitis C (HCV) and Human Immunodeficiency Virus (HIV) from a patient were in practice from less years, worked fewer hours per week, knew that a HCW can transmit HCV and HIV to a patient, knew that HCV and HIV infections can be serious, and have received information from educational courses and scientific journals. Those who know that gloves, mask, protective eyewear, and hands hygiene after removing gloves are control measures were nurses, provided care to fewer patients, knew that HCWs' hands are vehicle for transmission of nosocomial pathogens, did not know that a HCW can transmit HCV and HIV to a patient, and have received information from educational courses and scientific journals. Being a nurse, knowing that HCWs' hands are vehicle for transmission of nosocomial pathogens, obtaining information from educational courses and scientific journals, and needing information were associated with a higher perceived risk of acquiring a HAI. HCWs who often or always used gloves and performed hands hygiene measures after removing gloves were nurses, provided care to fewer patients, and knew that hands hygiene after removing gloves was a control measure.</p> <p>Conclusions</p> <p>HCWs have high knowledge, positive attitudes, but low compliance concerning standard precautions. Nurses had higher knowledge, perceived risk, and appropriate HAIs' control measures than physicians and HCWs answered correctly and used appropriately control measures if have received information from educational courses and scientific journals.</p

RNA-Seq based phylogeny recapitulates previous phylogeny of the genus Flaveria (Asteraceae) with some modifications.

BACKGROUND: The genus Flaveria has been extensively used as a model to study the evolution of C4 photosynthesis as it contains C3 and C4 species as well as a number of species that exhibit intermediate types of photosynthesis. The current phylogenetic tree of the genus Flaveria contains 21 of the 23 known Flaveria species and has been previously constructed using a combination of morphological data and three non-coding DNA sequences (nuclear encoded ETS, ITS and chloroplast encoded trnL-F). RESULTS: Here we developed a new strategy to update the phylogenetic tree of 16 Flaveria species based on RNA-Seq data. The updated phylogeny is largely congruent with the previously published tree but with some modifications. We propose that the data collection method provided in this study can be used as a generic method for phylogenetic tree reconstruction if the target species has no genomic information. We also showed that a "F. pringlei" genotype recently used in a number of labs may be a hybrid between F. pringlei (C3) and F. angustifolia (C3-C4). CONCLUSIONS: We propose that the new strategy of obtaining phylogenetic sequences outlined in this study can be used to construct robust trees in a larger number of taxa. The updated Flaveria phylogenetic tree also supports a hypothesis of stepwise and parallel evolution of C4 photosynthesis in the Flavaria clade

Risk factors for high anti-HHV-8 antibody titers (≥1:51,200) in black, HIV-1 negative South African cancer patients: a case control study

Background: Infection with human herpesvirus 8 (HHV-8) is the necessary causal agent in the development of Kaposi's sarcoma (KS). Infection with HIV-1, male gender and older age all increase risk for KS. However, the geographic distribution of HHV-8 and KS both prior to the HIV/AIDS epidemic and with HIV/AIDS suggest the presence of an additional co-factor in the development of KS. Methods: Between January 1994 and October 1997, we interviewed 2576 black in-patients with cancer in Johannesburg and Soweto, South Africa. Blood was tested for antibodies against HIV-1 and HHV-8 and the study was restricted to 2191 HIV-1 negative patients. Antibodies against the latent nuclear antigen of HHV-8 encoded by orf73 were detected with an indirect immunofluorescence assay. We examined the relationship between high anti-HHV-8 antibody titers (≥1:51,200) and sociodemographic and behavioral factors using unconditional logistic regression models. Variables that were significant at p = 0.10 were included in multivariate analysis. Results: Of the 2191 HIV-1 negative patients who did not have Kaposi's sarcoma, 854 (39.0%) were positive for antibodies against HHV-8 according to the immunofluorescent assay. Among those seropositive for HHV-8, 530 (62.1%) had low titers (1:200), 227 (26.6%) had medium titers (1:51,200) and 97 (11.4%) had highest titers (1:204,800). Among the 2191 HIV-1 negative patients, the prevalence of high anti-HHV-8 antibody titers (≥1:51,200) was independently associated with increasing age (ptrend = 0.04), having a marital status of separated or divorced (p = 0.003), using wood, coal or charcoal as fuel for cooking 20 years ago instead of electricity (p = 0.02) and consuming traditional maize beer more than one time a week (p = 0.02; p-trend for increasing consumption = 0.05) although this may be due to chance given the large number of predictors considered in this analysis. Conclusions: Among HIV-negative subjects, patients with high anti-HHV-8 antibody titers are characterized by older age. Other associations that may be factors in the development of high anti- HHV-8 titers include exposure to poverty or a low socioeconomic status environment and consumption of traditional maize beer. The relationship between these variables and high anti- HHV-8 titers requires further, prospective study