Scalable Steady State Analysis of Boolean Biological Regulatory Networks

Background Computing the long term behavior of regulatory and signaling networks is critical in understanding how biological functions take place in organisms. Steady states of these networks determine the activity levels of individual entities in the long run. Identifying all the steady states of these networks is difficult due to the state space explosion problem. Methodology In this paper, we propose a method for identifying all the steady states of Boolean regulatory and signaling networks accurately and efficiently. We build a mathematical model that allows pruning a large portion of the state space quickly without causing any false dismissals. For the remaining state space, which is typically very small compared to the whole state space, we develop a randomized traversal method that extracts the steady states. We estimate the number of steady states, and the expected behavior of individual genes and gene pairs in steady states in an online fashion. Also, we formulate a stopping criterion that terminates the traversal as soon as user supplied percentage of the results are returned with high confidence. Conclusions This method identifies the observed steady states of boolean biological networks computationally. Our algorithm successfully reported the G1 phases of both budding and fission yeast cell cycles. Besides, the experiments suggest that this method is useful in identifying co-expressed genes as well. By analyzing the steady state profile of Hedgehog network, we were able to find the highly co-expressed gene pair GL1-SMO together with other such pairs. Availability Source code of this work is available at http://bioinformatics.cise.ufl.edu/palSteady.html twocolumnfalse]

[1]  S. Kauffman.  Homeostasis and Differentiation in Random Genetic Control Networks , 1969, Nature.

[2]  Enrico Macii,et al.  Markovian analysis of large finite state machines , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  S B Kaye,et al.  Retinoids: present role and future potential , 1999, British Journal of Cancer.

[4]  Denis Thieffry,et al.  Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..

[5]  Hiroyuki Ogata,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 1999, Nucleic Acids Res..

[6]  D. Lane,et al.  Exploiting the p53 pathway for cancer diagnosis and therapy. , 1999, British journal of cancer.

[7]  Jørn Lind-Nielsen,et al.  BuDDy : A binary decision diagram package. , 1999 .

[8]  Satoru Miyano,et al.  Identification of Genetic Networks from a Small Number of Gene Expression Patterns Under the Boolean Network Model , 1998, Pacific Symposium on Biocomputing.

[9]  D. Lane,et al.  Strategies for manipulating the p53 pathway in the treatment of human cancer. , 2000, The Biochemical journal.

[10]  Jens Nielsen,et al.  Increasing galactose consumption by Saccharomyces cerevisiae through metabolic engineering of the GAL gene regulatory network , 2000, Nature Biotechnology.

[11]  Susumu Goto,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 2000, Nucleic Acids Res..

[12]  Kathy Chen,et al.  Network dynamics and cell physiology , 2001, Nature Reviews Molecular Cell Biology.

[13]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

[14]  J. Tyson,et al.  The dynamics of cell cycle regulation. , 2002, BioEssays : news and reviews in molecular, cellular and developmental biology.

[15]  Martine Labbé,et al.  Identification of all steady states in large networks by logical analysis , 2003, Bulletin of mathematical biology.

[16]  Joshua M. Stuart,et al.  A Gene-Coexpression Network for Global Discovery of Conserved Genetic Modules , 2003, Science.

[17]  Satoru Miyano.  Inference, Modeling and Simulation of Gene Networks , 2003, CMSB.

[18]  D. Pe’er,et al.  Module Networks : Discovering Regulatory Modules and their Condition Specific Regulators from Gene Expression Data , 2003 .

[19]  D. Pe’er,et al.  Module networks: identifying regulatory modules and their condition-specific regulators from gene expression data , 2003, Nature Genetics.

[20]  Satoru Miyano,et al.  Identification of genetic networks by strategic gene disruptions and gene overexpressions under a boolean model , 2003, Theor. Comput. Sci..

[21]  H. Othmer,et al.  The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.

[22]  John Quackenbush.  Microarrays--Guilt by Association , 2003, Science.

[23]  Q. Ouyang,et al.  The yeast cell-cycle network is robustly designed. , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[24]  S. L. Wong,et al.  Combining biological networks to predict genetic interactions. , 2004, Proceedings of the National Academy of Sciences of the United States of America.

[25]  Adam A. Margolin,et al.  Reverse engineering of regulatory networks in human B cells , 2005, Nature Genetics.

[26]  Nir Friedman,et al.  Learning Module Networks , 2002, J. Mach. Learn. Res..

[27]  Satoru Miyano,et al.  Estimating Gene Networks from Expression Data and Binding Location Data via Boolean Networks , 2005, ICCSA.

[28]  E. Ruppin,et al.  Regulatory on/off minimization of metabolic flux changes after genetic perturbations. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[29]  Ioannis Xenarios,et al.  A method for the generation of standardized qualitative dynamical systems of regulatory networks , 2005, Theoretical Biology and Medical Modelling.

[30]  Thomas A. Henzinger,et al.  Qualitative networks: a symbolic approach to analyze biological signaling networks , 2007, BMC Systems Biology.

[31]  Luis Mendoza,et al.  A network model for the control of the differentiation process in Th cells. , 2006, Bio Systems.

[32]  S. Horvath,et al.  Conservation and evolution of gene coexpression networks in human and chimpanzee brains , 2006, Proceedings of the National Academy of Sciences.

[33]  Teresa M. Przytycka,et al.  Decomposition of overlapping protein complexes: A graph theoretical method for analyzing static and dynamic protein associations , 2005, Algorithms for Molecular Biology.

[34]  Chris Wiggins,et al.  ARACNE: An Algorithm for the Reconstruction of Gene Regulatory Networks in a Mammalian Cellular Context , 2004, BMC Bioinformatics.

[35]  A. Garg,et al.  Modeling of Multiple Valued Gene Regulatory Networks , 2007, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[36]  Steffen Klamt,et al.  A Logical Model Provides Insights into T Cell Receptor Signaling , 2007, PLoS Comput. Biol..

[37]  Giovanni De Micheli,et al.  An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in silico Gene Perturbation Experiments , 2007, RECOMB.

[38]  Giovanni De Micheli,et al.  Synchronous versus asynchronous modeling of gene regulatory networks , 2008, Bioinform..

[39]  Song Li,et al.  Boolean network simulations for life scientists , 2008, Source Code for Biology and Medicine.

[40]  M. Aldana,et al.  Floral Morphogenesis: Stochastic Explorations of a Gene Network Epigenetic Landscape , 2008, PloS one.

[41]  Kengo Kinoshita,et al.  COXPRESdb: a database of coexpressed gene networks in mammals , 2007, Nucleic Acids Res..

[42]  Satoru Miyano,et al.  Statistical inference of transcriptional module-based gene networks from time course gene expression profiles by using state space models , 2008, Bioinform..

[43]  S. Bornholdt,et al.  Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast , 2007, PloS one.

[44]  Guy Karlebach,et al.  Modelling and analysis of gene regulatory networks , 2008, Nature Reviews Molecular Cell Biology.

[45]  Tamer Kahveci,et al.  Consistent alignment of metabolic pathways without abstraction. , 2008, Computational systems bioinformatics. Computational Systems Bioinformatics Conference.

[46]  Stefan Bornholdt,et al.  Boolean network models of cellular regulation: prospects and limitations , 2008, Journal of The Royal Society Interface.

[47]  Jacques Demongeot,et al.  Impact of Fixed Boundary Conditions on the Basins of Attraction in the Flower's Morphogenesis of Arabidopsis Thaliana , 2008, 22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008).

[48]  Tamer Kahveci,et al.  A Fast and Accurate Algorithm for Comparative Analysis of metabolic Pathways , 2009, J. Bioinform. Comput. Biol..

[49]  Kenneth H. Buetow,et al.  PID: the Pathway Interaction Database , 2008, Nucleic Acids Res..

[50]  Xiaomeng Zhang,et al.  Identification of a Topological Characteristic Responsible for the Biological Robustness of Regulatory Networks , 2009, PLoS Comput. Biol..