Cell death and life in cancer: mathematical modeling of cell fate decisions

Tumor development is characterized by a compromised balance between cell life and death decision mechanisms, which are tighly regulated in normal cells. Understanding this process provides insights for developing new treatments for fighting with cancer. We present a study of a mathematical model describing cellular choice between survival and two alternative cell death modalities: apoptosis and necrosis. The model is implemented in discrete modeling formalism and allows to predict probabilities of having a particular cellular phenotype in response to engagement of cell death receptors. Using an original parameter sensitivity analysis developed for discrete dynamic systems, we determine the critical parameters affecting cellular fate decision variables that appear to be critical in the cellular fate decision and discuss how they are exploited by existing cancer therapies

NaviCell: a web-based environment for navigation, curation and maintenance of large molecular interaction maps

Molecular biology knowledge can be systematically represented in a computer-readable form as a comprehensive map of molecular interactions. There exist a number of maps of molecular interactions containing detailed description of various cell mechanisms. It is difficult to explore these large maps, to comment their content and to maintain them. Though there exist several tools addressing these problems individually, the scientific community still lacks an environment that combines these three capabilities together. NaviCell is a web-based environment for exploiting large maps of molecular interactions, created in CellDesigner, allowing their easy exploration, curation and maintenance. NaviCell combines three features: (1) efficient map browsing based on Google Maps engine; (2) semantic zooming for viewing different levels of details or of abstraction of the map and (3) integrated web-based blog for collecting the community feedback. NaviCell can be easily used by experts in the field of molecular biology for studying molecular entities of their interest in the context of signaling pathways and cross-talks between pathways within a global signaling network. NaviCell allows both exploration of detailed molecular mechanisms represented on the map and a more abstract view of the map up to a top-level modular representation. NaviCell facilitates curation, maintenance and updating the comprehensive maps of molecular interactions in an interactive fashion due to an imbedded blogging system. NaviCell provides an easy way to explore large-scale maps of molecular interactions, thanks to the Google Maps and WordPress interfaces, already familiar to many users. Semantic zooming used for navigating geographical maps is adopted for molecular maps in NaviCell, making any level of visualization meaningful to the user. In addition, NaviCell provides a framework for community-based map curation.Comment: 20 pages, 5 figures, submitte

Sant\u2019Eufemia da Calcedonia: migrazione e ideologizzazioni del culto, produzione di sosia, genesi di luoghi sacri

In the first part, the essay follows the routes of early-medieval migrations of martyr Euphemia\u2019s cult and relics through eastern Mediterranean sea, from Calcedonia-Constantinople to the patriarchal area (Aquileia-Grado, with branches into the Friulian inland, to Venice-Padua, Ravenna and Trieste-Parenzo-Rovigno), focusing on the phenomena triggered by the diffusion of Euphemian devotion, which assured its lasting fortune: its increasing ideologization and repeated political use in an antiheretical-antischismatic and identitary key, the multiplication of the reference figure (with the \u2018invention\u2019 of homonymous martyrs in Aquileia, Ravenna and Trieste), the genesis and characterization of sacred places, the modification of natural and urban topography itself in some of the sites affected by that flow. In the second part we recall the late-medieval vicissitudes of the original saint\u2019s main relics and consider a specific case: the attempt to revitalize her cult and church in Padua, which were in a state of deep crisis and neglect. The failure of that attempt and the general impoliticalness of Euphemian cult in the Venetian area in the mid 15th c. brought eventually to reunify some of the ideological and material branches it had divided up and to \u2018parachute\u2019 it (with a cold-blood operation, devoid of local precedents and with a strong commercial taste) in Montepeloso (nowadays Irsina MT). This in turn generated a new pole of Euphemian devotion \u2013 promptly declined, also from the viewpoint of sacred spaces, in both religious and civic-identitary versions and mildly radiating over the territory \u2013 and started an important and lasting flow of Venetian works of art among churches and convents in the Apulo-Lucanian area

Gene regulatory factors of the sea urchin embryo. II. Two dissimilar proteins, P3A1 and P3A2, bind to the same target sites that are required for early territorial gene expression

Previous work demonstrated that a negative regulatory interaction mediated by factor(s) termed 'P3A' is required for correct territory-specific gene expression in the sea urchin embryo. A probe derived from a P3A target site in the skeletogenic SM50 gene of Strongylocentrotus purpuratus was used to isolate a cDNA clone coding for a factor that binds specifically to this site. This factor, called P3A1, contains two sequence elements that belong to the Zn finger class of DNA-binding motifs, and in these regions is most closely similar to the Drosophila hunchback factor. The P3A1 factor also binds to a similar target sequence in a second gene, CyIIIa, expressed in embryonic aboral ectoderm. Another sea urchin embryo protein factor, P3A2, has been isolated by affinity chromatography and cloned, as described in Calzone et al. Development 112, 335-350 (1991). P3A2 footprints the same target sites in the SM50 and CyIIIa genes as does P3A1, but lacks the Zn finger sequence motifs and in amino acid sequence is almost entirely dissimilar to P3A1. A deletion analysis of P3A2 delimited the DNA-binding region, revealing that five specific amino acids in the first P3A1 finger region and four in the second P3A1 finger region are also present in equivalent positions in P3A2. The P3A1 and P3A2 factors could function as regulatory antagonists, having evolved similar target specificities from dissimilar DNA-binding domains

Continuous time Boolean modeling for biological signaling: application of Gillespie algorithm.

International audienceABSTRACT: Mathematical modeling is used as a Systems Biology tool to answer biological questions, and more precisely, to validate a network that describes biological observations and predict the effect of perturbations. This article presents an algorithm for modeling biological networks in a discrete framework with continuous time. BACKGROUND: There exist two major types of mathematical modeling approaches: (1) quantitative modeling, representing various chemical species concentrations by real numbers, mainly based on differential equations and chemical kinetics formalism; (2) and qualitative modeling, representing chemical species concentrations or activities by a finite set of discrete values. Both approaches answer particular (and often different) biological questions. Qualitative modeling approach permits a simple and less detailed description of the biological systems, efficiently describes stable state identification but remains inconvenient in describing the transient kinetics leading to these states. In this context, time is represented by discrete steps. Quantitative modeling, on the other hand, can describe more accurately the dynamical behavior of biological processes as it follows the evolution of concentration or activities of chemical species as a function of time, but requires an important amount of information on the parameters difficult to find in the literature. RESULTS: Here, we propose a modeling framework based on a qualitative approach that is intrinsically continuous in time. The algorithm presented in this article fills the gap between qualitative and quantitative modeling. It is based on continuous time Markov process applied on a Boolean state space. In order to describe the temporal evolution of the biological process we wish to model, we explicitly specify the transition rates for each node. For that purpose, we built a language that can be seen as a generalization of Boolean equations. Mathematically, this approach can be translated in a set of ordinary differential equations on probability distributions. We developed a C++ software, MaBoSS, that is able to simulate such a system by applying Kinetic Monte-Carlo (or Gillespie algorithm) on the Boolean state space. This software, parallelized and optimized, computes the temporal evolution of probability distributions and estimates stationary distributions. CONCLUSIONS: Applications of the Boolean Kinetic Monte-Carlo are demonstrated for three qualitative models: a toy model, a published model of p53/Mdm2 interaction and a published model of the mammalian cell cycle. Our approach allows to describe kinetic phenomena which were difficult to handle in the original models. In particular, transient effects are represented by time dependent probability distributions, interpretable in terms of cell populations

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

GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology

In this article, we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices, viewed as discrete open dynamical systems. GUBS is a rule-based declarative language. By contrast to a closed system, a program is always a partial description of the behavior of the system. The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device. The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.Comment: In Proceedings MeCBIC 2012, arXiv:1211.347