76 research outputs found

    Precise parameter synthesis for stochastic biochemical systems

    Get PDF
    We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised or minimised. Our method is based on extending CSL model checking and standard uniformisation to parametric models, in order to compute safe bounds on the satisfaction probability of the property. We develop synthesis algorithms that yield answers that are precise to within an arbitrarily small tolerance value. The algorithms combine the computation of probability bounds with the refinement and sampling of the parameter space. Our methods are precise and efficient, and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for three biologically motivated case studies: infection control for a SIR epidemic model; reliability analysis of molecular computation by a DNA walker; and bistability in the gene regulation of the mammalian cell cycle

    Decoding the regulatory network of early blood development from single-cell gene expression measurements.

    Get PDF
    Reconstruction of the molecular pathways controlling organ development has been hampered by a lack of methods to resolve embryonic progenitor cells. Here we describe a strategy to address this problem that combines gene expression profiling of large numbers of single cells with data analysis based on diffusion maps for dimensionality reduction and network synthesis from state transition graphs. Applying the approach to hematopoietic development in the mouse embryo, we map the progression of mesoderm toward blood using single-cell gene expression analysis of 3,934 cells with blood-forming potential captured at four time points between E7.0 and E8.5. Transitions between individual cellular states are then used as input to develop a single-cell network synthesis toolkit to generate a computationally executable transcriptional regulatory network model of blood development. Several model predictions concerning the roles of Sox and Hox factors are validated experimentally. Our results demonstrate that single-cell analysis of a developing organ coupled with computational approaches can reveal the transcriptional programs that underpin organogenesis.We thank J. Downing (St. Jude Children's Research Hospital, Memphis, TN, USA) for the Runx1-ires-GFP mouse. Research in the authors' laboratory is supported by the Medical Research Council, Biotechnology and Biological Sciences Research Council, Leukaemia and Lymphoma Research, the Leukemia and Lymphoma Society, Microsoft Research and core support grants by the Wellcome Trust to the Cambridge Institute for Medical Research and Wellcome Trust - MRC Cambridge Stem Cell Institute. V.M. is supported by a Medical Research Council Studentship and Centenary Award and S.W. by a Microsoft Research PhD Scholarship.This is the accepted manuscript for a paper published in Nature Biotechnology 33, 269–276 (2015) doi:10.1038/nbt.315

    Prognostic factors in prostate cancer

    Get PDF
    Prognostic factors in organ confined prostate cancer will reflect survival after surgical radical prostatectomy. Gleason score, tumour volume, surgical margins and Ki-67 index have the most significant prognosticators. Also the origins from the transitional zone, p53 status in cancer tissue, stage, and aneuploidy have shown prognostic significance. Progression-associated features include Gleason score, stage, and capsular invasion, but PSA is also highly significant. Progression can also be predicted with biological markers (E-cadherin, microvessel density, and aneuploidy) with high level of significance. Other prognostic features of clinical or PSA-associated progression include age, IGF-1, p27, and Ki-67. In patients who were treated with radiotherapy the survival was potentially predictable with age, race and p53, but available research on other markers is limited. The most significant published survival-associated prognosticators of prostate cancer with extension outside prostate are microvessel density and total blood PSA. However, survival can potentially be predicted by other markers like androgen receptor, and Ki-67-positive cell fraction. In advanced prostate cancer nuclear morphometry and Gleason score are the most highly significant progression-associated prognosticators. In conclusion, Gleason score, capsular invasion, blood PSA, stage, and aneuploidy are the best markers of progression in organ confined disease. Other biological markers are less important. In advanced disease Gleason score and nuclear morphometry can be used as predictors of progression. Compound prognostic factors based on combinations of single prognosticators, or on gene expression profiles (tested by DNA arrays) are promising, but clinically relevant data is still lacking

    Determination of sin2 θeff w using jet charge measurements in hadronic Z decays

    Get PDF
    The electroweak mixing angle is determined with high precision from measurements of the mean difference between forward and backward hemisphere charges in hadronic decays of the Z. A data sample of 2.5 million hadronic Z decays recorded over the period 1990 to 1994 in the ALEPH detector at LEP is used. The mean charge separation between event hemispheres containing the original quark and antiquark is measured for bb̄ and cc̄ events in subsamples selected by their long lifetimes or using fast D*'s. The corresponding average charge separation for light quarks is measured in an inclusive sample from the anticorrelation between charges of opposite hemispheres and agrees with predictions of hadronisation models with a precision of 2%. It is shown that differences between light quark charge separations and the measured average can be determined using hadronisation models, with systematic uncertainties constrained by measurements of inclusive production of kaons, protons and A's. The separations are used to measure the electroweak mixing angle precisely as sin2 θeff w = 0.2322 ± 0.0008(exp. stat.) ±0.0007(exp. syst.) ± 0.0008(sep.). The first two errors are due to purely experimental sources whereas the third stems from uncertainties in the quark charge separations

    Reactive oxygen species and male reproductive hormones

    Get PDF
    Reports of the increasing incidence of male infertility paired with decreasing semen quality have triggered studies on the effects of lifestyle and environmental factors on the male reproductive potential. There are numerous exogenous and endogenous factors that are able to induce excessive production of reactive oxygen species (ROS) beyond that of cellular antioxidant capacity, thus causing oxidative stress. In turn, oxidative stress negatively affects male reproductive functions and may induce infertility either directly or indirectly by affecting the hypothalamus-pituitary-gonadal (HPG) axis and/or disrupting its crosstalk with other hormonal axes. This review discusses the important exogenous and endogenous factors leading to the generation of ROS in different parts of the male reproductive tract. It also highlights the negative impact of oxidative stress on the regulation and cross-talk between the reproductive hormones. It further describes the mechanism of ROS-induced derangement of male reproductive hormonal profiles that could ultimately lead to male infertility. An understanding of the disruptive effects of ROS on male reproductive hormones would encourage further investigations directed towards the prevention of ROS-mediated hormonal imbalances, which in turn could help in the management of male infertility

    Response

    No full text
    PMID = 3078451

    Response

    No full text
    PMID = 3078450
    corecore