BACKGROUND: Computational models of cell signaling networks are extremely useful tools for the exploration of underlying system behavior and prediction of response to various perturbations. By representing signaling cascades as executable Boolean networks, the previously developed rxncon ("reaction-contingency") formalism and associated Python package enable accurate and scalable modeling of signal transduction even in large (thousands of components) biological systems. The models are split into reactions, which generate states, and contingencies, that impinge on reactions; this avoids the so-called "combinatorial explosion" of system size. Boolean description of the biological system compensates for the poor availability of kinetic parameters which are necessary for quantitative models. Unfortunately, few tools are available to support rxncon model development, especially for large, intricate systems. RESULTS: We present the kboolnet toolkit ( https://github.com/Kufalab-UCSD/kboolnet , complete documentation at https://github.com/Kufalab-UCSD/kboolnet/wiki ), an R package and a set of scripts that seamlessly integrate with the python-based rxncon software and collectively provide a complete workflow for the verification, validation, and visualization of rxncon models. The verification script VerifyModel.R checks for responsiveness to repeated stimulations as well as consistency of steady state behavior. The validation scripts TruthTable.R, SensitivityAnalysis.R, and ScoreNet.R provide various readouts for the comparison of model predictions to experimental data. In particular, ScoreNet.R compares model predictions to a cloud-stored MIDAS-format experimental database to provide a numerical score for tracking model accuracy. Finally, the visualization scripts allow for graphical representations of model topology and behavior. The entire kboolnet toolkit is cloud-enabled, allowing for easy collaborative development; most scripts also allow for the extraction and analysis of individual user-defined "modules". CONCLUSION: The kboolnet toolkit provides a modular, cloud-enabled workflow for the development of rxncon models, as well as their verification, validation, and visualization. This will enable the creation of larger, more comprehensive, and more rigorous models of cell signaling using the rxncon formalism in the future.

Boolean networks (BNs) have been developed to describe various biological processes, which requires analysis of attractors, the long-term stable states. While many methods have been proposed to detection and enumeration of attractors, there are no methods which have been demonstrated to be theoretically better than the naive method and be practically used for large biological BNs. Here, we present a novel method to calculate attractors based on a priori information, which works much and verifiably faster than the naive method. We apply the method to two BNs which differ in size, modeling formalism, and biological scope. Despite these differences, the method presented here provides a powerful tool for the analysis of both networks. First, our analysis of a BN studying the effect of the microenvironment during angiogenesis shows that the previously defined microenvironments inducing the specialized phalanx behavior in endothelial cells (ECs) additionally induce stalk behavior. We obtain this result from an extended network version which was previously not analyzed. Second, we were able to heuristically detect attractors in a cell cycle control network formalized as a bipartite Boolean model (bBM) with 3158 nodes. These attractors are directly interpretable in terms of genotype-to-phenotype relationships, allowing network validation equivalent to an in silico mutagenesis screen. Our approach contributes to the development of scalable analysis methods required for whole-cell modeling efforts.

Sperm migration in the female genital tract controls sperm selection and, therefore, reproductive success as male gametes are conditioned for fertilization while their number is dramatically reduced. Mechanisms underlying sperm migration are mostly unknown, since in vivo investigations are mostly unfeasible for ethical or practical reasons. By presenting a spatio-temporal model of the mammalian female genital tract combined with agent-based description of sperm motion and interaction as well as parameterizing it with bovine data, we offer an alternative possibility for studying sperm migration in silico. The model incorporates genital tract geometry as well as biophysical principles of sperm motion observed in vitro such as positive rheotaxis and thigmotaxis. This model for sperm migration from vagina to oviducts was successfully tested against in vivo data from literature. We found that physical sperm characteristics such as velocity and directional stability as well as sperm-fluid interactions and wall alignment are critical for success, i.e. sperms reaching the oviducts. Therefore, we propose that these identified sperm parameters should be considered in detail for conditioning sperm in artificial selection procedures since the natural processes are normally bypassed in reproductive in vitro technologies. The tremendous impact of mucus flow to support sperm accumulation in the oviduct highlights the importance of a species-specific optimum time window for artificial insemination regarding ovulation. Predictions from our extendable in silico experimental system will improve assisted reproduction in humans, endangered species, and livestock.

BK virus (BKV) associated nephropathy affects 1-10% of kidney transplant recipients, leading to graft failure in about 50% of cases. Immune responses against different BKV antigens have been shown to have a prognostic value for disease development. Data currently suggest that the structural antigens and regulatory antigens of BKV might each trigger a different mode of action of the immune response. To study the influence of different modes of action of the cellular immune response on BKV clearance dynamics, we have analysed the kinetics of BKV plasma load and anti-BKV T cell response (Elispot) in six patients with BKV associated nephropathy using ODE modelling. The results show that only a small number of hypotheses on the mode of action are compatible with the empirical data. The hypothesis with the highest empirical support is that structural antigens trigger blocking of virus production from infected cells, whereas regulatory antigens trigger an acceleration of death of infected cells. These differential modes of action could be important for our understanding of BKV resolution, as according to the hypothesis, only regulatory antigens would trigger a fast and continuous clearance of the viral load. Other hypotheses showed a lower degree of empirical support, but could potentially explain the clearing mechanisms of individual patients. Our results highlight the heterogeneity of the dynamics, including the delay between immune response against structural versus regulatory antigens, and its relevance for BKV clearance. Our modelling approach is the first that studies the process of BKV clearance by bringing together viral and immune kinetics and can provide a framework for personalised hypotheses generation on the interrelations between cellular immunity and viral dynamics.

The spatial architecture of signaling pathways and the interaction with cell size and morphology are complex, but little understood. With the advances of single cell imaging and single cell biology, it becomes crucial to understand intracellular processes in time and space. Activation of cell surface receptors often triggers a signaling cascade including the activation of membrane-attached and cytosolic signaling components, which eventually transmit the signal to the cell nucleus. Signaling proteins can form steep gradients in the cytosol, which cause strong cell size dependence. We show that the kinetics at the membrane-cytosolic interface and the ratio of cell membrane area to the enclosed cytosolic volume change the behavior of signaling cascades significantly. We suggest an estimate of average concentration for arbitrary cell shapes depending on the cell volume and cell surface area. The normalized variance, known from image analysis, is suggested as an alternative measure to quantify the deviation from the average concentration. A mathematical analysis of signal transduction in time and space is presented, providing analytical solutions for different spatial arrangements of linear signaling cascades. Quantification of signaling time scales reveals that signal propagation is faster at the membrane than at the nucleus, while this time difference decreases with the number of signaling components in the cytosol. Our investigations are complemented by numerical simulations of non-linear cascades with feedback and asymmetric cell shapes. We conclude that intracellular signal propagation is highly dependent on cell geometry and, thereby, conveys information on cell size and shape to the nucleus.

UNLABELLED: : SBtab is a table-based data format for Systems Biology, designed to support automated data integration and model building. It uses the structure of spreadsheets and defines conventions for table structure, controlled vocabularies and semantic annotations. The format comes with predefined table types for experimental data and SBML-compliant model structures and can easily be customized to cover new types of data. AVAILABILITY AND IMPLEMENTATION: SBtab documents can be created and edited with any text editor or spreadsheet tool. The website www.sbtab.net provides online tools for syntax validation and conversion to SBML and HTML, as well as software for using SBtab in MS Excel, MATLAB and R. The stand-alone Python code contains functions for file parsing, validation, conversion to SBML and HTML and an interface to SQLite databases, to be integrated into Systems Biology workflows. A detailed specification of SBtab, including examples and descriptions of table types and available tools, can be found at www.sbtab.net CONTACT: : [email protected].

Cationic and heavy metal toxicity is involved in a substantial number of diseases in mammals and crop plants. Therefore, the understanding of tightly regulated transporter activities, as well as conceiving the interplay of regulatory mechanisms, is of substantial interest. A generalized thermodynamic description is developed for the complex interplay of the plasma membrane ion transporters, membrane potential and the consumption of energy for maintaining and restoring specific intracellular cation concentrations. This concept is applied to the homeostasis of cation concentrations in the yeast cells of S. cerevisiae. The thermodynamic approach allows to model passive ion fluxes driven by the electrochemical potential differences, but also primary or secondary active transport processes driven by the inter- play of different ions (symport, antiport) or by ATP consumption (ATPases). The model-confronted with experimental data-reproduces the experimentally observed potassium and proton fluxes induced by the external stimuli KCl and glucose. The estimated phenomenological constants combine kinetic parameters and transport coefficients. These are in good agreement with the biological understanding of the transporters thus providing a better understanding of the control exerted by the coupled fluxes. The model predicts the flux of additional ion species, like e.g. chloride, as a potential candidate for counterbalancing positive charges. Furthermore, the effect of a second KCl stimulus is simulated, predicting a reduced cellular response for cells that were first exposed to a high KCl stimulus compared to cells pretreated with a mild KCl stimulus. By describing the generalized forces that are responsible for a given flow, the model provides information and suggestions for new experiments. Furthermore, it can be extended to other systems such as e.g. Candida albicans, or selected plant cells.

After endocytic uptake, influenza viruses transit early endosomal compartments and eventually reach late endosomes. There, the viral glycoprotein hemagglutinin (HA) triggers fusion between endosomal and viral membrane, a critical step that leads to release of the viral segmented genome destined to reach the cell nucleus. Endosomal maturation is a complex process involving acidification of the endosomal lumen as well as endosome motility along microtubules. While the pH drop is clearly critical for the conformational change and membrane fusion activity of HA, the effect of intracellular transport dynamics on the progress of infection remains largely unclear. In this study, we developed a comprehensive mathematical model accounting for the first steps of influenza virus infection. We calibrated our model with experimental data and challenged its predictions using recombinant viruses with altered pH sensitivity of HA. We identified the time point of virus-endosome fusion and thereby the diffusion distance of the released viral genome to the nucleus as a critical bottleneck for efficient virus infection. Further, we concluded and supported experimentally that the viral RNA is subjected to cytosolic degradation strongly limiting the probability of a successful genome import into the nucleus.

UNLABELLED: Modeling of dynamical systems using ordinary differential equations is a popular approach in the field of systems biology. Two of the most critical steps in this approach are to construct dynamical models of biochemical reaction networks for large datasets and complex experimental conditions and to perform efficient and reliable parameter estimation for model fitting. We present a modeling environment for MATLAB that pioneers these challenges. The numerically expensive parts of the calculations such as the solving of the differential equations and of the associated sensitivity system are parallelized and automatically compiled into efficient C code. A variety of parameter estimation algorithms as well as frequentist and Bayesian methods for uncertainty analysis have been implemented and used on a range of applications that lead to publications. AVAILABILITY AND IMPLEMENTATION: The Data2Dynamics modeling environment is MATLAB based, open source and freely available at http://www.data2dynamics.org. CONTACT: [email protected] SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.

Maintenance of cellular size is a fundamental systems level process that requires balancing of cell growth with proliferation. This is achieved via the cell division cycle, which is driven by the sequential accumulation and destruction of cyclins. The regulatory network around these cyclins, particularly in G1, has been interpreted as a size control network in budding yeast, and cell size as being decisive for the START transition. However, it is not clear why disruptions in the G1 network may lead to altered size rather than loss of size control, or why the S-G2-M duration also depends on nutrients. With a mathematical population model comprised of individually growing cells, we show that cyclin translation would suffice to explain the observed growth rate dependence of cell volume at START. Moreover, we assess the impact of the observed bud-localisation of the G2 cyclin CLB2 mRNA, and find that localised cyclin translation could provide an efficient mechanism for measuring the biosynthetic capacity in specific compartments: The mother in G1, and the growing bud in G2. Hence, iteration of the same principle can ensure that the mother cell is strong enough to grow a bud, and that the bud is strong enough for independent life. Cell sizes emerge in the model, which predicts that a single CDK-cyclin pair per growth phase suffices for size control in budding yeast, despite the necessity of the cell cycle network around the cyclins to integrate other cues. Size control seems to be exerted twice, where the G2/M control affects bud size through bud-localized translation of CLB2 mRNA, explaining the dependence of the S-G2-M duration on nutrients. Taken together, our findings suggest that cell size is an emergent rather than a regulatory property of the network linking growth and proliferation.

SUMMARY: BooleSim (Boolean network simulator) is an open-source in-browser tool for simulation and manipulation of Boolean networks. It was developed mainly during Google's Summer of Code 2012 and uses the biographer project for network visualization. It can be used specifically for the modeling of gene regulatory or signal transduction networks. AVAILABILITY AND IMPLEMENTATION: BooleSim is free software and can be downloaded from GitHub (https://github.com/matthiasbock/BooleSim). Online version available at http://rumo.biologie.hu-berlin.de/boolesim/.

SUMMARY: SensA is a web-based application for sensitivity analysis of mathematical models. The sensitivity analysis is based on metabolic control analysis, computing the local, global and time-dependent properties of model components. Interactive visualization facilitates interpretation of usually complex results. SensA can contribute to the analysis, adjustment and understanding of mathematical models for dynamic systems. AVAILABILITY AND IMPLEMENTATION: SensA is available at http://gofid.biologie.hu-berlin.de/ and can be used with any modern browser. The source code can be found at https://bitbucket.org/floettma/sensa/ (MIT license)

Communication between cells is a ubiquitous feature of cell populations and is frequently realized by secretion and detection of signaling molecules. Direct visualization of the resulting complex gradients between secreting and receiving cells is often impossible due to the small size of diffusing molecules and because such visualization requires experimental perturbations such as attachment of fluorescent markers, which can change diffusion properties. We designed a method to estimate such extracellular concentration profiles in vivo by using spatiotemporal mathematical models derived from microscopic analysis. This method is applied to populations of thousands of haploid yeast cells during mating in order to quantify the extracellular distributions of the pheromone α-factor and the activity of the aspartyl protease Bar1. We demonstrate that Bar1 limits the range of the extracellular pheromone signal and is critical in establishing α-factor concentration gradients, which is crucial for effective mating. Moreover, haploid populations of wild type yeast cells, but not BAR1 deletion strains, create a pheromone pattern in which cells differentially grow and mate, with low pheromone regions where cells continue to bud and regions with higher pheromone levels and gradients where cells conjugate to form diploids. However, this effect seems to be exclusive to high-density cultures. Our results show a new role of Bar1 protease regulating the pheromone distribution within larger populations and not only locally inside an ascus or among few cells. As a consequence, wild type populations have not only higher mating efficiency, but also higher growth rates than mixed MATa bar1Δ/MATα cultures. We provide an explanation of how a rapidly diffusing molecule can be exploited by cells to provide spatial information that divides the population into different transcriptional programs and phenotypes.

MOTIVATION: The rapid accumulation of knowledge in the field of Systems Biology during the past years requires advanced, but simple-to-use, methods for the visualization of information in a structured and easily comprehensible manner. RESULTS: We have developed biographer, a web-based renderer and editor for reaction networks, which can be integrated as a library into tools dealing with network-related information. Our software enables visualizations based on the emerging standard Systems Biology Graphical Notation. It is able to import networks encoded in various formats such as SBML, SBGN-ML and jSBGN, a custom lightweight exchange format. The core package is implemented in HTML5, CSS and JavaScript and can be used within any kind of web-based project. It features interactive graph-editing tools and automatic graph layout algorithms. In addition, we provide a standalone graph editor and a web server, which contains enhanced features like web services for the import and export of models and visualizations in different formats. AVAILABILITY: The biographer tool can be used at and downloaded from the web page http://biographer.biologie.hu-berlin.de/. The different software packages, including a server-independent version as well as a web server for Windows and Linux based systems, are available at http://code.google.com/p/biographer/ under the open-source license LGPL

We provide an integrated dynamic view on a eukaryotic osmolyte system, linking signaling with regulation of gene expression, metabolic control and growth. Adaptation to osmotic changes enables cells to adjust cellular activity and turgor pressure to an altered environment. The yeast Saccharomyces cerevisiae adapts to hyperosmotic stress by activating the HOG signaling cascade, which controls glycerol accumulation. The Hog1 kinase stimulates transcription of genes encoding enzymes required for glycerol production (Gpd1, Gpp2) and glycerol import (Stl1) and activates a regulatory enzyme in glycolysis (Pfk26/27). In addition, glycerol outflow is prevented by closure of the Fps1 glycerol facilitator. In order to better understand the contributions to glycerol accumulation of these different mechanisms and how redox and energy metabolism as well as biomass production are maintained under such conditions we collected an extensive dataset. Over a period of 180 min after hyperosmotic shock we monitored in wild type and different mutant cells the concentrations of key metabolites and proteins relevant for osmoadaptation. The dataset was used to parameterize an ODE model that reproduces the generated data very well. A detailed computational analysis using time-dependent response coefficients showed that Pfk26/27 contributes to rerouting glycolytic flux towards lower glycolysis. The transient growth arrest following hyperosmotic shock further adds to redirecting almost all glycolytic flux from biomass towards glycerol production. Osmoadaptation is robust to loss of individual adaptation pathways because of the existence and upregulation of alternative routes of glycerol accumulation. For instance, the Stl1 glycerol importer contributes to glycerol accumulation in a mutant with diminished glycerol production capacity. In addition, our observations suggest a role for trehalose accumulation in osmoadaptation and that Hog1 probably directly contributes to the regulation of the Fps1 glycerol facilitator. Taken together, we elucidated how different metabolic adaptation mechanisms cooperate and provide hypotheses for further experimental studies.

MOTIVATION: The understanding of the molecular sources for diseases like cancer can be significantly improved by computational models. Recently, Boolean networks have become very popular for modeling signaling and regulatory networks. However, such models rely on a set of Boolean functions that are in general not known. Unfortunately, while detailed information on the molecular interactions becomes available in large scale through electronic databases, the information on the Boolean functions does not become available simultaneously and has to be included manually into the models, if at all known. RESULTS: We propose a new Boolean approach which can directly utilize the mechanistic network information available through modern databases. The Boolean function is implicitly defined by the reaction mechanisms. Special care has been taken for the treatment of kinetic features like inhibition. The method has been applied to a signaling model combining the Wnt and MAPK pathway. AVAILABILITY: A sample C++ implementation of the proposed method is available for Linux and compatible systems through http://code.google.com/p/libscopes/wiki/Paper2011.

BACKGROUND: To enable automatic searches, alignments, and model combination, the elements of systems biology models need to be compared and matched across models. Elements can be identified by machine-readable biological annotations, but assigning such annotations and matching non-annotated elements is tedious work and calls for automation. RESULTS: A new method called "semantic propagation" allows the comparison of model elements based not only on their own annotations, but also on annotations of surrounding elements in the network. One may either propagate feature vectors, describing the annotations of individual elements, or quantitative similarities between elements from different models. Based on semantic propagation, we align partially annotated models and find annotations for non-annotated model elements. CONCLUSIONS: Semantic propagation and model alignment are included in the open-source library semanticSBML, available on sourceforge. Online services for model alignment and for annotation prediction can be used at http://www.semanticsbml.org.

BACKGROUND: Recently, the availability of high-resolution microscopy together with the advancements in the development of biomarkers as reporters of biomolecular interactions increased the importance of imaging methods in molecular cell biology. These techniques enable the investigation of cellular characteristics like volume, size and geometry as well as volume and geometry of intracellular compartments, and the amount of existing proteins in a spatially resolved manner. Such detailed investigations opened up many new areas of research in the study of spatial, complex and dynamic cellular systems. One of the crucial challenges for the study of such systems is the design of a well stuctured and optimized workflow to provide a systematic and efficient hypothesis verification. Computer Science can efficiently address this task by providing software that facilitates handling, analysis, and evaluation of biological data to the benefit of experimenters and modelers. RESULTS: The Spatio-Temporal Simulation Environment (STSE) is a set of open-source tools provided to conduct spatio-temporal simulations in discrete structures based on microscopy images. The framework contains modules to digitize, represent, analyze, and mathematically model spatial distributions of biochemical species. Graphical user interface (GUI) tools provided with the software enable meshing of the simulation space based on the Voronoi concept. In addition, it supports to automatically acquire spatial information to the mesh from the images based on pixel luminosity (e.g. corresponding to molecular levels from microscopy images). STSE is freely available either as a stand-alone version or included in the linux live distribution Systems Biology Operational Software (SB.OS) and can be downloaded from http://www.stse-software.org/. The Python source code as well as a comprehensive user manual and video tutorials are also offered to the research community. We discuss main concepts of the STSE design and workflow. We demonstrate it's usefulness using the example of a signaling cascade leading to formation of a morphological gradient of Fus3 within the cytoplasm of the mating yeast cell Saccharomyces cerevisiae. CONCLUSIONS: STSE is an efficient and powerful novel platform, designed for computational handling and evaluation of microscopic images. It allows for an uninterrupted workflow including digitization, representation, analysis, and mathematical modeling. By providing the means to relate the simulation to the image data it allows for systematic, image driven model validation or rejection. STSE can be scripted and extended using the Python language. STSE should be considered rather as an API together with workflow guidelines and a collection of GUI tools than a stand alone application. The priority of the project is to provide an easy and intuitive way of extending and customizing software using the Python language.

This FAIRsharing record describes: The MIASE Guidelines, initiated by the BioModels.net effort, are a community effort to identify the Minimal Information About a Simulation Experiment, necessary to enable the reproducible simulation experiments. Consequently, the MIASE Guidelines list the information that a modeller needs to provide to enable the execution and reproduction of a numerical simulation experiment, derived from a given set of quantitative models. MIASE is a set of guidelines suitable for use with any structured format for simulation experiments. As such, MIASE is designed to help modelers and software tools to exchange their simulation settings and to foster collaboration.

SUMMARY: Systems Biology Markup Language (SBML) is the leading exchange format for mathematical models in Systems Biology. Semantic annotations link model elements with external knowledge via unique database identifiers and ontology terms, enabling software to check and process models by their biochemical meaning. Such information is essential for model merging, one of the key steps towards the construction of large kinetic models. SemanticSBML is a tool that helps users to check and edit MIRIAM annotations and SBO terms in SBML models. Using a large collection of biochemical names and database identifiers, it supports modellers in finding the right annotations and in merging existing models. Initially, an element matching is derived from the MIRIAM annotations and conflicting element attributes are categorized and highlighted. Conflicts can then be resolved automatically or manually, allowing the user to control the merging process in detail. AVAILABILITY: SemanticSBML comes as a free software written in Python and released under the GPL 3. A Debian package, a source package for other Linux distributions, a Windows installer and an online version of semanticSBML with limited functionality are available at http://www.semanticsbml.org. A preinstalled version can be found on the Linux live DVD SB.OS, available at http://www.sbos.eu. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.

MOTIVATION: Standard rate laws are a key requisite for systematically turning metabolic networks into kinetic models. They should provide simple, general and biochemically plausible formulae for reaction velocities and reaction elasticities. At the same time, they need to respect thermodynamic relations between the kinetic constants and the metabolic fluxes and concentrations. RESULTS: We present a family of reversible rate laws for reactions with arbitrary stoichiometries and various types of regulation, including mass-action, Michaelis-Menten and uni-uni reversible Hill kinetics as special cases. With a thermodynamically safe parameterization of these rate laws, parameter sets obtained by model fitting, sampling or optimization are guaranteed to lead to consistent chemical equilibrium states. A reformulation using saturation values yields simple formulae for rates and elasticities, which can be easily adjusted to the given stationary flux distributions. Furthermore, this formulation highlights the role of chemical potential differences as thermodynamic driving forces. We compare the modular rate laws to the thermodynamic-kinetic modelling formalism and discuss a simplified rate law in which the reaction rate directly depends on the reaction affinity. For automatic handling of modular rate laws, we propose a standard syntax and semantic annotations for the Systems Biology Markup Language. AVAILABILITY: An online tool for inserting the rate laws into SBML models is freely available at www.semanticsbml.org. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.

BACKGROUND: The cell cycle is a complex process that allows eukaryotic cells to replicate chromosomal DNA and partition it into two daughter cells. A relevant regulatory step is in the G0/G1 phase, a point called the restriction (R) point where intracellular and extracellular signals are monitored and integrated.Subcellular localization of cell cycle proteins is increasingly recognized as a major factor that regulates cell cycle transitions. Nevertheless, current mathematical models of the G1/S networks of mammalian cells do not consider this aspect. Hence, there is a need for a computational model that incorporates this regulatory aspect that has a relevant role in cancer, since altered localization of key cell cycle players, notably of inhibitors of cyclin-dependent kinases, has been reported to occur in neoplastic cells and to be linked to cancer aggressiveness. RESULTS: The network of the model components involved in the G1 to S transition process was identified through a literature and web-based data mining and the corresponding wiring diagram of the G1 to S transition drawn with Cell Designer notation. The model has been implemented in Mathematica using Ordinary Differential Equations. Time-courses of level and of sub-cellular localization of key cell cycle players in mouse fibroblasts re-entering the cell cycle after serum starvation/re-feeding have been used to constrain network design and parameter determination. The model allows to recapitulate events from growth factor stimulation to the onset of S phase. The R point estimated by simulation is consistent with the R point experimentally determined. CONCLUSION: The major element of novelty of our model of the G1 to S transition is the explicit modeling of cytoplasmic/nuclear shuttling of cyclins, cyclin-dependent kinases, their inhibitor and complexes. Sensitivity analysis of the network performance newly reveals that the biological effect brought about by Cki overexpression is strictly dependent on whether the Cki is promoting nuclear translocation of cyclin/Cdk containing complexes.

BACKGROUND: During the stages of the development of a potent drug candidate compounds can fail for several reasons. One of them, the efficacy of a candidate, can be estimated in silico if an appropriate ordinary differential equation model of the affected pathway is available. With such a model at hand it is also possible to detect reactions having a large effect on a certain variable such as a substance concentration. RESULTS: We show an algorithm that systematically tests the influence of activators and inhibitors of different type and strength acting at different positions in the network. The effect on a quantity to be selected (e.g. a steady state flux or concentration) is calculated. Moreover, combinations of two inhibitors or one inhibitor and one activator targeting different network positions are analysed. Furthermore, we present TIde (Target Identification), an open source, platform independent tool to investigate ordinary differential equation models in the common systems biology markup language format. It automatically assigns the respectively altered kinetics to the inhibited or activated reactions, performs the necessary calculations, and provides a graphical output of the analysis results. For illustration, TIde is used to detect optimal inhibitor positions in simple branched networks, a signalling pathway, and a well studied model of glycolysis in Trypanosoma brucei. CONCLUSION: Using TIde, we show in the branched models under which conditions inhibitions in a certain pathway can affect a molecule concentrations in a different. In the signalling pathway we illuminate which inhibitions have an effect on the signalling characteristics of the last active kinase. Finally, we compare our set of best targets in the glycolysis model with a similar analysis showing the applicability of our tool.

BACKGROUND: It has long been recognized that sensitivity analysis plays a key role in modeling and analyzing cellular and biochemical processes. Systems biology markup language (SBML) has become a well-known platform for coding and sharing mathematical models of such processes. However, current SBML compatible software tools are limited in their ability to perform global sensitivity analyses of these models. RESULTS: This work introduces a freely downloadable, software package, SBML-SAT, which implements algorithms for simulation, steady state analysis, robustness analysis and local and global sensitivity analysis for SBML models. This software tool extends current capabilities through its execution of global sensitivity analyses using multi-parametric sensitivity analysis, partial rank correlation coefficient, SOBOL's method, and weighted average of local sensitivity analyses in addition to its ability to handle systems with discontinuous events and intuitive graphical user interface. CONCLUSION: SBML-SAT provides the community of systems biologists a new tool for the analysis of their SBML models of biochemical and cellular processes.

The eukaryotic cell cycle is the repeated sequence of events that enable the division of a cell into two daughter cells. It is divided into four phases: G1, S, G2, and M. Passage through the cell cycle is strictly regulated by a molecular interaction network, which involves the periodic synthesis and destruction of cyclins that bind and activate cyclin-dependent kinases that are present in nonlimiting amounts. Cyclin-dependent kinase inhibitors contribute to cell cycle control. Budding yeast is an established model organism for cell cycle studies, and several mathematical models have been proposed for its cell cycle. An area of major relevance in cell cycle control is the G1 to S transition. In any given growth condition, it is characterized by the requirement of a specific, critical cell size, PS, to enter S phase. The molecular basis of this control is still under discussion. The authors report a mathematical model of the G1 to S network that newly takes into account nucleo/cytoplasmic localization, the role of the cyclin-dependent kinase Sic1 in facilitating nuclear import of its cognate Cdk1-Clb5, Whi5 control, and carbon source regulation of Sic1 and Sic1-containing complexes. The model was implemented by a set of ordinary differential equations that describe the temporal change of the concentration of the involved proteins and protein complexes. The model was tested by simulation in several genetic and nutritional setups and was found to be neatly consistent with experimental data. To estimate PS, the authors developed a hybrid model including a probabilistic component for firing of DNA replication origins. Sensitivity analysis of PS provides a novel relevant conclusion: PS is an emergent property of the G1 to S network that strongly depends on growth rate.

UNLABELLED: The estimation of model parameters from experimental data remains a bottleneck for a major breakthrough in systems biology. We present a Systems Biology Markup Language (SBML) based Parameter Estimation Tool (SBML-PET). The tool is designed to enable parameter estimation for biological models including signaling pathways, gene regulation networks and metabolic pathways. SBML-PET supports import and export of the models in the SBML format. It can estimate the parameters by fitting a variety of experimental data from different experimental conditions. SBML-PET has a unique feature of supporting event definition in the SMBL model. SBML models can also be simulated in SBML-PET. Stochastic Ranking Evolution Strategy (SRES) is incorporated in SBML-PET for parameter estimation jobs. A classic ODE Solver called ODEPACK is used to solve the Ordinary Differential Equation (ODE) system. AVAILABILITY: http://sysbio.molgen.mpg.de/SBML-PET/. The website also contains detailed documentation for SBML-PET.