5,986 research outputs found

    Completeness and decidability results for hybrid(ised) logics

    Get PDF
    Adding to the modal description of transition structures the ability to refer to specific states, hybrid(ised) logics provide an interesting framework for the specification of reconfigurable systems. The qualifier ‘hybrid(ised)’ refers to a generic method of developing, on top of whatever specification logic is used to model software configurations, the elements of an hybrid language, including nominals and modalities. In such a context, this paper shows how a calculus for a hybrid(ised) logic can be generated from a calculus of the base logic and that, moreover, it preserves soundness and completeness. A second contribution establishes that hybridising a decidable logic also gives rise to a decidable hybrid(ised) one. These results pave the way to the development of dedicated proof tools for such logics used in the design of reconfigurable systems

    Iron, silicate, and light co-limitation of three Southern Ocean diatom species

    Get PDF
    The effect of combined iron, silicate, and light co-limitation was investigated in the three diatom species Actinocyclus sp. Ehrenberg, Chaetoceros dichaeta Ehrenberg, and Chaetoceros debilis Cleve, isolated from the Southern Ocean (SO). Growth of all species was co-limited by iron and silicate, reflected in a significant increase in the number of cell divisions compared to the control. Lowest relative Si uptake and drastic frustule malformation was found under iron and silicate co-limitation in C. dichaeta, while Si limitation in general caused cell elongation in both Chaetoceros species. Higher light intensities similar to SO surface conditions showed a negative impact on growth of C. dichaeta and Actinocyclus sp. and no effect on C. debilis. This is in contrast to the assumed light limitation of SO diatoms due to deep wind driven mixing. Our results suggest that growth and species composition of Southern Ocean diatoms is influenced by a sensitive interaction of the abiotic factors, iron, silicate, and light

    Evidence-based practice educational intervention studies: A systematic review of what is taught and how it is measured

    Get PDF
    Abstract Background Despite the established interest in evidence-based practice (EBP) as a core competence for clinicians, evidence for how best to teach and evaluate EBP remains weak. We sought to systematically assess coverage of the five EBP steps, review the outcome domains measured, and assess the properties of the instruments used in studies evaluating EBP educational interventions. Methods We conducted a systematic review of controlled studies (i.e. studies with a separate control group) which had investigated the effect of EBP educational interventions. We used citation analysis technique and tracked the forward and backward citations of the index articles (i.e. the systematic reviews and primary studies included in an overview of the effect of EBP teaching) using Web of Science until May 2017. We extracted information on intervention content (grouped into the five EBP steps), and the outcome domains assessed. We also searched the literature for published reliability and validity data of the EBP instruments used. Results Of 1831 records identified, 302 full-text articles were screened, and 85 included. Of these, 46 (54%) studies were randomised trials, 51 (60%) included postgraduate level participants, and 63 (75%) taught medical professionals. EBP Step 3 (critical appraisal) was the most frequently taught step (63 studies; 74%). Only 10 (12%) of the studies taught content which addressed all five EBP steps. Of the 85 studies, 52 (61%) evaluated EBP skills, 39 (46%) knowledge, 35 (41%) attitudes, 19 (22%) behaviours, 15 (18%) self-efficacy, and 7 (8%) measured reactions to EBP teaching delivery. Of the 24 instruments used in the included studies, 6 were high-quality (achieved ≥3 types of established validity evidence) and these were used in 14 (29%) of the 52 studies that measured EBP skills; 14 (41%) of the 39 studies that measured EBP knowledge; and 8 (26%) of the 35 studies that measured EBP attitude. Conclusions Most EBP educational interventions which have been evaluated in controlled studies focus on teaching only some of the EBP steps (predominantly critically appraisal of evidence) and did not use high-quality instruments to measure outcomes. Educational packages and instruments which address all EBP steps are needed to improve EBP teaching

    Adaptation to fluctuating environments in a selection experiment with Drosophila melanogaster

    Get PDF
    A fundamental question in life-history evolution is how organisms cope with fluctuating environments, including variation between stressful and benign conditions. For short-lived organisms, environments commonly vary between generations. Using a novel experimental design, we exposed wild-derived Drosophila melanogaster to three different selection regimes: one where generations alternated between starvation and benign conditions, and starvation was always preceded by early exposure to cold; another where starvation and benign conditions alternated in the same way, but cold shock sometimes preceded starvation and sometimes benign conditions; and a third where conditions were always benign. Using six replicate populations per selection regime, we found that selected flies increased their starvation resistance, most strongly for the regime where cold and starvation were reliably combined, and this occurred without decreased fecundity or extended developmental time. The selected flies became stress resistant, displayed a pronounced increase in early life food intake and resource storage. In contrast to previous experiments selecting for increased starvation resistance in D. melanogaster, we did not find increased storage of lipids as the main response, but instead that, in particular for females, storage of carbohydrates was more pronounced. We argue that faster mobilization of carbohydrates is advantageous in fluctuating environments and conclude that the phenotype that evolved in our experiment corresponds to a compromise between the requirements of stressful and benign environments

    Does Sex Trade with Violence among Genotypes in Drosophila melanogaster?

    Get PDF
    The evolutionary forces shaping the ability to win competitive interactions, such as aggressive encounters, are still poorly understood. Given a fitness advantage for competitive success, variance in aggressive and sexual display traits should be depleted, but a great deal of variation in these traits is consistently found. While life history tradeoffs have been commonly cited as a mechanism for the maintenance of variation, the variability of competing strategies of conspecifics may mean there is no single optimum strategy. We measured the genetically determined outcomes of aggressive interactions, and the resulting effects on mating success, in a panel of diverse inbred lines representing both natural variation and artificially selected genotypes. Males of one genotype which consistently lost territorial encounters with other genotypes were nonetheless successful against males that were artificially selected for supernormal aggression and dominated all other lines. Intransitive patterns of territorial success could maintain variation in aggressive strategies if there is a preference for territorial males. Territorial success was not always associated with male mating success however and females preferred ‘winners’ among some male genotypes, and ‘losers’ among other male genotypes. This suggests that studying behaviour from the perspective of population means may provide limited evolutionary and genetic insight. Overall patterns of competitive success among males and mating transactions between the sexes are consistent with mechanisms proposed for the maintenance of genetic variation due to nonlinear outcomes of competitive interactions

    Neonatal-onset multisystem inflammatory disease responsive to interleukin-1 beta inhibition

    Get PDF
    BACKGROUND:Neonatal-onset multisystem inflammatory disease is characterized by fever, urticarial rash, aseptic meningitis, deforming arthropathy, hearing loss, and mental retardation. Many patients have mutations in the cold-induced autoinflammatory syndrome 1 (CIAS1) gene, encoding cryopyrin, a protein that regulates inflammation.METHODS:We selected 18 patients with neonatal-onset multisystem inflammatory disease (12 with identifiable CIAS1 mutations) to receive anakinra, an interleukin-1-receptor antagonist (1 to 2 mg per kilogram of body weight per day subcutaneously). In 11 patients, anakinra was withdrawn at three months until a flare occurred. The primary end points included changes in scores in a daily diary of symptoms, serum levels of amyloid A and C-reactive protein, and the erythrocyte sedimentation rate from baseline to month 3 and from month 3 until a disease flare.RESULTS:All 18 patients had a rapid response to anakinra, with disappearance of rash. Diary scores improved (P<0.001) and serum amyloid A (from a median of 174 mg to 8 mg per liter), C-reactive protein (from a median of 5.29 mg to 0.34 mg per deciliter), and the erythrocyte sedimentation rate decreased at month 3 (all P<0.001), and remained low at month 6. Magnetic resonance imaging showed improvement in cochlear and leptomeningeal lesions as compared with baseline. Withdrawal of anakinra uniformly resulted in relapse within days; retreatment led to rapid improvement. There were no drug-related serious adverse events.CONCLUSIONS:Daily injections of anakinra markedly improved clinical and laboratory manifestations in patients with neonatal-onset multisystem inflammatory disease, with or without CIAS1 mutations

    EGFR-specific T cell frequencies correlate with EGFR expression in head and neck squamous cell carcinoma

    Get PDF
    Background\ud In head and neck squamous cell carcinoma (HNSCC), expression levels of the epidermal growth factor receptor (EGFR) correlate with poor prognosis and decreased survival rates. As the mechanisms responsible for cellular immune response to EGFR in vivo remain unclear, the frequency and function of EGFR-specific cytotoxic T cells (CTL) was determined in HNSCC patients.\ud \ud Methods\ud The frequency of CTL specific for the HLA-A2.1-restricted EGFR-derived YLN peptide (YLNTVQPTCV) and KLF peptide (KLFGTSGQKT) was determined in 16 HLA-A2.1+ HNSCC patients and 16 healthy HLA-A2.1+ individuals (NC) by multicolor flow cytometry. Patients' results were correlated to EGFR expression obtained by immunohistochemistry in corresponding tumor sections. Proliferation and anti-tumor activity of peptide-specific CTL was demonstrated by in vitro stimulation with dendritic cells pulsed with the peptides.\ud \ud Results\ud Frequency of EGFR-specific CTL correlated significantly with EGFR expression in tumor sections (p = 0.02, r2 = 0.6). Patients with elevated EGFR scores (> 7) had a significantly higher frequency of EGFR-specific CTL than NC and patients with low EGFR scores (< 7). EGFR-specific CTL from cancer patients were expanded ex vivo and produced IFN-γ upon recognition of EGFR+ target cells.\ud \ud Conclusion\ud EGFR expressed on HNSCC cells induces a specific immune response in vivo. Strategies for expansion of EGFR-specific CTL may be important for future immunotherapy of HNSCC patients

    Effect of cylinder de-activation on the tribological performance of compression ring conjunction

    Get PDF
    The paper presents transient thermal-mixed-hydrodynamics of piston compression ring-cylinder liner conjunction for a 4-cylinder 4-stroke gasoline engine during a part of the New European Drive Cycle (NEDC). Analyses are carried out with and without cylinder de-activation (CDA) technology in order to investigate its effect upon the generated tribological conditions. In particular, the effect of CDA upon frictional power loss is studied. The predictions show that overall power losses in the piston-ring cylinder system worsen by as much as 10% because of the increased combustion pressures and liner temperatures in the active cylinders of an engine operating under CDA. This finding shows the down-side of this progressively employed technology, which otherwise is effective in terms of combustion efficiency with additional benefits for operation of catalytic converters. The expounded approach has not hitherto been reported in literature
    corecore