Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks

Frontiers in Genetics
Stalin MuñozDavid A Rosenblueth


Boolean networks are important models of biochemical systems, located at the high end of the abstraction spectrum. A number of Boolean gene networks have been inferred following essentially the same method. Such a method first considers experimental data for a typically underdetermined "regulation" graph. Next, Boolean networks are inferred by using biological constraints to narrow the search space, such as a desired set of (fixed-point or cyclic) attractors. We describeGriffin, a computer tool enhancing this method.Griffinincorporates a number of well-established algorithms, such as Dubrova and Teslenko's algorithm for finding attractors in synchronous Boolean networks. In addition, a formal definition of regulation allowsGriffinto employ "symbolic" techniques, able to represent both large sets of network states and Boolean constraints. We observe that when the set of attractors is required to be anexactset, prohibiting additional attractors, a naive Boolean coding of this constraint may be unfeasible. Such cases may be intractable even with symbolic methods, as the number of Boolean constraints may be astronomically large. To overcome this problem, we employ an Artificial Intelligence technique known as "clause learning" cons...Continue Reading


Aug 26, 1998·Journal of Theoretical Biology·Luis Mendoza, Elena R Álvarez-Buylla
Sep 4, 1999·Journal of Molecular Medicine : Official Organ of the Gesellschaft Deutscher Naturforscher Und Ärzte·S Huang
Sep 17, 1999·Bioinformatics·Luis MendozaElena R Álvarez-Buylla
Mar 24, 2004·Proceedings of the National Academy of Sciences of the United States of America·Fangting LiChao Tang
Jul 13, 2004·Journal of Theoretical Biology·Reinhard Laubenbacher, Brandilyn Stigler
Sep 10, 2005·Bioinformatics·Ranadip PalEdward R Dougherty
Jul 20, 2007·Journal of Bioinformatics and Computational Biology·Daniel MateusPascale LE Gall
Oct 2, 2007·BMC Bioinformatics·Florian Markowetz, Rainer Spang
Oct 11, 2007·Annals of the New York Academy of Sciences·Gustavo StolovitzkyAndrea Califano
Nov 9, 2007·Nature Biotechnology·Jasmin Fisher, Thomas A Henzinger
Feb 28, 2008·PloS One·Maria I Davidich, Stefan Bornholdt
May 30, 2008·Journal of the Royal Society, Interface·Stefan Bornholdt
Jul 11, 2008·Bioinformatics·Abhishek GargGiovanni De Micheli
Sep 18, 2008·Nature Reviews. Molecular Cell Biology·Guy Karlebach, Ron Shamir
Jan 20, 2009·Bio Systems·Michael HeckerReinhard Guthke
Dec 17, 2009·Journal of Bioinformatics and Computational Biology·Graham J Hickman, T Charlie Hodgman
Jul 28, 2010·Journal of Theoretical Biology·Assieh SaadatpourRéka Albert
Oct 6, 2010·BMC Systems Biology·Eugenio AzpeitiaElena R Álvarez-Buylla
Dec 17, 2010·Molecular BioSystems·Ritwik K LayekEdward R Dougherty
Jul 23, 2011·IEEE/ACM Transactions on Computational Biology and Bioinformatics·Elena Dubrova, Maxim Teslenko
Dec 24, 2011·BMC Bioinformatics·Gustavo ArellanoElena R Álvarez-Buylla
Dec 27, 2011·The Plant Cell·Camilo La RotaFrançoise Monéger
Jan 1, 2010·The Arabidopsis Book·Elena R Álvarez-BuyllaYara E Sánchez-Corrales
Feb 4, 2012·PloS One·Adrien RichardAnnabelle Merieau
Jul 27, 2012·Frontiers in Plant Science·Miguel CarrilloDavid A Rosenblueth
May 10, 2013·Frontiers in Plant Science·Eugenio AzpeitiaElena R Álvarez-Buylla
Jun 28, 2013·PloS One·Natalie Berestovsky, Luay Nakhleh
Jan 8, 2014·Methods in Molecular Biology·Eugenio AzpeitiaElena R Álvarez-Buylla
Jan 1, 2015·PloS One·Shengtong HanXiaodan Fan
Oct 7, 2015·Frontiers in Bioengineering and Biotechnology·Hannes Klarner, Heike Siebert
Jul 29, 2017·Physical Review Letters·Fumito Mori, Atsushi Mochizuki

Related Concepts

Case-Control Studies
Software Tools
Anatomical Space Structure
Acanthamoeba griffini
Regulation of Biological Process
Molecular Target
Question (Inquiry)

Trending Feeds


Coronaviruses encompass a large family of viruses that cause the common cold as well as more serious diseases, such as the ongoing outbreak of coronavirus disease 2019 (COVID-19; formally known as 2019-nCoV). Coronaviruses can spread from animals to humans; symptoms include fever, cough, shortness of breath, and breathing difficulties; in more severe cases, infection can lead to death. This feed covers recent research on COVID-19.

Synthetic Genetic Array Analysis

Synthetic genetic arrays allow the systematic examination of genetic interactions. Here is the latest research focusing on synthetic genetic arrays and their analyses.

Congenital Hyperinsulinism

Congenital hyperinsulinism is caused by genetic mutations resulting in excess insulin secretion from beta cells of the pancreas. Here is the latest research.

Neural Activity: Imaging

Imaging of neural activity in vivo has developed rapidly recently with the advancement of fluorescence microscopy, including new applications using miniaturized microscopes (miniscopes). This feed follows the progress in this growing field.

Chronic Fatigue Syndrome

Chronic fatigue syndrome is a disease characterized by unexplained disabling fatigue; the pathology of which is incompletely understood. Discover the latest research on chronic fatigue syndrome here.

Epigenetic Memory

Epigenetic memory refers to the heritable genetic changes that are not explained by the DNA sequence. Find the latest research on epigenetic memory here.

Cell Atlas of the Human Eye

Constructing a cell atlas of the human eye will require transcriptomic and histologic analysis over the lifespan. This understanding will aid in the study of development and disease. Find the latest research pertaining to the Cell Atlas of the Human Eye here.

Femoral Neoplasms

Femoral Neoplasms are bone tumors that arise in the femur. Discover the latest research on femoral neoplasms here.

STING Receptor Agonists

Stimulator of IFN genes (STING) are a group of transmembrane proteins that are involved in the induction of type I interferon that is important in the innate immune response. The stimulation of STING has been an active area of research in the treatment of cancer and infectious diseases. Here is the latest research on STING receptor agonists.

Related Papers

BMC Systems Biology
Paola Vera-LiconaReinhard Laubenbacher
Nature Reviews. Microbiology
Riet De Smet, Kathleen Marchal
Physical Review. E, Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics
P Shukla, T K Sinha
© 2021 Meta ULC. All rights reserved