From START to FINISH: computational analysis of cell cycle control in budding yeast

Stochastic Boolean model of normal and aberrant cell cycles in budding yeast

The cell cycle of budding yeast is governed by an intricate protein regulatory network whose dysregulation can lead to lethal mistakes or aberrant cell division cycles. In this work, we model this network in a Boolean framework for stochastic simulations. Our model is sufficiently detailed to account for the phenotypes of 40 mutant yeast strains (83% of the experimentally characterized strains that we simulated) and also to simulate an endoreplicating strain (multiple rounds of DNA synthesis without mitosis) and a strain that exhibits 'Cdc14 endocycles' (periodic transitions between metaphase and anaphase). Because our model successfully replicates the observed properties of both wild-type yeast cells and many mutant strains, it provides a reasonable, validated starting point for more comprehensive stochastic-Boolean models of cell cycle controls. Such models may provide a better understanding of cell cycle anomalies in budding yeast and ultimately in mammalian cells.

A perturbation approach for refining Boolean models of cell cycle regulation

Considerable effort is required to build mathematical models of large protein regulatory networks. Utilizing computational algorithms that guide model development can significantly streamline the process and enhance the reliability of the resulting models. In this article, we present a perturbation approach for developing data-centric Boolean models of cell cycle regulation. To evaluate networks, we assign a score based on their steady states and the dynamical trajectories corresponding to the initial conditions. Then, perturbation analysis is used to find new networks with lower scores, in which dynamical trajectories traverse through the correct cell cycle path with high frequency. We apply this method to refine Boolean models of cell cycle regulation in budding yeast and mammalian cells.

Modeling the START transition in the budding yeast cell cycle

Budding yeast, Saccharomyces cerevisiae, is widely used as a model organism to study the genetics underlying eukaryotic cellular processes and growth critical to cancer development, such as cell division and cell cycle progression. The budding yeast cell cycle is also one of the best-studied dynamical systems owing to its thoroughly resolved genetics. However, the dynamics underlying the crucial cell cycle decision point called the START transition, at which the cell commits to a new round of DNA replication and cell division, are under-studied. The START machinery involves a central cyclin-dependent kinase; cyclins responsible for starting the transition, bud formation, and initiating DNA synthesis; and their transcriptional regulators. However, evidence has shown that the mechanism is more complicated than a simple irreversible transition switch. Activating a key transcription regulator SBF requires the phosphorylation of its inhibitor, Whi5, or an SBF/MBF monomeric component, Swi6, but not necessarily both. Also, the timing and mechanism of the inhibitor Whi5's nuclear export, while important, are not critical for the timing and execution of START. Therefore, there is a need for a consolidated model for the budding yeast START transition, reconciling regulatory and spatial dynamics. We built a detailed mathematical model (START-BYCC) for the START transition in the budding yeast cell cycle based on established molecular interactions and experimental phenotypes. START-BYCC recapitulates the underlying dynamics and correctly emulates key phenotypic traits of ~150 known START mutants, including regulation of size control, localization of inhibitor/transcription factor complexes, and the nutritional effects on size control. Such a detailed mechanistic understanding of the underlying dynamics gets us closer towards deconvoluting the aberrant cellular development in cancer.

Systems modeling of oncogenic G-protein and GPCR signaling reveals unexpected differences in downstream pathway activation

Mathematical models of biochemical reaction networks are an important and emerging tool for the study of cell signaling networks involved in disease processes. One promising potential application of such mathematical models is the study of how disease-causing mutations promote the signaling phenotype that contributes to the disease. It is commonly assumed that one must have a thorough characterization of the network readily available for mathematical modeling to be useful, but we hypothesized that mathematical modeling could be useful when there is incomplete knowledge and that it could be a tool for discovery that opens new areas for further exploration. In the present study, we first develop a mechanistic mathematical model of a G-protein coupled receptor signaling network that is mutated in almost all cases of uveal melanoma and use model-driven explorations to uncover and explore multiple new areas for investigating this disease. Modeling the two major, mutually-exclusive, oncogenic mutations (Gαq/11 and CysLT2R) revealed the potential for previously unknown qualitative differences between seemingly interchangeable disease-promoting mutations, and our experiments confirmed oncogenic CysLT2R was impaired at activating the FAK/YAP/TAZ pathway relative to Gαq/11. This led us to hypothesize that CYSLTR2 mutations in UM must co-occur with other mutations to activate FAK/YAP/TAZ signaling, and our bioinformatic analysis uncovers a role for co-occurring mutations involving the plexin/semaphorin pathway, which has been shown capable of activating this pathway. Overall, this work highlights the power of mechanism-based computational systems biology as a discovery tool that can leverage available information to open new research areas.

Mass spectrometry-based proteomic approaches for salivary protein biomarkers discovery and dental caries diagnosis: A critical review

Dental caries is a multifactorial chronic disease resulting from the intricate interplay among acid-generating bacteria, fermentable carbohydrates, and several host factors such as saliva. Saliva comprises several proteins which could be utilized as biomarkers for caries prevention, diagnosis, and prognosis. Mass spectrometry-based salivary proteomics approaches, owing to their sensitivity, provide the opportunity to investigate and unveil crucial cariogenic pathogen activity and host indicators and may demonstrate clinically relevant biomarkers to improve caries diagnosis and management. The present review outlines the published literature of human clinical proteomics investigations on caries and extensively elucidates frequently reported salivary proteins as biomarkers. This review also discusses important aspects while designing an experimental proteomics workflow. The protein-protein interactions and the clinical relevance of salivary proteins as biomarkers for caries, together with uninvestigated domains of the discipline are also discussed critically.

Types of Cell Death from a Molecular Perspective

The former conventional belief was that cell death resulted from either apoptosis or necrosis; however, in recent years, different pathways through which a cell can undergo cell death have been discovered. Various types of cell death are distinguished by specific morphological alterations in the cell's structure, coupled with numerous biological activation processes. Various diseases, such as cancers, can occur due to the accumulation of damaged cells in the body caused by the dysregulation and failure of cell death. Thus, comprehending these cell death pathways is crucial for formulating effective therapeutic strategies. We focused on providing a comprehensive overview of the existing literature pertaining to various forms of cell death, encompassing apoptosis, anoikis, pyroptosis, NETosis, ferroptosis, autophagy, entosis, methuosis, paraptosis, mitoptosis, parthanatos, necroptosis, and necrosis.

Pseudo-nullclines enable the analysis and prediction of signaling model dynamics

A powerful method to qualitatively analyze a 2D system is the use of nullclines, curves which separate regions of the plane where the sign of the time derivatives is constant, with their intersections corresponding to steady states. As a quick way to sketch the phase portrait of the system, they can be sufficient to understand the qualitative dynamics at play without integrating the differential equations. While it cannot be extended straightforwardly for dimensions higher than 2, sometimes the phase portrait can still be projected onto a 2-dimensional subspace, with some curves becoming pseudo-nullclines. In this work, we study cell signaling models of dimension higher than 2 with behaviors such as oscillations and bistability. Pseudo-nullclines are defined and used to qualitatively analyze the dynamics involved. Our method applies when a system can be decomposed into 2 modules, mutually coupled through 2 scalar variables. At the same time, it helps track bifurcations in a quick and efficient manner, key for understanding the different behaviors. Our results are both consistent with the expected dynamics, and also lead to new responses like excitability. Further work could test the method for other regions of parameter space and determine how to extend it to three-module systems.

Implications of differential size-scaling of cell-cycle regulators on cell size homeostasis

Accurate timing of division and size homeostasis is crucial for cells. A potential mechanism for cells to decide the timing of division is the differential scaling of regulatory protein copy numbers with cell size. However, it remains unclear whether such a mechanism can lead to robust growth and division, and how the scaling behaviors of regulatory proteins influence the cell size distribution. Here we study a mathematical model combining gene expression and cell growth, in which the cell-cycle activators scale superlinearly with cell size while the inhibitors scale sublinearly. The cell divides once the ratio of their concentrations reaches a threshold value. We find that the cell can robustly grow and divide within a finite range of the threshold value with the cell size proportional to the ploidy. In a stochastic version of the model, the cell size at division is uncorrelated with that at birth. Also, the more differential the cell-size scaling of the cell-cycle regulators is, the narrower the cell-size distribution is. Intriguingly, our model with multiple regulators rationalizes the observation that after the deletion of a single regulator, the coefficient of variation of cell size remains roughly the same though the average cell size changes significantly. Our work reveals that the differential scaling of cell-cycle regulators provides a robust mechanism of cell size control.

A continuous-time stochastic Boolean model provides a quantitative description of the budding yeast cell cycle

The cell division cycle is regulated by a complex network of interacting genes and proteins. The control system has been modeled in many ways, from qualitative Boolean switching-networks to quantitative differential equations and highly detailed stochastic simulations. Here we develop a continuous-time stochastic model using seven Boolean variables to represent the activities of major regulators of the budding yeast cell cycle plus one continuous variable representing cell growth. The Boolean variables are updated asynchronously by logical rules based on known biochemistry of the cell-cycle control system using Gillespie's stochastic simulation algorithm. Time and cell size are updated continuously. By simulating a population of yeast cells, we calculate statistical properties of cell cycle progression that can be compared directly to experimental measurements. Perturbations of the normal sequence of events indicate that the cell cycle is 91% robust to random 'flips' of the Boolean variables, but 9% of the perturbations induce lethal mistakes in cell cycle progression. This simple, hybrid Boolean model gives a good account of the growth and division of budding yeast cells, suggesting that this modeling approach may be as accurate as detailed reaction-kinetic modeling with considerably less demands on estimating rate constants.

Mathematical Models of Death Signaling Networks

This review provides an overview of the progress made by computational and systems biologists in characterizing different cell death regulatory mechanisms that constitute the cell death network. We define the cell death network as a comprehensive decision-making mechanism that controls multiple death execution molecular circuits. This network involves multiple feedback and feed-forward loops and crosstalk among different cell death-regulating pathways. While substantial progress has been made in characterizing individual cell death execution pathways, the cell death decision network is poorly defined and understood. Certainly, understanding the dynamic behavior of such complex regulatory mechanisms can be only achieved by applying mathematical modeling and system-oriented approaches. Here, we provide an overview of mathematical models that have been developed to characterize different cell death mechanisms and intend to identify future research directions in this field.

Current State and Challenges of the Global Outcomes of Dental Caries Research in the Meta-Omics Era

Despite significant healthcare advances in the 21st century, the exact etiology of dental caries remains unsolved. The past two decades have witnessed a tremendous growth in our understanding of dental caries amid the advent of revolutionary omics technologies. Accordingly, a consensus has been reached that dental caries is a community-scale metabolic disorder, and its etiology is beyond a single causative organism. This conclusion was based on a variety of microbiome studies following the flow of information along the central dogma of biology from genomic data to the end products of metabolism. These studies were facilitated by the unprecedented growth of the next- generation sequencing tools and omics techniques, such as metagenomics and metatranscriptomics, to estimate the community composition of oral microbiome and its functional potential. Furthermore, the rapidly evolving proteomics and metabolomics platforms, including nuclear magnetic resonance spectroscopy and/or mass spectrometry coupled with chromatography, have enabled precise quantification of the translational outcomes. Although the majority supports 'conserved functional changes' as indicators of dysbiosis, it remains unclear how caries dynamics impact the microbiota functions and vice versa, over the course of disease onset and progression. What compounds the situation is the host-microbiota crosstalk. Genome-wide association studies have been undertaken to elucidate the interaction of host genetic variation with the microbiome. However, these studies are challenged by the complex interaction of host genetics and environmental factors. All these complementary approaches need to be orchestrated to capture the key players in this multifactorial disease. Herein, we critically review the milestones in caries research focusing on the state-of-art singular and integrative omics studies, supplemented with a bibliographic network analysis to address the oral microbiome, the host factors, and their interactions. Additionally, we highlight gaps in the dental literature and shed light on critical future research questions and study designs that could unravel the complexities of dental caries, the most globally widespread disease.

LncRNAs of Saccharomyces cerevisiae bypass the cell cycle arrest imposed by ethanol stress

Ethanol alters many subsystems of Saccharomyces cerevisiae, including the cell cycle. Two ethanol-responsive lncRNAs in yeast interact with cell cycle proteins, and here, we investigated the role of these RNAs in cell cycle. Our network dynamic modeling showed that higher and lower ethanol-tolerant strains undergo cell cycle arrest in mitosis and G1 phases, respectively, during ethanol stress. The higher population rebound of the lower ethanol-tolerant phenotype after stress relief responds to the late phase arrest. We found that the lncRNA lnc9136 of SEY6210 (a lower ethanol-tolerant strain) induces cells to skip mitosis arrest. Simulating an overexpression of lnc9136 and analyzing CRISPR–Cas9 mutants lacking this lncRNA suggest that lnc9136 induces a regular cell cycle even under ethanol stress, indirectly regulating Swe1p and Clb1/2 by binding to Gin4p and Hsl1p. Notably, lnc10883 of BY4742 (a higher ethanol-tolerant strain) does not prevent G1 arrest in this strain under ethanol stress. However, lnc19883 circumvents DNA and spindle damage checkpoints, maintaining a functional cell cycle by interacting with Mec1p or Bub1p even in the presence of DNA/spindle damage. Overall, we present the first evidence of direct roles for lncRNAs in regulating yeast cell cycle proteins, the dynamics of this system in different ethanol-tolerant phenotypes, and a new yeast cell cycle model.

Ethanol is a cell stressor in yeast that dampen ethanol production. LncRNAs are RNAs that control many cellular processes. Computational simulations allow us to study the dynamism of cell systems. Therefore, we built a computational model of the yeast cell cycle to investigate how cells respond to ethanol stress. Simulations showed that ethanol stress or spindle damage arrests the cell cycle. Furthermore, the performance of higher and lower ethanol-tolerant strains in poststress recovery growth seems to be related to the cell cycle phase in which cells are stalled. However, two lncRNAs maintain the activity of the cell cycle even in yeast cells under these stresses by repressing specific cell cycle proteins. Finally, this model facilitates analyses of the yeast cell cycle for applied or basic science purposes.

A Dynamic Mechanistic Model of Perceptual Binding

The brain’s ability to create a unified conscious representation of an object by integrating information from multiple perception pathways is called perceptual binding. Binding is crucial for normal cognitive function. Some perceptual binding errors and disorders have been linked to certain neurological conditions, brain lesions, and conditions that give rise to illusory conjunctions. However, the mechanism of perceptual binding remains elusive. Here, I present a computational model of binding using two sets of coupled oscillatory processes that are assumed to occur in response to two different percepts. I use the model to study the dynamic behavior of coupled processes to characterize how these processes can modulate each other and reach a temporal synchrony. I identify different oscillatory dynamic regimes that depend on coupling mechanisms and parameter values. The model can also discriminate different combinations of initial inputs that are set by initial states of coupled processes. Decoding brain signals that are formed through perceptual binding is a challenging task, but my modeling results demonstrate how crosstalk between two systems of processes can possibly modulate their outputs. Therefore, my mechanistic model can help one gain a better understanding of how crosstalk between perception pathways can affect the dynamic behavior of the systems that involve perceptual binding.

Effects of random hydrolysis on biofilament length distributions in a shared subunit pool

The sizes of filamentous structures in a cell are often regulated for many physiological processes. A key question in cell biology is how such size control is achieved. Here, we theoretically study the length distributions of multiple filaments, growing by stochastic assembly and disassembly of subunits from a limiting subunit pool. Importantly, we consider a chemical switching of subunits (hydrolysis) prevalent in many biofilaments like microtubules (MTs). We show by simulations of different models that hydrolysis leads to a skewed unimodal length distribution for a single MT. In contrast, hydrolysis can lead to bimodal distributions of individual lengths for two MTs, where individual filaments toggle stochastically between bigger and smaller sizes. For more than two MTs, length distributions are also bimodal, although the bimodality becomes less prominent. We further show that this collective phenomenon is connected with the nonequilibrium nature of hydrolysis, and the bimodality disappears for reversible dynamics. Consistent with earlier theoretical studies, a homogeneous subunit pool, without hydrolysis, cannot control filament lengths. We thus elucidate the role of hydrolysis as a control mechanism on MT length diversity.

From the Belousov-Zhabotinsky reaction to biochemical clocks, traveling waves and cell cycle regulation

In the last 20 years, a growing army of systems biologists has employed quantitative experimental methods and theoretical tools of data analysis and mathematical modeling to unravel the molecular details of biological control systems with novel studies of biochemical clocks, cellular decision-making, and signaling networks in time and space. Few people know that one of the roots of this new paradigm in cell biology can be traced to a serendipitous discovery by an obscure Russian biochemist, Boris Belousov, who was studying the oxidation of citric acid. The story is told here from an historical perspective, tracing its meandering path through glycolytic oscillations, cAMP signaling, and frog egg development. The connections among these diverse themes are drawn out by simple mathematical models (nonlinear differential equations) that share common structures and properties.

Crosstalk between Plk1, p53, cell cycle, and G2/M DNA damage checkpoint regulation in cancer: computational modeling and analysis

Different cancer cell lines can have varying responses to the same perturbations or stressful conditions. Cancer cells that have DNA damage checkpoint-related mutations are often more sensitive to gene perturbations including altered Plk1 and p53 activities than cancer cells without these mutations. The perturbations often induce a cell cycle arrest in the former cancer, whereas they only delay the cell cycle progression in the latter cancer. To study crosstalk between Plk1, p53, and G2/M DNA damage checkpoint leading to differential cell cycle regulations, we developed a computational model by extending our recently developed model of mitotic cell cycle and including these key interactions. We have used the model to analyze the cancer cell cycle progression under various gene perturbations including Plk1-depletion conditions. We also analyzed mutations and perturbations in approximately 1800 different cell lines available in the Cancer Dependency Map and grouped lines by genes that are represented in our model. Our model successfully explained phenotypes of various cancer cell lines under different gene perturbations. Several sensitivity analysis approaches were used to identify the range of key parameter values that lead to the cell cycle arrest in cancer cells. Our resulting model can be used to predict the effect of potential treatments targeting key mitotic and DNA damage checkpoint regulators on cell cycle progression of different types of cancer cells.

Modeling and analysis of the macronutrient signaling network in budding yeast

Adaptive modulation of the global cellular growth state of unicellular organisms is crucial for their survival in fluctuating nutrient environments. Because these organisms must be able to respond reliably to ever varying and unpredictable nutritional conditions, their nutrient signaling networks must have a certain inbuilt robustness. In eukaryotes, such as the budding yeast Saccharomyces cerevisiae, distinct nutrient signals are relayed by specific plasma membrane receptors to signal transduction pathways that are interconnected in complex information-processing networks, which have been well characterized. However, the complexity of the signaling network confounds the interpretation of the overall regulatory "logic" of the control system. Here, we propose a literature-curated molecular mechanism of the integrated nutrient signaling network in budding yeast, focusing on early temporal responses to carbon and nitrogen signaling. We build a computational model of this network to reconcile literature-curated quantitative experimental data with our proposed molecular mechanism. We evaluate the robustness of our estimates of the model's kinetic parameter values. We test the model by comparing predictions made in mutant strains with qualitative experimental observations made in the same strains. Finally, we use the model to predict nutrient-responsive transcription factor activities in a number of mutant strains undergoing complex nutrient shifts.

Boolean factor graph model for biological systems: the yeast cell-cycle network

Background

The desire to understand genomic functions and the behavior of complex gene regulatory networks has recently been a major research focus in systems biology. As a result, a plethora of computational and modeling tools have been proposed to identify and infer interactions among biological entities. Here, we consider the general question of the effect of perturbation on the global dynamical network behavior as well as error propagation in biological networks to incite research pertaining to intervention strategies.

Results

This paper introduces a computational framework that combines the formulation of Boolean networks and factor graphs to explore the global dynamical features of biological systems. A message-passing algorithm is proposed for this formalism to evolve network states as messages in the graph. In addition, the mathematical formulation allows us to describe the dynamics and behavior of error propagation in gene regulatory networks by conducting a density evolution (DE) analysis. The model is applied to assess the network state progression and the impact of gene deletion in the budding yeast cell cycle. Simulation results show that our model predictions match published experimental data. Also, our findings reveal that the sample yeast cell-cycle network is not only robust but also consistent with real high-throughput expression data. Finally, our DE analysis serves as a tool to find the optimal values of network parameters for resilience against perturbations, especially in the inference of genetic graphs.

Conclusion

Our computational framework provides a useful graphical model and analytical tools to study biological networks. It can be a powerful tool to predict the consequences of gene deletions before conducting wet bench experiments because it proves to be a quick route to predicting biologically relevant dynamic properties without tunable kinetic parameters.

Supplementary Information

The online version contains supplementary material available at 10.1186/s12859-021-04361-8.

Towards a synthetic cell cycle

Recent developments in synthetic biology may bring the bottom-up generation of a synthetic cell within reach. A key feature of a living synthetic cell is a functional cell cycle, in which DNA replication and segregation as well as cell growth and division are well integrated. Here, we describe different approaches to recreate these processes in a synthetic cell, based on natural systems and/or synthetic alternatives. Although some individual machineries have recently been established, their integration and control in a synthetic cell cycle remain to be addressed. In this Perspective, we discuss potential paths towards an integrated synthetic cell cycle.

Unifying the mechanism of mitotic exit control in a spatiotemporal logical model

The transition from mitosis into the first gap phase of the cell cycle in budding yeast is controlled by the Mitotic Exit Network (MEN). The network interprets spatiotemporal cues about the progression of mitosis and ensures that release of Cdc14 phosphatase occurs only after completion of key mitotic events. The MEN has been studied intensively; however, a unified understanding of how localisation and protein activity function together as a system is lacking. In this paper, we present a compartmental, logical model of the MEN that is capable of representing spatial aspects of regulation in parallel to control of enzymatic activity. We show that our model is capable of correctly predicting the phenotype of the majority of mutants we tested, including mutants that cause proteins to mislocalise. We use a continuous time implementation of the model to demonstrate that Cdc14 Early Anaphase Release (FEAR) ensures robust timing of anaphase, and we verify our findings in living cells. Furthermore, we show that our model can represent measured cell-cell variation in Spindle Position Checkpoint (SPoC) mutants. This work suggests a general approach to incorporate spatial effects into logical models. We anticipate that the model itself will be an important resource to experimental researchers, providing a rigorous platform to test hypotheses about regulation of mitotic exit.

A systems biology approach to discovering pathway signaling dysregulation in metastasis

Total metastatic burden is the primary cause of death for many cancer patients. While the process of metastasis has been studied widely, much remains to be understood. Moreover, few agents have been developed that specifically target the major steps of the metastatic cascade. Many individual genes and pathways have been implicated in metastasis but a holistic view of how these interact and cooperate to regulate and execute the process remains somewhat rudimentary. It is unclear whether all of the signaling features that regulate and execute metastasis are yet fully understood. Novel features of a complex system such as metastasis can often be discovered by taking a systems-based approach. We introduce the concepts of systems modeling and define some of the central challenges facing the application of a multidisciplinary systems-based approach to understanding metastasis and finding actionable targets therein. These challenges include appreciating the unique properties of the high-dimensional omics data often used for modeling, limitations in knowledge of the system (metastasis), tumor heterogeneity and sampling bias, and some of the issues key to understanding critical features of molecular signaling in the context of metastasis. We also provide a brief introduction to integrative modeling that focuses on both the nodes and edges of molecular signaling networks. Finally, we offer some observations on future directions as they relate to developing a systems-based model of the metastatic cascade.

Extended Robust Boolean Network of Budding Yeast Cell Cycle

Background:

How to explore the dynamics of transition probabilities between phases of budding yeast cell cycle (BYCC) network based on the dynamics of protein activities that control this network? How to identify the robust structure of protein interactions of BYCC Boolean network (BN)? Budding yeast allows scientists to put experiments into effect in order to discover the intracellular cell cycle regulating structures which are well simulated by mathematical modeling.

Methods:

We extended an available deterministic BN of proteins responsible for the cell cycle to a Markov chain model containing apoptosis besides G1, S, G2, M, and stationary G1. Using genetic algorithm (GA), we estimated the kinetic parameters of the extended BN model so that the subsequent transition probabilities derived using Markov chain model of cell states as normal cell cycle becomes the maximum while the structure of chemical interactions of extended BN of cell cycle becomes more stable.

Results:

Using kinetic parameters optimized by GA, the probability of the subsequent transitions between cell cycle phases is maximized. The relative basin size of stationary G1 increased from 86% to 96.48% while the number of attractors decreased from 7 in the original model to 5 in the extended one. Hence, an increase in the robustness of the system has been achieved.

Conclusion:

The structure of interacting proteins in cell cycle network affects its robustness and probabilities of transitions between different cell cycle phases. Markov chain and BN are good approaches to study the stability and dynamics of the cell cycle network.

Random Parametric Perturbations of Gene Regulatory Circuit Uncover State Transitions in Cell Cycle

Many biological processes involve precise cellular state transitions controlled by complex gene regulation. Here, we use budding yeast cell cycle as a model system and explore how a gene regulatory circuit encodes essential information of state transitions. We present a generalized random circuit perturbation method for circuits containing heterogeneous regulation types and its usage to analyze both steady and oscillatory states from an ensemble of circuit models with random kinetic parameters. The stable steady states form robust clusters with a circular structure that are associated with cell cycle phases. This circular structure in the clusters is consistent with single-cell RNA sequencing data. The oscillatory states specify the irreversible state transitions along cell cycle progression. Furthermore, we identify possible mechanisms to understand the irreversible state transitions from the steady states. We expect this approach to be robust and generally applicable to unbiasedly predict dynamical transitions of a gene regulatory circuit.

Genetic interactions derived from high-throughput phenotyping of 6589 yeast cell cycle mutants

Over the last 30 years, computational biologists have developed increasingly realistic mathematical models of the regulatory networks controlling the division of eukaryotic cells. These models capture data resulting from two complementary experimental approaches: low-throughput experiments aimed at extensively characterizing the functions of small numbers of genes, and large-scale genetic interaction screens that provide a systems-level perspective on the cell division process. The former is insufficient to capture the interconnectivity of the genetic control network, while the latter is fraught with irreproducibility issues. Here, we describe a hybrid approach in which the 630 genetic interactions between 36 cell-cycle genes are quantitatively estimated by high-throughput phenotyping with an unprecedented number of biological replicates. Using this approach, we identify a subset of high-confidence genetic interactions, which we use to refine a previously published mathematical model of the cell cycle. We also present a quantitative dataset of the growth rate of these mutants under six different media conditions in order to inform future cell cycle models.

Bayesian inference using qualitative observations of underlying continuous variables

MOTIVATION

Recent work has demonstrated the feasibility of using non-numerical, qualitative data to parameterize mathematical models. However, uncertainty quantification (UQ) of such parameterized models has remained challenging because of a lack of a statistical interpretation of the objective functions used in optimization.

RESULTS

We formulated likelihood functions suitable for performing Bayesian UQ using qualitative observations of underlying continuous variables or a combination of qualitative and quantitative data. To demonstrate the resulting UQ capabilities, we analyzed a published model for immunoglobulin E (IgE) receptor signaling using synthetic qualitative and quantitative datasets. Remarkably, estimates of parameter values derived from the qualitative data were nearly as consistent with the assumed ground-truth parameter values as estimates derived from the lower throughput quantitative data. These results provide further motivation for leveraging qualitative data in biological modeling.

AVAILABILITY AND IMPLEMENTATION

The likelihood functions presented here are implemented in a new release of PyBioNetFit, an open-source application for analyzing Systems Biology Markup Language- and BioNetGen Language-formatted models, available online at www.github.com/lanl/PyBNF.

SUPPLEMENTARY INFORMATION

Supplementary data are available at Bioinformatics online.

Differential Scaling of Gene Expression with Cell Size May Explain Size Control in Budding Yeast

Yeast cells must grow to a critical size before committing to division. It is unknown how size is measured. We find that as cells grow, mRNAs for some cell-cycle activators scale faster than size, increasing in concentration, while mRNAs for some inhibitors scale slower than size, decreasing in concentration. Size-scaled gene expression could cause an increasing ratio of activators to inhibitors with size, triggering cell-cycle entry. Consistent with this, expression of the CLN2 activator from the promoter of the WHI5 inhibitor, or vice versa, interfered with cell size homeostasis, yielding a broader distribution of cell sizes. We suggest that size homeostasis comes from differential scaling of gene expression with size. Differential regulation of gene expression as a function of cell size could affect many cellular processes.

A hybrid stochastic model of the budding yeast cell cycle

The growth and division of eukaryotic cells are regulated by complex, multi-scale networks. In this process, the mechanism of controlling cell-cycle progression has to be robust against inherent noise in the system. In this paper, a hybrid stochastic model is developed to study the effects of noise on the control mechanism of the budding yeast cell cycle. The modeling approach leverages, in a single multi-scale model, the advantages of two regimes: (1) the computational efficiency of a deterministic approach, and (2) the accuracy of stochastic simulations. Our results show that this hybrid stochastic model achieves high computational efficiency while generating simulation results that match very well with published experimental measurements.

Parameter Estimation and Uncertainty Quantification for Systems Biology Models

Mathematical models can provide quantitative insights into immunoreceptor signaling, and other biological processes, but require parameterization and uncertainty quantification before reliable predictions become possible. We review currently available methods and software tools to address these problems. We consider gradient-based and gradient-free methods for point estimation of parameter values, and methods of profile likelihood, bootstrapping, and Bayesian inference for uncertainty quantification. We consider recent and potential future applications of these methods to systems-level modeling of immune-related phenomena.

Advanced Modeling of Cellular Proliferation: Toward a Multi-scale Framework Coupling Cell Cycle to Metabolism by Integrating Logical and Constraint-Based Models

Biological functions require a coherent cross talk among multiple layers of regulation within the cell. Computational efforts that aim to understand how these layers are integrated across spatial, temporal, and functional scales represent a challenge in Systems Biology. We have developed a computational, multi-scale framework that couples cell cycle and metabolism networks in the budding yeast cell. Here we describe the methodology at the basis of this framework, which integrates on off-the-shelf logical (Boolean) models of a minimal yeast cell cycle with a constraint-based model of metabolism (i.e., the Yeast 7 metabolic network reconstruction). Models are implemented in Python code using the BooleanNet and COBRApy packages, respectively, and are connected through the Boolean logic. The methodology allows for incorporation of interaction data, and validation through -omics data. Furthermore, evolutionary strategies may be incorporated to explore regulatory structures underlying coherent cross talks among regulatory layers.

PyBioNetFit and the Biological Property Specification Language

In systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of agreement with experimental observations. To help modelers perform these steps, we developed the software PyBioNetFit, which in addition supports checking models against known system properties and solving design problems. PyBioNetFit introduces Biological Property Specification Language (BPSL) for the formal declaration of system properties. BPSL allows qualitative data to be used alone or in combination with quantitative data. PyBioNetFit performs parameterization with parallelized metaheuristic optimization algorithms that work directly with existing model definition standards: BioNetGen Language (BNGL) and Systems Biology Markup Language (SBML). We demonstrate PyBioNetFit's capabilities by solving various example problems, including the challenging problem of parameterizing a 153-parameter model of cell cycle control in yeast based on both quantitative and qualitative data. We demonstrate the model checking and design applications of PyBioNetFit and BPSL by analyzing a model of targeted drug interventions in autophagy signaling.

CrossPlan: systematic planning of genetic crosses to validate mathematical models

Motivation

Mathematical models of cellular processes can systematically predict the phenotypes of novel combinations of multi-gene mutations. Searching for informative predictions and prioritizing them for experimental validation is challenging since the number of possible combinations grows exponentially in the number of mutations. Moreover, keeping track of the crosses needed to make new mutants and planning sequences of experiments is unmanageable when the experimenter is deluged by hundreds of potentially informative predictions to test.

Results

We present CrossPlan, a novel methodology for systematically planning genetic crosses to make a set of target mutants from a set of source mutants. We base our approach on a generic experimental workflow used in performing genetic crosses in budding yeast. We prove that the CrossPlan problem is NP-complete. We develop an integer-linear-program (ILP) to maximize the number of target mutants that we can make under certain experimental constraints. We apply our method to a comprehensive mathematical model of the protein regulatory network controlling cell division in budding yeast. We also extend our solution to incorporate other experimental conditions such as a delay factor that decides the availability of a mutant and genetic markers to confirm gene deletions. The experimental flow that underlies our work is quite generic and our ILP-based algorithm is easy to modify. Hence, our framework should be relevant in plant and animal systems as well.

Availability and implementation

CrossPlan code is freely available under GNU General Public Licence v3.0 at https://github.com/Murali-group/crossplan.

Supplementary information

Supplementary data are available at Bioinformatics online.

A stochastic model of size control in the budding yeast cell cycle

BACKGROUND

Cell size is a key characteristic that significantly affects many aspects of cellular physiology. There are specific control mechanisms during cell cycle that maintain the cell size within a range from generation to generation. Such control mechanisms introduce substantial variabilities to important properties of the cell cycle such as growth and division. To quantitatively study the effect of such variability in progression through cell cycle, detailed stochastic models are required.

RESULTS

In this paper, a new hybrid stochastic model is proposed to study the effect of molecular noise and size control mechanism on the variabilities in cell cycle of the budding yeast Saccharomyces cerevisiae. The proposed model provides an accurate, yet computationally efficient approach for simulation of an intricate system by integrating the deterministic and stochastic simulation schemes. The developed hybrid stochastic model can successfully capture several key features of the cell cycle observed in experimental data. In particular, the proposed model: 1) confirms that the majority of noise in size control stems from low copy numbers of transcripts in the G1 phase, 2) identifies the size and time regulation modules in the size control mechanism, and 3) conforms with phenotypes of early G1 mutants in exquisite detail.

CONCLUSIONS

Hybrid stochastic modeling approach can be used to provide quantitative descriptions for stochastic properties of the cell cycle within a computationally efficient framework.

Time varying causal network reconstruction of a mouse cell cycle

Background

Biochemical networks are often described through static or time-averaged measurements of the component macromolecules. Temporal variation in these components plays an important role in both describing the dynamical nature of the network as well as providing insights into causal mechanisms. Few methods exist, specifically for systems with many variables, for analyzing time series data to identify distinct temporal regimes and the corresponding time-varying causal networks and mechanisms.

Results

In this study, we use well-constructed temporal transcriptional measurements in a mammalian cell during a cell cycle, to identify dynamical networks and mechanisms describing the cell cycle. The methods we have used and developed in part deal with Granger causality, Vector Autoregression, Estimation Stability with Cross Validation and a nonparametric change point detection algorithm that enable estimating temporally evolving directed networks that provide a comprehensive picture of the crosstalk among different molecular components. We applied our approach to RNA-seq time-course data spanning nearly two cell cycles from Mouse Embryonic Fibroblast (MEF) primary cells. The change-point detection algorithm is able to extract precise information on the duration and timing of cell cycle phases. Using Least Absolute Shrinkage and Selection Operator (LASSO) and Estimation Stability with Cross Validation (ES-CV), we were able to, without any prior biological knowledge, extract information on the phase-specific causal interaction of cell cycle genes, as well as temporal interdependencies of biological mechanisms through a complete cell cycle.

Conclusions

The temporal dependence of cellular components we provide in our model goes beyond what is known in the literature. Furthermore, our inference of dynamic interplay of multiple intracellular mechanisms and their temporal dependence on one another can be used to predict time-varying cellular responses, and provide insight on the design of precise experiments for modulating the regulation of the cell cycle.

Electronic supplementary material

The online version of this article (10.1186/s12859-019-2895-1) contains supplementary material, which is available to authorized users.

A comprehensive, mechanistically detailed, and executable model of the cell division cycle in Saccharomyces cerevisiae

Understanding how cellular functions emerge from the underlying molecular mechanisms is a key challenge in biology. This will require computational models, whose predictive power is expected to increase with coverage and precision of formulation. Genome-scale models revolutionised the metabolic field and made the first whole-cell model possible. However, the lack of genome-scale models of signalling networks blocks the development of eukaryotic whole-cell models. Here, we present a comprehensive mechanistic model of the molecular network that controls the cell division cycle in Saccharomyces cerevisiae. We use rxncon, the reaction-contingency language, to neutralise the scalability issues preventing formulation, visualisation and simulation of signalling networks at the genome-scale. We use parameter-free modelling to validate the network and to predict genotype-to-phenotype relationships down to residue resolution. This mechanistic genome-scale model offers a new perspective on eukaryotic cell cycle control, and opens up for similar models-and eventually whole-cell models-of human cells.

The cell-cycle transcriptional network generates and transmits a pulse of transcription once each cell cycle

Multiple studies have suggested the critical roles of cyclin-dependent kinases (CDKs) as well as a transcription factor (TF) network in generating the robust cell-cycle transcriptional program. However, the precise mechanisms by which these components function together in the gene regulatory network remain unclear. Here we show that the TF network can generate and transmit a "pulse" of transcription independently of CDK oscillations. The premature firing of the transcriptional pulse is prevented by early G1 inhibitors, including transcriptional corepressors and the E3 ubiquitin ligase complex APCCdh1. We demonstrate that G1 cyclin-CDKs facilitate the activation and accumulation of TF proteins in S/G2/M phases through inhibiting G1 transcriptional corepressors (Whi5 and Stb1) and APCCdh1, thereby promoting the initiation and propagation of the pulse by the TF network. These findings suggest a unique oscillatory mechanism in which global phase-specific transcription emerges from a pulse-generating network that fires once-and-only-once at the start of the cycle.

Modeling the dynamic behavior of biochemical regulatory networks

Strategies for modeling the complex dynamical behavior of gene/protein regulatory networks have evolved over the last 50 years as both the knowledge of these molecular control systems and the power of computing resources have increased. Here, we review a number of common modeling approaches, including Boolean (logical) models, systems of piecewise-linear or fully non-linear ordinary differential equations, and stochastic models (including hybrid deterministic/stochastic approaches). We discuss the pro's and con's of each approach, to help novice modelers choose a modeling strategy suitable to their problem, based on the type and bounty of available experimental information. We illustrate different modeling strategies in terms of some abstract network motifs, and in the specific context of cell cycle regulation.

Using both qualitative and quantitative data in parameter identification for systems biology models

In systems biology, qualitative data are often generated, but rarely used to parameterize models. We demonstrate an approach in which qualitative and quantitative data can be combined for parameter identification. In this approach, qualitative data are converted into inequality constraints imposed on the outputs of the model. These inequalities are used along with quantitative data points to construct a single scalar objective function that accounts for both datasets. To illustrate the approach, we estimate parameters for a simple model describing Raf activation. We then apply the technique to a more elaborate model characterizing cell cycle regulation in yeast. We incorporate both quantitative time courses (561 data points) and qualitative phenotypes of 119 mutant yeast strains (1647 inequalities) to perform automated identification of 153 model parameters. We quantify parameter uncertainty using a profile likelihood approach. Our results indicate the value of combining qualitative and quantitative data to parameterize systems biology models.

Much of the data generated in biology is qualitative, but exploiting such data to inform models of biological systems remains a challenge. Here, the authors demonstrate an approach that allows use of both quantitative and qualitative data for parameterising dynamical models.

GraphSpace: stimulating interdisciplinary collaborations in network biology

Summary

Networks have become ubiquitous in systems biology. Visualization is a crucial component in their analysis. However, collaborations within research teams in network biology are hampered by software systems that are either specific to a computational algorithm, create visualizations that are not biologically meaningful, or have limited features for sharing networks and visualizations. We present GraphSpace, a web-based platform that fosters team science by allowing collaborating research groups to easily store, interact with, layout and share networks.

Availability and implementation

Anyone can upload and share networks at http://graphspace.org. In addition, the GraphSpace code is available at http://github.com/Murali-group/graphspace if a user wants to run his or her own server.

Contact

murali@cs.vt.edu.

Supplementary information

Supplementary data are available at Bioinformatics online.

Reconciling conflicting models for global control of cell-cycle transcription

Models for the control of global cell-cycle transcription have advanced from a CDK-APC/C oscillator, a transcription factor (TF) network, to coupled CDK-APC/C and TF networks. Nonetheless, current models were challenged by a recent study that concluded that the cell-cycle transcriptional program is primarily controlled by a CDK-APC/C oscillator in budding yeast. Here we report an analysis of the transcriptome dynamics in cyclin mutant cells that were not queried in the previous study. We find that B-cyclin oscillation is not essential for control of phase-specific transcription. Using a mathematical model, we demonstrate that the function of network TFs can be retained in the face of significant reductions in transcript levels. Finally, we show that cells arrested at mitotic exit with non-oscillating levels of B-cyclins continue to cycle transcriptionally. Taken together, these findings support a critical role of a TF network and a requirement for CDK activities that need not be periodic.

Quantitative Systems Biology to decipher design principles of a dynamic cell cycle network: the "Maximum Allowable mammalian Trade-Off-Weight" (MAmTOW)

Network complexity is required to lend cellular processes flexibility to respond timely to a variety of dynamic signals, while simultaneously warranting robustness to protect cellular integrity against perturbations. The cell cycle serves as a paradigm for such processes; it maintains its frequency and temporal structure (although these may differ among cell types) under the former, but accelerates under the latter. Cell cycle molecules act together in time and in different cellular compartments to execute cell type-specific programs. Strikingly, the timing at which molecular switches occur is controlled by abundance and stoichiometry of multiple proteins within complexes. However, traditional methods that investigate one effector at a time are insufficient to understand how modulation of protein complex dynamics at cell cycle transitions shapes responsiveness, yet preserving robustness. To overcome this shortcoming, we propose a multidisciplinary approach to gain a systems-level understanding of quantitative cell cycle dynamics in mammalian cells from a new perspective. By suggesting advanced experimental technologies and dedicated modeling approaches, we present innovative strategies (i) to measure absolute protein concentration in vivo, and (ii) to determine how protein dosage, e.g., altered protein abundance, and spatial (de)regulation may affect timing and robustness of phase transitions. We describe a method that we name “Maximum Allowable mammalian Trade–Off–Weight” (MAmTOW), which may be realized to determine the upper limit of gene copy numbers in mammalian cells. These aspects, not covered by current systems biology approaches, are essential requirements to generate precise computational models and identify (sub)network-centered nodes underlying a plethora of pathological conditions.

Re-examining the role of Cdc14 phosphatase in reversal of Cdk phosphorylation during mitotic exit

Inactivation of cyclin-dependent kinase (Cdk) and reversal of Cdk phosphorylation are universally required for mitotic exit. In budding yeast (Saccharomyces cerevisiae), Cdc14 is essential for both and thought to be the major Cdk-counteracting phosphatase. However, Cdc14 is not required for mitotic exit in many eukaryotes, despite highly conserved biochemical properties. The question of how similar enzymes could have such disparate influences on mitotic exit prompted us to re-examine the contribution of budding yeast Cdc14. By using an auxin-inducible degron, we show that severe Cdc14 depletion has no effect on the kinetics of mitotic exit and bulk Cdk substrate dephosphorylation, but causes a cell separation defect and is ultimately lethal. Phosphoproteomic analysis revealed that Cdc14 is highly selective for distinct Cdk sites in vivo and does not catalyze widespread Cdk substrate dephosphorylation. We conclude that additional phosphatases likely contribute substantially to Cdk substrate dephosphorylation and coordination of mitotic exit in budding yeast, similar to in other eukaryotes, and the critical mitotic exit functions of Cdc14 require trace amounts of enzyme. We propose that Cdc14 plays very specific, and often different, roles in counteracting Cdk phosphorylation in all species.

Solving the influence maximization problem reveals regulatory organization of the yeast cell cycle

The Influence Maximization Problem (IMP) aims to discover the set of nodes with the greatest influence on network dynamics. The problem has previously been applied in epidemiology and social network analysis. Here, we demonstrate the application to cell cycle regulatory network analysis for Saccharomyces cerevisiae. Fundamentally, gene regulation is linked to the flow of information. Therefore, our implementation of the IMP was framed as an information theoretic problem using network diffusion. Utilizing more than 26,000 regulatory edges from YeastMine, gene expression dynamics were encoded as edge weights using time lagged transfer entropy, a method for quantifying information transfer between variables. By picking a set of source nodes, a diffusion process covers a portion of the network. The size of the network cover relates to the influence of the source nodes. The set of nodes that maximizes influence is the solution to the IMP. By solving the IMP over different numbers of source nodes, an influence ranking on genes was produced. The influence ranking was compared to other metrics of network centrality. Although the top genes from each centrality ranking contained well-known cell cycle regulators, there was little agreement and no clear winner. However, it was found that influential genes tend to directly regulate or sit upstream of genes ranked by other centrality measures. The influential nodes act as critical sources of information flow, potentially having a large impact on the state of the network. Biological events that affect influential nodes and thereby affect information flow could have a strong effect on network dynamics, potentially leading to disease. Code and data can be found at: https://github.com/gibbsdavidl/miergolf.

Entrainment of a Bacterial Synthetic Gene Oscillator through Proteolytic Queueing

Internal chemical oscillators (chemical clocks) direct the behavior of numerous biological systems, and maintenance of a given period and phase among many such oscillators may be important for their proper function. However, both environmental variability and fundamental molecular noise can cause biochemical oscillators to lose coherence. One solution to maintaining coherence is entrainment, where an external signal provides a cue that resets the phase of the oscillators. In this work, we study the entrainment of gene networks by a queueing interaction established by competition between proteins for a common proteolytic pathway. Principles of queueing entrainment are investigated for an established synthetic oscillator in Escherichia coli. We first explore this theoretically using a standard chemical reaction network model and a map-based model, both of which suggest that queueing entrainment can be achieved through pulsatile production of an additional protein competing for a common degradation pathway with the oscillator proteins. We then use a combination of microfluidics and fluorescence microscopy to verify that pulse trains modulating the production rate of a fluorescent protein targeted to the same protease (ClpXP) as the synthetic oscillator can entrain the oscillator.

Predicting network modules of cell cycle regulators using relative protein abundance statistics

BACKGROUND

Parameter estimation in systems biology is typically done by enforcing experimental observations through an objective function as the parameter space of a model is explored by numerical simulations. Past studies have shown that one usually finds a set of "feasible" parameter vectors that fit the available experimental data equally well, and that these alternative vectors can make different predictions under novel experimental conditions. In this study, we characterize the feasible region of a complex model of the budding yeast cell cycle under a large set of discrete experimental constraints in order to test whether the statistical features of relative protein abundance predictions are influenced by the topology of the cell cycle regulatory network.

RESULTS

Using differential evolution, we generate an ensemble of feasible parameter vectors that reproduce the phenotypes (viable or inviable) of wild-type yeast cells and 110 mutant strains. We use this ensemble to predict the phenotypes of 129 mutant strains for which experimental data is not available. We identify 86 novel mutants that are predicted to be viable and then rank the cell cycle proteins in terms of their contributions to cumulative variability of relative protein abundance predictions. Proteins involved in "regulation of cell size" and "regulation of G1/S transition" contribute most to predictive variability, whereas proteins involved in "positive regulation of transcription involved in exit from mitosis," "mitotic spindle assembly checkpoint" and "negative regulation of cyclin-dependent protein kinase by cyclin degradation" contribute the least. These results suggest that the statistics of these predictions may be generating patterns specific to individual network modules (START, S/G2/M, and EXIT). To test this hypothesis, we develop random forest models for predicting the network modules of cell cycle regulators using relative abundance statistics as model inputs. Predictive performance is assessed by the areas under receiver operating characteristics curves (AUC). Our models generate an AUC range of 0.83-0.87 as opposed to randomized models with AUC values around 0.50.

CONCLUSIONS

By using differential evolution and random forest modeling, we show that the model prediction statistics generate distinct network module-specific patterns within the cell cycle network.

Advances and challenges in logical modeling of cell cycle regulation: perspective for multi-scale, integrative yeast cell models

The eukaryotic cell cycle is robustly designed, with interacting molecules organized within a definite topology that ensures temporal precision of its phase transitions. Its underlying dynamics are regulated by molecular switches, for which remarkable insights have been provided by genetic and molecular biology efforts. In a number of cases, this information has been made predictive, through computational models. These models have allowed for the identification of novel molecular mechanisms, later validated experimentally. Logical modeling represents one of the youngest approaches to address cell cycle regulation. We summarize the advances that this type of modeling has achieved to reproduce and predict cell cycle dynamics. Furthermore, we present the challenge that this type of modeling is now ready to tackle: its integration with intracellular networks, and its formalisms, to understand crosstalks underlying systems level properties, ultimate aim of multi-scale models. Specifically, we discuss and illustrate how such an integration may be realized, by integrating a minimal logical model of the cell cycle with a metabolic network.

A Stochastic Model of the Yeast Cell Cycle Reveals Roles for Feedback Regulation in Limiting Cellular Variability

The cell division cycle of eukaryotes is governed by a complex network of cyclin-dependent protein kinases (CDKs) and auxiliary proteins that govern CDK activities. The control system must function reliably in the context of molecular noise that is inevitable in tiny yeast cells, because mistakes in sequencing cell cycle events are detrimental or fatal to the cell or its progeny. To assess the effects of noise on cell cycle progression requires not only extensive, quantitative, experimental measurements of cellular heterogeneity but also comprehensive, accurate, mathematical models of stochastic fluctuations in the CDK control system. In this paper we provide a stochastic model of the budding yeast cell cycle that accurately accounts for the variable phenotypes of wild-type cells and more than 20 mutant yeast strains simulated in different growth conditions. We specifically tested the role of feedback regulations mediated by G1- and SG2M-phase cyclins to minimize the noise in cell cycle progression. Details of the model are informed and tested by quantitative measurements (by fluorescence in situ hybridization) of the joint distributions of mRNA populations in yeast cells. We use the model to predict the phenotypes of ~30 mutant yeast strains that have not yet been characterized experimentally.

The cell division cycle—the process by which a living cell makes a new replica of itself—is fundamental to all aspects of biological growth, development and reproduction. If cells make mistakes in cell cycle progression, they may die or give birth to aberrant progeny. Such mistakes are the root cause of serious human diseases such as cancer. Hence, we would like to understand how cells control cell cycle events and correct mistakes before they do serious damage. Yeast cells are especially suited to studying cell cycle progression because so much is known about the underlying molecular control system, and because yeast cells—being so small—are especially vulnerable to random fluctuations in molecular regulators of the cell cycle. Experimental studies have identified feedback signals in the regulatory network that appear to keep these fluctuations within manageable limits. To place these proposals in a rigorous theoretical framework, we present a stochastic model of the major feedback controls in the yeast cell cycle. Our model accounts accurately for a range of observations about cell cycle variability in wild-type and mutant cells, and makes a host of verifiable predictions about mutant strains that are seriously compromised in cell cycle progression.

Experimental testing of a new integrated model of the budding yeast Start transition

Mathematical modeling of the cell cycle has unveiled recurrent features and emergent behaviors of cellular networks. Constructing new mutants and performing experimental tests during development of a new model of the budding yeast cell cycle yields a more efficient modeling process and results in several testable hypotheses.

The cell cycle is composed of bistable molecular switches that govern the transitions between gap phases (G1 and G2) and the phases in which DNA is replicated (S) and partitioned between daughter cells (M). Many molecular details of the budding yeast G1–S transition (Start) have been elucidated in recent years, especially with regard to its switch-like behavior due to positive feedback mechanisms. These results led us to reevaluate and expand a previous mathematical model of the yeast cell cycle. The new model incorporates Whi3 inhibition of Cln3 activity, Whi5 inhibition of SBF and MBF transcription factors, and feedback inhibition of Whi5 by G1–S cyclins. We tested the accuracy of the model by simulating various mutants not described in the literature. We then constructed these novel mutant strains and compared their observed phenotypes to the model’s simulations. The experimental results reported here led to further changes of the model, which will be fully described in a later article. Our study demonstrates the advantages of combining model design, simulation, and testing in a coordinated effort to better understand a complex biological network.