Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints

Résumé

Algorithms based on abstract interpretation were proposed recently for predicting changes of reaction networks with partial kinetic information. Their prediction precision, however, depends heavily on which heuristics are applied in order to add linear consequences of the steady state equations of the metabolic network. In this paper we ask the question whether such heuristics can be avoided while obtaining the highest possible precision. This leads us to the first algorithm for computing the difference abstractions of a linear equation system exactly without any approximation. This algorithm relies on the usage of elementary flux modes in a nontrivial manner, first-order definitions of the abstractions, and finite domain constraint solving. A journal version at TCS'2021 is available at: https://hal.inria.fr/hal-03156136
Fichier principal
Vignette du fichier
submit_version.pdf (508.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02302463 , version 1 (01-10-2019)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Emilie Allart, Cristian Versari, Joachim Niehren. Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Luca Bortolussi; Guido Sanguinetti, Sep 2019, Trieste, Italy. pp.266-285, ⟨10.1007/978-3-030-31304-3_14⟩. ⟨hal-02302463⟩
129 Consultations
159 Téléchargements

Altmetric

Partager

More