827 research outputs found
A model checking approach to the parameter estimation of biochemical pathways
Model checking has historically been an important tool to
verify models of a wide variety of systems. Typically a model has to exhibit
certain properties to be classed âacceptableâ. In this work we use
model checking in a new setting; parameter estimation. We characterise
the desired behaviour of a model in a temporal logic property and alter
the model to make it conform to the property (determined through
model checking). We have implemented a computational system called
MC2(GA) which pairs a model checker with a genetic algorithm. To
drive parameter estimation, the fitness of set of parameters in a model is
the inverse of the distance between its actual behaviour and the desired
behaviour. The model checker used is the simulation-based Monte Carlo
Model Checker for Probabilistic Linear-time Temporal Logic with numerical
constraints, MC2(PLTLc). Numerical constraints as well as the
overall probability of the behaviour expressed in temporal logic are used
to minimise the behavioural distance. We define the theory underlying
our parameter estimation approach in both the stochastic and continuous
worlds. We apply our approach to biochemical systems and present
an illustrative example where we estimate the kinetic rate constants in
a continuous model of a signalling pathway
Application of regulatory sequence analysis and metabolic network analysis to the interpretation of gene expression data
We present two complementary approaches for the interpretation of clusters of
co-regulated genes, such as those obtained from DNA chips and related methods.
Starting from a cluster of genes with similar expression profiles, two basic
questions can be asked:
1. Which mechanism is responsible for the coordinated transcriptional response
of the genes? This question is approached by extracting motifs that are shared
between the upstream sequences of these genes. The motifs extracted are putative
cis-acting regulatory elements.
2. What is the physiological meaning for the cell to express together these
genes? One way to answer the question is to search for potential metabolic
pathways that could be catalyzed by the products of the genes. This can be
done by selecting the genes from the cluster that code for enzymes, and trying
to assemble the catalyzed reactions to form metabolic pathways.
We present tools to answer these two questions, and we illustrate their use with
selected examples in the yeast Saccharomyces cerevisiae. The tools are available
on the web (http://ucmb.ulb.ac.be/bioinformatics/rsa-tools/;
http://www.ebi.ac.uk/research/pfbp/; http://www.soi.city.ac.uk/~msch/)
Measurement of Pion Enhancement at Low Transverse Momentum and of the Delta-Resonance Abundance in Si-Nucleus Collisions at AGS Energy
We present measurements of the pion transverse momentum (p_t) spectra in
central Si-nucleus collisions in the rapidity range 2.0<y<5.0 for p_t down to
and including p_t=0. The data exhibit an enhanced pion yield at low p_t
compared to what is expected for a purely thermal spectral shape. This
enhancement is used to determine the Delta-resonance abundance at freeze-out.
The results are consistent with a direct measurement of the Delta-resonance
yield by reconstruction of proton-pion pairs and imply a temperature of the
system at freeze-out close to 140 MeV.Comment: 12 pages + 4 figures (uuencoded at end-of-file
Gauge-ready formulation of the cosmological kinetic theory in generalized gravity theories
We present cosmological perturbations of kinetic components based on
relativistic Boltzmann equations in the context of generalized gravity
theories. Our general theory considers an arbitrary number of scalar fields
generally coupled with the gravity, an arbitrary number of mutually interacting
hydrodynamic fluids, and components described by the relativistic Boltzmann
equations like massive/massless collisionless particles and the photon with the
accompanying polarizations. We also include direct interactions among fluids
and fields. The background FLRW model includes the general spatial curvature
and the cosmological constant. We consider three different types of
perturbations, and all the scalar-type perturbation equations are arranged in a
gauge-ready form so that one can implement easily the convenient gauge
conditions depending on the situation. In the numerical calculation of the
Boltzmann equations we have implemented four different gauge conditions in a
gauge-ready manner where two of them are new. By comparing solutions solved
separately in different gauge conditions we can naturally check the numerical
accuracy.Comment: 26 pages, 9 figures, revised thoroughly, to appear in Phys. Rev.
Leech blood-meal invertebrate-derived DNA reveals differences in Bornean mammal diversity across habitats
The application of metabarcoding to environmental and invertebrate-derived DNA (eDNA and iDNA) is a new and increasingly applied method for monitoring biodiversity across a diverse range of habitats. This approach is particularly promising for sampling in the biodiverse humid tropics, where rapid land-use change for agriculture means there is a growing need to understand the conservation value of the remaining mosaic and degraded landscapes. Here we use iDNA from blood-feeding leeches (Haemadipsa picta) to assess differences in mammalian diversity across a gradient of forest degradation in Sabah, Malaysian Borneo. We screened 557 individual leeches for mammal DNA by targeting fragments of the 16S rRNA gene and detected 14 mammalian genera. We recorded lower mammal diversity in the most heavily degraded forest compared to higher quality twice logged forest. Although the accumulation curves of diversity estimates were comparable across these habitat types, diversity was higher in twice logged forest, with more taxa of conservation concern. In addition, our analysis revealed differences between the community recorded in the heavily logged forest and that of the twice logged forest. By revealing differences in mammal diversity across a human-modified tropical landscape, our study demonstrates the value of iDNA as a noninvasive biomonitoring approach in conservation assessments. Š 2020 The Authors. Molecular Ecology published by John Wiley & Sons Lt
An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics
For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types
Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV
Results are presented from a search for a W' boson using a dataset
corresponding to 5.0 inverse femtobarns of integrated luminosity collected
during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV.
The W' boson is modeled as a heavy W boson, but different scenarios for the
couplings to fermions are considered, involving both left-handed and
right-handed chiral projections of the fermions, as well as an arbitrary
mixture of the two. The search is performed in the decay channel W' to t b,
leading to a final state signature with a single lepton (e, mu), missing
transverse energy, and jets, at least one of which is tagged as a b-jet. A W'
boson that couples to fermions with the same coupling constant as the W, but to
the right-handed rather than left-handed chiral projections, is excluded for
masses below 1.85 TeV at the 95% confidence level. For the first time using LHC
data, constraints on the W' gauge coupling for a set of left- and right-handed
coupling combinations have been placed. These results represent a significant
improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe
Search for the standard model Higgs boson decaying into two photons in pp collisions at sqrt(s)=7 TeV
A search for a Higgs boson decaying into two photons is described. The
analysis is performed using a dataset recorded by the CMS experiment at the LHC
from pp collisions at a centre-of-mass energy of 7 TeV, which corresponds to an
integrated luminosity of 4.8 inverse femtobarns. Limits are set on the cross
section of the standard model Higgs boson decaying to two photons. The expected
exclusion limit at 95% confidence level is between 1.4 and 2.4 times the
standard model cross section in the mass range between 110 and 150 GeV. The
analysis of the data excludes, at 95% confidence level, the standard model
Higgs boson decaying into two photons in the mass range 128 to 132 GeV. The
largest excess of events above the expected standard model background is
observed for a Higgs boson mass hypothesis of 124 GeV with a local significance
of 3.1 sigma. The global significance of observing an excess with a local
significance greater than 3.1 sigma anywhere in the search range 110-150 GeV is
estimated to be 1.8 sigma. More data are required to ascertain the origin of
this excess.Comment: Submitted to Physics Letters
Measurement of the Lambda(b) cross section and the anti-Lambda(b) to Lambda(b) ratio with Lambda(b) to J/Psi Lambda decays in pp collisions at sqrt(s) = 7 TeV
The Lambda(b) differential production cross section and the cross section
ratio anti-Lambda(b)/Lambda(b) are measured as functions of transverse momentum
pt(Lambda(b)) and rapidity abs(y(Lambda(b))) in pp collisions at sqrt(s) = 7
TeV using data collected by the CMS experiment at the LHC. The measurements are
based on Lambda(b) decays reconstructed in the exclusive final state J/Psi
Lambda, with the subsequent decays J/Psi to an opposite-sign muon pair and
Lambda to proton pion, using a data sample corresponding to an integrated
luminosity of 1.9 inverse femtobarns. The product of the cross section times
the branching ratio for Lambda(b) to J/Psi Lambda versus pt(Lambda(b)) falls
faster than that of b mesons. The measured value of the cross section times the
branching ratio for pt(Lambda(b)) > 10 GeV and abs(y(Lambda(b))) < 2.0 is 1.06
+/- 0.06 +/- 0.12 nb, and the integrated cross section ratio for
anti-Lambda(b)/Lambda(b) is 1.02 +/- 0.07 +/- 0.09, where the uncertainties are
statistical and systematic, respectively.Comment: Submitted to Physics Letters
- âŚ