Efficient CSL Model Checking Using Stratification

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient polynomial-time approximation algorithm for the sublogic in which only binary until is allowed. In this paper, we propose such an efficient polynomial-time approximation algorithm for full CSL. The key to our method is the notion of stratified CTMCs with respect to the CSL property to be checked. On a stratified CTMC, the probability to satisfy a CSL path formula can be approximated by a transient analysis in polynomial time (using uniformization). We present a measure-preserving, linear-time and -space transformation of any CTMC into an equivalent, stratified one. This makes the present work the centerpiece of a broadly applicable full CSL model checker. Recently, the decision algorithm by Aziz et al. was shown to work only for stratified CTMCs. As an additional contribution, our measure-preserving transformation can be used to ensure the decidability for general CTMCs.Comment: 18 pages, preprint for LMCS. An extended abstract appeared in ICALP 201

Double-Walled Carbon Nanotubes Ink for High-Conductivity Flexible Electrodes

Carbon electronics is a growing field that spans printable electronics, energy storage devices, and bio-sensors. The commercialization of these carbon-based technologies requires a scalable production of high conductivity, acid-free carbon nanotube ink dispersions. Super acids have been used to achieve high concentration CNT inks however a scalable acid-free process to achieve similar concentrations has been missing for a long time. In this work, we demonstrate that water and sodium-cellulose are sufficient for achieving a scalable production of highly conductive CNT based ink, provided the solution is processed through a very high shear microfluidizer. Materials used in this process are acid-free and require no post-processing, such as centrifuging or heating. We have achieved conductivity and sheet resistance of 3.6±0.2x105 S.m-1 and 0.11 Ω.□-1mil-1 respectively, which are among the best-reported values for any un-doped carbon-based film. The thermal conductivity of the free-standing carbon films is 43±4 W m-1K-1. Using this method uniformly dispersed CNT inks, of viscosity >1Pa-s, are produced. Once printed on paper, these CNT films show pronounced resilience to mechanical deformation. This simple but scalable process provides a viable technology for using carbon-based conducting inks for printing large-scale devices.Lloyds Register Foundatio

Is Gly16Arg β₂ Receptor Polymorphism Related to Impulse Oscillometry in a Real-Life Asthma Clinic Setting?

PURPOSE: We evaluated whether Gly16Arg beta2-receptor genotype relates to impulse oscillometry (IOS) in a real-life clinic setting. METHODS: Patients with persistent asthma taking inhaled corticosteroid ± long-acting beta-agonist (ICS ± LABA) were evaluated. We compared genotype groups comprising either no Arg copies (i.e. GlyGly) versus one or two Arg copies (i.e. ArgArg or ArgGly). IOS outcomes included total airway resistance at 5 Hz (R5), central airway resistance at 20 Hz (R20), peripheral airway resistance (R5–R20), reactance at 5 Hz, area under reactance curve (AX) and resonant frequency (RF). In addition, we recorded ACQ-5 and salbutamol use. RESULTS: One hundred and twelve ICS-treated asthmatic patients (mean ICS dose 1238 µg/day), mean age 43 years, ACQ 2.34, FEV1 82 %, R5 177 % were identified—89 were also taking LABA. 61 patients were GlyGly, while 14 were ArgArg and 37 were ArgGly. There were no significant differences in IOS outcomes, ACQ or salbutamol use between the genotypes. The allelic risk (as odds ratio) for less well-controlled asthma (as ACQ > 1.5) was 1.1 (95 % CI 0.72–1.68) in relation to each Arg copy with a corresponding odds ratio for abnormal R5–R20 > 0.07kPA/l.s being 0.91 (95 % CI 0.57–1.44). 71 % of patients had an ACQ > 1.5 in the GlyGly group, versus 67 % in GlyArg/ArgArg group, with corresponding figures for abnormal R5–R20 > 0.07 kPa/l.s being 69 versus 73 %. CONCLUSION: In a real-life clinic setting for patients with poorly controlled persistent asthma taking ICS ± LABA, we found no evidence of any relationship of Gly16Arg to IOS, ACQ or salbutamol use

Horizontal DNA transfer mechanisms of bacteria as weapons of intragenomic conflict

Horizontal DNA transfer (HDT) is a pervasive mechanism of diversification in many microbial species, but its primary evolutionary role remains controversial. Much recent research has emphasised the adaptive benefit of acquiring novel DNA, but here we argue instead that intragenomic conflict provides a coherent framework for understanding the evolutionary origins of HDT. To test this hypothesis, we developed a mathematical model of a clonally descended bacterial population undergoing HDT through transmission of mobile genetic elements (MGEs) and genetic transformation. Including the known bias of transformation toward the acquisition of shorter alleles into the model suggested it could be an effective means of counteracting the spread of MGEs. Both constitutive and transient competence for transformation were found to provide an effective defence against parasitic MGEs; transient competence could also be effective at permitting the selective spread of MGEs conferring a benefit on their host bacterium. The coordination of transient competence with cell-cell killing, observed in multiple species, was found to result in synergistic blocking of MGE transmission through releasing genomic DNA for homologous recombination while simultaneously reducing horizontal MGE spread by lowering the local cell density. To evaluate the feasibility of the functions suggested by the modelling analysis, we analysed genomic data from longitudinal sampling of individuals carrying Streptococcus pneumoniae. This revealed the frequent within-host coexistence of clonally descended cells that differed in their MGE infection status, a necessary condition for the proposed mechanism to operate. Additionally, we found multiple examples of MGEs inhibiting transformation through integrative disruption of genes encoding the competence machinery across many species, providing evidence of an ongoing "arms race." Reduced rates of transformation have also been observed in cells infected by MGEs that reduce the concentration of extracellular DNA through secretion of DNases. Simulations predicted that either mechanism of limiting transformation would benefit individual MGEs, but also that this tactic's effectiveness was limited by competition with other MGEs coinfecting the same cell. A further observed behaviour we hypothesised to reduce elimination by transformation was MGE activation when cells become competent. Our model predicted that this response was effective at counteracting transformation independently of competing MGEs. Therefore, this framework is able to explain both common properties of MGEs, and the seemingly paradoxical bacterial behaviours of transformation and cell-cell killing within clonally related populations, as the consequences of intragenomic conflict between self-replicating chromosomes and parasitic MGEs. The antagonistic nature of the different mechanisms of HDT over short timescales means their contribution to bacterial evolution is likely to be substantially greater than previously appreciated

Search for Charged Higgs Bosons in e+e- Collisions at \sqrt{s} = 189 GeV

A search for pair-produced charged Higgs bosons is performed with the L3 detector at LEP using data collected at a centre-of-mass energy of 188.6 GeV, corresponding to an integrated luminosity of 176.4 pb^-1. Higgs decays into a charm and a strange quark or into a tau lepton and its associated neutrino are considered. The observed events are consistent with the expectations from Standard Model background processes. A lower limit of 65.5 GeV on the charged Higgs mass is derived at 95 % confidence level, independent of the decay branching ratio Br(H^{+/-} -> tau nu)

Positive psychology of Malaysian students: impacts of engagement, motivation, self-compassion and wellbeing on mental health

Malaysia plays a key role in education of the Asia Pacific, expanding its scholarly output rapidly. However, mental health of Malaysian students is challenging, and their help-seeking is low because of stigma. This study explored the relationships between mental health and positive psychological constructs (academic engagement, motivation, self-compassion, and wellbeing), and evaluated the relative contribution of each positive psychological construct to mental health in Malaysian students. An opportunity sample of 153 students completed the measures regarding these constructs. Correlation, regression, and mediation analyses were conducted. Engagement, amotivation, self-compassion, and wellbeing were associated with, and predicted large variance in mental health. Self-compassion was the strongest independent predictor of mental health among all the positive psychological constructs. Findings can imply the strong links between mental health and positive psychology, especially selfcompassion. Moreover, intervention studies to examine the effects of self-compassion training on mental health of Malaysian students appear to be warranted.N/

2019 international consensus on cardiopulmonary resuscitation and emergency cardiovascular care science with treatment recommendations : summary from the basic life support; advanced life support; pediatric life support; neonatal life support; education, implementation, and teams; and first aid task forces

The International Liaison Committee on Resuscitation has initiated a continuous review of new, peer-reviewed, published cardiopulmonary resuscitation science. This is the third annual summary of the International Liaison Committee on Resuscitation International Consensus on Cardiopulmonary Resuscitation and Emergency Cardiovascular Care Science With Treatment Recommendations. It addresses the most recent published resuscitation evidence reviewed by International Liaison Committee on Resuscitation Task Force science experts. This summary addresses the role of cardiac arrest centers and dispatcher-assisted cardiopulmonary resuscitation, the role of extracorporeal cardiopulmonary resuscitation in adults and children, vasopressors in adults, advanced airway interventions in adults and children, targeted temperature management in children after cardiac arrest, initial oxygen concentration during resuscitation of newborns, and interventions for presyncope by first aid providers. Members from 6 International Liaison Committee on Resuscitation task forces have assessed, discussed, and debated the certainty of the evidence on the basis of the Grading of Recommendations, Assessment, Development, and Evaluation criteria, and their statements include consensus treatment recommendations. Insights into the deliberations of the task forces are provided in the Justification and Evidence to Decision Framework Highlights sections. The task forces also listed priority knowledge gaps for further research

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns