Learn More
MOTIVATION To understand the behaviour of complex biological regulatory networks, a proper integration of molecular data into a full-fledge formal dynamical model is ultimately required. As most available data on regulatory interactions are qualitative, logical modelling offers an interesting framework to delineate the main dynamical properties of the(More)
Many important problems in cell biology require the consideration of dense nonlinear interactions between functional modules. The requirement of computer simulation for the understanding of cellular processes is now widely accepted, and a variety of modelling frameworks have been designed to meet this need. Here, we present a novel public release of the(More)
Systems biologists are facing the difficult challenge of modelling and analysing regulatory networks encompassing numerous and diverse components and interactions. Furthermore, available data sets are often qualitative, which complicates the definition of truly quantitative models. In order to build comprehensive and predictive models, there is clearly a(More)
The Drosophila eggshell constitutes a remarkable system for the study of epithelial patterning, both experimentally and through computational modeling. Dorsal eggshell appendages arise from specific regions in the anterior follicular epithelium that covers the oocyte: two groups of cells expressing broad (roof cells) bordered by rhomboid expressing cells(More)
The budding yeast cell cycle core engine has been modelled in great detail, most notably by the groups of Béla Novak and John Tyson, using a differential formalism. Several models focusing on different regulatory modules have been developed. In this respect, the use of a logical formalism facilitates the development of more integrated models, through the(More)
Combined constraints from the CDF and D0 Collaborations on models of the Higgs boson with exotic spin J and parity P are presented and compared with results obtained assuming the standard model value JP=0+. Both collaborations analyzed approximately 10  fb(-) of proton-antiproton collisions with a center-of-mass energy of 1.96 TeV collected at the Fermilab(More)
Glycogen and glucose are two sugar sources available during the lag phase of E. coli, but the mechanism that regulates their utilization is still unclear. Attempting to unveil the relationship between glucose and glycogen, we propose an integrated hybrid functional Petri net (HFPN) model including glycolysis, PTS, glycogen metabolic pathway, and their(More)
Measurement of spin correlation between top and antitop quarks produced in p ¯ a r t i c l e i n f o a b s t r a c t We present a measurement of the correlation between the spins of t and ¯ t quarks produced in proton– antiproton collisions at the Tevatron Collider at a center-of-mass energy of 1.96 TeV. We apply a matrix element technique to dilepton and(More)
We report evidence for the simultaneous production of J/ψ and ϒ mesons in 8.1  fb^{-1} of data collected at sqrt[s]=1.96  TeV by the D0 experiment at the Fermilab pp[over ¯] Tevatron Collider. Events with these characteristics are expected to be produced predominantly by gluon-gluon interactions. In this analysis, we extract the effective cross section(More)
MOTIVATION Understanding the temporal behaviour of biological regulatory networks requires the integration of molecular information into a formal model. However, the analysis of model dynamics faces a combinatorial explosion as the number of regulatory components and interactions increases. RESULTS We use model-checking techniques to verify sophisticated(More)