1,222 research outputs found

    Sharper and Simpler Nonlinear Interpolants for Program Verification

    Full text link
    Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and SDP optimization in synthesis of polynomial interpolants, the current paper contributes its enhancement that yields sharper and simpler interpolants. The enhancement is made possible by: theoretical observations in real algebraic geometry; and our continued fraction-based algorithm that rounds off (potentially erroneous) numerical solutions of SDP solvers. Experiment results support our tool's effectiveness; we also demonstrate the benefit of sharp and simple interpolants in program verification examples

    Left ventricular non-compaction: clinical features and cardiovascular magnetic resonance imaging

    Get PDF
    Background: It is apparent that despite lack of family history, patients with the morphological characteristics of left ventricular non-compaction develop arrhythmias, thrombo-embolism and left ventricular dysfunction. METHODS: Forty two patients, aged 48.7 +/- 2.3 yrs (mean +/- SEM) underwent cardiovascular magnetic resonance (CMR) for the quantification of left ventricular volumes and extent of non-compacted (NC) myocardium. The latter was quantified using planimetry on the two-chamber long axis LV view (NC area). The patients included those referred specifically for CMR to investigate suspected cardiomyopathy, and as such is represents a selected group of patients. RESULTS: At presentation, 50% had dyspnoea, 19% chest pain, 14% palpitations and 5% stroke. Pulmonary embolism had occurred in 7% and brachial artery embolism in 2%. The ECG was abnormal in 81% and atrial fibrillation occurred in 29%. Transthoracic echocardiograms showed features of NC in only 10%. On CMR, patients who presented with dyspnoea had greater left ventricular volumes (both p < 0.0001) and a lower left ventricular ejection fraction (LVEF) (p < 0.0001) than age-matched, healthy controls. In patients without dyspnoea (n = 21), NC area correlated positively with end-diastolic volume (r = 0.52, p = 0.0184) and end-systolic volume (r = 0.56, p = 0.0095), and negatively with EF (r = -0.72, p = 0.0001). CONCLUSION: Left ventricular non-compaction is associated with dysrrhythmias, thromboembolic events, chest pain and LV dysfunction. The inverse correlation between NC area and EF suggests that NC contributes to left ventricular dysfunction

    Environmental risk assessment of genetically modified plants - concepts and controversies

    Get PDF
    Background and purpose: In Europe, the EU Directive 2001/18/EC lays out the main provisions of environmental risk assessment (ERA) of genetically modified (GM) organisms that are interpreted very differently by different stakeholders. The purpose of this paper is to: (a) describe the current implementation of ERA of GM plants in the EU and its scientific shortcomings, (b) present an improved ERA concept through the integration of a previously developed selection procedure for identification of non-target testing organisms into the ERA framework as laid out in the EU Directive 2001/18/EC and its supplement material (Commission Decision 2002/623/EC), (c) describe the activities to be carried out in each component of the ERA and (d) propose a hierarchical testing scheme. Lastly, we illustrate the outcomes for three different crop case examples. Main features: Implementation of the current ERA concept of GM crops in the EU is based on an interpretation of the EU regulations that focuses almost exclusively on the isolated bacteria-produced novel proteins with little consideration of the whole plant. Therefore, testing procedures for the effect assessment of GM plants on non-target organisms largely follow the ecotoxicological testing strategy developed for pesticides. This presumes that any potential adverse effect of the whole GM plant and the plant-produced novel compound can be extrapolated from testing of the isolated bacteriaproduced novel compound or can be detected in agronomic field trials. This has led to persisting scientific criticism. Results: Based on the EU ERA framework, we present an improved ERA concept that is system oriented with the GM plant at the centre and integrates a procedure for selection of testing organisms that do occur in the receiving environment. We also propose a hierarchical testing scheme from laboratory studies to field trials and we illustrate the outcomes for three different crop case examples. Conclusions and recommendations: Our proposed concept can alleviate a number of deficits identified in the current approach to ERA of GM plants. It allows the ERA to be tailored to the GM plant case and the receiving environment

    Delocalized single-photon Dicke states and the Leggett- Garg inequality in solid state systems

    Full text link
    We show how to realize a single-photon Dicke state in a large one-dimensional array of two- level systems, and discuss how to test its quantum properties. Realization of single-photon Dicke states relies on the cooperative nature of the interaction between a field reservoir and an array of two-level-emitters. The resulting dynamics of the delocalized state can display Rabi-like oscillations when the number of two-level emitters exceeds several hundred. In this case the large array of emitters is essentially behaving like a mirror-less cavity. We outline how this might be realized using a multiple-quantum-well structure and discuss how the quantum nature of these oscillations could be tested with the Leggett-Garg inequality and its extensions.Comment: 29 pages, 5 figures, journal pape

    Evaluation of Sexual Communication Message Strategies

    Get PDF
    Parent-child communication about sex is an important proximal reproductive health outcome. But while campaigns to promote it such as the Parents Speak Up National Campaign (PSUNC) have been effective, little is known about how messages influence parental cognitions and behavior. This study examines which message features explain responses to sexual communication messages

    Evaluation of Sexual Communication Message Strategies

    Get PDF
    Parent-child communication about sex is an important proximal reproductive health outcome. But while campaigns to promote it such as the Parents Speak Up National Campaign (PSUNC) have been effective, little is known about how messages influence parental cognitions and behavior. This study examines which message features explain responses to sexual communication messages

    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

    No full text
    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
    • …
    corecore