Perspectives on mathematical modeling for receptor-mediated processes

Mathematical modeling is a potent in silico tool that can help investigate, interpret, and predict the behavior of biological systems. The first step is to develop a working hypothesis of the biology. Then by "translating" the biological phenomena into equations, models can harness the power of mathematical analysis techniques to explore the dynamics and interactions of the biological components. Models can be used together with traditional experimental models to help design new experiments, test hypotheses, identify mechanisms, and predict outcomes. This article reviews the process of building, calibrating, and using mathematical models in the context of the kinetics of receptor and signal transduction biology. An example model related to the androgen receptor-mediated regulation of the prostate is presented to illustrate the steps in the modeling process and to highlight the potential for mathematical modeling in this area.     

Systems biology in animal sciences

Systems biology is a rapidly expanding field of research and is applied in a number of biological disciplines. In animal sciences, omics approaches are increasingly used, yielding vast amounts of data, but systems biology approaches to extract understanding from these data of biological processes and animal traits are not yet frequently used. This paper aims to explain what systems biology is and which areas of animal sciences could benefit from systems biology approaches. Systems biology aims to understand whole biological systems working as a unit, rather than investigating their individual components. Therefore, systems biology can be considered a holistic approach, as opposed to reductionism. The recently developed 'omics' technologies enable biological sciences to characterize the molecular components of life with ever increasing speed, yielding vast amounts of data. However, biological functions do not follow from the simple addition of the properties of system components, but rather arise from the dynamic interactions of these components. Systems biology combines statistics, bioinformatics and mathematical modeling to integrate and analyze large amounts of data in order to extract a better understanding of the biology from these huge data sets and to predict the behavior of biological systems. A 'system' approach and mathematical modeling in biological sciences are not new in itself, as they were used in biochemistry, physiology and genetics long before the name systems biology was coined. However, the present combination of mass biological data and of computational and modeling tools is unprecedented and truly represents a major paradigm shift in biology. Significant advances have been made using systems biology approaches, especially in the field of bacterial and eukaryotic cells and in human medicine. Similarly, progress is being made with 'system approaches' in animal sciences, providing exciting opportunities to predict and modulate animal traits.     

计算系统生物学:理论、方法及在药物研发中的应用

计算系统生物学是一个多学科交叉的新兴领域,旨在通过整合海量数据建立其生物系统相互作用的复杂网络。数据的整合和模型的建立需要发展合适的数学方法和软件工具,这也是计算系统生物学的主要任务。生物系统模型有助于从整体上理解生物体的内在功能和特性。同时,生物网络模型在药物研发中的应用也越来越受到制药企业以及新药研发机构的重视,如用于特异性药物作用靶点的预测和药物毒性评估等。该文简要介绍计算系统生物学的常见网络和计算模型,以及建立模型所用的研究方法,并阐述其在建模和分析中的作用及面临的问题和挑战。     

The layer-oriented approach to declarative languages for biological modeling

We present a new approach to modeling languages for computational biology, which we call the layer-oriented approach. The approach stems from the observation that many diverse biological phenomena are described using a small set of mathematical formalisms (e.g. differential equations), while at the same time different domains and subdomains of computational biology require that models are structured according to the accepted terminology and classification of that domain. Our approach uses distinct semantic layers to represent the domain-specific biological concepts and the underlying mathematical formalisms. Additional functionality can be transparently added to the language by adding more layers. This approach is specifically concerned with declarative languages, and throughout the paper we note some of the limitations inherent to declarative approaches. The layer-oriented approach is a way to specify explicitly how high-level biological modeling concepts are mapped to a computational representation, while abstracting away details of particular programming languages and simulation environments. To illustrate this process, we define an example language for describing models of ionic currents, and use a general mathematical notation for semantic transformations to show how to generate model simulation code for various simulation environments. We use the example language to describe a Purkinje neuron model and demonstrate how the layer-oriented approach can be used for solving several practical issues of computational neuroscience model development. We discuss the advantages and limitations of the approach in comparison with other modeling language efforts in the domain of computational biology and outline some principles for extensible, flexible modeling language design. We conclude by describing in detail the semantic transformations defined for our language.     

Mathematics of cell motility: have we got its number?

Mathematical and computational modeling is rapidly becoming an essential research technique complementing traditional experimental biological methods. However, lack of standard modeling methods, difficulties of translating biological phenomena into mathematical language, and differences in biological and mathematical mentalities continue to hinder the scientific progress. Here we focus on one area-cell motility-characterized by an unusually high modeling activity, largely due to a vast amount of quantitative, biophysical data, 'modular' character of motility, and pioneering vision of the area's experimental leaders. In this review, after brief introduction to biology of cell movements, we discuss quantitative models of actin dynamics, protrusion, adhesion, contraction, and cell shape and movement that made an impact on the process of biological discovery. We also comment on modeling approaches and open questions.     

Basic science through engineering? Synthetic modeling and the idea of biology-inspired engineering

Synthetic biology is often understood in terms of the pursuit for well-characterized biological parts to create synthetic wholes. Accordingly, it has typically been conceived of as an engineering dominated and application oriented field. We argue that the relationship of synthetic biology to engineering is far more nuanced than that and involves a sophisticated epistemic dimension, as shown by the recent practice of synthetic modeling. Synthetic models are engineered genetic networks that are implanted in a natural cell environment. Their construction is typically combined with experiments on model organisms as well as mathematical modeling and simulation. What is especially interesting about this combinational modeling practice is that, apart from greater integration between these different epistemic activities, it has also led to the questioning of some central assumptions and notions on which synthetic biology is based. As a result synthetic biology is in the process of becoming more “biology inspired.”     

Decoding the quantitative nature of TGF-beta/Smad signaling

How transforming growth factor-beta (TGF-beta) signaling elicits diverse cell responses remains elusive, despite the major molecular components of the pathway being known. We contend that understanding TGF-beta biology requires mathematical models to decipher the quantitative nature of TGF-beta/Smad signaling and to account for its complexity. Here, we review mathematical models of TGF-beta superfamily signaling that predict how robustness is achieved in bone-morphogenetic-protein signaling in the Drosophila embryo, how changes in receptor-trafficking dynamics can be exploited by cancer cells and how the basic mechanisms of TGF-beta/Smad signaling conspire to promote Smad accumulation in the nucleus. These studies demonstrate the power of mathematical modeling for understanding TGF-beta biology.     

Connecting biology and mechanics in fracture healing: an integrated mathematical modeling framework for the study of nonunions

Both mechanical and biological factors play an important role in normal as well as impaired fracture healing. This study aims to provide a mathematical framework in which both regulatory mechanisms are included. Mechanics and biology are coupled by making certain parameters of a previously established bioregulatory model dependent on local mechanical stimuli. To illustrate the potential added value of such a framework, this coupled model was applied to investigate whether local mechanical stimuli influencing only the angiogenic process can explain normal healing as well as overload-induced nonunion development. Simulation results showed that mechanics acting directly on angiogenesis alone was not able to predict the formation of overload-induced nonunions. However, the direct action of mechanics on both angiogenesis and osteogenesis was able to predict overload-induced nonunion formation, confirming the hypotheses of several experimental studies investigating the interconnection between angiogenesis and osteogenesis. This study shows that mathematical models can assist in testing hypothesis on the nature of the interaction between biology and mechanics.     

Integrating Interactive Computational Modeling in Biology Curricula

While the use of computer tools to simulate complex processes such as computer circuits is normal practice in fields like engineering, the majority of life sciences/biological sciences courses continue to rely on the traditional textbook and memorization approach. To address this issue, we explored the use of the Cell Collective platform as a novel, interactive, and evolving pedagogical tool to foster student engagement, creativity, and higher-level thinking. Cell Collective is a Web-based platform used to create and simulate dynamical models of various biological processes. Students can create models of cells, diseases, or pathways themselves or explore existing models. This technology was implemented in both undergraduate and graduate courses as a pilot study to determine the feasibility of such software at the university level. First, a new (In Silico Biology) class was developed to enable students to learn biology by “building and breaking it” via computer models and their simulations. This class and technology also provide a non-intimidating way to incorporate mathematical and computational concepts into a class with students who have a limited mathematical background. Second, we used the technology to mediate the use of simulations and modeling modules as a learning tool for traditional biological concepts, such as T cell differentiation or cell cycle regulation, in existing biology courses. Results of this pilot application suggest that there is promise in the use of computational modeling and software tools such as Cell Collective to provide new teaching methods in biology and contribute to the implementation of the “Vision and Change” call to action in undergraduate biology education by providing a hands-on approach to biology.     

Hypothesis testing via integrated computer modeling and digital fluorescence microscopy

Computational modeling has the potential to add an entirely new approach to hypothesis testing in yeast cell biology. Here, we present a method for seamless integration of computational modeling with quantitative digital fluorescence microscopy. This integration is accomplished by developing computational models based on hypotheses for underlying cellular processes that may give rise to experimentally observed fluorescent protein localization patterns. Simulated fluorescence images are generated from the computational models of underlying cellular processes via a "model-convolution" process. These simulated images can then be directly compared to experimental fluorescence images in order to test the model. This method provides a framework for rigorous hypothesis testing in yeast cell biology via integrated mathematical modeling and digital fluorescence microscopy.     

Bridging the gaps in systems biology

Systems biology aims at creating mathematical models, i.e., computational reconstructions of biological systems and processes that will result in a new level of understanding—the elucidation of the basic and presumably conserved “design” and “engineering” principles of biomolecular systems. Thus, systems biology will move biology from a phenomenological to a predictive science. Mathematical modeling of biological networks and processes has already greatly improved our understanding of many cellular processes. However, given the massive amount of qualitative and quantitative data currently produced and number of burning questions in health care and biotechnology needed to be solved is still in its early phases. The field requires novel approaches for abstraction, for modeling bioprocesses that follow different biochemical and biophysical rules, and for combining different modules into larger models that still allow realistic simulation with the computational power available today. We have identified and discussed currently most prominent problems in systems biology: (1) how to bridge different scales of modeling abstraction, (2) how to bridge the gap between topological and mechanistic modeling, and (3) how to bridge the wet and dry laboratory gap. The future success of systems biology largely depends on bridging the recognized gaps.     

Ensemble modeling for analysis of cell signaling dynamics

Systems biology iteratively combines experimentation with mathematical modeling. However, limited mechanistic knowledge, conflicting hypotheses and scarce experimental data severely hamper the development of predictive mechanistic models in many areas of biology. Even under such high uncertainty, we show here that ensemble modeling, when combined with targeted experimental analysis, can unravel key operating principles in complex cellular pathways. For proof of concept, we develop a library of mechanistically alternative dynamic models for the highly conserved target-of-rapamycin (TOR) pathway of Saccharomyces cerevisiae. In contrast to the prevailing view of a de novo assembly of type 2A phosphatases (PP2As), our integrated computational and experimental analysis proposes a specificity factor, based on Tap42p-Tip41p, for PP2As as the key signaling mechanism that is quantitatively consistent with all available experimental data. Beyond revising our picture of TOR signaling, we expect ensemble modeling to help elucidate other insufficiently characterized cellular circuits.     

Cellular signaling identifiability analysis: A case study

Two primary purposes for mathematical modeling in cell biology are (1) simulation for making predictions of experimental outcomes and (2) parameter estimation for drawing inferences from experimental data about unobserved aspects of biological systems. While the former purpose has become common in the biological sciences, the latter is less common, particularly when studying cellular and subcellular phenomena such as signaling—the focus of the current study. Data are difficult to obtain at this level. Therefore, even models of only modest complexity can contain parameters for which the available data are insufficient for estimation. In the present study, we use a set of published cellular signaling models to address issues related to global parameter identifiability. That is, we address the following question: assuming known time courses for some model variables, which parameters is it theoretically impossible to estimate, even with continuous, noise-free data? Following an introduction to this problem and its relevance, we perform a full identifiability analysis on a set of cellular signaling models using DAISY (Differential Algebra for the Identifiability of SYstems). We use our analysis to bring to light important issues related to parameter identifiability in ordinary differential equation (ODE) models. We contend that this is, as of yet, an under-appreciated issue in biological modeling and, more particularly, cell biology.     

Biological applications of the theory of birth-and-death processes

In this review, we discuss applications of the theory of birth-and-death processes to problems in biology, primarily, those of evolutionary genomics. The mathematical principles of the theory of these processes are briefly described. Birth-and-death processes, with some straightforward additions such as innovation, are a simple, natural and formal framework for modeling a vast variety of biological processes such as population dynamics, speciation, genome evolution, including growth of paralogous gene families and horizontal gene transfer and somatic evolution of cancers. We further describe how empirical data, e.g. distributions of paralogous gene family size, can be used to choose the model that best reflects the actual course of evolution among different versions of birth-death-and-innovation models. We conclude that birth-and-death processes, thanks to their mathematical transparency, flexibility and relevance to fundamental biological processes, are going to be an indispensable mathematical tool for the burgeoning field of systems biology.     

The macro-ethics of genomics to health: the physiome project

Advances in pharmacology and genomics, and their intervention in human biology are beyond our abilities to understand their consequences. Therapeutic intervention in highly complex, non-linear, adaptive biological systems results in some unforeseen and undesirable consequences. To do the most good with the least harm, the information on biological systems should be gathered into databases, and into comprehensive quantitative models that can help to predict the long-range effects of proposed interventions. This is a societal or professional macro-ethical imperative. The Physiome Project helps to meet this imperative via databasing and creating models and tools for large-scale integration.     

Mathematical Models of the Kinetics of the Cultivation of Microorganisms

Various equations of mathematical models for the kinetics of the development of various biological processes were obtained on the basis of the generalized differential equation of biomass growth. Aerobic periodic cultivation of the yeast Saccharomyces cerevisiae was carried out to provide a comparative evaluation of advantages and disadvantages of four types of mathematical models. It is shown that the exponential model is a particular solution to the generalized differential equation. The developed mathematical model can be used to predict the course of biological processes in time and can serve as a tool for a computational experiment in order to clarify the dependence of the rate of a biological process on changes in certain parameters that affect the development of cells.