{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T06:53:15Z","timestamp":1767855195553,"version":"3.49.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2007,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:sec>\n            <jats:title>Background<\/jats:title>\n            <jats:p>Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear equations, the conventional approach is to first numerically integrate the model, and then, in a second <jats:italic>a posteriori<\/jats:italic> step, check for consistency with experimental constraints. Hence, only single parameter sets can be considered at a time. Consequently, it is impossible to conclude that the \"best\" solution was identified or that no good solution exists, because parameter spaces typically cannot be explored in a reasonable amount of time.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Results<\/jats:title>\n            <jats:p>We introduce a novel approach based on semidefinite programming to directly identify consistent steady state concentrations for systems consisting of mass action kinetics, i.e., polynomial equations and inequality constraints. The duality properties of semidefinite programming allow to rigorously certify infeasibility for whole regions of parameter space, thus enabling the simultaneous multi-dimensional analysis of entire parameter sets.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Conclusion<\/jats:title>\n            <jats:p>Our algorithm reduces the computational effort of parameter estimation by several orders of magnitude, as illustrated through conceptual sample problems. Of particular relevance for systems biology, the approach can discriminate between structurally different candidate models by proving inconsistency with the available data.<\/jats:p>\n          <\/jats:sec>","DOI":"10.1186\/1471-2105-8-12","type":"journal-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T15:44:53Z","timestamp":1168962293000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":33,"title":["Efficient classification of complete parameter regions based on semidefinite programming"],"prefix":"10.1186","volume":"8","author":[{"given":"Lars","family":"Kuepfer","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Sauer","sequence":"additional","affiliation":[]},{"given":"Pablo A","family":"Parrilo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,15]]},"reference":[{"issue":"5560","key":"1384_CR1","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H Kitano","year":"2002","unstructured":"Kitano H: Systems biology: a brief overview. Science 2002, 295(5560):1662\u20131624. 10.1126\/science.1069492","journal-title":"Science"},{"key":"1384_CR2","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1021\/bp9701269","volume":"14","author":"JE Bailey","year":"1998","unstructured":"Bailey JE: Mathematical modeling and analysis in biochemical engineering: past accomplishments and future opportunities. Biotechnol Prog 1998, 14: 8\u201320. 10.1021\/bp9701269","journal-title":"Biotechnol Prog"},{"issue":"6","key":"1384_CR3","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/j.cell.2004.09.008","volume":"118","author":"J Stelling","year":"2004","unstructured":"Stelling J, Sauer U, Szallasi Z, Doyle FJ 3rd, Doyle J: Robustness of cellular functions. Cell 2004, 118(6):675\u2013685. 10.1016\/j.cell.2004.09.008","journal-title":"Cell"},{"issue":"3","key":"1384_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1046\/j.1462-2920.2002.00282.x","volume":"4","author":"JS Edwards","year":"2002","unstructured":"Edwards JS, Covert M, Palsson B: Metabolic modelling of microbes: the flux-balance approach. Environ Microbiol 2002, 4(3):133\u2013140. 10.1046\/j.1462-2920.2002.00282.x","journal-title":"Environ Microbiol"},{"key":"1384_CR5","doi-asserted-by":"publisher","first-page":"1421","DOI":"10.1101\/gr.3992505","volume":"15","author":"L Kuepfer","year":"2005","unstructured":"Kuepfer L, Sauer U, Blank LM: Metabolic functions of duplicate genes in Saccharomyces cerevisiae . Genome Res 2005, 15: 1421\u20131430. 10.1101\/gr.3992505","journal-title":"Genome Res"},{"issue":"6","key":"1384_CR6","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1002\/1097-0290(20000920)69:6<664::AID-BIT11>3.0.CO;2-H","volume":"69","author":"JD Varner","year":"2000","unstructured":"Varner JD: Large-scale prediction of phenotype: concept. Biotechnol Bioeng 2000, 69(6):664\u2013678. 10.1002\/1097-0290(20000920)69:6<664::AID-BIT11>3.0.CO;2-H","journal-title":"Biotechnol Bioeng"},{"issue":"6","key":"1384_CR7","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1002\/(SICI)1097-0290(19990320)62:6<722::AID-BIT11>3.0.CO;2-U","volume":"62","author":"B Lee","year":"1999","unstructured":"Lee B, Yen J, Yang L, Liao JC: Incorporating qualitative knowledge in enzyme kinetic models using fuzzy logic. Biotechnol Bioeng 1999, 62(6):722\u2013729. 10.1002\/(SICI)1097-0290(19990320)62:6<722::AID-BIT11>3.0.CO;2-U","journal-title":"Biotechnol Bioeng"},{"key":"1384_CR8","volume-title":"Biochemical Engineering Fundamentals. McGraw-Hill chemical engineering series","author":"J Bailey","year":"1986","unstructured":"Bailey J, Ollis D: Biochemical Engineering Fundamentals. McGraw-Hill chemical engineering series. 1986."},{"issue":"5","key":"1384_CR9","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1002\/bit.20558","volume":"91","author":"JJ Heijnen","year":"2005","unstructured":"Heijnen JJ: Approximate kinetic formats used in metabolic network modeling. Biotechnol Bioeng 2005, 91(5):534\u2013545. 10.1002\/bit.20558","journal-title":"Biotechnol Bioeng"},{"issue":"4","key":"1384_CR10","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1038\/nbt0402-370","volume":"20","author":"B Schoeberl","year":"2002","unstructured":"Schoeberl B, Eichler-Jonsson C, Gilles ED, Muller G: Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nat Biotechnol 2002, 20(4):370\u2013375. 10.1038\/nbt0402-370","journal-title":"Nat Biotechnol"},{"issue":"3","key":"1384_CR11","doi-asserted-by":"publisher","first-page":"1298","DOI":"10.1016\/S0006-3495(02)73901-5","volume":"83","author":"J Mishra","year":"2002","unstructured":"Mishra J, Bhalla US: Simulations of inositol phosphate metabolism and its interaction with InsP(3)-mediated calcium release. Biophys J 2002, 83(3):1298\u20131316.","journal-title":"Biophys J"},{"issue":"36","key":"1384_CR12","doi-asserted-by":"publisher","first-page":"13210","DOI":"10.1073\/pnas.0401463101","volume":"101","author":"J Stelling","year":"2004","unstructured":"Stelling J, Gilles ED, Doyle F Jr 3rd: Robustness properties of circadian clock architectures. Proc Natl Acad Sci U S A 2004, 101(36):13210\u201313215. 10.1073\/pnas.0401463101","journal-title":"Proc Natl Acad Sci U S A"},{"issue":"5554","key":"1384_CR13","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1126\/science.1064732","volume":"295","author":"AE Smith","year":"2002","unstructured":"Smith AE, Slepchenko BM, Schaff JC, Loew LM, Macara IG: Systems Analysis of Ran transport. Science 2002, 295(5554):488\u2013491. 10.1126\/science.1064732","journal-title":"Science"},{"issue":"8","key":"1384_CR14","doi-asserted-by":"publisher","first-page":"1617","DOI":"10.1093\/bioinformatics\/bti225","volume":"21","author":"MD Haunschild","year":"2005","unstructured":"Haunschild MD, Freisleben B, Takors R, Wiechert W: Investigating the dynamic behavior of biochemical networks using model families. Bioinformatics 2005, 21(8):1617\u201325. 10.1093\/bioinformatics\/bti225","journal-title":"Bioinformatics"},{"issue":"6636","key":"1384_CR15","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1038\/43199","volume":"387","author":"N Barkai","year":"1997","unstructured":"Barkai N, Leibler S: Robustness in simple biochemical networks. Nature 1997, 387(6636):913\u2013917. 10.1038\/43199","journal-title":"Nature"},{"issue":"6","key":"1384_CR16","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1083\/jcb.200404158","volume":"166","author":"M Bentele","year":"2004","unstructured":"Bentele M, Lavrik I, Ulrich M, Stosser S, Heermann DW, Kalthoff H, Krammer PH, Eils R: Mathematical modeling reveals threshold mechanism in CD95-induced apoptosis. J Cell Biol 2004, 166(6):839\u2013851. 10.1083\/jcb.200404158","journal-title":"J Cell Biol"},{"issue":"11","key":"1384_CR17","doi-asserted-by":"publisher","first-page":"1670","DOI":"10.1093\/bioinformatics\/bth140","volume":"20","author":"EO Voit","year":"2004","unstructured":"Voit EO, Almeida J: Decoupling dynamical systems for pathway identification from metabolic profiles. Bioinformatics 2004, 20(11):1670\u20131681. 10.1093\/bioinformatics\/bth140","journal-title":"Bioinformatics"},{"key":"1384_CR18","volume-title":"Theor Biol Med Model","author":"PK Polisetty","year":"2006","unstructured":"Polisetty PK, Voit EO, Gatzke EP: Identification of metabolic system parameters using global optimization methods. Theor Biol Med Model 2006., 3(4):"},{"issue":"11","key":"1384_CR19","doi-asserted-by":"publisher","first-page":"2467","DOI":"10.1101\/gr.1262503","volume":"13","author":"CG Moles","year":"2003","unstructured":"Moles CG, Mendes P, Banga JR: Parameter estimation in biochemical pathways: a comparison of global optimization methods. Genome Res 2003, 13(11):2467\u20132474. 10.1101\/gr.1262503","journal-title":"Genome Res"},{"key":"1384_CR20","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1137\/1038003","volume":"39","author":"L Vandenberghe","year":"1996","unstructured":"Vandenberghe L, Boyd S: Semidefinite programming. SIAM Rev 1996, 39: 49\u201395. 10.1137\/1038003","journal-title":"SIAM Rev"},{"key":"1384_CR21","volume-title":"Proceedings of the Neural Information Processing Symposium 2005","author":"P Flaherty","year":"2005","unstructured":"Flaherty P, Jordan MI, Arkin AP: Robust Design of Biological Experiments. Proceedings of the Neural Information Processing Symposium 2005 2005."},{"key":"1384_CR22","volume-title":"Proceedings of FOSBE (Foundations of Systems Biology and Engineering)","author":"JF Tau","year":"2005","unstructured":"Tau JF, Fazel M, Liu X, Otitoju T, Papachristodoulou A, Prajna S, Doyle J: Application of Robust Model Validation Using SOSTOOLS to the Study of G-Protein Signaling in Yeast. Proceedings of FOSBE (Foundations of Systems Biology and Engineering) 2005."},{"key":"1384_CR23","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1017\/S0962492901000071","volume":"10","author":"MJ Todd","year":"2001","unstructured":"Todd MJ: Semidefinite Optimization. Acta Numerica 2001, 10: 515\u2013560.","journal-title":"Acta Numerica"},{"key":"1384_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441","volume-title":"Convex Optimization","author":"S Boyd","year":"2004","unstructured":"Boyd S, Vandenberghe L: Convex Optimization. Cambridge University Press; 2004."},{"issue":"2, Ser B","key":"1384_CR25","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"PA Parrilo","year":"2003","unstructured":"Parrilo PA: Semidefinite programming relaxations for semialgebraic problems. Math Prog 2003, 96(2, Ser B):293\u2013320. 10.1007\/s10107-003-0387-5","journal-title":"Math Prog"},{"issue":"9","key":"1384_CR26","doi-asserted-by":"publisher","first-page":"1773","DOI":"10.1101\/gr.1226004","volume":"14","author":"A Kremling","year":"2004","unstructured":"Kremling A, Fischer S, Gadkar K, Doyle FJ, Sauter T, Bullinger E, Allgower E, Gilles ED: A benchmark for methods in reverse engineering and model discrimination: problem formulation and solutions. Genome Res 2004, 14(9):1773\u20131785. 10.1101\/gr.1226004","journal-title":"Genome Res"},{"key":"1384_CR27","volume-title":"Proceedings of the CACSD Conference","author":"J Lofberg","year":"2004","unstructured":"Lofberg J: YALMIP: A Toolbox for Modeling and Optimization in MATLAB. Proceedings of the CACSD Conference 2004."},{"key":"1384_CR28","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1080\/10556789908805766","volume":"11\/12","author":"JF Sturm","year":"1999","unstructured":"Sturm JF: Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software (Special issue on Interior Point Methods) 1999, 11\/12: 625\u2013653.","journal-title":"Optimization Methods and Software (Special issue on Interior Point Methods)"},{"key":"1384_CR29","unstructured":"YALMIP[http:\/\/control.ee.ethz.ch\/~joloef\/yalmip.php]"},{"key":"1384_CR30","unstructured":"SeDuMi[http:\/\/sedumi.mcmaster.ca]"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-8-12.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T10:09:44Z","timestamp":1630490984000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-8-12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,15]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["1384"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-8-12","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,15]]},"assertion":[{"value":"22 September 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2007","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2007","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"12"}}