Mammal

Background
Primary sex determination in placental mammals is a very well studied developmental process. Here, we aim to investigate the currently established scenario and to assess its adequacy to fully recover the observed phenotypes, in the wild type and perturbed situations. Computational modelling allows clarifying network dynamics, elucidating crucial temporal constrains as well as interplay between core regulatory modules.
Results
Relying on a comprehensive revision of the literature, we define a logical model that integrates the current knowledge of the regulatory network controlling this developmental process. Our analysis indicates the necessity for some genes to operate at distinct functional thresholds and for specific developmental conditions to ensure the reproducibility of the sexual pathways followed by bi-potential gonads developing into either testes or ovaries. Our model thus allows studying the dynamics of wild type and mutant XX and XY gonads. Furthermore, the model analysis reveals that the gonad sexual fate results from the operation of two sub-networks associated respectively with an initiation and a maintenance phases. At the core of the process is the resolution of two connected feedback loops: the mutual inhibition of Sox9 and ß-catenin at the initiation phase, which in turn affects the mutual inhibition between Dmrt1 and Foxl2, at the maintenance phase. Three developmental signals related to the temporal activity of those sub-networks are required: a signal that determines Sry activation, marking the beginning of the initiation phase, and two further signals that define the transition from the initiation to the maintenance phases, by inhibiting the Wnt4 signalling pathway on the one hand, and by activating Foxl2 on the other hand.
Conclusions
Our model reproduces a wide range of experimental data reported for the development of wild type and mutant gonads. It also provides a formal support to crucial aspects of the gonad sexual development and predicts gonadal phenotypes for mutations not tested yet.

Understanding the etiology of metastasis is very important in clinical perspective, since it is estimated that metastasis accounts for 90% of cancer patient mortality. Metastasis results from a sequence of multiple steps including invasion and migration. The early stages of metastasis are tightly controlled in normal cells and can be drastically affected by malignant mutations; therefore, they might constitute the principal determinants of the overall metastatic rate even if the later stages take long to occur. To elucidate the role of individual mutations or their combinations affecting the metastatic development, a logical model has been constructed that recapitulates published experimental results of known gene perturbations on local invasion and migration processes, and predict the effect of not yet experimentally assessed mutations. The model has been validated using experimental data on transcriptome dynamics following TGF-β-dependent induction of Epithelial to Mesenchymal Transition in lung cancer cell lines. A method to associate gene expression profiles with different stable state solutions of the logical model has been developed for that purpose. In addition, we have systematically predicted alleviating (masking) and synergistic pairwise genetic interactions between the genes composing the model with respect to the probability of acquiring the metastatic phenotype. We focused on several unexpected synergistic genetic interactions leading to theoretically very high metastasis probability. Among them, the synergistic combination of Notch overexpression and p53 deletion shows one of the strongest effects, which is in agreement with a recent published experiment in a mouse model of gut cancer. The mathematical model can recapitulate experimental mutations in both cell line and mouse models. Furthermore, the model predicts new gene perturbations that affect the early steps of metastasis underlying potential intervention points for innovative therapeutic strategies in oncology.

Relationships between genetic alterations, such as co-occurrence or mutual exclusivity, are often observed in cancer, where their understanding may provide new insights into etiology and clinical management. In this study, we combined statistical analyses and computational modelling to explain patterns of genetic alterations seen in 178 patients with bladder tumours (either muscle-invasive or non-muscle-invasive). A statistical analysis on frequently altered genes identified pair associations including co-occurrence or mutual exclusivity. Focusing on genetic alterations of protein-coding genes involved in growth factor receptor signalling, cell cycle and apoptosis entry, we complemented this analysis with a literature search to focus on nine pairs of genetic alterations of our dataset, with subsequent verification in three other datasets available publically. To understand the reasons and contexts of these patterns of associations while accounting for the dynamics of associated signalling pathways, we built a logical model. This model was validated first on published mutant mice data, then used to study patterns and to draw conclusions on counter-intuitive observations, allowing one to formulate predictions about conditions where combining genetic alterations benefits tumorigenesis. For example, while CDKN2A homozygous deletions occur in a context of FGFR3 activating mutations, our model suggests that additional PIK3CA mutation or p21CIP deletion would greatly favour invasiveness. Further, the model sheds light on the temporal orders of gene alterations, for example, showing how mutual exclusivity of FGFR3 and TP53 mutations is interpretable if FGFR3 is mutated first. Overall, our work shows how to predict combinations of the major gene alterations leading to invasiveness.

Background
DNA damage (single or double-strand breaks) triggers adapted cellular responses. These responses are elicited through signalling pathways, which activate cell cycle checkpoints and basically lead to three cellular fates: cycle arrest promoting DNA repair, senescence (permanent arrest) or cell death. Cellular senescence is known for having a tumour-suppressive function and its regulation arouses a growing scientific interest. Here, we advance a qualitative model covering DNA damage response pathways, focusing on G1/S checkpoint enforcement, supposedly more sensitive to arrest than G2/M checkpoint.

Results
We define a discrete, logical model encompassing ATM (ataxia telangiectasia mutated) and ATR (ATM and Rad3-related) pathways activation upon DNA damage, as well as G1/S checkpoint main components. It also includes the stress responsive protein p38MAPK (mitogen-activated protein kinase 14) known to be involved in the regulation of senescence. The model has four outcomes that convey alternative cell fates: proliferation, (transient) cell cycle arrest, apoptosis and senescence. Different levels of DNA damage are considered, defined by distinct combinations of single and double-strand breaks. Each leads to a single stable state denoting the cell fate adopted upon this specific damage. A range of model perturbations corresponding to gene loss-of-function or gain-of-function is compared to experimental mutations.

Conclusions
As a step towards an integrative model of DNA-damage response pathways to better cover the onset of senescence, our model focuses on G1/S checkpoint enforcement. This model qualitatively agrees with most experimental observations, including experiments involving mutations. Furthermore, it provides some predictions.

The Mitogen-Activated Protein Kinase (MAPK) network consists of tightly interconnected signalling pathways involved in the control of diverse cellular processes, including cell cycle, survival, apoptosis and differentiation.
Based on an extensive analysis of published data, we have built a comprehensive and generic reaction map for the MAPK signalling network, using CellDesigner software.

In order to explore the MAPK responses to different stimuli and better understand their contributions to cell fate decision, we have considered the most crucial components and interactions and encoded them into a logical model, using the software GINsim. Our logical model analysis particularly focuses on urinary bladder cancer, where MAPK network deregulations have often been associated with specific phenotypes.

To cope with the combinatorial explosion of the number of states, we have applied novel algorithms for model reduction and for the compression of state transition graphs, both implemented into the software GINsim. The results of systematic simulations for different signal combinations and network perturbations were found globally coherent with published data. In silico experiments further enabled us to delineate the roles of specific components, cross-talks and regulatory feedbacks in cell fate decision. Finally, tentative proliferative or anti-proliferative mechanisms can be connected with established bladder cancer deregulations, namely Epidermal Growth Factor Receptor (EGFR) over-expression and Fibroblast Growth Factor Receptor 3 (FGFR3) activating mutations.