{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:43:00Z","timestamp":1767339780450},"reference-count":36,"publisher":"Oxford University Press (OUP)","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: Biopathways are often modeled as systems of ordinary differential equations (ODEs). Such systems will usually have many unknown parameters and hence will be difficult to calibrate. Since the data available for calibration will have limited precision, an approximate representation of the ODEs dynamics should suffice. One must, however, be able to efficiently construct such approximations for large models and perform model calibration and subsequent analysis.<\/jats:p>\n               <jats:p>Results: We present a graphical processing unit (GPU) based scheme by which a system of ODEs is approximated as a dynamic Bayesian network (DBN). We then construct a model checking procedure for DBNs based on a simple probabilistic linear time temporal logic. The GPU implementation considerably extends the reach of our previous PC-cluster-based implementation (Liu et al., 2011b). Further, the key components of our algorithm can serve as the GPU kernel for other Monte Carlo simulations-based analysis of biopathway dynamics. Similarly, our model checking framework is a generic one and can be applied in other systems biology settings.<\/jats:p>\n               <jats:p>We have tested our methods on three ODE models of bio-pathways: the epidermal growth factor\u2013nerve growth factor pathway, the segmentation clock network and the MLC-phosphorylation pathway models. The GPU implementation shows significant gains in performance and scalability whereas the model checking framework turns out to be convenient and efficient for specifying and verifying interesting pathways properties.<\/jats:p>\n               <jats:p>Availability: The source code is freely available at http:\/\/www.comp.nus.edu.sg\/~rpsysbio\/pada-gpu\/<\/jats:p>\n               <jats:p>Contact: \u00a0thiagu@comp.nus.edu.sg<\/jats:p>\n               <jats:p>Supplementary information: \u00a0Supplementary data are available at Bioinformatics online.<\/jats:p>","DOI":"10.1093\/bioinformatics\/bts166","type":"journal-article","created":{"date-parts":[[2012,4,8]],"date-time":"2012-04-08T03:53:17Z","timestamp":1333857197000},"page":"1508-1516","source":"Crossref","is-referenced-by-count":20,"title":["Approximate probabilistic analysis of biopathway dynamics"],"prefix":"10.1093","volume":"28","author":[{"given":"Bing","family":"Liu","sequence":"first","affiliation":[{"name":"Department of Computer Science, National University of Singapore, 117417 Singapore, Singapore"}]},{"given":"Andrei","family":"Hagiescu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National University of Singapore, 117417 Singapore, Singapore"}]},{"given":"Sucheendra K.","family":"Palaniappan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National University of Singapore, 117417 Singapore, Singapore"}]},{"given":"Bipasa","family":"Chattopadhyay","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National University of Singapore, 117417 Singapore, Singapore"}]},{"given":"Zheng","family":"Cui","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National University of Singapore, 117417 Singapore, Singapore"}]},{"given":"Weng-Fai","family":"Wong","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National University of Singapore, 117417 Singapore, Singapore"}]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, National University of Singapore, 117417 Singapore, Singapore"}]}],"member":"286","published-online":{"date-parts":[[2012,4,5]]},"reference":[{"key":"2023012512313823400_B1","doi-asserted-by":"crossref","first-page":"1195","DOI":"10.1038\/ncb1497","article-title":"Physicochemical modelling of cell signalling pathways","volume":"8","author":"Aldridge","year":"2006","journal-title":"Nat. Cell Biol."},{"key":"2023012512313823400_B2","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1088\/1478-3967\/1\/3\/006","article-title":"The statistical mechanics of complex signaling networks: nerve growth factor signaling","volume":"1","author":"Brown","year":"2004","journal-title":"Phys. Biol."},{"key":"2023012512313823400_B3","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","article-title":"PBio-PEPA: a framework for the modelling and analysis of biological systems","volume":"410","author":"Ciocchetta","year":"2009","journal-title":"Theor. Comput. Sci."},{"key":"2023012512313823400_B4","volume-title":"Model Checking.","author":"Clarke","year":"1999"},{"key":"2023012512313823400_B5","first-page":"231","article-title":"Statistical model checking in BioLab: applications to the automated analysis of T-Cell receptor signaling pathway","volume-title":"CMSB'08","author":"Clarke","year":"2008"},{"key":"2023012512313823400_B6","first-page":"17","article-title":"Rule-based modelling of cellular signalling","volume-title":"CONCUR'07","author":"Danos","year":"2007"},{"key":"2023012512313823400_B7","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1093\/bib\/bbq006","article-title":"GPU computing for systems biology","volume":"11","author":"Dematte","year":"2010","journal-title":"Brief. Bioinform."},{"key":"2023012512313823400_B8","article-title":"A Monte Carlo model checker for probabilistic LTL with numerical constraints","volume-title":"Technical Report TR-2008-282.","author":"Donaldson","year":"2008"},{"key":"2023012512313823400_B9","first-page":"48","article-title":"On the analysis of numerical data time series in temporal logic","volume-title":"CMSB'07","author":"Fages","year":"2007"},{"key":"2023012512313823400_B10","volume-title":"NVIDIA's Fermi: The First Complete GPU Computing Architecture.","author":"Glaskowsky","year":"2009"},{"key":"2023012512313823400_B11","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1016\/j.jtbi.2008.01.006","article-title":"Modeling the segmentation clock as a network of coupled oscillations in the Notch, Wnt and FGF signaling pathways","volume":"252","author":"Goldbeter","year":"2008","journal-title":"J. Theor. Biol."},{"issue":"Suppl. 7","key":"2023012512313823400_B12","first-page":"1","article-title":"Analysis and verification of the HMGB1 signaling pathway","volume":"11","author":"Gong","year":"2010","journal-title":"BMC Bioinform."},{"key":"2023012512313823400_B13","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","article-title":"A logic for reasoning about time and reliability","volume":"6","author":"Hansson","year":"1994","journal-title":"Formal Asp. Comput."},{"key":"2023012512313823400_B14","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/1839764.1839772","article-title":"Hybrid numerical solution of the chemical master equation","volume-title":"CMSB'10","author":"Henzinger","year":"2010"},{"key":"2023012512313823400_B15","first-page":"55","article-title":"ODEPACK, A Systematized Collection of ODE Solvers","volume":"1","author":"Hindmarsh","year":"1983","journal-title":"IMACS Trans. Sci. Comput."},{"key":"2023012512313823400_B16","doi-asserted-by":"crossref","DOI":"10.1002\/3527603603","volume-title":"Systems Biology in Practice: Concepts, Implementation and Application.","author":"Klipp","year":"2005"},{"key":"2023012512313823400_B17","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/1364644.1364651","article-title":"Using probabilistic model checking in systems biology","volume":"35","author":"Kwiatkowska","year":"2008","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"2023012512313823400_B18","first-page":"1691","article-title":"Advances and challenges of probabilistic model checking","volume-title":"ALLER'10","author":"Kwiatkowska","year":"2010"},{"key":"2023012512313823400_B19","volume-title":"Temporal logics as query languages for dynamic Bayesian networks: application to D. Melanogaster embryo development.","author":"Langmead","year":"2006"},{"key":"2023012512313823400_B20","first-page":"122","article-title":"Statistical model checking: an overview","volume-title":"RV'10","author":"Legay","year":"2010"},{"key":"2023012512313823400_B21","doi-asserted-by":"crossref","first-page":"D689","DOI":"10.1093\/nar\/gkj092","article-title":"BioModels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems","volume":"34","author":"Le Novere","year":"2006","journal-title":"Nucleic Acids Res."},{"issue":"Suppl. 7","key":"2023012512313823400_B22","first-page":"1","article-title":"Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension","volume":"11","author":"Li","year":"2010","journal-title":"Mol. Biosyst."},{"key":"2023012512313823400_B23","first-page":"251","article-title":"Probabilistic approximations of signaling pathway dynamics","volume-title":"CMSB'09","author":"Liu","year":"2009"},{"key":"2023012512313823400_B24","doi-asserted-by":"crossref","first-page":"e1001059","DOI":"10.1371\/journal.pcbi.1001059","article-title":"A computational and experimental study of the regulatory mechanisms of the complement system","volume":"7","author":"Liu","year":"2011","journal-title":"PLoS Comput. Biol."},{"key":"2023012512313823400_B25","doi-asserted-by":"crossref","first-page":"2188","DOI":"10.1016\/j.tcs.2011.01.021","article-title":"Probabilistic approximations of ODEs based bio-pathway dynamics","volume":"412","author":"Liu","year":"2011","journal-title":"Theor. Comput. Sci."},{"key":"2023012512313823400_B26","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1098\/rsif.2007.1079","article-title":"Information-theoretic sensitivity analysis: a general method for credit assignment in complex networks","volume":"5","author":"L\u00fcdtke","year":"2008","journal-title":"J. R. Soc. Interf."},{"key":"2023012512313823400_B27","doi-asserted-by":"crossref","first-page":"1071","DOI":"10.1111\/j.1365-2443.2006.01001.x","article-title":"Ca2+-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response","volume":"11","author":"Maeda","year":"2006","journal-title":"Genes Cells"},{"key":"2023012512313823400_B28","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/272991.272995","article-title":"Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator","volume":"8","author":"Matsumoto","year":"1998","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"2023012512313823400_B29","article-title":"Dynamic Bayesian networks: representation, inference and learning","volume-title":"PhD Thesis","author":"Murphy","year":"2002"},{"key":"2023012512313823400_B30","first-page":"378","article-title":"The factored frontier algorithm for approximate inference in DBNs","volume-title":"UAI'01","author":"Murphy","year":"2001"},{"key":"2023012512313823400_B31","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/2037509.2037516","article-title":"A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways","volume-title":"CMSB'11","author":"Palaniappan","year":"2011"},{"key":"2023012512313823400_B32","first-page":"46","article-title":"The temporal logic of programs","volume-title":"FOCS'77","author":"Pnueli","year":"1977"},{"key":"2023012512313823400_B33","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1145\/1375527.1375572","article-title":"Efficient computation of sum-products on GPUs through software-managed cache","volume-title":"ICS'08","author":"Silberstein","year":"2008"},{"key":"2023012512313823400_B34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1042\/bse0450001","article-title":"Modelling the dynamics of signalling pathways","volume":"45","author":"Sreenath","year":"2008","journal-title":"Essays Biochem."},{"key":"2023012512313823400_B35","doi-asserted-by":"crossref","first-page":"i499","DOI":"10.1093\/bioinformatics\/btm214","article-title":"Computational modeling of Caenorhabditis elegans vulval induction","volume":"13","author":"Sun","year":"2007","journal-title":"Bioinformatics"},{"key":"2023012512313823400_B36","doi-asserted-by":"crossref","first-page":"874","DOI":"10.1093\/bioinformatics\/btr015","article-title":"GPU accelerated biochemical network simulation","volume":"27","author":"Zhou","year":"2011","journal-title":"Bioinformatics"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/28\/11\/1508\/48870073\/bioinformatics_28_11_1508.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/28\/11\/1508\/48870073\/bioinformatics_28_11_1508.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T16:01:23Z","timestamp":1674662483000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/28\/11\/1508\/266575"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,5]]},"references-count":36,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2012,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/bts166","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2012,6,1]]},"published":{"date-parts":[[2012,4,5]]}}}