{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T22:20:36Z","timestamp":1759702836360},"reference-count":13,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Bioinform. Comput. Biol."],"published-print":{"date-parts":[[2014,10]]},"abstract":"<jats:p> We describe a novel formalism representing a system of chemical reactions, with imprecise rates of reactions and concentrations of chemicals, and describe a model reduction method, pruning, based on the chemical properties. We present two algorithms, midpoint approximation and interval approximation, for construction of efficient model abstractions with uncertainty in data. We evaluate computational feasibility by posing queries in computation tree logic (CTL) on a prototype of extracellular-signal-regulated kinase (ERK) pathway. <\/jats:p>","DOI":"10.1142\/s0219720014400022","type":"journal-article","created":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T22:44:12Z","timestamp":1411512252000},"page":"1440002","source":"Crossref","is-referenced-by-count":5,"title":["Formal modeling of a system of chemical reactions under uncertainty"],"prefix":"10.1142","volume":"12","author":[{"given":"Krishnendu","family":"Ghosh","sequence":"first","affiliation":[{"name":"Department of Computer &amp; Information Technology, Miami University, Hamilton, OH 45011, USA"}]},{"given":"John","family":"Schlipf","sequence":"additional","affiliation":[{"name":"Department of Electrical Engg. &amp; Computing Systems, University of Cincinnati, Cincinnati, OH 45220-0030, USA"}]}],"member":"219","published-online":{"date-parts":[[2014,11,2]]},"reference":[{"key":"rf1","volume-title":"Model Checking","author":"Clarke E.","year":"1999"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.063"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti1048"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.064"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.11.010"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_6"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.04.034"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.02.013"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_8"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.10.022"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-4-28"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-736-3_6"}],"container-title":["Journal of Bioinformatics and Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219720014400022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T15:07:38Z","timestamp":1565104058000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219720014400022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":13,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2014,11,2]]},"published-print":{"date-parts":[[2014,10]]}},"alternative-id":["10.1142\/S0219720014400022"],"URL":"https:\/\/doi.org\/10.1142\/s0219720014400022","relation":{},"ISSN":["0219-7200","1757-6334"],"issn-type":[{"value":"0219-7200","type":"print"},{"value":"1757-6334","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10]]}}}