Qualitative Reasoning about Reaction Networks with Partial Kinetic Information

Niehren, Joachim; John, Mathias; Versari, Cristian; Coutte, François; Jacques, Philippe

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, François [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

HAL domain(s) :

Informatique [cs]/Bio-informatique [q-bio.QM]
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 >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

ANR Project :

Des modèles de population aux populations de modèles: observation, modélisation et contrôle de l'expression génique au niveau de la cellule unique

Collections :