Abdul Salam Jarrah

A systems biology view of cancer.

In order to understand how a cancer cell is functionally different from a normal cell it is necessary to assess the complex network of pathways involving gene regulation, signaling, and cell metabolism, and the alterations in its dynamics caused by the several different types of mutations leading to malignancy. Since the network is typically complex, with multiple connections between pathways and important feedback loops, it is crucial to represent it in the form of a computational model that can be used for a rigorous analysis. This is the approach of systems biology, made possible by new -omics data generation technologies. The goal of this review is to illustrate this approach and its utility for our understanding of cancer. After a discussion of recent progress using a network-centric approach, three case studies related to diagnostics, therapy, and drug development are presented in detail. They focus on breast cancer, B-cell lymphomas, and colorectal cancer. The discussion is centered on key mathematical and computational tools common to a systems biology approach.

Polynomial algebra of discrete models in systems biology

MOTIVATION An increasing number of discrete mathematical models are being published in Systems Biology, ranging from Boolean network models to logical models and Petri nets. They are used to model a variety of biochemical networks, such as metabolic networks, gene regulatory networks and signal transduction networks. There is increasing evidence that such models can capture key dynamic features of biological networks and can be used successfully for hypothesis generation. RESULTS This article provides a unified framework that can aid the mathematical analysis of Boolean network models, logical models and Petri nets. They can be represented as polynomial dynamical systems, which allows the use of a variety of mathematical tools from computer algebra for their analysis. Algorithms are presented for the translation into polynomial dynamical systems. Examples are given of how polynomial algebra can be used for the model analysis. CONTACT alanavc@vt.edu SUPPLEMENTARY INFORMATION Supplementary data are available at Bioinformatics online.

Systems modeling of molecular mechanisms controlling cytokine-driven CD4+ T cell differentiation and phenotype plasticity.

Differentiation of CD4+ T cells into effector or regulatory phenotypes is tightly controlled by the cytokine milieu, complex intracellular signaling networks and numerous transcriptional regulators. We combined experimental approaches and computational modeling to investigate the mechanisms controlling differentiation and plasticity of CD4+ T cells in the gut of mice. Our computational model encompasses the major intracellular pathways involved in CD4+ T cell differentiation into T helper 1 (Th1), Th2, Th17 and induced regulatory T cells (iTreg). Our modeling efforts predicted a critical role for peroxisome proliferator-activated receptor gamma (PPARγ) in modulating plasticity between Th17 and iTreg cells. PPARγ regulates differentiation, activation and cytokine production, thereby controlling the induction of effector and regulatory responses, and is a promising therapeutic target for dysregulated immune responses and inflammation. Our modeling efforts predict that following PPARγ activation, Th17 cells undergo phenotype switch and become iTreg cells. This prediction was validated by results of adoptive transfer studies showing an increase of colonic iTreg and a decrease of Th17 cells in the gut mucosa of mice with colitis following pharmacological activation of PPARγ. Deletion of PPARγ in CD4+ T cells impaired mucosal iTreg and enhanced colitogenic Th17 responses in mice with CD4+ T cell-induced colitis. Thus, for the first time we provide novel molecular evidence in vivo demonstrating that PPARγ in addition to regulating CD4+ T cell differentiation also plays a major role controlling Th17 and iTreg plasticity in the gut mucosa.

The Dynamics of Conjunctive and Disjunctive Boolean Network Models

For many biological networks, the topology of the network constrains its dynamics. In particular, feedback loops play a crucial role. The results in this paper quantify the constraints that (unsigned) feedback loops exert on the dynamics of a class of discrete models for gene regulatory networks. Conjunctive (resp. disjunctive) Boolean networks, obtained by using only the AND (resp. OR) operator, comprise a subclass of networks that consist of canalyzing functions, used to describe many published gene regulation mechanisms. For the study of feedback loops, it is common to decompose the wiring diagram into linked components each of which is strongly connected. It is shown that for conjunctive Boolean networks with strongly connected wiring diagram, the feedback loop structure completely determines the long-term dynamics of the network. A formula is established for the precise number of limit cycles of a given length, and it is determined which limit cycle lengths can appear. For general wiring diagrams, the situation is much more complicated, as feedback loops in one strongly connected component can influence the feedback loops in other components. This paper provides a sharp lower bound and an upper bound on the number of limit cycles of a given length, in terms of properties of the partially ordered set of strongly connected components.

Simulating Epstein-Barr virus infection with C-ImmSim

MOTIVATION Epstein-Barr virus (EBV) infects greater than 90% of humans benignly for life but can be associated with tumors. It is a uniquely human pathogen that is amenable to quantitative analysis; however, there is no applicable animal model. Computer models may provide a virtual environment to perform experiments not possible in human volunteers. RESULTS We report the application of a relatively simple stochastic cellular automaton (C-ImmSim) to the modeling of EBV infection. Infected B-cell dynamics in the acute and chronic phases of infection correspond well to clinical data including the establishment of a long term persistent infection (up to 10 years) that is absolutely dependent on access of latently infected B cells to the peripheral pool where they are not subject to immunosurveillance. In the absence of this compartment the infection is cleared. AVAILABILITY The latest version 6 of C-ImmSim is available under the GNU General Public License and is downloadable from www.iac.cnr.it/~filippo/cimmsim.html

The Effect of Negative Feedback Loops on the Dynamics of Boolean Networks

Feedback loops play an important role in determining the dynamics of biological networks. To study the role of negative feedback loops, this article introduces the notion of distance-to-positive-feedback which, in essence, captures the number of independent negative feedback loops in the network, a property inherent in the network topology. Through a computational study using Boolean networks, it is shown that distance-to-positive-feedback has a strong influence on network dynamics and correlates very well with the number and length of limit cycles in the phase space of the network. To be precise, it is shown that, as the number of independent negative feedback loops increases, the number (length) of limit cycles tends to decrease (increase). These conclusions are consistent with the fact that certain natural biological networks exhibit generally regular behavior and have fewer negative feedback loops than randomized networks with the same number of nodes and same connectivity.

Parameter estimation for Boolean models of biological networks

Boolean networks have long been used as models of molecular networks, and they play an increasingly important role in systems biology. This paper describes a software package, Polynome, offered as a web service, that helps users construct Boolean network models based on experimental data and biological input. The key feature is a discrete analog of parameter estimation for continuous models. With only experimental data as input, the software can be used as a tool for reverse-engineering of Boolean network models from experimental time course data.

A virtual look at Epstein-Barr virus infection: simulation mechanism.

Epstein-Barr virus (EBV) is an important human pathogen that establishes a life-long persistent infection and for which no precise animal model exists. In this paper, we describe in detail an agent-based model and computer simulation of EBV infection. Agents representing EBV and sets of B and T lymphocytes move and interact on a three-dimensional grid approximating Waldeyers ring, together with abstract compartments for lymph and blood. The simulation allows us to explore the development and resolution of virtual infections in a manner not possible in actual human experiments. Specifically, we identify parameters capable of inducing clearance, persistent infection, or death.

A Gröbner fan method for biochemical network modeling

Polynomial dynamical systems (PDSs) have been used successfully as a framework for the reconstruction, or reverse engineering of biochemical networks from experimental data. Within this modeling space, a particular PDS is chosen by way of a Gröbner basis, and using different monomial orders may result in different polynomial models. In this paper, we present a systematic method for selecting most likely polynomial models for a given data set, using the Gröbner fan of the ideal of the input data. We apply the method to reverse engineer two biochemical networks, a Boolean model of lactose metabolism in E. coli and a protein signal transduction network in S. cerevisiae and compare our results to those from two published network-reconstruction methods.

The Sibirsky component of the center variety of polynomial differential systems

We investigate a component of the center variety of polynomial differential systems that includes all time-reversible systems. We give a general algorithm to find this irreducible subvariety and compute its dimension.