Bounded Model Checking for Probabilistic Programs

In this paper we investigate the applicability of standard model checking approaches to verifying properties in probabilistic programming. As the operational model for a standard probabilistic program is a potentially infinite parametric Markov decision process, no direct adaption of existing techniques is possible. Therefore, we propose an on-the-fly approach where the operational model is successively created and verified via a step-wise execution of the program. This approach enables to take key features of many probabilistic programs into account: nondeterminism and conditioning. We discuss the restrictions and demonstrate the scalability on several benchmarks

Best practice standards for the delivery of NHS infection services in the United Kingdom

Infection expertise in the NHS has historically been provided predominantly by hospital-based medical microbiologists responsible for provision of diagnostic services and advice to front-line clinicians. While most hospitals had consultant-led microbiology departments, infectious iiseases departments were based in a small number of specialist centres. The demand for infection expertise is growing in the NHS, driven by advances in medical care, increasing awareness of the impact of antibiotic resistant and healthcare associated infections and threats from emerging infectious diseases. At the same time diagnostic services are being reorganised into pathology networks. The Combined Infection Training (CIT) is delivering a consultant workforce with expertise both in laboratory diagnostic practice and delivery of direct patient care. These changes create challenges for delivery of high quality infection expertise equitably across the NHS. They also offer an opportunity to shape infection services to meet clinical and laboratory demands. To date there has not been an attempt to bring together a single set of best practice guidelines for the requirements of an infection service. This document sets out seven standards. These are written to be practical and flexible according to the diverse ways in which infection expertise may be required across the NHS. It has been prepared by the Clinical Services Committee of the British Infection Association drawing on published evidence and guidance where they exist and on the group's extensive experience of delivering infection services in hospitals across the NHS. It was then refined with input from the RCP Joint Specialist committee (JSC) and the RCPath Specialist Advisory Committee (SAC) and through consultation with the RCPath membership. It has been endorsed by the Royal College of Pathologists and the Royal College of Physicians. It will be reviewed annually by the CSC and updated as additional evidence becomes available

Integrating complementary and alternative medicine into academic medical centers: Experience and perceptions of nine leading centers in North America

BACKGROUND: Patients across North America are using complementary and alternative medicine (CAM) with increasing frequency as part of their management of many different health conditions. The objective of this study was to develop a guide for academic health sciences centers that may wish to consider starting an integrative medicine program. METHODS: We queried North American leaders in the field of integrative medicine to identify initial sites. Key stakeholders at each of the initial sites visited were then asked to identify additional potential study sites (snowball sampling), until no new sites were identified. We conducted structured interviews to identify critical factors associated with success and failure in each of four domains: research, education, clinical care, and administration. During the interviews, field notes were recorded independently by at least two investigators. Team meetings were held after each visit to reach consensus on the information recorded and to ensure that it was as complete as possible. Content analysis techniques were used to identify key themes that emerged from the field notes. RESULTS: We identified ten leading North American integrative medical centers, and visited nine during 2002–2003. The centers visited suggested that the initiation of an integrative medicine program requires a significant initial outlay of funding and a motivated "champion". The centers had important information to share regarding credentialing, medico-legal issues and billing for clinical programs; identifying researchers and research projects for a successful research program; and strategies for implementing flexible educational initiatives and establishing a functional administrative structure. CONCLUSION: Important lessons can be learned from academic integrative programs already in existence. Such initiatives are timely and feasible in a variety of different ways and in a variety of settings

Why Do Dolphins Carry Sponges?

Tool use is rare in wild animals, but of widespread interest because of its relationship to animal cognition, social learning and culture. Despite such attention, quantifying the costs and benefits of tool use has been difficult, largely because if tool use occurs, all population members typically exhibit the behavior. In Shark Bay, Australia, only a subset of the bottlenose dolphin population uses marine sponges as tools, providing an opportunity to assess both proximate and ultimate costs and benefits and document patterns of transmission. We compared sponge-carrying (sponger) females to non-sponge-carrying (non-sponger) females and show that spongers were more solitary, spent more time in deep water channel habitats, dived for longer durations, and devoted more time to foraging than non-spongers; and, even with these potential proximate costs, calving success of sponger females was not significantly different from non-spongers. We also show a clear female-bias in the ontogeny of sponging. With a solitary lifestyle, specialization, and high foraging demands, spongers used tools more than any non-human animal. We suggest that the ecological, social, and developmental mechanisms involved likely (1) help explain the high intrapopulation variation in female behaviour, (2) indicate tradeoffs (e.g., time allocation) between ecological and social factors and, (3) constrain the spread of this innovation to primarily vertical transmission

IL-2 Regulates SEB Induced Toxic Shock Syndrome in BALB/c Mice

BACKGROUND:Toxic Shock Syndrome (TSS) is characterized by fever, rash, hypotension, constitutional symptoms, and multi-organ involvement and is caused by Staphylococcus aureus enterotoxins such as Staphylococcal Enterotoxin B (SEB). SEB binds to the MHC-IIalpha chain and is recognized by the TCRbeta chain of the Vbeta8 TCR(+) T cells. The binding of SEB to Vbeta chain results in rapid activation of T cells and production of inflammatory cytokines, such as Interleukin-2 (IL-2), Interferon-gamma and Tumor Necrosis Factor-alpha which mediate TSS. Although IL2 was originally identified as the T cell growth factor and was proposed to contribute to T cell differentiation, its role in TSS remains unexplored. METHODOLOGY/PRINCIPAL FINDINGS:Mice were injected with D-Gal (25 mg/mouse). One hour after D-Galactosamine (D-Gal) injection each mouse was injected with SEB (20 microg/mouse. Mice were then observed for 72 hrs and death was recorded at different times. We tested Interleukin-12, IFNgamma, and IL-2 deficient mice (IL-2(-/-)), but only the IL-2 deficient mice were resistant to SEB induced toxic shock syndrome. More importantly reconstitution of IL-2 in IL-2 deficient mice restored the shock. Interestingly, SEB induced IL-2 production from T cells was dependent on p38MAPK activation in macrophages as inhibition of it in macrophages significantly inhibited IL-2 production from T cells. CONCLUSION:This study shows the importance of IL -2 in TSS which has not been previously explored and it also shows that regulating macrophages function can regulate T cells and TSS

A randomized controlled trial testing the effectiveness of a universal school-based depression prevention program 'Op Volle Kracht' in the Netherlands

Contains fulltext : 102521.pdf (publisher's version ) (Open Access)Background: The incidence of depressive symptoms increases during adolescence, from 10.0% to 24.5% at age 11 to 15, respectively. Experiencing elevated levels of depressive symptoms increases the risk of a depressive disorder in adulthood. A universal school-based depression prevention program Op Volle Kracht (OVK) was developed, based on the Penn Resiliency Program, aimed at preventing the increase of depressive symptoms during adolescence and enhancing positive development. In this study the effectiveness of OVK will be tested and possible mediators of program effects will be focus of study as well. Method: The effectiveness of OVK will be tested in a randomized controlled trial with two conditions, intervention (OVK) and control condition (care as usual). Schools are randomly assigned to research conditions. OVK will be incorporated in the school curriculum, maximizing program attendance. OVK consists of 16 lessons of 50 min, given by trained psychologists to groups of 11-15 students. OVK contains Cognitive Behavioral Therapy, social skills training, problem solving and decision making. Outcomes are measured at 6, 12, 18 and 24 months follow up, to monitor long term program effects. Primary outcome is level of depressive symptoms, secondary outcomes are: anxiety, hopelessness, cognitive bias, substance use, truancy, life satisfaction, coping, self-efficacy, optimism, happiness, friendship, school performance and school attitude. The questionnaires for students will be administered in the school setting. Parents will complete a questionnaire at baseline only. Discussion: In this paper the study into the effectiveness of the depression prevention program OVK was described. It is expected that OVK will prevent the increase in depressive symptoms during adolescence and enhance positive development in the intervention condition, compared to the control condition. If OVK will be effective, it can be implemented in the school context by which numerous adolescents can be reached.9 p

Screening mammography beliefs and recommendations: a web-based survey of primary care physicians

<p>Abstract</p> <p>Background</p> <p>The appropriateness and cost-effectiveness of screening mammography (SM) for women younger than 50 and older than 74 years is debated in the clinical research community, among health care providers, and by the American public. This study explored primary care physicians' (PCPs) perceptions of the influence of clinical practice guidelines for SM; the recommendations for SM in response to hypothetical case scenarios; and the factors associated with perceived SM effectiveness and recommendations in the US from June to December 2009 before the United States Preventive Services Task Force (USPSTF) recently revised guidelines.</p> <p>Methods</p> <p>A nationally representative sample of 11,922 PCPs was surveyed using a web-based questionnaire. The response rate was 5.7% (684); (41%) 271 family physicians (FP), (36%) 232 general internal medicine physicians (IM), (23%) 150 obstetrician-gynaecologists (OBG), and (0.2%) 31 others. Cross-sectional analysis examined PCPs perceived effectiveness of SM, and recommendation for SM in response to hypothetical case scenarios. PCPs responses were measured using 4-5 point adjectival scales. Differences in perceived effectiveness and recommendations for SM were examined after adjusting for PCPs specialty, race/ethnicity, and the US region.</p> <p>Results</p> <p>Compared to IM and FP, OBG considered SM more effective in reducing breast cancer mortality among women aged 40-49 years (<it>p </it>= 0.003). Physicians consistently recommended mammography to women aged 50-69 years with no differences by specialty (<it>p </it>= 0.11). However, 94% of OBG "always recommended" SM to younger and 86% of older women compared to 81% and 67% for IM and 84% and 59% for FP respectively (<it>p = </it>< .001). In ordinal regression analysis, OBG specialty was a significant predictor for perceived higher SM effectiveness and recommendations for younger and older women. In evaluating hypothetical scenarios, overall PCPs would recommend SM for the 80 year woman with CHF with a significant variation by specialty (38% of OBG, 18% of FP, 17% of IM; <it>p </it>= < .001).</p> <p>Conclusions</p> <p>A majority of physicians, especially OBG, favour aggressive breast cancer screening for women from 40 through 79 years of age, including women with short life expectancy. Policy interventions should focus on educating providers to provide tailored recommendations for mammography based on individualized cancer risk, health status, and preferences.</p

Gene promoter hypermethylation in ductal lavage fluid from healthy BRCA gene mutation carriers and mutation-negative controls

INTRODUCTION: Female germline BRCA gene mutation carriers are at increased risk for developing breast cancer. The purpose of our study was to establish whether healthy BRCA mutation carriers demonstrate an increased frequency of aberrant gene promoter hypermethylation in ductal lavage (DL) fluid, compared with predictive genetic test negative controls, that might serve as a surrogate marker of BRCA1/2 mutation status and/or breast cancer risk. METHODS: The pattern of CpG island hypermethylation within the promoter region of a panel of four genes (RAR-β, HIN-1, Twist and Cyclin D2) was assessed by methylation-specific polymerase chain reaction using free DNA extracted from DL fluid. RESULTS: Fifty-one DL samples from 24 healthy women of known BRCA mutation status (7 BRCA1 mutation carriers, 12 BRCA2 mutation carriers and 5 controls) were available for methylation analysis. Eight of 19 (42.1%) BRCA mutation carriers were found to have at least one hypermethylated gene in the four-gene panel. Two BRCA mutation carriers, in whom aberrant methylation was found, also had duct epithelial cell atypia identified. No hypermethylation was found in DL samples from 5 negative controls(p = 0.13). CONCLUSION: We found substantial levels of aberrant methylation, with the use of a four-gene panel, in the fluid from the breasts of healthy BRCA mutation carriers compared with controls. Methylation analysis of free DNA in DL fluid may offer a useful surrogate marker for BRCA1/2 mutation status and/or breast cancer risk. Further studies are required for the evaluation of the specificity and predictive value of aberrant methylation in DL fluid for future breast cancer development in BRCA1/2 mutation carriers

Prevalence of JC Virus in Chinese Patients with Colorectal Cancer

BACKGROUND: JCV is a DNA polyomavirus very well adapted to humans. Although JCV DNA has been detected in colorectal cancers (CRC), the association between JCV and CRC remains controversial. In China, the presence of JCV infection in CRC patients has not been reported. Here, we investigated JCV infection and viral DNA load in Chinese CRC patients and to determine whether the JCV DNA in peripheral blood (PB) can be used as a diagnostic marker for JCV-related CRC. METHODOLOGY/PRINCIPAL FINDINGS: Tumor tissues, non-cancerous tumor-adjacent tissues and PB samples were collected from 137 CRC patients. In addition, 80 normal colorectal tissue samples from patients without CRC and PB samples from 100 healthy volunteers were also harvested as controls. JCV DNA was detected by nested PCR and glass slide-based dot blotting. Viral DNA load of positive samples were determined by quantitative real-time PCR. JCV DNA was detected in 40.9% (56/137) of CRC tissues at a viral load of 49.1 to 10.3×10(4) copies/µg DNA. Thirty-four (24.5%) non-cancerous colorectal tissues (192.9 to 4.4×10(3) copies/µg DNA) and 25 (18.2%) PB samples (81.3 to 4.9×10(3) copies/µg DNA) from CRC patients were positive for JCV. Tumor tissues had higher levels of JCV than non-cancerous tissues (P = 0.003) or PB samples (P<0.001). No correlation between the presence of JCV and demographic or medical characteristics was observed. The JCV prevalence in PB samples was significantly associated with the JCV status in tissue samples (P<0.001). Eleven (13.8%) normal colorectal tissues and seven (7.0%) PB samples from healthy donors were positive for JCV. CONCLUSIONS/SIGNIFICANCE: JCV infection is frequently present in colorectal tumor tissues of CRC patients. Although the association between JCV presence in PB samples and JCV status in tissue samples was identified in this study, whether PB JCV detection can serve as a marker for JCV status of CRC requires further study