Access the full text.
Sign up today, get DeepDyve free for 14 days.
F. Takes (2014)
Network Science
L. Figueiredo, S. Schuster, C. Kaleta, D. Fell (2009)
Can sugars be produced from fatty acids? A test case for pathway analysis toolsBioinformatics, 25 1
F. Fages, Thierry Martinez, D. Rosenblueth, S. Soliman (2018)
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and AttractorsIEEE/ACM Transactions on Computational Biology and Bioinformatics, 15
Nathalie Chabrier-Rivier, M. Chiaverini, V. Danos, F. Fages, V. Schächter (2004)
Modeling and querying biomolecular interaction networksTheor. Comput. Sci., 325
K. Kohn (1999)
Molecular interaction map of the mammalian cell cycle control and DNA repair systems.Molecular biology of the cell, 10 8
F. Fages, P. Traynard (2014)
Temporal Logic Modeling of Dynamical Behaviors: First‐Order Patterns and Solvers
L. Grieco, Laurence Calzone, I. Bernard-Pierrot, F. Radvanyi, B. Kahn-Perlès, D. Thieffry (2013)
Correction: Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate DecisionPLoS Computational Biology, 9
L. Sánchez, C. Chaouiya, D. Thieffry (2008)
Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module.The International journal of developmental biology, 52 8
Causality : Models , Reasoning , and Inference
H. Matsuno, Atsushi Doi, Masao Nagasaki, S. Miyano (1999)
Hybrid Petri net representation of gene regulatory network.Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing
S. Soliman (2012)
Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction ProblemAlgorithms for Molecular Biology : AMB, 7
Adrien Fauré, D. Thieffry (2009)
Logical modelling of cell cycle control in eukaryotes: a comparative study.Molecular bioSystems, 5 12
A. Kamp, S. Schuster (2006)
Metatool 5.0: fast and flexible elementary modes analysisBioinformatics, 22 15
U. Brandes, G. Robins, Ann McCranie, S. Wasserman (2013)
What is network science?Network Science, 1
Adrien Fauré, A. Naldi, F. Lopez, C. Chaouiya, A. Ciliberto, D. Thieffry (2009)
Modular logical modelling of the budding yeast cell cycle.Molecular bioSystems, 5 12
Arthur Carcano, F. Fages, S. Soliman (2017)
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data
L. Grieco, Laurence Calzone, I. Bernard-Pierrot, F. Radvanyi, B. Kahn-Perlès, D. Thieffry (2013)
Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate DecisionPLoS Computational Biology, 9
J. Tyson (1991)
Modeling the cell division cycle: cdc2 and cyclin interactions.Proceedings of the National Academy of Sciences of the United States of America, 88
M. Benedetto, A. Sangiovanni-Vincentelli (2001)
Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Jörg Menche, Amitabh Sharma, M. Cho, R. Mayer, S. Rennard, B. Celli, B. Miller, N. Locantore, R. Tal-Singer, Soumitra Ghosh, C. Larminie, Glyn Bradley, J. Riley, A. Agustí, E. Silverman, A. Barabási (2014)
A diVIsive Shuffling Approach (VIStA) for gene expression analysis to identify subtypes in Chronic Obstructive Pulmonary DiseaseBMC Systems Biology, 8
Jamil Ahmad, G. Bernot, J. Comet, D. Lime, O. Roux (2007)
Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with DelaysComplexus, 3
Pablo Meyer, T. Cokelaer, D. Chandran, K. Kim, Po-ru Loh, George Tucker, Mark Lipson, B. Berger, C. Kreutz, A. Raue, Bernhard Steiert, J. Timmer, E. Bilal, H. Sauro, G. Stolovitzky, J. Sáez-Rodríguez (2014)
Network topology and parameter estimation: from experimental design methods to gene regulatory network kinetics using a community based approachBMC Systems Biology, 8
René Thomas (1973)
Boolean formalization of genetic control circuits.Journal of theoretical biology, 42 3
Christopher Bryant, S. Muggleton, S. Oliver, D. Kell, Philip Reiser, R. King (2001)
Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of GenesElectron. Trans. Artif. Intell., 5
Elisabetta Maria, F. Fages, Aurélien Rizk, S. Soliman (2011)
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraintsTheor. Comput. Sci., 412
R. Alur, C. Belta, Franjo Ivancic (2001)
Hybrid Modeling and Simulation of Biomolecular Networks
M. Hucka, A. Finney, S. Hoops, S. Keating (2007)
Systems Biology Markup Language (SBML) Level 2: Structures and Facilities for Model Definitions
Natalie Berestovsky, Wanding Zhou, Deepak Nagrath, Luay Nakhleh (2013)
Modeling Integrated Cellular Machinery Using Hybrid Petri-Boolean NetworksPLoS Computational Biology, 9
L. Glass, S. Kauffman (1973)
The logical analysis of continuous, non-linear biochemical control networks.Journal of theoretical biology, 39 1
N. Hansen, A. Ostermeier (2001)
Completely Derandomized Self-Adaptation in Evolution StrategiesEvolutionary Computation, 9
Abdelhalim Larhlimi, A. Bockmayr (2009)
A new constraint-based description of the steady-state flux cone of metabolic networksDiscret. Appl. Math., 157
P. Ruet (2014)
Local cycles and dynamical properties of Boolean networksMathematical Structures in Computer Science, 26
D. Gillespie (1977)
Exact Stochastic Simulation of Coupled Chemical ReactionsThe Journal of Physical Chemistry, 81
Franccois Fages, S. Soliman (2008)
Model Revision from Temporal Logic Properties in Systems Biology
N. Angelopoulos, S. Muggleton (2002)
Machine learning metabolic pathway descriptions using a probabilistic relational representation
S. Gay, F. Fages, Thierry Martinez, S. Soliman, Christine Solnon (2014)
On the subgraph epimorphism problemDiscret. Appl. Math., 162
P. Cousot, R. Cousot (1977)
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsProceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A. Cimatti, E. Clarke, E. Giunchiglia, Fausto Giunchiglia, M. Pistore, Marco Roveri, R. Sebastiani, A. Tacchella (2002)
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
J. Peterson (1981)
Petri net theory and the modeling of systems
T. Ideker, T. Galitski, Leroy Hood (2001)
A new approach to decoding life: systems biology.Annual review of genomics and human genetics, 2
T. Kurtz (1978)
Strong approximation theorems for density dependent Markov chainsStochastic Processes and their Applications, 6
M. Ostrowski, Loïc Paulevé, Torsten Schaub, A. Siegel, Carito Guziolowski (2016)
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programmingBio Systems, 149
Alec Nielsen, Bryan Der, Jonghyeon Shin, P. Vaidyanathan, V. Paralanov, E. Strychalski, David Ross, D. Densmore, Christopher Voigt (2016)
Genetic circuit design automationScience, 352
A. Naldi, J. Carneiro, C. Chaouiya, D. Thieffry (2010)
Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network ModellingPLoS Computational Biology, 6
P. Traynard, Adrien Fauré, F. Fages, D. Thieffry (2016)
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulationBioinformatics, 32 17
Chi-Ying Huang, J. Ferrell (1996)
Ultrasensitivity in the mitogen-activated protein kinase cascade.Proceedings of the National Academy of Sciences of the United States of America, 93 19
Jianyong Sun, J. Garibaldi, C. Hodgman (2012)
Parameter Estimation Using Metaheuristics in Systems Biology: A Comprehensive ReviewIEEE/ACM Transactions on Computational Biology and Bioinformatics, 9
René Thomas (1991)
Regulatory networks seen as asynchronous automata: A logical descriptionJournal of Theoretical Biology, 153
A. Turing (1950)
Computing Machinery and IntelligenceMind, LIX
(2002)
Slps for probabilistic pathways: Modeling and parameter estimation
Matthew Cook, D. Soloveichik, E. Winfree, Jehoshua Bruck (2009)
Programmability of Chemical Reaction Networks
Edmund Clarke, E. Emerson, Joseph Sifakis (2009)
Model checkingCommunications of the ACM, 52
M. Magnasco (1997)
CHEMICAL KINETICS IS TURING UNIVERSALPhysical Review Letters, 78
Kun Deng, Yaling Zheng, Chris Bourke, S. Scott, Julie Masciale (2012)
New algorithms for budgeted learningMachine Learning, 90
Artémis Llamosi, Adel Mezine, Florence d'Alché-Buc, V. Letort, M. Sebag (2014)
Experimental Design in Dynamical System Identification: A Bandit-Based Active Learning Approach
F. Fages, Aurélien Rizk (2008)
On temporal logic constraint solving for analyzing numerical data time seriesTheor. Comput. Sci., 408
A. Gordon, T. Henzinger, A. Nori, S. Rajamani (2014)
Probabilistic programmingFuture of Software Engineering Proceedings
A. Ballesta, S. Dulong, C. Abbara, Boris Cohen, A. Okyar, J. Clairambault, F. Lévi (2011)
A Combined Experimental and Mathematical Approach for Molecular-based Optimization of Irinotecan Circadian DeliveryPLoS Computational Biology, 7
Øøø Øóöµ, Ùøóññøøø Úöö
Ëóóøûöö Ìóóð× Óö Ì Blockinòóðóóý Ìööò×××ö Ññòù× Blockinööôø Aeóº´ûûðð Ðþþòòóóôóóóð×××ñôô¹×׺ñôôºº ×øöö Blockinøº ½ Áòøöóù Blockinøøóò
Aurélien Rizk, Grégory Batt, F. Fages, S. Soliman (2011)
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measuresTheor. Comput. Sci., 412
Grégory Batt, D. Ropers, H. Jong, J. Geiselmann, Radu Mateescu, M. Page, D. Schneider (2005)
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coliBioinformatics, 21 Suppl 1
S. Kleene (1951)
Representation of Events in Nerve Nets and Finite Automata
Ionela Zevedei-Oancea, S. Schuster (2003)
Topological analysis of metabolic networks based on Petri net theoryIn silico biology, 3 3
Jonathan Karr, Jayodita Sanghvi, Derek Macklin, Miriam Gutschow, J. Jacobs, Benjamin Bolival, N. Assad-Garcia, J. Glass, M. Covert (2012)
A Whole-Cell Computational Model Predicts Phenotype from GenotypeCell, 150
H. Kitano (2007)
Towards a theory of biological robustnessMolecular Systems Biology, 3
J. Banga (2008)
Optimization in computational systems biologyBMC Systems Biology, 2
G. Bernot, J. Comet, A. Richard, J. Guespin (2004)
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic.Journal of theoretical biology, 229 3
F. Fages (1992)
Consistency of Clark's completion and existence of stable modelsMethods Log. Comput. Sci., 1
M. Gebser, Torsten Schaub, S. Thiele, B. Usadel, P. Veber
Under Consideration for Publication in Theory and Practice of Logic Programming Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
(2001)
A Theory of the Learnable
Akira Funahashi, Yukiko Matsuoka, A. Jouraku, M. Morohashi, Norihiro Kikuchi, H. Kitano (2008)
CellDesigner 3.5: A Versatile Modeling Tool for Biochemical NetworksProceedings of the IEEE, 96
S. Hoops, S. Sahle, R. Gauges, Christine Lee, Jü Pahle, N. Simus, M. Singhal, Liang Xu, P. Mendes, U. Kummer
Bioinformatics Original Paper Copasi—a Complex Pathway Simulator
Michael Eisenberg (1991)
The Kineticist''s Workbench: Combining Symbolic and Numerical Methods in the Simulation of Chemical Reaction Mechanisms
Grégory Batt, Bruno Besson, P. Ciron, Hidde Jong, Estelle Dumas, J. Geiselmann, R. Monte, Pedro Monteiro, M. Page, F. Rechenmann, D. Ropers (2012)
Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks.Methods in molecular biology, 804
F. Fages, Aurélien Rizk (2009)
From Model-Checking to Temporal Logic Constraint Solving
C. Soulé (2004)
Graphic Requirements for MultistationarityComplexus, 1
P. Traynard, C. Feillet, S. Soliman, F. Delaunay, F. Fages (2016)
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosisBio Systems, 149
René Thomas, R. D'ari (2019)
Biological Feedback
A. Courbet, P. Amar, F. Fages, E. Renard, F. Molina (2018)
Computer‐aided biochemical programming of synthetic microreactors as diagnostic devicesMolecular Systems Biology, 14
(1996)
An extended version appeared in Verification of Digital and Hybrid Systems
T. Henzinger (1996)
The theory of hybrid automataProceedings 11th Annual IEEE Symposium on Logic in Computer Science
M. Hucka, A. Finney, H. Sauro, H. Bolouri, J. Doyle, H. Kitano, A. Arkin, B. Bornstein, Dennis Bray, A. Cornish-Bowden, Autumn Cuellar, S. Dronov, E. Gilles, Martin Ginkel, V. Gor, I. Goryanin, W. Hedley, C. Hodgman, Jannie Hofmeyr, P. Hunter, N. Juty, J. Kasberger, A. Kremling, U. Kummer, N. Novère, L. Loew, D. Lucio, P. Mendes, E. Minch, E. Mjolsness, Y. Nakayama, M. Nelson, P. Nielsen, T. Sakurada, J. Schaff, B. Shapiro, T. Shimizu, Hugh Spence, J. Stelling, Koichi Takahashi, M. Tomita, J. Wagner, J. Wang (2003)
The systems biology markup language (SBML): a medium for representation and exchange of biochemical network modelsBioinformatics, 19 4
N. Chabrier, F. Fages (2003)
Symbolic Model Checking of Biochemical Networks
A. Rezola, L. Figueiredo, M. Brock, J. Pey, A. Podhorski, C. Wittmann, S. Schuster, A. Bockmayr, F. Planes (2011)
Exploring metabolic pathways in genome-scale networks via generating flux modesBioinformatics, 27 4
H. Jong, J. Gouzé, Céline Hernandez, M. Page, T. Sari, J. Geiselmann (2004)
Qualitative simulation of genetic regulatory networks using piecewise-linear modelsBulletin of Mathematical Biology, 66
F. Fages, Thierry Martinez, D. Rosenblueth, S. Soliman (2016)
Influence Systems vs Reaction Systems
Ronojoy Ghosh, C. Tomlin (2001)
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
Grégory Batt, Michel Page, Irene Cantone, Gregor Gößler, Pedro Monteiro, Hidde Jong (2010)
Efficient parameter search for qualitative models of regulatory networks using symbolic model checkingBioinformatics, 26
F. Fages, S. Gay, S. Soliman (2015)
Inferring reaction systems from ordinary differential equationsTheor. Comput. Sci., 599
El Snoussi (1998)
Necessary Conditions for Multistationarity and Stable PeriodicityJournal of Biological Systems, 06
Grégory Batt, B. Yordanov, Ron Weiss, C. Belta (2007)
Robustness analysis and tuning of synthetic gene networksBioinformatics, 23 18
Laurence Calzone, Nathalie Chabrier-Rivier, F. Fages, S. Soliman (2006)
Machine Learning Biochemical Networks from Temporal Logic PropertiesTrans. Comp. Sys. Biology, 6
Anna Kuchment (2013)
Probably Approximately CorrectScientific American, 308
René Thomas (1981)
On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations, 9
S. Pérès, Martin Morterol, Laurent Simon (2014)
SAT-Based Metabolics Pathways Analysis without Compilation
S. Soliman (2013)
A Stronger Necessary Condition for the Multistationarity of Chemical Reaction NetworksBulletin of Mathematical Biology, 75
S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer, Kemal Sonmez (2001)
Pathway Logic: Symbolic Analysis of Biological SignalingPacific Symposium on Biocomputing. Pacific Symposium on Biocomputing
N. Novère, B. Bornstein, A. Broicher, Mélanie Courtot, M. Donizelli, Harish Dharuri, Lu Li, H. Sauro, M. Schilstra, B. Shapiro, J. Snoep, M. Hucka (2005)
BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systemsNucleic Acids Research, 34
F. Fages, S. Soliman (2008)
Formal Cell Biology in Biocham
J. Colom, M. Suárez (1991)
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows
A. Varma, B. Palsson (1994)
Metabolic Flux Balancing: Basic Concepts, Scientific and Practical UseBio/Technology, 12
B. Chazelle (2012)
Natural algorithms and influence systemsCommun. ACM, 55
Laurence Calzone, F. Fages, S. Soliman
Bioinformatics Applications Note Biocham: an Environment for Modeling Biological Systems and Formalizing Experimental Knowledge
Aurélien Rizk, Grégory Batt, F. Fages, S. Soliman (2009)
A general computational method for robustness analysis with applications to synthetic gene networksBioinformatics, 25
S. Gay, S. Soliman, F. Fages (2010)
A graphical method for reducing and relating models in systems biologyBioinformatics, 26
F. Fages, S. Soliman (2008)
Model Revision from Temporal Logic Properties in Computational Systems Biology
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Logic Programming for Boolean Networks
Jannis Uhlendorf, Agnès Miermont, T. Delaveau, G. Charvin, F. Fages, S. Bottani, Grégory Batt, P. Hersen (2012)
Long-term model predictive control of gene expression at the population and single-cell levelsProceedings of the National Academy of Sciences, 109
A. Hjelmfelt, E. Weinberger, J. Ross (1991)
Chemical implementation of neural networks and Turing machines.Proceedings of the National Academy of Sciences of the United States of America, 88 24
ret. Figueiredo, Luis de (2011)
Metabolic Pathway Analysis : from small to genome-scale networks
H. Chiang, F. Fages, J. Jiang, S. Soliman (2015)
Hybrid Simulations of Heterogeneous Biochemical Models in SBMLACM Transactions on Modeling and Computer Simulation (TOMACS), 25
M. Kanehisa, S. Goto (2000)
KEGG: Kyoto Encyclopedia of Genes and GenomesNucleic acids research, 28 1
F. Nabli, Thierry Martinez, F. Fages, S. Soliman (2016)
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexityConstraints, 21
(2008)
Qualitative dynamical modelling of the formation of the anterior-posterior compartment boundary in the drosophila wing imaginal disc
A. Naldi, D. Bérenguier, Adrien Fauré, F. Lopez, D. Thieffry, C. Chaouiya (2009)
Logical modelling of regulatory networks with GINsim 2.3Bio Systems, 97 2
W. McCulloch, W. Pitts (1990)
A logical calculus of the ideas immanent in nervous activityBulletin of Mathematical Biology, 52
É. Remy, P. Ruet, D. Thieffry (2008)
Graphic requirements for multistability and attractive cycles in a Boolean dynamical frameworkAdv. Appl. Math., 41
R. Cordone, L. Ferrarini, L. Piroddi (2005)
Enumeration algorithms for minimal siphons in Petri nets based on place constraintsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 35
M. Ashburner, C. Ball, J. Blake, D. Botstein, Heather Butler, J. Cherry, A. Davis, K. Dolinski, S. Dwight, J. Eppig, M. Harris, D. Hill, L. Issel-Tarver, A. Kasarskis, S. Lewis, J. Matese, J. Richardson, M. Ringwald, G. Rubin, G. Sherlock (2000)
Gene Ontology: tool for the unification of biologyNature Genetics, 25
D. Rosenblueth, Stalin Muñoz, Miguel Carrillo, E. Azpeitia (2014)
Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver
V. Reddy, M. Mavrovouniotis, M. Liebman (1993)
Petri Net Representations in Metabolic PathwaysProceedings. International Conference on Intelligent Systems for Molecular Biology, 1
(1977)
Mathematical aspects of mass action kinetics
A. Courbet, D. Endy, E. Renard, F. Molina, J. Bonnet (2015)
Detection of pathological biomarkers in human clinical samples via amplifying genetic switches and logic gatesScience Translational Medicine, 7
Kun Deng, Chris Bourke, S. Scott, Julie Sunderman, Yaling Zheng (2007)
Bandit-Based Algorithms for Budgeted LearningSeventh IEEE International Conference on Data Mining (ICDM 2007)
M. Antoniotti, A. Policriti, Nadia Ugel, B. Mishra (2007)
Model building and model checking for biochemical processesCell Biochemistry and Biophysics, 38
D. Heitzler, G. Durand, N. Gallay, Aurélien Rizk, Seungkirl Ahn, Jihee Kim, Jonathan Violin, L. Dupuy, C. Gauthier, V. Piketty, P. Crépieux, A. Poupon, F. Clément, F. Fages, R. Lefkowitz, E. Reiter (2012)
Competing G protein-coupled receptor kinases balance G protein and β-arrestin signalingMolecular Systems Biology, 8
M. Gebser, B. Kaufmann, A. Neumann, Torsten Schaub (2007)
clasp : A Conflict-Driven Answer Set Solver
Grégory Batt, Damien Bergamini, H. Jong, H. Garavel, Radu Mateescu (2004)
Model Checking Genetic Regulatory Networks Using GNA and CADP
René Thomas, M. Kaufman (2001)
Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior.Chaos, 11 1
S. Muggleton (1995)
Inverse entailment and progolNew Generation Computing, 13
F. Fages, S. Soliman (2008)
Abstract interpretation and types for systems biologyTheor. Comput. Sci., 403
Rajat Singhania, R. Sramkoski, J. Jacobberger, J. Tyson, D. Beard (2011)
A Hybrid Model of Mammalian Cell Cycle RegulationPLoS Computational Biology, 7
Alexandre Donzé, O. Maler (2010)
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Rá Ul, E. Erez (1995)
Machine Discovery in Chemistry: New Results
Aitor González, C. Chaouiya, D. Thieffry (2008)
Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing discBioinformatics, 24 16
F. Fages, Guillaume Guludec, Olivier Bournez, Amaury Pouly (2017)
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
R. Valdés-Pérez (1995)
Machine Discovery in Chemistry: New ResultsArtif. Intell., 74
(1966)
Theory of Self Replicating Automata
Markus Herrgård, Neil Swainston, P. Dobson, W. Dunn, K. Arğa, Mikko Arvas, N. Blüthgen, S. Borger, R. Costenoble, Matthias Heinemann, M. Hucka, N. Novère, P. Li, Wolfram Liebermeister, Monica Mo, A. Oliveira, Dina Petranovic, S. Pettifer, Evangelos Simeonidis, Kieran Smallbone, Irena Spasié, D. Weichart, R. Brent, D. Broomhead, H. Westerhoff, Betül Kürdar, M. Penttilä, E. Klipp, B. Palsson, U. Sauer, S. Oliver, P. Mendes, J. Nielsen, D. Kell (2008)
A consensus yeast metabolic network reconstruction obtained from a community approach to systems biologyNature Biotechnology, 26
[Systems Biology aims at elucidating the high-level functions of the cell from their biochemical basis at the molecular level. A lot of work has been done for collecting genomic and post-genomic data, making them available in databases and ontologies, building dynamical models of cell metabolism, signalling, division cycle, apoptosis, and publishing them in model repositories. In this chapter we review different applications of AI to biological systems modelling. We focus on cell processes at the unicellular level which constitutes most of the work achieved in the last two decades in the domain of Systems Biology. We show how rule-based languages and logical methods have played an important role in the study of molecular interaction networks and of their emergent properties responsible for cell behaviours. In particular, we present some results obtained with SAT and Constraint Logic Programming solvers for the static analysis of large interaction networks, with Model-Checking and Evolutionary Algorithms for the analysis and synthesis of dynamical models, and with Machine Learning techniques for the current challenges of infering mechanistic models from temporal data and automating the design of biological experiments.]
Published: May 8, 2020
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.