93 research outputs found

    Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

    Full text link
    In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics of the language using Structural Operational Semantics, and show its expressiveness by means of examples. We developed a tool for automated translation from timed Rebeca to the Erlang language, which provides a first implementation of timed Rebeca. We can use the tool to set the parameters of timed Rebeca models, which represent the environment and component variables, and use McErlang to run multiple simulations for different settings. Timed Rebeca restricts the modeller to a pure asynchronous actor-based paradigm, where the structure of the model represents the service oriented architecture, while the computational model matches the network infrastructure. Simulation is shown to be an effective analysis support, specially where model checking faces almost immediate state explosion in an asynchronous setting.Comment: In Proceedings FOCLASA 2011, arXiv:1107.584

    Exploitation of Herpesviral Transactivation Allows Quantitative Reporter Gene-Based Assessment of Virus Entry and Neutralization

    Get PDF
    Herpesviral entry is a highly elaborated process requiring many proteins to act in precise conjunction. Neutralizing antibodies interfere with this process to abrogate viral infection. Based on promoter transactivation of a reporter gene we established a novel method to quantify herpesvirus entry and neutralization by antibodies. Following infection with mouse and human cytomegalovirus and Herpes simplex virus 1 we observed promoter transactivation resulting in substantial luciferase expression (>1000-fold). No induction was elicited by UV-inactivated viruses. The response was MOI-dependent and immunoblots confirmed a correlation between luciferase induction and pp72-IE1 expression. Monoclonal antibodies, immune sera and purified immunoglobulin preparations decreased virus-dependent luciferase induction dose-dependently, qualifying this approach as surrogate virus neutralization test. Besides the reduced hands-on time, this assay allows analysis of herpesvirus entry in semi-permissive and non-adherent cells, which were previously non-assessable but play significant roles in herpesvirus pathology

    Self-prioritization and perceptual matching: The effects of temporal construal.

    Get PDF
    Recent research has revealed that self-referential processing enhances perceptual judgments - the so-called self-prioritization effect. The extent and origin of this effect remains unknown, however. Noting the multifaceted nature of the self, here we hypothesized that temporal influences on self-construal (i.e., past/future-self continuity) may serve as an important determinant of stimulus prioritization. Specifically, as representations of the self increase in abstraction as a function of temporal distance (i.e., distance from now), self-prioritization may only emerge when stimuli are associated with the current self. The results of three experiments supported this prediction. Self-relevance only enhanced performance in a standard perceptual-matching task when stimuli (i.e., geometric shapes) were connected with the current self; representations of the self in the future (Expts. 1 & 2) and past (Expt. 3) failed to facilitate decision making. To identify the processes underlying task performance, data were interrogated using a hierarchical drift diffusion model (HDDM) approach. Results of these analyses revealed that self-prioritization was underpinned by a stimulus bias (i.e., rate of information uptake). Collectively, these findings elucidate when and how self-relevance influences decisional processing

    CMS physics technical design report : Addendum on high density QCD with heavy ions

    Get PDF
    Peer reviewe

    Why Are Outcomes Different for Registry Patients Enrolled Prospectively and Retrospectively? Insights from the Global Anticoagulant Registry in the FIELD-Atrial Fibrillation (GARFIELD-AF).

    Get PDF
    Background: Retrospective and prospective observational studies are designed to reflect real-world evidence on clinical practice, but can yield conflicting results. The GARFIELD-AF Registry includes both methods of enrolment and allows analysis of differences in patient characteristics and outcomes that may result. Methods and Results: Patients with atrial fibrillation (AF) and ≄1 risk factor for stroke at diagnosis of AF were recruited either retrospectively (n = 5069) or prospectively (n = 5501) from 19 countries and then followed prospectively. The retrospectively enrolled cohort comprised patients with established AF (for a least 6, and up to 24 months before enrolment), who were identified retrospectively (and baseline and partial follow-up data were collected from the emedical records) and then followed prospectively between 0-18 months (such that the total time of follow-up was 24 months; data collection Dec-2009 and Oct-2010). In the prospectively enrolled cohort, patients with newly diagnosed AF (≀6 weeks after diagnosis) were recruited between Mar-2010 and Oct-2011 and were followed for 24 months after enrolment. Differences between the cohorts were observed in clinical characteristics, including type of AF, stroke prevention strategies, and event rates. More patients in the retrospectively identified cohort received vitamin K antagonists (62.1% vs. 53.2%) and fewer received non-vitamin K oral anticoagulants (1.8% vs . 4.2%). All-cause mortality rates per 100 person-years during the prospective follow-up (starting the first study visit up to 1 year) were significantly lower in the retrospective than prospectively identified cohort (3.04 [95% CI 2.51 to 3.67] vs . 4.05 [95% CI 3.53 to 4.63]; p = 0.016). Conclusions: Interpretations of data from registries that aim to evaluate the characteristics and outcomes of patients with AF must take account of differences in registry design and the impact of recall bias and survivorship bias that is incurred with retrospective enrolment. Clinical Trial Registration: - URL: http://www.clinicaltrials.gov . Unique identifier for GARFIELD-AF (NCT01090362)

    Risk profiles and one-year outcomes of patients with newly diagnosed atrial fibrillation in India: Insights from the GARFIELD-AF Registry.

    Get PDF
    BACKGROUND: The Global Anticoagulant Registry in the FIELD-Atrial Fibrillation (GARFIELD-AF) is an ongoing prospective noninterventional registry, which is providing important information on the baseline characteristics, treatment patterns, and 1-year outcomes in patients with newly diagnosed non-valvular atrial fibrillation (NVAF). This report describes data from Indian patients recruited in this registry. METHODS AND RESULTS: A total of 52,014 patients with newly diagnosed AF were enrolled globally; of these, 1388 patients were recruited from 26 sites within India (2012-2016). In India, the mean age was 65.8 years at diagnosis of NVAF. Hypertension was the most prevalent risk factor for AF, present in 68.5% of patients from India and in 76.3% of patients globally (P < 0.001). Diabetes and coronary artery disease (CAD) were prevalent in 36.2% and 28.1% of patients as compared with global prevalence of 22.2% and 21.6%, respectively (P < 0.001 for both). Antiplatelet therapy was the most common antithrombotic treatment in India. With increasing stroke risk, however, patients were more likely to receive oral anticoagulant therapy [mainly vitamin K antagonist (VKA)], but average international normalized ratio (INR) was lower among Indian patients [median INR value 1.6 (interquartile range {IQR}: 1.3-2.3) versus 2.3 (IQR 1.8-2.8) (P < 0.001)]. Compared with other countries, patients from India had markedly higher rates of all-cause mortality [7.68 per 100 person-years (95% confidence interval 6.32-9.35) vs 4.34 (4.16-4.53), P < 0.0001], while rates of stroke/systemic embolism and major bleeding were lower after 1 year of follow-up. CONCLUSION: Compared to previously published registries from India, the GARFIELD-AF registry describes clinical profiles and outcomes in Indian patients with AF of a different etiology. The registry data show that compared to the rest of the world, Indian AF patients are younger in age and have more diabetes and CAD. Patients with a higher stroke risk are more likely to receive anticoagulation therapy with VKA but are underdosed compared with the global average in the GARFIELD-AF. CLINICAL TRIAL REGISTRATION-URL: http://www.clinicaltrials.gov. Unique identifier: NCT01090362

    Human Cytomegalovirus FcÎł Binding Proteins gp34 and gp68 Antagonize FcÎł Receptors I, II and III

    Get PDF
    Human cytomegalovirus (HCMV) establishes lifelong infection with recurrent episodes of virus production and shedding despite the presence of adaptive immunological memory responses including HCMV immune immunoglobulin G (IgG). Very little is known how HCMV evades from humoral and cellular IgG-dependent immune responses, the latter being executed by cells expressing surface receptors for the Fc domain of IgG (FcÎłRs). Remarkably, HCMV expresses the RL11-encoded gp34 and UL119-118-encoded gp68 type I transmembrane glycoproteins which bind FcÎł with nanomolar affinity. Using a newly developed FcÎłR activation assay, we tested if the HCMV-encoded FcÎł binding proteins (HCMV FcÎłRs) interfere with individual host FcÎłRs. In absence of gp34 or/and gp68, HCMV elicited a much stronger activation of FcÎłRIIIA/CD16, FcÎłRIIA/CD32A and FcÎłRI/CD64 by polyclonal HCMV-immune IgG as compared to wildtype HCMV. gp34 and gp68 co-expression culminates in the late phase of HCMV replication coinciding with the emergence of surface HCMV antigens triggering FcÎłRIII/CD16 responses by polyclonal HCMV-immune IgG. The gp34- and gp68-dependent inhibition of HCMV immune IgG was fully reproduced when testing the activation of primary human NK cells. Their broad antagonistic function towards FcÎłRIIIA, FcÎłRIIA and FcÎłRI activation was also recapitulated in a gain-of-function approach based on humanized monoclonal antibodies (trastuzumab, rituximab) and isotypes of different IgG subclasses. Surface immune-precipitation showed that both HCMV-encoded FcÎł binding proteins have the capacity to bind trastuzumab antibody-HER2 antigen complexes demonstrating simultaneous linkage of immune IgG with antigen and the HCMV inhibitors on the plasma membrane. Our studies reveal a novel strategy by which viral FcÎłRs can compete for immune complexes against various Fc receptors on immune cells, dampening their activation and antiviral immunity.DFG grant He 2526/6-2.European Commission grants QLRT-2001-01112 and MRTN-CT-2005-019248.Helmholtz Association through VISTRIE VH-VI-242.UCR::VicerrectorĂ­a de Docencia::Salud::Facultad de MicrobiologĂ­

    Omecamtiv mecarbil in chronic heart failure with reduced ejection fraction, GALACTIC‐HF: baseline characteristics and comparison with contemporary clinical trials

    Get PDF
    Aims: The safety and efficacy of the novel selective cardiac myosin activator, omecamtiv mecarbil, in patients with heart failure with reduced ejection fraction (HFrEF) is tested in the Global Approach to Lowering Adverse Cardiac outcomes Through Improving Contractility in Heart Failure (GALACTIC‐HF) trial. Here we describe the baseline characteristics of participants in GALACTIC‐HF and how these compare with other contemporary trials. Methods and Results: Adults with established HFrEF, New York Heart Association functional class (NYHA) ≄ II, EF ≀35%, elevated natriuretic peptides and either current hospitalization for HF or history of hospitalization/ emergency department visit for HF within a year were randomized to either placebo or omecamtiv mecarbil (pharmacokinetic‐guided dosing: 25, 37.5 or 50 mg bid). 8256 patients [male (79%), non‐white (22%), mean age 65 years] were enrolled with a mean EF 27%, ischemic etiology in 54%, NYHA II 53% and III/IV 47%, and median NT‐proBNP 1971 pg/mL. HF therapies at baseline were among the most effectively employed in contemporary HF trials. GALACTIC‐HF randomized patients representative of recent HF registries and trials with substantial numbers of patients also having characteristics understudied in previous trials including more from North America (n = 1386), enrolled as inpatients (n = 2084), systolic blood pressure &lt; 100 mmHg (n = 1127), estimated glomerular filtration rate &lt; 30 mL/min/1.73 m2 (n = 528), and treated with sacubitril‐valsartan at baseline (n = 1594). Conclusions: GALACTIC‐HF enrolled a well‐treated, high‐risk population from both inpatient and outpatient settings, which will provide a definitive evaluation of the efficacy and safety of this novel therapy, as well as informing its potential future implementation
    • 

    corecore