Introductory review of computational cell cycle modeling

Rule-based modelling of biological systems using regulated rewriting

In systems biology, models play a crucial role in understanding studied systems. There are many modelling approaches, among which rewriting systems provide a framework for describing systems on a mechanistic level. Describing biochemical processes often requires incorporating knowledge on an abstract level to simplify the system description or substitute the missing details. For this purpose, we present regulation mechanisms, an extension of this formalism with additional controls on the rewriting process. We introduce several regulation mechanisms and apply them to a rule-based language, a notation suitable for modelling biological phenomena. Finally, we demonstrate the usage of such regulations on several case studies from the biochemical domain.

Proteins as fuzzy controllers: Auto tuning a biological fuzzy inference system to predict protein dynamics in complex biological networks

Biological systems such as mammalian cell cycle are complex systems consisting of a large number of molecular species interacting in ways that produce complex nonlinear systems dynamics. Discrete models such as Boolean models and continuous models such as Ordinary Differential Equations (ODEs) have been widely used to study these systems. Boolean models are simple and can capture qualitative systems behaviour, but they cannot capture the continuous trends of protein concentrations, while ODE models capture continuous trends but require kinetics parameters that are limited. Further, as systems get larger, complexity of these models becomes an issue for parameterization, analysis and interpretation. Also, molecular systems operate under the conditions of uncertainty and noise and our understanding of molecular processes in general is more at a qualitative level characterised by vagueness, imprecision and ambiguity. Hence, as more data are generated, there is a greater need for simpler data driven methods that can approximate continuous system behaviour while representing vagueness and ambiguity without requiring kinetic parameters. Fuzzy inferencing is one such promising method with the ability to work with qualitative vague/imprecise biological knowledge. In this study, we propose a fuzzy inference system for representing continuous behaviour of proteins and apply to some key proteins in the mammalian cell cycle system. The methods we introduced here is novel to protein interaction systems and cell cycle proteins. Our study proposes a three-stage approach to develop fuzzy protein controllers. In stage one, protein system is studied for interactions. We studied some significant core controllers of mammalian cell cycle and their producers and degraders as presented in a published ODE model. Based on the observations from a dataset generated from it, we developed Fuzzy inference systems (FIS) in the second stage, that involved deriving fuzzy IF-THEN rules and their processing, and manually tuned the FIS to predict the dynamics of individual proteins. In stage three, we employed Particle Swarm Optimisation (PSO) for optimising the FIS to further enhance prediction accuracy. Systems dynamics simulation results of the optimised FIS models were in close agreement with the benchmark ODE model results. The results show that the FIS models provide a close approximation to the comprehensive benchmark model in robustly representing continuous protein dynamics while representing the control of protein behavior in an intuitive and transparent format without requiring kinetic parameters. Therefore, FIS models can be an alternative to ODEs in network modelling. Further, FIS models can be assembled to develop large complex systems without losing information or accuracy.

Towards abstraction of computational modelling of mammalian cell cycle: Model reduction pipeline incorporating multi-level hybrid petri nets

Cell cycle is a large biochemical network and it is crucial to simplify it to gain a clearer understanding and insights into the cell cycle. This is also true for other biochemical networks. In this study, we present a model abstraction scheme/pipeline to create a minimal abstract model of the whole mammalian cell cycle system from a large Ordinary Differential Equation model of cell cycle we published previously (Abroudi et al., 2017). The abstract model is developed in a way that it captures the main characteristics (dynamics of key controllers), responses (G1-S and G2-M transitions and DNA damage) and the signalling subsystems (Growth Factor, G1-S and G2-M checkpoints, and DNA damage) of the original model (benchmark). Further, our model exploits: (i) separation of time scales (slow and fast reactions), (ii) separation of levels of complexity (high-level and low-level interactions), (iii) cell-cycle stages (temporality), (iv) functional subsystems (as mentioned above), and (v) represents the whole cell cycle - within a Multi-Level Hybrid Petri Net (MLHPN) framework. Although hybrid Petri Nets is not new, the abstraction of interactions and timing we introduced here is new to cell cycle and Petri Nets. Importantly, our models builds on the significant elements, representing the core cell cycle system, found through a novel Global Sensitivity Analysis on the benchmark model, using Self Organising Maps and Correlation Analysis that we introduced in (Abroudi et al., 2017). Taken the two aspects together, our study proposes a 2-stage model reduction pipeline for large systems and the main focus of this paper is on stage 2, Petri Net model, put in the context of the pipeline. With the MLHPN model, the benchmark model with 61 continuous variables (ODEs) and 148 parameters were reduced to 14 variables (4 continuous (Cyc_Cdks - the main controllers of cell cycle) and 10 discrete (regulators of Cyc_Cdks)) and 31 parameters. Additional 9 discrete elements represented the temporal progression of cell cycle. Systems dynamics simulation results of the MLHPN model were in close agreement with the benchmark model with respect to the crucial metrics selected for comparison: order and pattern of Cyc_Cdk activation, timing of G1-S and G2-M transitions with or without DNA damage, efficiency of the two cell cycle checkpoints in arresting damaged cells and passing healthy cells, and response to two types of global parameter perturbations. The results show that the MLHPN provides a close approximation to the comprehensive benchmark model in robustly representing systems dynamics and emergent properties while presenting the core cell cycle controller in an intuitive, transparent and subsystems format.

Computational Modeling in Liver Surgery

The need for extended liver resection is increasing due to the growing incidence of liver tumors in aging societies. Individualized surgical planning is the key for identifying the optimal resection strategy and to minimize the risk of postoperative liver failure and tumor recurrence. Current computational tools provide virtual planning of liver resection by taking into account the spatial relationship between the tumor and the hepatic vascular trees, as well as the size of the future liver remnant. However, size and function of the liver are not necessarily equivalent. Hence, determining the future liver volume might misestimate the future liver function, especially in cases of hepatic comorbidities such as hepatic steatosis. A systems medicine approach could be applied, including biological, medical, and surgical aspects, by integrating all available anatomical and functional information of the individual patient. Such an approach holds promise for better prediction of postoperative liver function and hence improved risk assessment. This review provides an overview of mathematical models related to the liver and its function and explores their potential relevance for computational liver surgery. We first summarize key facts of hepatic anatomy, physiology, and pathology relevant for hepatic surgery, followed by a description of the computational tools currently used in liver surgical planning. Then we present selected state-of-the-art computational liver models potentially useful to support liver surgery. Finally, we discuss the main challenges that will need to be addressed when developing advanced computational planning tools in the context of liver surgery.