Please use this identifier to cite or link to this item: https://doi.org/10.1093/bioinformatics/bts166
Title: Approximate probabilistic analysis of biopathway dynamics
Authors: Liu, B. 
Hagiescu, A.
Palaniappan, S.K.
Chattopadhyay, B.
Cui, Z.
Wong, W.-F. 
Thiagarajan, P.S. 
Issue Date: 2012
Citation: Liu, B., Hagiescu, A., Palaniappan, S.K., Chattopadhyay, B., Cui, Z., Wong, W.-F., Thiagarajan, P.S. (2012). Approximate probabilistic analysis of biopathway dynamics. Bioinformatics 28 (11) : 1508-1516. ScholarBank@NUS Repository. https://doi.org/10.1093/bioinformatics/bts166
Abstract: 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. 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. We have tested our methods on three ODE models of biopathways: the epidermal growth factor-nerve 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. © The Author 2012. Published by Oxford University Press. All rights reserved.
Source Title: Bioinformatics
URI: http://scholarbank.nus.edu.sg/handle/10635/39171
ISSN: 13674803
DOI: 10.1093/bioinformatics/bts166
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

15
checked on Oct 8, 2018

WEB OF SCIENCETM
Citations

8
checked on Oct 8, 2018

Page view(s)

79
checked on Sep 22, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.