Qualitative Reasoning about Reaction ...
Document type :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
Title :
Qualitative Reasoning about Reaction Networks with Partial Kinetic Information
Author(s) :
Niehren, Joachim [Auteur]
Linking Dynamic Data [LINKS]
BioComputing
John, Mathias [Auteur]
BioComputing
Versari, Cristian [Auteur]
BioComputing
Coutte, Francois [Auteur]
Institut Charles Viollette (ICV) - EA 7394 [ICV]
Procédés Biologiques, Génie Enzymatique et Microbien - EA1026 [ProBioGEM]
Jacques, Philippe [Auteur]
Institut Charles Viollette (ICV) - EA 7394 [ICV]
Procédés Biologiques, Génie Enzymatique et Microbien - EA1026 [ProBioGEM]

Linking Dynamic Data [LINKS]
BioComputing
John, Mathias [Auteur]
BioComputing
Versari, Cristian [Auteur]

BioComputing
Coutte, Francois [Auteur]

Institut Charles Viollette (ICV) - EA 7394 [ICV]
Procédés Biologiques, Génie Enzymatique et Microbien - EA1026 [ProBioGEM]
Jacques, Philippe [Auteur]
Institut Charles Viollette (ICV) - EA 7394 [ICV]
Procédés Biologiques, Génie Enzymatique et Microbien - EA1026 [ProBioGEM]
Conference title :
Computational Methods for Systems Biology
City :
Nantes
Country :
France
Start date of the conference :
2015-09-16
English keyword(s) :
model-based prediction
systems biology
biotechnology
genetic engineering
abstract interpretation
systems biology
biotechnology
genetic engineering
abstract interpretation
HAL domain(s) :
Informatique [cs]/Bio-informatique [q-bio.QM]
Informatique [cs]/Biotechnologie
Informatique [cs]/Recherche d'information [cs.IR]
Informatique [cs]/Biotechnologie
Informatique [cs]/Recherche d'information [cs.IR]
English abstract : [en]
We propose a formal modeling language for reaction net- works with partial kinetic information. The language has a graphical syntax reminiscent to Petri nets. The kinetics of reactions need to be described only partially, ...
Show more >We propose a formal modeling language for reaction net- works with partial kinetic information. The language has a graphical syntax reminiscent to Petri nets. The kinetics of reactions need to be described only partially, so that the language can be used to model the regulation of metabolic networks. We present a qualitative reasoning method based on abstract interpretation of the steady state semantics of reaction networks modeled in our language. In particular, we can predict changes of influxes that lead to expected changes of outfluxes.Show less >
Show more >We propose a formal modeling language for reaction net- works with partial kinetic information. The language has a graphical syntax reminiscent to Petri nets. The kinetics of reactions need to be described only partially, so that the language can be used to model the regulation of metabolic networks. We present a qualitative reasoning method based on abstract interpretation of the steady state semantics of reaction networks modeled in our language. In particular, we can predict changes of influxes that lead to expected changes of outfluxes.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- https://hal.inria.fr/hal-01163391v2/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01163391v2/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01163391v2/document
- Open access
- Access the document
- document
- Open access
- Access the document
- 0.pdf
- Open access
- Access the document