English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/86932
Share/Impact:
Statistics
logo share SHARE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Exportar a otros formatos:

Title

On the verification and correction of large-scale kinetic models in systems biology

AuthorsGábor, Attila; Hangos, Katalin M.; Szederkényi, Gábor ; Banga, Julio R.
KeywordsVerification
Model checking
Kinetic models
Issue Date2013
PublisherSpringer
CitationComputational Methods in Systems Biology 208-219 (2013)
SeriesLecture Notes in Computer Science
8130
AbstractIn this paper we consider the problem of verification of large dynamic models of biological systems. We present syntactical criteria based on biochemical kinetics to ensure the plausibility of a model and the positivity of its solution. These criteria include the positivity of the rate functions, their kinetic type dependence on the reactant species concentrations, and the absence of the negative cross-effects that together guarantee the nonnegativity of the dynamics. Further, the stoichiometric matrix of the truncated reaction system is checked against conservation using its algebraic properties. Algorithmic procedures are then proposed for checking these criteria with emphasis on good scaling up properties. In addition to these verification procedures, we also provide, for certain typical errors, model correcting methods. The capabilities and usefulness of these procedures are illustrated on biochemical models taken from the Biomodels database. In particular, a set of 11 kinetic models related with E. coli are checked, finding two with deficiencies. Correcting actions for these models are proposed.
Description14 páginas
Publisher version (URL)http://dx.doi.org/10.1007/978-3-642-40708-6_16
URIhttp://hdl.handle.net/10261/86932
DOIhttp://dx.doi.org/10.1007/978-3-642-40708-6_16
ISBN978-3-642-40707-9
978-3-642-40708-6
ISSN0302-9743
Appears in Collections:(IIM) Libros y partes de libros
Files in This Item:
There are no files associated with this item.
Show full item record
Review this work
 


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.