Reducing Clocks in Timed Automata while Preserving Bisimulation

Model checking timed automata becomes increasingly complex with the increase in the number of clocks. Hence it is desirable that one constructs an automaton with the minimum number of clocks possible. The problem of checking whether there exists a timed automaton with a smaller number of clocks such that the timed language accepted by the original automaton is preserved is known to be undecidable. In this paper, we give a construction, which for any given timed automaton produces a timed bisimilar automaton with the least number of clocks. Further, we show that such an automaton with the minimum possible number of clocks can be constructed in time that is doubly exponential in the number of clocks of the original automaton.Comment: 28 pages including reference, 8 figures, full version of paper accepted in CONCUR 201

A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization

In this paper we present a unifying approach for deciding various bisimulations, simulation equivalences and preorders between two timed automata states. We propose a zone based method for deciding these relations in which we eliminate an explicit product construction of the region graphs or the zone graphs as in the classical methods. Our method is also generic and can be used to decide several timed relations. We also present a game characterization for these timed relations and show that the game hierarchy reflects the hierarchy of the timed relations. One can obtain an infinite game hierarchy and thus the game characterization further indicates the possibility of defining new timed relations which have not been studied yet. The game characterization also helps us to come up with a formula which encodes the separation between two states that are not timed bisimilar. Such distinguishing formulae can also be generated for many relations other than timed bisimilarity.Comment: In Proceedings EXPRESS/SOS 2013, arXiv:1307.690

The Global Alliance for Infections in Surgery : defining a model for antimicrobial stewardship-results from an international cross-sectional survey

Background: Antimicrobial Stewardship Programs (ASPs) have been promoted to optimize antimicrobial usage and patient outcomes, and to reduce the emergence of antimicrobial-resistant organisms. However, the best strategies for an ASP are not definitively established and are likely to vary based on local culture, policy, and routine clinical practice, and probably limited resources in middle-income countries. The aim of this study is to evaluate structures and resources of antimicrobial stewardship teams (ASTs) in surgical departments from different regions of the world. Methods: A cross-sectional web-based survey was conducted in 2016 on 173 physicians who participated in the AGORA (Antimicrobials: A Global Alliance for Optimizing their Rational Use in Intra-Abdominal Infections) project and on 658 international experts in the fields of ASPs, infection control, and infections in surgery. Results: The response rate was 19.4%. One hundred fifty-six (98.7%) participants stated their hospital had a multidisciplinary AST. The median number of physicians working inside the team was five [interquartile range 4-6]. An infectious disease specialist, a microbiologist and an infection control specialist were, respectively, present in 80.1, 76.3, and 67.9% of the ASTs. A surgeon was a component in 59.0% of cases and was significantly more likely to be present in university hospitals (89.5%, p <0.05) compared to community teaching (83.3%) and community hospitals (66.7%). Protocols for pre-operative prophylaxis and for antimicrobial treatment of surgical infections were respectively implemented in 96.2 and 82.3% of the hospitals. The majority of the surgical departments implemented both persuasive and restrictive interventions (72.8%). The most common types of interventions in surgical departments were dissemination of educational materials (62.5%), expert approval (61.0%), audit and feedback (55.1%), educational outreach (53.7%), and compulsory order forms (51.5%). Conclusion: The survey showed a heterogeneous organization of ASPs worldwide, demonstrating the necessity of a multidisciplinary and collaborative approach in the battle against antimicrobial resistance in surgical infections, and the importance of educational efforts towards this goal.Peer reviewe

Large expert-curated database for benchmarking document similarity detection in biomedical literature search

Document recommendation systems for locating relevant literature have mostly relied on methods developed a decade ago. This is largely due to the lack of a large offline gold-standard benchmark of relevant documents that cover a variety of research fields such that newly developed literature search techniques can be compared, improved and translated into practice. To overcome this bottleneck, we have established the RElevant LIterature SearcH consortium consisting of more than 1500 scientists from 84 countries, who have collectively annotated the relevance of over 180 000 PubMed-listed articles with regard to their respective seed (input) article/s. The majority of annotations were contributed by highly experienced, original authors of the seed articles. The collected data cover 76% of all unique PubMed Medical Subject Headings descriptors. No systematic biases were observed across different experience levels, research fields or time spent on annotations. More importantly, annotations of the same document pairs contributed by different scientists were highly concordant. We further show that the three representative baseline methods used to generate recommended articles for evaluation (Okapi Best Matching 25, Term Frequency-Inverse Document Frequency and PubMed Related Articles) had similar overall performances. Additionally, we found that these methods each tend to produce distinct collections of recommended articles, suggesting that a hybrid method may be required to completely capture all relevant articles. The established database server located at https://relishdb.ict.griffith.edu.au is freely available for the downloading of annotation data and the blind testing of new methods. We expect that this benchmark will be useful for stimulating the development of new powerful techniques for title and title/abstract-based search engines for relevant articles in biomedical research.Peer reviewe

Not Available

Not AvailableBiogeochemical reduction and mobilization of sediment-bound arsenic have triggered widespread groundwater arsenic contamination and public health emergency in Bengal Delta. The present study examines arsenic reduction ability of pond sediment microbiota and their diversity from arsenic-affected villages. Arsenic reduction ability of pond sediment microbiota and individual bacterial isolates were studied in sediment microcosm and in culture medium. Arsenic reducing strains were identified from 16S rDNA sequences. Pond sediment microflora caused profuse arsenic reduction under anoxic and partial anoxic conditions, and under the influence of labile organic matter. Prominent arsenic-reducing strains were identified as Chryseobacterium sp., Pseudomonas sp., Acinetobacter sp., and Comamonas aquatica. The presence of partial-to-true anoxic conditions, typical of pond ecosystems in this region and labile organic matter, as well as organic manure applications in ponds for aquaculture, strongly favored arsenic reduction by sediment microflora. The Bengal Delta plain is bestowed with thousands of aquaculture ponds and floodplain wetlands which might act as important sites for microbial reduction and mobilization of arsenic to the groundwater hydrologic system in the region.NAI

One-year outcomes of catheter ablation for atrial fibrillation in young patients

Background: Atrial fibrillation (AF) is relatively less frequent in younger patients (age \u3c 50). Recently, studies have suggested that early restoration of sinus rhythm may lead to improved outcomes compared with rate control, however the efficacy of catheter ablation for AF in young is scarce. Methods: We included all hospitalized patients between 18 and 50 years with a diagnosis of AF from the Nationwide Readmission Database 2016-2017 from the Healthcare Cost and Utilization Project. Demographic and comorbidity data were collected and analyzed. Outcomes assessed included one-year AF readmission rates, all-cause readmission, ischemic stroke, and all-cause mortality. Subgroup analyses were performed for all demographic and comorbidity variables. Results: Overall, 52,598 patients (medium age 44, interquartile range 38-48, female 25.7%) were included in the study, including 2,146 (4.0%) who underwent catheter ablation for AF. Patients who underwent catheter ablation had a significantly lower rate of readmission for AF or any cause at one year (adjusted hazard ratios (HR) of 0.52 [95% confidence interval (CI): 0.43-0.63] and HR of 0.81 [95% CI: 0.72-0.89], respectively). There was no difference in 1-year readmission for stroke or all-cause mortality between the two groups. Subgroup analyses showed a consistent reduction in the risk of AF readmission among major demographic and comorbidity subgroups. Conclusion: Catheter ablation in young patients with AF was associated with a reduction in 1-year AF related and all-cause readmissions. These data merit further prospective investigation for validation, through dedicated registries and multicenter collaborations to include young AF from diverse population