94 research outputs found

    Bisimilarity and refinement for hybrid(ised) logics

    Get PDF
    The complexity of modern software systems entails the need for reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of this sort of systems. Therefore, the quest for suitable notions of equivalence and refinement between models of hybrid logic specifications becomes fundamental to any design discipline adopting this perspective. This paper contributes to this effort from a distinctive point of view: instead of focussing on a specific hybrid logic, the paper introduces notions of bisimilarity and refinement for hybridised logics, i.e. standard specification logics (e.g. propositional, equational, fuzzy, etc) to which modal and hybrid features were added in a systematic way.FC

    Educational intervention improves anticoagulation control in atrial fibrillation patients:the TREAT randomised trial

    Get PDF
    Background: Stroke prevention in atrial fibrillation (AF), most commonly with warfarin, requires maintenance of a narrow therapeutic target (INR 2.0 to 3.0) and is often poorly controlled in practice. Poor patient-understanding surrounding AF and its’ treatment may contribute to patient’s willingness to adhere to recommendations. Method: A theory-driven intervention, developed using patient interviews and focus groups, consisting of a one-off group session (1-6 patients) utilising an ‘expert-patient’ focussed DVD, educational booklet, self-monitoring diary and worksheet, was compared in a randomised controlled trial (ISRCTN93952605) against usual care, with patient postal follow-ups at 1, 2, 6, and 12-months. Ninety-seven warfarin-naïve AF patients were randomised to intervention (n=46, mean age (SD) 72.0 (8.2), 67.4% men), or usual care (n=51, mean age (SD) 73.7 (8.1), 62.7% men), stratified by age, sex, and recruitment centre. Primary endpoint was time within therapeutic range (TTR); secondary endpoints included knowledge, quality of life, anxiety/depression, beliefs about medication, and illness perceptions. Main findings: Intervention patients had significantly higher TTR than usual care at 6-months (76.2% vs. 71.3%; p=0.035); at 12-months these differences were not significant (76.0% vs. 70.0%; p=0.44). Knowledge increased significantly across time (F (3, 47) = 6.4; p<0.01), but there were no differences between groups (F (1, 47) = 3.3; p = 0.07). At 6-months, knowledge scores predicted TTR (r=0.245; p=0.04). Patients’ scores on subscales representing their perception of the general harm and overuse of medication, as well as the perceived necessity of their AF specific medications predicted TTR at 6- and 12-months. Conclusions: A theory-driven educational intervention significantly improves TTR in AF patients initiating warfarin during the first 6-months. Adverse clinical outcomes may potentially be reduced by improving patients’ understanding of the necessity of warfarin and reducing their perception of treatment harm. Improving education provision for AF patients is essential to ensure efficacious and safe treatment

    Clades of huge phages from across Earth's ecosystems

    Get PDF
    Bacteriophages typically have small genomes and depend on their bacterial hosts for replication. Here we sequenced DNA from diverse ecosystems and found hundreds of phage genomes with lengths of more than 200 kilobases (kb), including a genome of 735 kb, which is-to our knowledge-the largest phage genome to be described to date. Thirty-five genomes were manually curated to completion (circular and no gaps). Expanded genetic repertoires include diverse and previously undescribed CRISPR-Cas systems, transfer RNAs (tRNAs), tRNA synthetases, tRNA-modification enzymes, translation-initiation and elongation factors, and ribosomal proteins. The CRISPR-Cas systems of phages have the capacity to silence host transcription factors and translational genes, potentially as part of a larger interaction network that intercepts translation to redirect biosynthesis to phage-encoded functions. In addition, some phages may repurpose bacterial CRISPR-Cas systems to eliminate competing phages. We phylogenetically define the major clades of huge phages from human and other animal microbiomes, as well as from oceans, lakes, sediments, soils and the built environment. We conclude that the large gene inventories of huge phages reflect a conserved biological strategy, and that the phages are distributed across a broad bacterial host range and across Earth's ecosystems

    Long-Term Benefits from Early Antiretroviral Therapy Initiation in HIV Infection

    Get PDF
    BACKGROUND: For people with HIV and CD4+ counts >500 cells/mm3, early initiation of antiretroviral therapy (ART) reduces serious AIDS and serious non-AIDS (SNA) risk compared with deferral of treatment until CD4+ counts are 500 cells/mm3, excess risk of AIDS and SNA associated with delaying treatment initiation was diminished after ART initiation, but persistent excess risk remained. (Funded by the National Institute of Allergy and Infectious Diseases and others.)

    Global transpiration data from sap flow measurements : the SAPFLUXNET database

    Get PDF
    Plant transpiration links physiological responses of vegetation to water supply and demand with hydrological, energy, and carbon budgets at the land-atmosphere interface. However, despite being the main land evaporative flux at the global scale, transpiration and its response to environmental drivers are currently not well constrained by observations. Here we introduce the first global compilation of whole-plant transpiration data from sap flow measurements (SAPFLUXNET, https://sapfluxnet.creaf.cat/, last access: 8 June 2021). We harmonized and quality-controlled individual datasets supplied by contributors worldwide in a semi-automatic data workflow implemented in the R programming language. Datasets include sub-daily time series of sap flow and hydrometeorological drivers for one or more growing seasons, as well as metadata on the stand characteristics, plant attributes, and technical details of the measurements. SAPFLUXNET contains 202 globally distributed datasets with sap flow time series for 2714 plants, mostly trees, of 174 species. SAPFLUXNET has a broad bioclimatic coverage, with woodland/shrubland and temperate forest biomes especially well represented (80 % of the datasets). The measurements cover a wide variety of stand structural characteristics and plant sizes. The datasets encompass the period between 1995 and 2018, with 50 % of the datasets being at least 3 years long. Accompanying radiation and vapour pressure deficit data are available for most of the datasets, while on-site soil water content is available for 56 % of the datasets. Many datasets contain data for species that make up 90 % or more of the total stand basal area, allowing the estimation of stand transpiration in diverse ecological settings. SAPFLUXNET adds to existing plant trait datasets, ecosystem flux networks, and remote sensing products to help increase our understanding of plant water use, plant responses to drought, and ecohydrological processes. SAPFLUXNET version 0.1.5 is freely available from the Zenodo repository (https://doi.org/10.5281/zenodo.3971689; Poyatos et al., 2020a). The "sapfluxnetr" R package - designed to access, visualize, and process SAPFLUXNET data - is available from CRAN.Peer reviewe

    Dimethyl fumarate in patients admitted to hospital with COVID-19 (RECOVERY): a randomised, controlled, open-label, platform trial

    Get PDF
    Dimethyl fumarate (DMF) inhibits inflammasome-mediated inflammation and has been proposed as a treatment for patients hospitalised with COVID-19. This randomised, controlled, open-label platform trial (Randomised Evaluation of COVID-19 Therapy [RECOVERY]), is assessing multiple treatments in patients hospitalised for COVID-19 (NCT04381936, ISRCTN50189673). In this assessment of DMF performed at 27 UK hospitals, adults were randomly allocated (1:1) to either usual standard of care alone or usual standard of care plus DMF. The primary outcome was clinical status on day 5 measured on a seven-point ordinal scale. Secondary outcomes were time to sustained improvement in clinical status, time to discharge, day 5 peripheral blood oxygenation, day 5 C-reactive protein, and improvement in day 10 clinical status. Between 2 March 2021 and 18 November 2021, 713 patients were enroled in the DMF evaluation, of whom 356 were randomly allocated to receive usual care plus DMF, and 357 to usual care alone. 95% of patients received corticosteroids as part of routine care. There was no evidence of a beneficial effect of DMF on clinical status at day 5 (common odds ratio of unfavourable outcome 1.12; 95% CI 0.86-1.47; p = 0.40). There was no significant effect of DMF on any secondary outcome

    Dimethyl fumarate in patients admitted to hospital with COVID-19 (RECOVERY): a randomised, controlled, open-label, platform trial

    Get PDF
    Dimethyl fumarate (DMF) inhibits inflammasome-mediated inflammation and has been proposed as a treatment for patients hospitalised with COVID-19. This randomised, controlled, open-label platform trial (Randomised Evaluation of COVID-19 Therapy [RECOVERY]), is assessing multiple treatments in patients hospitalised for COVID-19 (NCT04381936, ISRCTN50189673). In this assessment of DMF performed at 27 UK hospitals, adults were randomly allocated (1:1) to either usual standard of care alone or usual standard of care plus DMF. The primary outcome was clinical status on day 5 measured on a seven-point ordinal scale. Secondary outcomes were time to sustained improvement in clinical status, time to discharge, day 5 peripheral blood oxygenation, day 5 C-reactive protein, and improvement in day 10 clinical status. Between 2 March 2021 and 18 November 2021, 713 patients were enroled in the DMF evaluation, of whom 356 were randomly allocated to receive usual care plus DMF, and 357 to usual care alone. 95% of patients received corticosteroids as part of routine care. There was no evidence of a beneficial effect of DMF on clinical status at day 5 (common odds ratio of unfavourable outcome 1.12; 95% CI 0.86-1.47; p = 0.40). There was no significant effect of DMF on any secondary outcome

    Using Technology and the Spacing Effect to Improve Knowledge Retention

    No full text
    Qstream is a platform designed to allow learners and teachers to harness the educational benefits of spaced education. Spaced education is a novel method of online education developed and rigorously investigated by Dr. B. Price Kerfoot (Associate Professor, Harvard Medical School). It is based upon two core psychology research findings: the spacing effect and the testing effect. In more than 10 randomized trials completed to date, spaced education has been found to: Improve knowledge acquisition, Increase long-term knowledge retention (out to 2 years), Change behavior, Boost learners’ abilities to accurately self-assess their knowledge. In addition, spaced education is extremely well-accepted by learners. The spacing effect refers to the psychology research finding that information which is presented and repeated over spaced intervals is learned and retained more effectively, in comparison to traditional bolus (‘binge-and-purge’) methods of education. The testing effect refers to the research finding that the long-term retention of information is significantly improved by testing learners on this information. Testing is not merely a means to measure a learner’s level of knowledge, but rather causes knowledge to be stored more effectively in long-term memory. Our nursing students failed high stakes pharmacology calculation quizzes due to their inability to retain information they had learned. This led to the development of a Mastering Pharmacology Calculations program using the Qstream platform. Students that have enrolled and used the program are now successful in testing out of the pharmacology calculation quizzes in their freshmen year
    corecore