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:

DC FieldValueLanguage
dc.contributor.authorGábor, Attila-
dc.contributor.authorHangos, Katalin M.-
dc.contributor.authorSzederkényi, Gábor-
dc.contributor.authorBanga, Julio R.-
dc.date.accessioned2013-11-18T11:53:55Z-
dc.date.available2013-11-18T11:53:55Z-
dc.date.issued2013-
dc.identifier.citationComputational Methods in Systems Biology 208-219 (2013)es_ES
dc.identifier.isbn978-3-642-40707-9-
dc.identifier.isbn978-3-642-40708-6-
dc.identifier.issn0302-9743-
dc.identifier.urihttp://hdl.handle.net/10261/86932-
dc.description14 páginases_ES
dc.description.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.es_ES
dc.language.isoenges_ES
dc.publisherSpringeres_ES
dc.relation.ispartofseriesLecture Notes in Computer Sciencees_ES
dc.relation.ispartofseries8130es_ES
dc.rightsclosedAccesses_ES
dc.subjectVerificationes_ES
dc.subjectModel checkinges_ES
dc.subjectKinetic modelses_ES
dc.titleOn the verification and correction of large-scale kinetic models in systems biologyes_ES
dc.typecapítulo de libroes_ES
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-642-40708-6_16-
dc.description.peerreviewedPeer reviewedes_ES
dc.relation.publisherversionhttp://dx.doi.org/10.1007/978-3-642-40708-6_16es_ES
Appears in Collections:(IIM) Libros y partes de libros
Files in This Item:
There are no files associated with this item.
Show simple item record
 


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