Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach

We first study labeled transition systems with explicit successful termination. We establish the notions of strong, weak, and branching bisimulation in terms of boolean matrix theory, introducing thus a novel and powerful algebraic apparatus. Next we consider Markov reward chains which are standardly presented in real matrix theory. By interpreting the obtained matrix conditions for bisimulations in this setting, we automatically obtain the definitions of strong, weak, and branching bisimulation for Markov reward chains. The obtained strong and weak bisimulations are shown to coincide with some existing notions, while the obtained branching bisimulation is new, but its usefulness is questionable

Reconciling real and stochastic time: The need for probabilistic refinement

We conservatively extend anACP-style discrete-time process theorywith discrete stochastic delays. The semantics of the timed delays relies on time additivity and time determinism, which are properties that enable us to merge subsequent timed delays and to impose their synchronous expiration. Stochastic delays, however, interact with respect to a so-called race condition that determines the set of delays that expire first, which is guided by an (implicit) probabilistic choice. The race condition precludes the property of time additivity as the merger of stochastic delays alters this probabilistic behavior. To this end, we resolve the race condition using conditionally- distributed unit delays. We give a sound and ground-complete axiomatization of the process theory comprising the standard set of ACP-style operators. In this generalized setting, the alternative composition is no longer associative, so we have to resort to special normal forms that explicitly resolve the underlying race condition. Our treatment succeeds in the initial challenge to conservatively extend standard time with stochastic time. However, the 'dissection' of the stochastic delays to conditionally-distributed unit delays comes at a price, as we can no longer relate the resolved race condition to the original stochastic delays. We seek a solution in the field of probabilistic refinements that enable the interchange of probabilistic and non deterministic choices.Fil: Markovski, J.. Technische Universiteit Eindhoven; Países BajosFil: D'argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Baeten, J. C. M.. Technische Universiteit Eindhoven; Países Bajos. Centrum Wiskunde & Informatica; Países BajosFil: De Vink, E. P.. Technische Universiteit Eindhoven; Países Bajos. Centrum Wiskunde & Informatica; Países Bajo

Antibiotic prescriptions in Italian hospitalised children after serial point prevalence surveys (or pointless prevalence surveys): has anything actually changed over the years?

BACKGROUND: Point prevalence surveys have been used in several studies to provide immediate and easily comparable information about antibiotic use and showed that about one third of hospitalised children had on ongoing antimicrobial prescription during their hospital admission. The aim of this study, as part of the Global Antimicrobial Resistance, Prescribing and Efficacy in Neonates and Children project, is to describe antimicrobial prescriptions among hospitalised children in four tertiary care hospitals in Italy to show if something has changed over the years. METHODS: Four tertiary care Italian's hospitals joined three Point Prevalence Surveys (PPSs) in three different period of the year. All children under 18 years of age with an ongoing antimicrobial prescription, admitted on the participating wards at 8 o'clock in the morning of the selecting day were enrolled. RESULTS: A total of 1412 patients (475 neonates and 937 children) were admitted in the days of three PPSs. Overall, among the total admitted patients, 565 patients (40%) had an ongoing antimicrobial prescription in the days of the survey A total of 718 antibiotics were administered in the 485 admitted children and 133 in neonates. The most common indications for antibiotic therapy in children was Lower respiratory tract infections (244/718, 34%), while in neonates were prophylaxis for medical problems (35/133, 26.3%), newborn prophylaxis for newborn risk factors (29/133, 21.8%) and prophylaxis for surgical disease (15/133, 11.3%). CONCLUSIONS: Based on our results, it appears that nothing has changed since the last PPS and that the quality improved targets, underlyined in previous studies, are always the same. Serial PPSs can be part of AMS strategies but they are not sufficient alone to produce changes in clinical practice

Health profile of the PASSI surveillance system according to the second self-audit data

Background. The surveillance system PASSI (Progresses in ASSessing adult population health in Italy) is centrally coordinated by the Istituto Superiore di Sanita (ISS) and carried on by Local Health Units (LHU) from all the 21 Italian Regional Health Authorities since 2008. PASSI monitors the main behavioural health-related risk factors among the adult population in order to better orient and further elaborate interventions for the prevention of major chronic diseases.Study design. Basing on outcomes from the first pilot study in 2011, we conducted a second self-audit to investigate and map levels of conformity with recognized implementation standards by the protocol for PASSI local management in the 21 Italian Regional Health Authorities.Methods. We designed an online questionnaire supported by an open source application (Google) and sent to the local PASSI coordinators. Data were collected from April to September 2013. 113 out of 148 LHUs from all the 21 Italian Regional Health Authorities participated, with a response rate of 76%.Results. Overall, in the respondent LHUs 1,036 professionals result to differently engage in surveillance activities. Although PASSI is locally-based, where data collection and computerisation are arranged, central support is highly appreciated in terms of quality monitoring, analysis, output processing, professional training, delivery of dissemination material. PASSI data are more used for communication (60%) and planning (80%) than to scientific ends.Conclusions. After a ten-year activity, PASSI as complex public health program requires periodical self-audit rounds in order to assess to what extent relevant performance indicators match the levels indicated in its own operational protocol. The second self-audit showed to be reliable concerning both sustainability and data collection. It then represents an experience that can be renewed and repeated

Inter-observer agreement in the assessment of endoscopic findings in ulcerative colitis

BACKGROUND: Endoscopic findings are essential in evaluating the disease activity in ulcerative colitis. The aim of this study was to evaluate how endoscopists assess individual endoscopic features of mucosal inflammation in ulcerative colitis, the inter-observer agreement, and the importance of the observers' experience. METHODS: Five video clips of ulcerative colitis were shown to a group of experienced and a group of inexperienced endoscopists. Both groups were asked to assess eight endoscopic features and the overall mucosal inflammation on a visual analogue scale. The following statistical analyses were used; Contingency tables analysis, kappa analysis, analysis of variance, Pearson linear correlation analysis, general linear models, and agreement analysis. All tests were carried out two-tailed, with a significance level of 5%. RESULTS: The inter-observer agreement ranged from very good to moderate in the experienced group and from very good to fair in the inexperienced group. There was a significantly better inter-observer agreement in the experienced group in the rating of 6 out of 9 features (p < 0.05). The experienced and inexperienced endoscopists scored the "ulcerations" significantly different. (p = 0.05). The inter-observer variation of the mean score of "erosions", "ulcerations" and endoscopic activity index in mild disease, and the scoring of "erythema" and "oedema" in moderate-severe disease was significantly higher in the inexperienced group. A correlation was seen between all the observed endoscopic features in both groups of endoscopists. Among experienced endoscopists, a set of four endoscopic variables ("Vascular pattern", "Erosions", "Ulcerations" and Friability") explained 92% of the variation in EAI. By including "Granularity" in these set 91% of the variation in EAI was explained in the group of inexperienced endoscopists. CONCLUSION: The inter-observer agreement in the rating of endoscopic features characterising ulcerative colitis is satisfactory in both groups of endoscopists but significantly higher in the experienced group. The difference in the mean score between the two groups is only significant for "ulcerations". The endoscopic variables "Vascular pattern", "Erosions", "Ulcerations" and Friability" explained the overall endoscopic activity index. Even though the present result is quite satisfactory, there is a potential of improvement. Improved grading systems might contribute to improve the consistency of endoscopic descriptions

Cefuroxime Pharmacokinetics in Pediatric Cardiovascular Surgery Patients Undergoing Cardiopulmonary Bypass

Objectives The objective of this study was to determine the pharmacokinetics of cefuroxime in children undergoing cardiopulmonary bypass (CPB) for cardiovascular surgery. Design A prospective study. Setting A tertiary pediatric teaching hospital. Participants Infants and children undergoing CPB were enrolled in the study. Intervention An initial dose (mean, 24.2 ± 1.6 mg/kg) of cefuroxime was administered before surgical incision, and a second dose (mean, 14.4 ± 7.9 mg/kg) was administered in the CPB prime solution. Serial blood samples were obtained before, during, and after the CPB process. Samples were shipped on dry ice to the analytic laboratory and concentrations determined by a validated high-performance liquid chromatography method. A 2-compartment pharmacokinetic model was fitted to the data using maximum a priori–Bayesian estimation, with weight as a covariate. Monte Carlo simulations of a single-dose (25 mg/kg pre-CPB) approach and a 2-dose (25 mg/kg pre- and 12.5-mg/kg prime solution dose) approach were performed. Measurements and Main Results Fifteen subjects (9 males/6 females) were enrolled in the study, with median (range) age and weight of 11 (3-34) months and 9.5 (4.5-15.4) kg, respectively. The median (range) duration of CPB was 136 (71-243) minutes. Median and range cefuroxime pharmacokinetic parameters were as follows: maximum concentration (Cmax) dose, 1: 328 (150-512) μg/mL; systemic clearance, 0.050 (0.041-0.058) L/h/kg; steady-state volume of distribution, 0.213 (0.081-0.423) L/kg; volume of distribution in the central compartment, 0.081 (0.046-0.162) L/kg; and elimination half-life, 3.76 (1.03-6.81) hours. The median 8-hour post–dose-simulated cefuroxime concentrations were 26.5 and 16.0 mg/L for the 2-dose and single-dose regimens, respectively. Conclusion Manufacturers recommend that pediatric doses of cefuroxime (25-50 mg/kg) can be used in infants and children undergoing CPB to maintain adequate serum concentrations for surgical-site infection prophylaxis. A second intraoperative dose, administered through the CPB circuit, provides no additional prophylactic advantage

Population pharmacokinetics of colistin methanesulfonate and formed colistin in critically ill patients from a multicenter study provide dosing suggestions for various categories of patients

With increasing clinical emergence of multidrug-resistant Gram-negative pathogens and the paucity of new agents to combat these infections, colistin (administered as its inactive prodrug colistin methane-sulfonate [CMS]) has reemerged as a treatment option, especially for critically ill patients. There has been a dearth of pharmacokinetic (PK) data available to guide dosing in critically ill patients, including those on renal replacement therapy. In an ongoing study to develop a population PK model for CMS and colistin, 105 patients have been studied to date; these included 12 patients on hemodialysis and 4 on continuous renal replacement therapy. For patients not on renal replacement, there was a wide variance in creatinine clearance, ranging from 3 to 169 ml/min/1.73 m 2. Each patient was treated with a physician-selected CMS dosage regimen, and 8 blood samples for PK analysis were collected across a dosage interval on day 3 or 4 of therapy. A linear PK model with two compartments for CMS and one compartment for formed colistin best described the data. Covariates included creatinine clearance on the total clearance of CMS and colistin, as well as body weight on the central volume of CMS. Model-fitted parameter estimates were used to derive suggested loading and maintenance dosing regimens for various categories of patients, including those on hemodialysis and continuous renal replacement. Based on our current understanding of colistin PK and pharmacodynamic relationships, colistin may best be used as part of a highly active combination, especially for patients with moderate to good renal function and/or for organisms with MICs of ≥1.0 mg/liter

Adult Drosophila melanogaster evolved for antibacterial defense invest in infection-induced expression of both humoral and cellular immunity genes

<p>Abstract</p> <p>Background</p> <p>While the transcription of innate immunity genes in response to bacterial infection has been well-characterised in the Drosophila model, we recently demonstrated the capacity for such transcription to evolve in flies selected for improved antibacterial defense. Here we use this experimental system to examine how insects invest in constitutive versus infection-induced transcription of immunity genes. These two strategies carry with them different consequences with respect to energetic and pleiotropic costs and may be more or less effective in improving defense depending on whether the genes contribute to humoral or cellular aspects of immunity.</p> <p>Findings</p> <p>Contrary to expectation we show that selection preferentially increased the infection-induced expression of both cellular and humoral immunity genes. Given their functional roles, infection induced increases in expression were expected for the humoral genes, while increases in constitutive expression were expected for the cellular genes. We also report a restricted ability to improve transcription of immunity genes that is on the order of 2-3 fold regardless of total transcription level of the gene.</p> <p>Conclusions</p> <p>The evolved increases in infection-induced expression of the cellular genes may result from specific cross talk with humoral pathways or from generalised strategies for enhancing immunity gene transcription. A failure to see improvements in constitutive expression of the cellular genes suggests either that increases might come at too great a cost or that patterns of expression in adults are decoupled from the larval phase where increases would be most effective. The similarity in fold change increase across all immunity genes may suggest a shared mechanism for the evolution of increased transcription in small, discrete units such as duplication of <it>cis</it>-regulatory elements.</p

Metastatic group 3 medulloblastoma is driven by PRUNE1 targeting NME1-TGF-β-OTX2-SNAIL via PTEN inhibition.

Genetic modifications during development of paediatric groups 3 and 4 medulloblastoma are responsible for their highly metastatic properties and poor patient survival rates. PRUNE1 is highly expressed in metastatic medulloblastoma group 3, which is characterized by TGF-β signalling activation, c-MYC amplification, and OTX2 expression. We describe the process of activation of the PRUNE1 signalling pathway that includes its binding to NME1, TGF-β activation, OTX2 upregulation, SNAIL (SNAI1) upregulation, and PTEN inhibition. The newly identified small molecule pyrimido-pyrimidine derivative AA7.1 enhances PRUNE1 degradation, inhibits this activation network, and augments PTEN expression. Both AA7.1 and a competitive permeable peptide that impairs PRUNE1/NME1 complex formation, impair tumour growth and metastatic dissemination in orthotopic xenograft models with a metastatic medulloblastoma group 3 cell line (D425-Med cells). Using whole exome sequencing technology in metastatic medulloblastoma primary tumour cells, we also define 23 common 'non-synonymous homozygous' deleterious gene variants as part of the protein molecular network of relevance for metastatic processes. This PRUNE1/TGF-β/OTX2/PTEN axis, together with the medulloblastoma-driver mutations, is of relevance for future rational and targeted therapies for metastatic medulloblastoma group 3