Approaching the Coverability Problem Continuously

The coverability problem for Petri nets plays a central role in the verification of concurrent shared-memory programs. However, its high EXPSPACE-complete complexity poses a challenge when encountered in real-world instances. In this paper, we develop a new approach to this problem which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. A cornerstone of our approach is the efficient encoding of a recently developed polynomial-time algorithm for reachability in continuous Petri nets into SMT. We demonstrate the effectiveness of our approach on standard benchmarks from the literature, which shows that our approach decides significantly more instances than any existing tool and is in addition often much faster, in particular on large instances.Comment: 18 pages, 4 figure

Genetics of height and risk of atrial fibrillation: A Mendelian randomization study.

BACKGROUND: Observational studies have identified height as a strong risk factor for atrial fibrillation, but this finding may be limited by residual confounding. We aimed to examine genetic variation in height within the Mendelian randomization (MR) framework to determine whether height has a causal effect on risk of atrial fibrillation. METHODS AND FINDINGS: In summary-level analyses, MR was performed using summary statistics from genome-wide association studies of height (GIANT/UK Biobank; 693,529 individuals) and atrial fibrillation (AFGen; 65,446 cases and 522,744 controls), finding that each 1-SD increase in genetically predicted height increased the odds of atrial fibrillation (odds ratio [OR] 1.34; 95% CI 1.29 to 1.40; p = 5 × 10-42). This result remained consistent in sensitivity analyses with MR methods that make different assumptions about the presence of pleiotropy, and when accounting for the effects of traditional cardiovascular risk factors on atrial fibrillation. Individual-level phenome-wide association studies of height and a height genetic risk score were performed among 6,567 European-ancestry participants of the Penn Medicine Biobank (median age at enrollment 63 years, interquartile range 55-72; 38% female; recruitment 2008-2015), confirming prior observational associations between height and atrial fibrillation. Individual-level MR confirmed that each 1-SD increase in height increased the odds of atrial fibrillation, including adjustment for clinical and echocardiographic confounders (OR 1.89; 95% CI 1.50 to 2.40; p = 0.007). The main limitations of this study include potential bias from pleiotropic effects of genetic variants, and lack of generalizability of individual-level findings to non-European populations. CONCLUSIONS: In this study, we observed evidence that height is likely a positive causal risk factor for atrial fibrillation. Further study is needed to determine whether risk prediction tools including height or anthropometric risk factors can be used to improve screening and primary prevention of atrial fibrillation, and whether biological pathways involved in height may offer new targets for treatment of atrial fibrillation

Ethnic differences in Glycaemic control in people with type 2 diabetes mellitus living in Scotland

Background and Aims: Previous studies have investigated the association between ethnicity and processes of care and intermediate outcomes of diabetes, but there are limited population-based studies available. The aim of this study was to use population-based data to investigate the relationships between ethnicity and glycaemic control in men and women with diabetes mellitus living in Scotland.<p></p> Methods: We used a 2008 extract from the population-based national electronic diabetes database of Scotland. The association between ethnicity with mean glycaemic control in type 2 diabetes mellitus was examined in a retrospective cohort study, including adjustment for a number of variables including age, sex, socioeconomic status, body mass index (BMI), prescribed treatment and duration of diabetes.<p></p> Results: Complete data for analyses were available for 56,333 White Scottish adults, 2,535 Pakistanis, 857 Indians, 427 Chinese and 223 African-Caribbeans. All other ethnic groups had significantly (p<0.05) greater proportions of people with suboptimal glycaemic control (HbA1c >58 mmol/mol, 7.5%) compared to the White Scottish group, despite generally younger mean age and lower BMI. Fully adjusted odds ratios for suboptimal glycaemic control were significantly higher among Pakistanis and Indians (1.85, 95% CI: 1.68–2.04, and 1.62,95% CI: 1.38–1.89) respectively.<p></p> Conclusions: Pakistanis and Indians with type 2 diabetes mellitus were more likely to have suboptimal glycaemic control than the white Scottish population. Further research on health services and self-management are needed to understand the association between ethnicity and glycaemic control to address ethnic disparities in glycaemic control.<p></p&gt

Adherence to self-administered tuberculosis treatment in a high HIV-prevalence setting: a cross-sectional survey in Homa Bay, Kenya.

Good adherence to treatment is crucial to control tuberculosis (TB). Efficiency and feasibility of directly observed therapy (DOT) under routine program conditions have been questioned. As an alternative, Médecins sans Frontières introduced self-administered therapy (SAT) in several TB programs. We aimed to measure adherence to TB treatment among patients receiving TB chemotherapy with fixed dose combination (FDC) under SAT at the Homa Bay district hospital (Kenya). A second objective was to compare the adherence agreement between different assessment tools

Ethylene supports colonization of plant roots by the mutualistic fungus Piriformospora indica

The mutualistic basidiomycete Piriformospora indica colonizes roots of mono- and dicotyledonous plants, and thereby improves plant health and yield. Given the capability of P. indica to colonize a broad range of hosts, it must be anticipated that the fungus has evolved efficient strategies to overcome plant immunity and to establish a proper environment for nutrient acquisition and reproduction. Global gene expression studies in barley identified various ethylene synthesis and signaling components that were differentially regulated in P. indica-colonized roots. Based on these findings we examined the impact of ethylene in the symbiotic association. The data presented here suggest that P. indica induces ethylene synthesis in barley and Arabidopsis roots during colonization. Moreover, impaired ethylene signaling resulted in reduced root colonization, Arabidopsis mutants exhibiting constitutive ethylene signaling, -synthesis or ethylene-related defense were hyper-susceptible to P. indica. Our data suggest that ethylene signaling is required for symbiotic root colonization by P. indica

Subanesthetic ketamine treatment promotes abnormal interactions between neural subsystems and alters the properties of functional brain networks

Acute treatment with subanesthetic ketamine, a non-competitive N-methyl-D-aspartic acid (NMDA) receptor antagonist, is widely utilized as a translational model for schizophrenia. However, how acute NMDA receptor blockade impacts on brain functioning at a systems level, to elicit translationally relevant symptomatology and behavioral deficits, has not yet been determined. Here, for the first time, we apply established and recently validated topological measures from network science to brain imaging data gained from ketamine-treated mice to elucidate how acute NMDA receptor blockade impacts on the properties of functional brain networks. We show that the effects of acute ketamine treatment on the global properties of these networks are divergent from those widely reported in schizophrenia. Where acute NMDA receptor blockade promotes hyperconnectivity in functional brain networks, pronounced dysconnectivity is found in schizophrenia. We also show that acute ketamine treatment increases the connectivity and importance of prefrontal and thalamic brain regions in brain networks, a finding also divergent to alterations seen in schizophrenia. In addition, we characterize how ketamine impacts on bipartite functional interactions between neural subsystems. A key feature includes the enhancement of prefrontal cortex (PFC)-neuromodulatory subsystem connectivity in ketamine-treated animals, a finding consistent with the known effects of ketamine on PFC neurotransmitter levels. Overall, our data suggest that, at a systems level, acute ketamine-induced alterations in brain network connectivity do not parallel those seen in chronic schizophrenia. Hence, the mechanisms through which acute ketamine treatment induces translationally relevant symptomatology may differ from those in chronic schizophrenia. Future effort should therefore be dedicated to resolve the conflicting observations between this putative translational model and schizophrenia

Endocrine therapy in epithelial ovarian cancer

INTRODUCTION: The estrogen receptor (ER) is expressed at high levels in many epithelial ovarian cancers (EOC) and represents a potential target for endocrine therapy. Both anti-estrogens and aromatase inhibitors have been evaluated in phase II clinical trials. Areas covered: We present an overview of the phase II and phase III trials of anti-estrogens (tamoxifen and fulvestrant) and aromatase inhibitors (letrozole, anastrazole and exemestane) undertaken in epithelial ovarian cancer identified through a Pubmed search. We describe predictive biomarkers that are being investigated to identify responsive cancers. Expert commentary: The efficacy of endocrine therapy in epithelial ovarian cancer is likely to be confined to histological subtypes with the highest ER expression while low grade serous ovarian cancer appears to be one subgroup with good sensitivity to these agents. The low toxicity profile of these agents is favourable although their use is unlicensed and the optimal setting undefined. Prospective clinical trials of endocrine agents in the early relapse and maintenance settings are urgently required to establish their definitive role in the management of epithelial ovarian cancer

Multiple order-up-to policy for mitigating bullwhip effect in supply chain network

This paper proposes a multiple order-up-to policy based inventory replenishment scheme to mitigate the bullwhip effect in a multi-stage supply chain scenario, where various transportation modes are available between the supply chain (SC) participants. The proposed policy is similar to the fixed order-up-to policy approach where replenishment decision “how much to order” is made periodically on the basis of the predecided order-up-to inventory level. In the proposed policy, optimal multiple order-up-to levels are assigned to each SC participants, which provides decision making reference point for deciding the transportation related order quantity. Subsequently, a mathematical model is established to define optimal multiple order-up-to levels for each SC participants that aims to maximize overall profit from the SC network. In parallel, the model ensures the control over supply chain pipeline inventory, high satisfaction of customer demand and enables timely utilization of available transportation modes. Findings from the various numerical datasets including stochastic customer demand and lead times validate that—the proposed optimal multiple order-up-to policy based inventory replenishment scheme can be a viable alternative for mitigating the bullwhip effect and well-coordinated SC. Moreover, determining the multiple order-up-to levels is a NP hard combinatorial optimization problem. It is found that the implementation of new emerging optimization algorithm named bacterial foraging algorithm (BFA) has presented superior optimization performances. The robustness and applicability of the BFA algorithm are further validated statistically by employing the percentage heuristic gap and two-way ANOVA analysis