Access the full text.
Sign up today, get DeepDyve free for 14 days.
J. Aracena, S. Lamine, M. Mermet, O. Cohen, J. Demongeot (2003)
Mathematical modeling in genetic networks: relationships between the genetic expression and both chromosomic breakage and positive circuitsIEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society, 33 5
Fabien Corblin, E. Fanchon, Laurent Trilling (2010)
Applications of a formal approach to decipher discrete genetic networksBMC Bioinformatics, 11
J. Demongeot, J. Aracena, F. Thuderoz, T. Baum, O. Cohen (2003)
Genetic regulation networks: circuits, regulons and attractors.Comptes rendus biologies, 326 2
J Demongeot, A Elena, S Sené (2008)
Robustness in neural and genetic networksActa Biotheor, 56
Proceedings of International Conference on Advanced Information Networking and Applications Workshops, 2009 (AINA'09)
C. Giacomantonio, G. Goodhill (2010)
A Boolean Model of the Gene Regulatory Network Underlying Mammalian Cortical Area DevelopmentPLoS Computational Biology, 6
E. Dubrova, M. Teslenko (2011)
A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean NetworksIEEE/ACM Transactions on Computational Biology and Bioinformatics, 8
L. Mendoza, E. Álvarez-Buylla (1998)
Dynamics of the genetic regulatory network for Arabidopsis thaliana flower morphogenesis.Journal of theoretical biology, 193 2
Tejaswi Gowda, S. Vrudhula, Seungchan Kim (2009)
Prediction of Pairwise Gene Interaction Using Threshold LogicAnnals of the New York Academy of Sciences, 1158
J. Aracena, S. Lamine, M. Mermet, O. Cohen, Jacques Demongeot (2000)
Mathematical modelling in genetic networks: relationships between the genetic expression and both chromosomic breakage and positive circuitsProceedings IEEE International Symposium on Bio-Informatics and Biomedical Engineering
Fabien Corblin, S. Tripodi, E. Fanchon, D. Ropers, Laurent Trilling (2009)
A declarative constraint-based method for analyzing discrete genetic regulatory networksBio Systems, 98 2
H. Amor, J. Demongeot, Sylvain Sené (2008)
Structural Sensitivity of Neural and Genetic Networks
Adrien Elena (2009)
Robustesse des réseaux d'automates booléens à seuil aux modes d'itération. Application à la modélisation des réseaux de régulation génétique. (Robustness of threshold boolean automata networks to iteration modes. Application to genetic regulation network modelling)
É. Remy, P. Ruet, D. Thieffry (2008)
Graphic requirements for multistability and attractive cycles in a Boolean dynamical frameworkAdv. Appl. Math., 41
N. Eén, Armin Biere (2005)
Effective Preprocessing in SAT Through Variable and Clause Elimination
A. Richard (2009)
Negative circuits and sustained oscillations in asynchronous automata networksArXiv, abs/0907.5096
S. Kauffman, S. Kauffman (1969)
Metabolic stability and epigenesis in randomly constructed genetic nets.Journal of theoretical biology, 22 3
Fabien Corblin, L. Bordeaux, E. Fanchon, Y. Hamadi, Laurent Trilling (2011)
Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology
N. Eén, Niklas Sörensson (2003)
An Extensible SAT-solver
M. Carlsson, G. Ottosson, Björn Carlson (1997)
An Open-Ended Finite Domain Constraint Solver
T Gowda, S Vrudhula, K Seungchan (2009)
Prediction of pairwise gene interaction using threshold logic. The challenges of systems biologyAnn N Y Acad Sci, 1158
U. Alon (2003)
Biological Networks: The Tinkerer as an EngineerScience, 301
J. Aracena, Jacques Demongeot (2004)
Mathematical Methods for Inferring Regulatory Networks Interactions: Application to Genetic RegulationActa Biotheoretica, 52
N. Glade, Adrien Elena, Fabien Corblin, E. Fanchon, J. Demongeot, H. Amor (2011)
Determination, Optimization and Taxonomy of Regulatory Networks: The Example of Arabidopsis thaliana Flower Morphogenesis2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications
J. Hopfield (1982)
Neural networks and physical systems with emergent collective computational abilities.Proceedings of the National Academy of Sciences of the United States of America, 79 8
H. Amor, S. Cadau, Adrien Elena, D. Dhouailly, J. Demongeot (2009)
Regulatory Networks Analysis: Robustness in Morphogenesis Regulation2009 International Conference on Advanced Information Networking and Applications Workshops
K. Apt (2003)
Principles of constraint programming
René Thomas (1981)
On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations, 9
J. Demongeot, Adrien Elena, Sylvain Sené (2008)
Robustness in Regulatory Networks: A Multi-Disciplinary ApproachActa Biotheoretica, 56
E. Coen, E. Meyerowitz (1991)
The war of the whorls: genetic interactions controlling flower developmentNature, 353
I. Rish, G. Cecchi, A. Lozano, Alexandru Niculescu-Mizil (2014)
The Challenges of Systems Biology
Building a meaningful model of biological regulatory network is usually done by specifying the components (e.g. the genes) and their interactions, by guessing the values of parameters, by comparing the predicted behaviors to the observed ones, and by modifying in a trial-error process both architecture and parameters in order to reach an optimal fitness. We propose here a different approach to construct and analyze biological models avoiding the trial-error part, where structure and dynamics are represented as formal constraints. We apply the method to Hopfield-like networks, a formalism often used in both neural and regulatory networks modeling. The aim is to characterize automatically the set of all models consistent with all the available knowledge (about structure and behavior). The available knowledge is formalized into formal constraints. The latter are compiled into Boolean formula in conjunctive normal form and then submitted to a Boolean satisfiability solver. This approach allows to formulate a wide range of queries, expressed in a high level language, and possibly integrating formalized intuitions. In order to explore its potential, we use it to find cycles for 3-nodes networks and to determine the flower morphogenesis regulatory network of Arabidopsis thaliana. Applications of this technique are numerous and concern the building of models from data as well as the design of biological networks possessing specified behaviors.
Acta Biotheoretica – Springer Journals
Published: Feb 5, 2013
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.