1,027 research outputs found

    Syntactic Markovian Bisimulation for Chemical Reaction Networks

    Full text link
    In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially large state spaces. This makes the analysis very difficult in practice and represents the major bottleneck for the applicability of minimization techniques based, for instance, on lumpability. In this paper we present syntactic Markovian bisimulation (SMB), a notion of bisimulation developed in the Larsen-Skou style of probabilistic bisimulation, defined over the structure of a CRN rather than over its underlying CTMC. SMB identifies a lumpable partition of the CTMC state space a priori, in the sense that it is an equivalence relation over species implying that two CTMC states are lumpable when they are invariant with respect to the total population of species within the same equivalence class. We develop an efficient partition-refinement algorithm which computes the largest SMB of a CRN in polynomial time in the number of species and reactions. We also provide an algorithm for obtaining a quotient network from an SMB that induces the lumped CTMC directly, thus avoiding the generation of the state space of the original CRN altogether. In practice, we show that SMB allows significant reductions in a number of models from the literature. Finally, we study SMB with respect to the deterministic semantics of CRNs based on ordinary differential equations (ODEs), where each equation gives the time-course evolution of the concentration of a species. SMB implies forward CRN bisimulation, a recently developed behavioral notion of equivalence for the ODE semantics, in an analogous sense: it yields a smaller ODE system that keeps track of the sums of the solutions for equivalent species.Comment: Extended version (with proofs), of the corresponding paper published at KimFest 2017 (http://kimfest.cs.aau.dk/

    Removal of Heterologous Sequences from Plasmodium falciparum Mutants Using FLPe-Recombinase

    Get PDF
    Genetically-modified mutants are now indispensable Plasmodium gene-function reagents, which are also being pursued as genetically attenuated parasite vaccines. Currently, the generation of transgenic malaria-parasites requires the use of drug-resistance markers. Here we present the development of an FRT/FLP-recombinase system that enables the generation of transgenic parasites free of resistance genes. We demonstrate in the human malaria parasite, P. falciparum, the complete and efficient removal of the introduced resistance gene. We targeted two neighbouring genes, p52 and p36, using a construct that has a selectable marker cassette flanked by FRT-sequences. This permitted the subsequent removal of the selectable marker cassette by transient transfection of a plasmid that expressed a 37°C thermostable and enhanced FLP-recombinase. This method of removing heterologous DNA sequences from the genome opens up new possibilities in Plasmodium research to sequentially target multiple genes and for using genetically-modified parasites as live, attenuated malaria vaccines

    Validity of new child-specific thoracic gas volume prediction equations for air-displacement plethysmography

    Get PDF
    BACKGROUND: To determine the validity of the recently developed child-specific thoracic gas volume (TGV) prediction equations for use in air-displacement plethysmography (ADP) in diverse pediatric populations. METHODS: Three distinct populations were studied: European American and African American children living in Birmingham, Alabama and European children living in Lisbon, Portugal. Each child completed a standard ADP testing protocol, including a measured TGV according to the manufactures software criteria. Measured TGV was compared to the predicted TGV from current adult-based ADP proprietary equations and to the recently developed child-specific TGV equations of Fields et al. Similarly, percent body fat, derived using the TGV prediction equations, was compared to percent body fat derived using measured TGV. RESULTS: Predicted TGV from adult-based equations was significantly different from measured TGV in girls from each of the three ethnic groups (P < 0.05), however child-specific TGV estimates did not significantly differ from measured TGV in any of the ethnic or gender groups. Percent body fat estimates using adult-derived and child-specific TGV estimates did not differ significantly from percent body fat measures using measured TGV in any of the groups. CONCLUSION: The child-specific TGV equations developed by Fields et al. provided a modest improvement over the adult-based TGV equations in an ethnically diverse group of children

    Limits on WWZ and WW\gamma couplings from p\bar{p}\to e\nu jj X events at \sqrt{s} = 1.8 TeV

    Get PDF
    We present limits on anomalous WWZ and WW-gamma couplings from a search for WW and WZ production in p-bar p collisions at sqrt(s)=1.8 TeV. We use p-bar p -> e-nu jjX events recorded with the D0 detector at the Fermilab Tevatron Collider during the 1992-1995 run. The data sample corresponds to an integrated luminosity of 96.0+-5.1 pb^(-1). Assuming identical WWZ and WW-gamma coupling parameters, the 95% CL limits on the CP-conserving couplings are -0.33<lambda<0.36 (Delta-kappa=0) and -0.43<Delta-kappa<0.59 (lambda=0), for a form factor scale Lambda = 2.0 TeV. Limits based on other assumptions are also presented.Comment: 11 pages, 2 figures, 2 table

    Search for New Physics in e mu X Data at D0 Using Sleuth: A Quasi-Model-Independent Search Strategy for New Physics

    Get PDF
    We present a quasi-model-independent search for the physics responsible for electroweak symmetry breaking. We define final states to be studied, and construct a rule that identifies a set of relevant variables for any particular final state. A new algorithm ("Sleuth") searches for regions of excess in those variables and quantifies the significance of any detected excess. After demonstrating the sensitivity of the method, we apply it to the semi-inclusive channel e mu X collected in 108 pb^-1 of ppbar collisions at sqrt(s) = 1.8 TeV at the D0 experiment during 1992-1996 at the Fermilab Tevatron. We find no evidence of new high p_T physics in this sample.Comment: 23 pages, 12 figures. Submitted to Physical Review

    Search For Heavy Pointlike Dirac Monopoles

    Get PDF
    We have searched for central production of a pair of photons with high transverse energies in ppˉp\bar p collisions at s=1.8\sqrt{s} = 1.8 TeV using 70pb170 pb^{-1} of data collected with the D\O detector at the Fermilab Tevatron in 1994--1996. If they exist, virtual heavy pointlike Dirac monopoles could rescatter pairs of nearly real photons into this final state via a box diagram. We observe no excess of events above background, and set lower 95% C.L. limits of 610,870,or1580GeV/c2610, 870, or 1580 GeV/c^2 on the mass of a spin 0, 1/2, or 1 Dirac monopole.Comment: 12 pages, 4 figure

    The Dijet Mass Spectrum and a Search for Quark Compositeness in bar{p}p Collisions at sqrt{s} = 1.8 TeV

    Get PDF
    Using the DZero detector at the 1.8 TeV pbarp Fermilab Tevatron collider, we have measured the inclusive dijet mass spectrum in the central pseudorapidity region |eta_jet| < 1.0 for dijet masses greater than 200 Gev/c^2. We have also measured the ratio of spectra sigma(|eta_jet| < 0.5)/sigma(0.5 < |eta_jet| < 1.0). The order alpha_s^3 QCD predictions are in good agreement with the data and we rule out models of quark compositeness with a contact interaction scale < 2.4 TeV at the 95% confidence level.Comment: 11 pages, 4 figures, 2 tables, submitted to Phys. Rev. Let

    Search for High Mass Photon Pairs in p-pbar --> gamma-gamma-jet-jet Events at sqrt(s)=1.8 TeV

    Get PDF
    A search has been carried out for events in the channel p-barp --> gamma gamma jet jet. Such a signature can characterize the production of a non-standard Higgs boson together with a W or Z boson. We refer to this non-standard Higgs, having standard model couplings to vector bosons but no coupling to fermions, as a "bosonic Higgs." With the requirement of two high transverse energy photons and two jets, the diphoton mass (m(gamma gamma)) distribution is consistent with expected background. A 90(95)% C.L. upper limit on the cross section as a function of mass is calculated, ranging from 0.60(0.80) pb for m(gamma gamma) = 65 GeV/c^2 to 0.26(0.34) pb for m(gamma gamma) = 150 GeV/c^2, corresponding to a 95% C.L. lower limit on the mass of a bosonic Higgs of 78.5 GeV/c^2.Comment: 9 pages, 3 figures. Replacement has new H->gamma gamma branching ratios and corresponding new mass limit
    corecore