One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs

Dynamic Fault Trees (DFTs) are a prominent model in reliability engineering. They are strictly more expressive than static fault trees, but this comes at a price: their interpretation is non-trivial and leaves quite some freedom. This paper presents a GSPN semantics for DFTs. This semantics is rather simple and compositional. The key feature is that this GSPN semantics unifies all existing DFT semantics from the literature. All semantic variants can be obtained by choosing appropriate priorities and treatment of non-determinism.Comment: Accepted at Petri Nets 201

BRG1 interacts with SOX10 to establish the melanocyte lineage and to promote differentiation

Mutations in SOX10 cause neurocristopathies which display varying degrees of hypopigmentation. Using a sensitized mutagenesis screen, we identified Smarca4 as a modifier gene that exacerbates the phenotypic severity of Sox10 haplo-insufficient mice. Conditional deletion of Smarca4 in SOX10 expressing cells resulted in reduced numbers of cranial and ventral trunk melanoblasts. To define the requirement for the Smarca4 -encoded BRG1 subunit of the SWI/SNF chromatin remodeling complex, we employed in vitro models of melanocyte differentiation in which induction of melanocyte-specific gene expression is closely linked to chromatin alterations. We found that BRG1 was required for expression of Dct, Tyrp1 and Tyr, genes that are regulated by SOX10 and MITF and for chromatin remodeling at distal and proximal regulatory sites. SOX10 was found to physically interact with BRG1 in differentiating melanocytes and binding of SOX10 to the Tyrp1 distal enhancer temporally coincided with recruitment of BRG1. Our data show that SOX10 cooperates with MITF to facilitate BRG1 binding to distal enhancers of melanocyte-specific genes. Thus, BRG1 is a SOX10 co-activator, required to establish the melanocyte lineage and promote expression of genes important for melanocyte function

Get screened: a pragmatic randomized controlled trial to increase mammography and colorectal cancer screening in a large, safety net practice

Abstract Background Most randomized controlled trials of interventions designed to promote cancer screening, particularly those targeting poor and minority patients, enroll selected patients. Relatively little is known about the benefits of these interventions among unselected patients. Methods/Design "Get Screened" is an American Cancer Society-sponsored randomized controlled trial designed to promote mammography and colorectal cancer screening in a primary care practice serving low-income patients. Eligible patients who are past due for mammography or colorectal cancer screening are entered into a tracking registry and randomly assigned to early or delayed intervention. This 6-month intervention is multimodal, involving patient prompts, clinician prompts, and outreach. At the time of the patient visit, eligible patients receive a low-literacy patient education tool. At the same time, clinicians receive a prompt to remind them to order the test and, when appropriate, a tool designed to simplify colorectal cancer screening decision-making. Patient outreach consists of personalized letters, automated telephone reminders, assistance with scheduling, and linkage of uninsured patients to the local National Breast and Cervical Cancer Early Detection program. Interventions are repeated for patients who fail to respond to early interventions. We will compare rates of screening between randomized groups, as well as planned secondary analyses of minority patients and uninsured patients. Data from the pilot phase show that this multimodal intervention triples rates of cancer screening (adjusted odds ratio 3.63; 95% CI 2.35 - 5.61). Discussion This study protocol is designed to assess a multimodal approach to promotion of breast and colorectal cancer screening among underserved patients. We hypothesize that a multimodal approach will significantly improve cancer screening rates. The trial was registered at Clinical Trials.gov NCT00818857http://deepblue.lib.umich.edu/bitstream/2027.42/78264/1/1472-6963-10-280.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78264/2/1472-6963-10-280.pdfPeer Reviewe

Microbial regulation of the soil carbon cycle: evidence from gene-enzyme relationships.

A lack of empirical evidence for the microbial regulation of ecosystem processes, including carbon (C) degradation, hinders our ability to develop a framework to directly incorporate the genetic composition of microbial communities in the enzyme-driven Earth system models. Herein we evaluated the linkage between microbial functional genes and extracellular enzyme activity in soil samples collected across three geographical regions of Australia. We found a strong relationship between different functional genes and their corresponding enzyme activities. This relationship was maintained after considering microbial community structure, total C and soil pH using structural equation modelling. Results showed that the variations in the activity of enzymes involved in C degradation were predicted by the functional gene abundance of the soil microbial community (R2>0.90 in all cases). Our findings provide a strong framework for improved predictions on soil C dynamics that could be achieved by adopting a gene-centric approach incorporating the abundance of functional genes into process models

Can Broader Diffusion of Value-Based Insurance Design Increase Benefits from US Health Care without Increasing Costs? Evidence from a Computer Simulation Model

Using a computer simulation based on US data, R. Scott Braithwaite and colleagues calculate the benefits of value-based insurance design, in which patients pay less for highly cost-effective services

Investigation of potential cognition factors correlated to fire evacuation

The design of a navigation system to support indoor fire evacuation depends not only on speed but also a relatively thorough consideration of the cognition factors. This study has investigated potential cognition factors which can affect the human behaviours and decision making during fire evacuation by taking a survey among indoor occupants in age of 20s under designed virtual scenarios. It mainly focuses on two aspects of Fire Responses Performances (FRP), i.e. indoor familiarity (spatial cognition) and psychological stress (situ-ated cognition). The collected results have shown that these cognition factors can be affected by gender and user height and they are correlated with each other in certain ways. It has also investigated users‟ attitudes to the navigation services under risky and non-risky conditions. The collected answers are also found to be correlated with the selected FRP factors. These findings may help to further design of personalized indoor navigation support for fire evacuation

Prevention of catheter lumen occlusion with rT-PA versus heparin (Pre-CLOT): study protocol of a randomized trial [ISRCTN35253449]

BACKGROUND: Many patients with end-stage renal disease use a central venous catheter for hemodialysis access. A large majority of these catheters malfunction within one year of insertion, with up to two-thirds due to thrombosis. The optimal solution for locking the catheter between hemodialysis sessions, to decrease the risk of thrombosis and catheter malfunction, is unknown. The Prevention of Catheter Lumen Occlusion with rt-PA versus Heparin (PreCLOT) study will determine if use of weekly rt-PA, compared to regular heparin, as a catheter locking solution, will decrease the risk of catheter malfunction. METHODS/DESIGN: The study population will consist of patients requiring chronic hemodialysis thrice weekly who are dialyzed with a newly inserted permanent dual-lumen central venous catheter. Patients randomized to the treatment arm will receive rt-PA 1 mg per lumen once per week, with heparin 5,000 units per ml as a catheter locking solution for the remaining two sessions. Patients randomized to the control arm will receive heparin 5,000 units per ml as a catheter locking solution after each dialysis session. The study treatment period will be six months, with 340 patients to be recruited from 14 sites across Canada. The primary outcome will be catheter malfunction, based on mean blood flow parameters while on hemodialysis, with a secondary outcome of catheter-related bacteremia. A cost-effectiveness analysis will be undertaken to assess the cost of maintaining a catheter using rt-PA as a locking solution, compared to the use of heparin. DISCUSSION: Results from this study will determine if use of weekly rt-PA, compared to heparin, will decrease catheter malfunction, as well as assess the cost-effectiveness of these locking solutions

Pretreatment metabotype as a predictor of response to sertraline or placebo in depressed outpatients: a proof of concept

The purpose of this study was to determine whether the baseline metabolic profile (that is, metabotype) of a patient with major depressive disorder (MDD) would define how an individual will respond to treatment. Outpatients with MDD were randomly assigned to sertraline (up to 150 mg per day) (N=43) or placebo (N=46) in a double-blind 4-week trial. Baseline serum samples were profiled using the liquid chromatography electrochemical array; the output was digitized to create a ‘digital map' of the entire measurable response for a particular sample. Response was defined as ⩾50% reduction baseline to week 4 in the 17-item Hamilton Rating Scale for Depression total score. Models were built using the one-out method for cross-validation. Multivariate analyses showed that metabolic profiles partially separated responders and non-responders to sertraline or to placebo. For the sertraline models, the overall correct classification rate was 81% whereas it was 72% for the placebo models. Several pathways were implicated in separation of responders and non-responders on sertraline and on placebo including phenylalanine, tryptophan, purine and tocopherol. Dihydroxyphenylacetic acid, tocopherols and serotonin were common metabolites in separating responders and non-responders to both drug and placebo. Pretreatment metabotypes may predict which depressed patients will respond to acute treatment (4 weeks) with sertraline or placebo. Some pathways were informative for both treatments whereas other pathways were unique in predicting response to either sertraline or placebo. Metabolomics may inform the biochemical basis for the early efficacy of sertraline