Health care provider counseling for physical activity among black and white South Carolinians.

M. Granner,G. Liguori,G. Kirkner,B. Ainsworth

2001-08-01

Abstract:

What problem does this paper attempt to address?

Boolean modeling: a logic‐based dynamic approach for understanding signaling and regulatory networks and for making useful predictions

Réka Albert,Juilee Thakar

DOI: https://doi.org/10.1002/wsbm.1273

2014-07-15

WIREs Systems Biology and Medicine

Abstract:The biomolecules inside or near cells form a complex interacting system. Cellular phenotypes and behaviors arise from the totality of interactions among the components of this system. A fruitful way of modeling interacting biomolecular systems is by network-based dynamic models that characterize each component by a state variable, and describe the change in the state variables due to the interactions in the system. Dynamic models can capture the stable state patterns of this interacting system and can connect them to different cell fates or behaviors. A Boolean or logic model characterizes each biomolecule by a binary state variable that relates the abundance of that molecule to a threshold abundance necessary for downstream processes. The regulation of this state variable is described in a parameter free manner, making Boolean modeling a practical choice for systems whose kinetic parameters have not been determined. Boolean models integrate the body of knowledge regarding the components and interactions of biomolecular systems, and capture the system's dynamic repertoire, for example the existence of multiple cell fates. These models were used for a variety of systems and led to important insights and predictions. Boolean models serve as an efficient exploratory model, a guide for follow-up experiments, and as a foundation for more quantitative models.

medicine, research & experimental
Boolean modeling of biological regulatory networks: A methodology tutorial

Assieh Saadatpour,Réka Albert

DOI: https://doi.org/10.1016/j.ymeth.2012.10.012

IF: 4.647

2013-07-01

Methods

Abstract:Given the complexity and interactive nature of biological systems, constructing informative and coherent network models of these systems and subsequently developing efficient approaches to analyze the assembled networks is of immense importance. The integration of network analysis and dynamic modeling enables one to investigate the behavior of the underlying system as a whole and to make experimentally testable predictions about less-understood aspects of the processes involved. In this paper, we present a tutorial on the fundamental steps of Boolean modeling of biological regulatory networks. We demonstrate how to infer a Boolean network model from the available experimental data, analyze the network using graph-theoretical measures, and convert it into a predictive dynamic model. For each step, the pitfalls one may encounter and possible ways to circumvent them are also discussed. We illustrate these steps on a toy network as well as in the context of the Drosophila melanogaster segment polarity gene network.

biochemistry & molecular biology,biochemical research methods
Boolean Models of Bistable Biological Systems

Franziska Hinkelmann,Reinhard Laubenbacher

DOI: https://doi.org/10.3934/dcdss.2011.4.1443

2009-12-11

Abstract:This paper presents an algorithm for approximating certain types of dynamical systems given by a system of ordinary delay differential equations by a Boolean network model. Often Boolean models are much simpler to understand than complex differential equations models. The motivation for this work comes from mathematical systems biology. While Boolean mechanisms do not provide information about exact concentration rates or time scales, they are often sufficient to capture steady states and other key dynamics. Due to their intuitive nature, such models are very appealing to researchers in the life sciences. This paper is focused on dynamical systems that exhibit bistability and are desc ribedby delay equations. It is shown that if a certain motif including a feedback loop is present in the wiring diagram of the system, the Boolean model captures the bistability of molecular switches. The method is appl ied to two examples from biology, the lac operon and the phage lambda lysis/lysogeny switch.

Molecular Networks,Quantitative Methods
Boolean function metrics can assist modelers to check and choose logical rules

John Zobolas,Pedro T. Monteiro,Martin Kuiper,Åsmund Flobak

DOI: https://doi.org/10.1016/j.jtbi.2022.111025

2021-04-03

Abstract:Computational models of biological processes provide one of the most powerful methods for a detailed analysis of the mechanisms that drive the behavior of complex systems. Logic-based modeling has enhanced our understanding and interpretation of those systems. Defining rules that determine how the output activity of biological entities is regulated by their respective inputs has proven to be challenging, due to increasingly larger models and the presence of noise in data, allowing multiple model parameterizations to fit the experimental observations. We present several Boolean function metrics that provide modelers with the appropriate framework to analyze the impact of a particular model parameterization. We demonstrate the link between a semantic characterization of a Boolean function and its consistency with the model's underlying regulatory structure. We further define the properties that outline such consistency and show that several of the Boolean functions under study violate them, questioning their biological plausibility and subsequent use. We also illustrate that regulatory functions can have major differences with regard to their asymptotic output behavior, with some of them being biased towards specific Boolean outcomes when others are dependent on the ratio between activating and inhibitory regulators. Application results show that in a specific signaling cancer network, the function bias can be used to guide the choice of logical operators for a model that matches data observations. Moreover, graph analysis indicates that the standardized Boolean function bias becomes more prominent with increasing numbers of regulators, confirming the fact that rule specification can effectively determine regulatory outcome despite the complex dynamics of biological networks.

Molecular Networks
Refining Boolean models with the partial most permissive scheme

Nadine Ben Boina,Brigitte Mossé,Anaïs Baudot,Élisabeth Remy

2024-07-14

Abstract:Motivation: In systems biology, modelling strategies aim to decode how molecular components interact to generate dynamical behaviour. Boolean modelling is more and more used, but the description of the dynamics from two-levels components may be too limited to capture certain dynamical properties. %However, in Boolean models, the description of the dynamics may be too limited to capture certain dynamical properties. Multivalued logical models can overcome this limitation by allowing more than two levels for each component. However, multivaluing a Boolean model is challenging. Results: We present MRBM, a method for efficiently identifying the components of a Boolean model to be multivalued in order to capture specific fixed-point reachabilities in the asynchronous dynamics. To this goal, we defined a new updating scheme locating reachability properties in the most permissive dynamics. MRBM is supported by mathematical demonstrations and illustrated on a toy model and on two models of stem cell differentiation.

Molecular Networks,Discrete Mathematics
Boolean Networks as Predictive Models of Emergent Biological Behaviors

Jordan C. Rozum,Colin Campbell,Eli Newby,Fatemeh Sadat Fatemi Nasrollahi,Reka Albert

2023-10-20

Abstract:Interacting biological systems at all organizational levels display emergent behavior. Modeling these systems is made challenging by the number and variety of biological components and interactions (from molecules in gene regulatory networks to species in ecological networks) and the often-incomplete state of system knowledge (e.g., the unknown values of kinetic parameters for biochemical reactions). Boolean networks have emerged as a powerful tool for modeling these systems. We provide a methodological overview of Boolean network models of biological systems. After a brief introduction, we describe the process of building, analyzing, and validating a Boolean model. We then present the use of the model to make predictions about the system's response to perturbations and about how to control (or at least influence) its behavior. We emphasize the interplay between structural and dynamical properties of Boolean networks and illustrate them in three case studies from disparate levels of biological organization.

Molecular Networks,Cellular Automata and Lattice Gases
Computational Logic for Biomedicine and Neurosciences

Elisabetta de Maria,Joelle Despeyroux,Amy Felty,Pietro Liò,Carlos Olarte,Abdorrahim Bahrami

DOI: https://doi.org/10.48550/arXiv.2007.07571

2020-07-15

Quantitative Methods

Abstract:We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The potential candidate logics should have a traditional proof theoretic pedigree (including either induction, or a sequent calculus presentation enjoying cut-elimination and focusing), and should come with certified proof tools. Beyond providing a reliable framework, this allows the correct encodings of our biological systems. % For systems biology in general and biomedicine in particular, we have so far, for the modeling part, three candidate logics: all based on linear logic. The studied properties and their proofs are formalized in a very expressive (non linear) inductive logic: the Calculus of Inductive Constructions (CIC). The examples we have considered so far are relatively simple ones; however, all coming with formal semi-automatic proofs in the Coq system, which implements CIC. In neuroscience, we are directly using CIC and Coq, to model neurons and some simple neuronal circuits and prove some of their dynamic properties. % In biomedicine, the study of multi omic pathway interactions, together with clinical and electronic health record data should help in drug discovery and disease diagnosis. Future work includes using more automatic provers. This should enable us to specify and study more realistic examples, and in the long term to provide a system for disease diagnosis and therapy prognosis.
From Boolean to probabilistic Boolean networks as models of genetic regulatory networks

I. Shmulevich,E.R. Dougherty,Wei Zhang

DOI: https://doi.org/10.1109/jproc.2002.804686

IF: 20.6

2002-11-01

Proceedings of the IEEE

Abstract:Mathematical and computational modeling of genetic regulatory networks promises to uncover the fundamental principles governing biological systems in an integrative and holistic manner. It also paves the way toward the development of systematic approaches for effective therapeutic intervention in disease. The central theme in this paper is the Boolean formalism as a building block for modeling complex, large-scale, and dynamical networks of genetic interactions. We discuss the goals of modeling genetic networks as well as the data requirements. The Boolean formalism is justified from several points of view. We then introduce Boolean networks and discuss their relationships to nonlinear digital filters. The role of Boolean networks in understanding cell differentiation and cellular functional states is discussed. The inference of Boolean networks from real gene expression data is considered from the viewpoints of computational learning theory and nonlinear signal processing, touching on computational complexity of learning and robustness. Then, a discussion of the need to handle uncertainty in a probabilistic framework is presented, leading to an introduction of probabilistic Boolean networks and their relationships to Markov chains. Methods for quantifying the influence of genes on other genes are presented. The general question of the potential effect of individual genes on the global dynamical network behavior is considered using stochastic perturbation analysis. This discussion then leads into the problem of target identification for therapeutic intervention via the development of several computational tools based on first-passage times in Markov chains. Examples from biology are presented throughout the paper.

engineering, electrical & electronic
A Model-Theoretic Approach to Modular Implementation, with Application to Biological Systems

Leo Marcus

DOI: https://doi.org/10.48550/arXiv.1907.05529

2019-07-12

Other Quantitative Biology

Abstract:We present a method for logical specification of the behavior of a system based on the specification of its components and for representing and specifying the effect of a class of communication "signaling pathways" among them. Variations in the actions and effects (semantics) of the pathways can be seen in the resulting system. We show how to "enrich" the behavior of the original components by exactly what is provided by the signaling pathways. This has the potential to allow a formal proof of a property of the system as a whole, or a formal diagnosis why a system of communicating modules may not satisfy a desired specification, and if and how it can be "fixed." There are five distinct stages in our view: 1. A description of the connections between potential components at the level of which potential modules are connected. 2. Specific choices for those modules 3. An "elaboration" of the connections among different modules to connections among members of those different modules 4. A description of the semantics of those connections (what they actually do) 5. A "padding" of the modules chosen in step 2 to allow for the action of the connections (step 3), as described in step 4. The formalism is completely hierarchical -- in other words, the formalism works equally for the system as a whole, for each of the modules, and for any larger system in which the original system is a component. As it turns out, for whatever reason -- perhaps evolutionary advantage optimization at the right level of abstraction -- many biological systems are hierarchically modular, with the modules communicating via various pathways. Thus, a formalism such as the one presented here could have application to questions in biology.
Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling

Dominik M Wittmann,Jan Krumsiek,Julio Saez-Rodriguez,Douglas A Lauffenburger,Steffen Klamt,Fabian J Theis

DOI: https://doi.org/10.1186/1752-0509-3-98

2009-01-01

BMC Systems Biology

Abstract:Background The understanding of regulatory and signaling networks has long been a core objective in Systems Biology. Knowledge about these networks is mainly of qualitative nature, which allows the construction of Boolean models, where the state of a component is either 'off' or 'on'. While often able to capture the essential behavior of a network, these models can never reproduce detailed time courses of concentration levels. Nowadays however, experiments yield more and more quantitative data. An obvious question therefore is how qualitative models can be used to explain and predict the outcome of these experiments. Results In this contribution we present a canonical way of transforming Boolean into continuous models, where the use of multivariate polynomial interpolation allows transformation of logic operations into a system of ordinary differential equations (ODE). The method is standardized and can readily be applied to large networks. Other, more limited approaches to this task are briefly reviewed and compared. Moreover, we discuss and generalize existing theoretical results on the relation between Boolean and continuous models. As a test case a logical model is transformed into an extensive continuous ODE model describing the activation of T-cells. We discuss how parameters for this model can be determined such that quantitative experimental results are explained and predicted, including time-courses for multiple ligand concentrations and binding affinities of different ligands. This shows that from the continuous model we may obtain biological insights not evident from the discrete one. Conclusion The presented approach will facilitate the interaction between modeling and experiments. Moreover, it provides a straightforward way to apply quantitative analysis methods to qualitatively described systems.
Lessons Learned from Quantitative Dynamical Modeling in Systems Biology

Andreas Raue,Marcel Schilling,Julie Bachmann,Andrew Matteson,Max Schelker,Max Schelke,Daniel Kaschek,Sabine Hug,Clemens Kreutz,Brian D Harms,Fabian J Theis,Ursula Klingmüller,Jens Timmer

DOI: https://doi.org/10.1371/journal.pone.0074335

IF: 3.7

2013-01-01

PLoS ONE

Abstract:Due to the high complexity of biological data it is difficult to disentangle cellular processes relying only on intuitive interpretation of measurements. A Systems Biology approach that combines quantitative experimental data with dynamic mathematical modeling promises to yield deeper insights into these processes. Nevertheless, with growing complexity and increasing amount of quantitative experimental data, building realistic and reliable mathematical models can become a challenging task: the quality of experimental data has to be assessed objectively, unknown model parameters need to be estimated from the experimental data, and numerical calculations need to be precise and efficient. Here, we discuss, compare and characterize the performance of computational methods throughout the process of quantitative dynamic modeling using two previously established examples, for which quantitative, dose- and time-resolved experimental data are available. In particular, we present an approach that allows to determine the quality of experimental data in an efficient, objective and automated manner. Using this approach data generated by different measurement techniques and even in single replicates can be reliably used for mathematical modeling. For the estimation of unknown model parameters, the performance of different optimization algorithms was compared systematically. Our results show that deterministic derivative-based optimization employing the sensitivity equations in combination with a multi-start strategy based on latin hypercube sampling outperforms the other methods by orders of magnitude in accuracy and speed. Finally, we investigated transformations that yield a more efficient parameterization of the model and therefore lead to a further enhancement in optimization performance. We provide a freely available open source software package that implements the algorithms and examples compared here.
Modeling Biomolecular Networks In Cells Structures And Dynamics Introduction

Luonan Chen,Ruiqi Wang,Chunguang Li,Kazuyuki Aihara

DOI: https://doi.org/10.1007/978-1-84996-214-8

2010-01-01

Abstract:Modeling Biomolecular Networks in Cells shows how the interaction between the molecular components of basic living organisms can be modelled mathematically and the models used to create artificial biological entities within cells. Such forward engineering is a difficult task but the nonlinear dynamical methods espoused in this book simplify the biology so that it can be successfully understood and the synthesis of simple biological oscillators and rhythm-generators made feasible. Such simple units can then be co-ordinated using intercellular signal biomolecules. The formation of such man-made multicellular networks with a view to the production of biosensors, logic gates, new forms of integrated circuitry based on \"gene-chips\" and even biological computers is an important step in the design of faster and more flexible \"electronics\". The book also provides theoretical frameworks and tools with which to analyze the nonlinear dynamical phenomena which arise from the connection of building units in a biomolecular network.
The evolution of systems biology and systems medicine: From mechanistic models to uncertainty quantification

Lingxia Qiao,Ali Khalilimeybodi,Nathaniel J Linden-Santangeli,Padmini Rangamani

2024-08-10

Abstract:Understanding the mechanisms of interactions within cells, tissues, and organisms is crucial to driving developments across biology and medicine. Mathematical modeling is an essential tool for simulating biological systems and revealing biochemical regulatory mechanisms. Building on experiments, mechanistic models are widely used to describe small-scale intracellular networks and uncover biochemical mechanisms in healthy and diseased states. The rapid development of high-throughput sequencing techniques and computational tools has recently enabled models that span multiple scales, often integrating signaling, gene regulatory, and metabolic networks. These multiscale models enable comprehensive investigations of cellular networks and thus reveal previously unknown disease mechanisms and pharmacological interventions. Here, we review systems biology models from classical mechanistic models to larger, multiscale models that integrate multiple layers of cellular networks. We introduce several examples of models of hypertrophic cardiomyopathy, exercise, and cancer cell proliferation. Additionally, we discuss methods that increase the certainty and accuracy of model predictions. Integrating multiscale models has become a powerful tool for understanding disease and inspiring drug discoveries by incorporating omics data within the cell and across tissues and organisms.

Molecular Networks,Quantitative Methods
Analysis of Boolean Functions based on Interaction Graphs and their influence in System Biology

Jayanta Kumar Das,Ranjeet Kumar Rout,Pabitra Pal Choudhury

DOI: https://doi.org/10.48550/arXiv.1409.7136

2014-09-25

Abstract:Interaction graphs provide an important qualitative modeling approach for System Biology. This paper presents a novel approach for construction of interaction graph with the help of Boolean function decomposition. Each decomposition part (Consisting of 2-bits) of the Boolean functions has some important significance. In the dynamics of a biological system, each variable or node is nothing but gene or protein. Their regulation has been explored in terms of interaction graphs which are generated by Boolean functions. In this paper, different classes of Boolean functions with regards to Interaction Graph with biologically significant properties have been adumbrated.

Systems and Control
Identifying Latent Dynamic Components in Biological Systems

Ivan Kondofersky,Christiane Fuchs,Fabian J. Theis

DOI: https://doi.org/10.1049/iet-syb.2014.0013

2015-01-01

IET Systems Biology

Abstract:In computational systems biology, the general aim is to derive regulatory models from multivariate readouts, thereby generating predictions for novel experiments. In the past, many such models have been formulated for different biological applications. The authors consider the scenario where a given model fails to predict a set of observations with acceptable accuracy and ask the question whether this is because of the model lacking important external regulations. Real-world examples for such entities range from microRNAs to metabolic fluxes. To improve the prediction, they propose an algorithm to systematically extend the network by an additional latent dynamic variable which has an exogenous effect on the considered network. This variable's time course and influence on the other species is estimated in a two-step procedure involving spline approximation, maximum-likelihood estimation and model selection. Simulation studies show that such a hidden influence can successfully be inferred. The method is also applied to a signalling pathway model where they analyse real data and obtain promising results. Furthermore, the technique can be employed to detect incomplete network structures.
Mapping Complex Networks: Exploring Boolean Modeling of Signal Transduction Pathways

Gaurav Bhardwaj,Christine P. Wells,Reka Albert,Damian B. van Rossum,Randen L. Patterson

DOI: https://doi.org/10.48550/arXiv.0911.0656

2009-12-15

Abstract:In this study, we explored the utility of a descriptive and predictive bionetwork model for phospholipase C-coupled calcium signaling pathways, built with non-kinetic experimental information. Boolean models generated from these data yield oscillatory activity patterns for both the endoplasmic reticulum resident inositol-1,4,5-trisphosphate receptor (IP3R) and the plasma-membrane resident canonical transient receptor potential channel 3 (TRPC3). These results are specific as randomization of the Boolean operators ablates oscillatory pattern formation. Furthermore, knock-out simulations of the IP3R, TRPC3, and multiple other proteins recapitulate experimentally derived results. The potential of this approach can be observed by its ability to predict previously undescribed cellular phenotypes using in vitro experimental data. Indeed our cellular analysis of the developmental and calcium-regulatory protein, DANGER1a, confirms the counter-intuitive predictions from our Boolean models in two highly relevant cellular models. Based on these results, we theorize that with sufficient legacy knowledge and/or computational biology predictions, Boolean networks provide a robust method for predictive-modeling of any biological system.

Molecular Networks,Subcellular Processes
Identification of control targets in Boolean molecular network models via computational algebra

David Murrugarra,Alan Veliz-Cuba,Boris Aguilar,Reinhard Laubenbacher

DOI: https://doi.org/10.1186/s12918-016-0332-x

2016-10-04

Abstract:Motivation: Many problems in biomedicine and other areas of the life sciences can be characterized as control problems, with the goal of finding strategies to change a disease or otherwise undesirable state of a biological system into another, more desirable, state through an intervention, such as a drug or other therapeutic treatment. The identification of such strategies is typically based on a mathematical model of the process to be altered through targeted control inputs. This paper focuses on processes at the molecular level that determine the state of an individual cell, involving signaling or gene regulation. The mathematical model type considered is that of Boolean networks. The potential control targets can be represented by a set of nodes and edges that can be manipulated to produce a desired effect on the system. Experimentally, node manipulation requires technology to completely repress or fully activate a particular gene product while edge manipulations only require a drug that inactivates the interaction between two gene products. Results: This paper presents a method for the identification of potential intervention targets in Boolean molecular network models using algebraic techniques. The approach exploits an algebraic representation of Boolean networks to encode the control candidates in the network wiring diagram as the solutions of a system of polynomials equations, and then uses computational algebra techniques to find such controllers. The control methods in this paper are validated through the identification of combinatorial interventions in the signaling pathways of previously reported control targets in two well studied systems, a p53-mdm2 network and a blood T cell lymphocyte granular leukemia survival signaling network.

Molecular Networks
Prospects for Declarative Mathematical Modeling of Complex Biological Systems

Eric Mjolsness

DOI: https://doi.org/10.1007/s11538-019-00628-7

2019-06-07

Bulletin of Mathematical Biology

Abstract:Declarative modeling uses symbolic expressions to represent models. With such expressions, one can formalize high-level mathematical computations on models that would be difficult or impossible to perform directly on a lower-level simulation program, in a general-purpose programming language. Examples of such computations on models include model analysis, relatively general-purpose model reduction maps, and the initial phases of model implementation, all of which should preserve or approximate the mathematical semantics of a complex biological model. The potential advantages are particularly relevant in the case of developmental modeling, wherein complex spatial structures exhibit dynamics at molecular, cellular, and organogenic levels to relate genotype to multicellular phenotype. Multiscale modeling can benefit from both the expressive power of declarative modeling languages and the application of model reduction methods to link models across scale. Based on previous work, here we define declarative modeling of complex biological systems by defining the operator algebra semantics of an increasingly powerful series of declarative modeling languages including reaction-like dynamics of parameterized and extended objects; we define semantics-preserving implementation and semantics-approximating model reduction transformations; and we outline a "meta-hierarchy" for organizing declarative models and the mathematical methods that can fruitfully manipulate them.

mathematical & computational biology,biology
Mathematical and Computational Modeling in Complex Biological Systems

Zhiwei Ji,Ke Yan,Wenyang Li,Haigen Hu,Xiaoliang Zhu

DOI: https://doi.org/10.1155/2017/5958321

2017-01-01

BioMed Research International

Abstract:The biological process and molecular functions involved in the cancer progression remain difficult to understand for biologists and clinical doctors. Recent developments in high-throughput technologies urge the systems biology to achieve more precise models for complex diseases. Computational and mathematical models are gradually being used to help us understand the omics data produced by high-throughput experimental techniques. The use of computational models in systems biology allows us to explore the pathogenesis of complex diseases, improve our understanding of the latent molecular mechanisms, and promote treatment strategy optimization and new drug discovery. Currently, it is urgent to bridge the gap between the developments of high-throughput technologies and systemic modeling of the biological process in cancer research. In this review, we firstly studied several typical mathematical modeling approaches of biological systems in different scales and deeply analyzed their characteristics, advantages, applications, and limitations. Next, three potential research directions in systems modeling were summarized. To conclude, this review provides an update of important solutions using computational modeling approaches in systems biology.

biotechnology & applied microbiology,medicine, research & experimental
Computational Modeling, Formal Analysis, and Tools for Systems Biology

Ezio Bartocci,Pietro Lió

DOI: https://doi.org/10.1371/journal.pcbi.1004591

2016-01-21

PLoS Computational Biology

Abstract:As the amount of biological data in the public domain grows, so does the range of modeling and analysis techniques employed in systems biology. In recent years, a number of theoretical computer science developments have enabled modeling methodology to keep pace. The growing interest in systems biology in executable models and their analysis has necessitated the borrowing of terms and methods from computer science, such as formal analysis, model checking, static analysis, and runtime verification. Here, we discuss the most important and exciting computational methods and tools currently available to systems biologists. We believe that a deeper understanding of the concepts and theory highlighted in this review will produce better software practice, improved investigation of complex biological processes, and even new ideas and better feedback into computer science.

biochemical research methods,mathematical & computational biology

Health care provider counseling for physical activity among black and white South Carolinians.

Boolean modeling: a logic‐based dynamic approach for understanding signaling and regulatory networks and for making useful predictions

Boolean modeling of biological regulatory networks: A methodology tutorial

Boolean Models of Bistable Biological Systems

Boolean function metrics can assist modelers to check and choose logical rules

Refining Boolean models with the partial most permissive scheme

Boolean Networks as Predictive Models of Emergent Biological Behaviors

Computational Logic for Biomedicine and Neurosciences

From Boolean to probabilistic Boolean networks as models of genetic regulatory networks

A Model-Theoretic Approach to Modular Implementation, with Application to Biological Systems

Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling

Lessons Learned from Quantitative Dynamical Modeling in Systems Biology

Modeling Biomolecular Networks In Cells Structures And Dynamics Introduction

The evolution of systems biology and systems medicine: From mechanistic models to uncertainty quantification

Analysis of Boolean Functions based on Interaction Graphs and their influence in System Biology

Identifying Latent Dynamic Components in Biological Systems

Mapping Complex Networks: Exploring Boolean Modeling of Signal Transduction Pathways

Identification of control targets in Boolean molecular network models via computational algebra

Prospects for Declarative Mathematical Modeling of Complex Biological Systems

Mathematical and Computational Modeling in Complex Biological Systems

Computational Modeling, Formal Analysis, and Tools for Systems Biology