Approximate probabilistic analysis of biopathway dynamics

Bioinformatics

Volumn 28, Issue 11, 2012, Pages 1508-1516

  Liu, Bing ^a   Hagiescu, Andrei ^a   Palaniappan, Sucheendra K ^a   Chattopadhyay, Bipasa ^a   Cui, Zheng ^a   Wong, Weng Fai ^a   Thiagarajan, P S ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

EPIDERMAL GROWTH FACTOR; MYOSIN LIGHT CHAIN; NERVE GROWTH FACTOR; THROMBIN;

ALGORITHM; ARTICLE; BAYES THEOREM; BIOLOGICAL MODEL; BIOLOGICAL RHYTHM; COMPUTER GRAPHICS; COMPUTER LANGUAGE; COMPUTER PROGRAM; HUMAN; METABOLISM; METHODOLOGY; MONTE CARLO METHOD; SIGNAL TRANSDUCTION; SYSTEMS BIOLOGY;

ALGORITHMS; BAYES THEOREM; BIOLOGICAL CLOCKS; COMPUTER GRAPHICS; EPIDERMAL GROWTH FACTOR; HUMANS; MODELS, BIOLOGICAL; MONTE CARLO METHOD; MYOSIN LIGHT CHAINS; NERVE GROWTH FACTOR; PROGRAMMING LANGUAGES; SIGNAL TRANSDUCTION; SOFTWARE; SYSTEMS BIOLOGY; THROMBIN;

EID: 84861742044     PISSN: 13674803     EISSN: 14602059     Source Type: Journal    
DOI: 10.1093/bioinformatics/bts166     Document Type: Article

References (36)

1. Aldridge, B.B. et al. (2006) Physicochemical modelling of cell signalling pathways. Nat. Cell Biol., 8, 1195-1203.
2. Brown, K.S. et al. (2004) The statistical mechanics of complex signaling networks: nerve growth factor signaling. Phys. Biol., 1, 184-195.
3. Ciocchetta, F. and Hillston, J. (2009) PBio-PEPA: a framework for the modelling and analysis of biological systems. Theor. Comput. Sci., 410, 3065-3084.
4. Clarke, E.M. et al. (1999) Model Checking. MIT Press: Cambridge, USA.
5. Clarke, E.M. et al. (2008) Statistical model checking in BioLab: applications to the automated analysis of T-Cell receptor signaling pathway. In CMSB'08, Rostock, Germany. pp. 231-250.
6. Danos, V. et al. (2007) Rule-based modelling of cellular signalling. In CONCUR'07, Lisbon, Portugal. pp. 17-41.
7. Dematte, L. and Prandi, D. (2010)GPU computing for systems biology. Brief. Bioinform., 11, 323-333.
8. Donaldson, R. and Gilbert, D. (2008) A Monte Carlo model checker for probabilistic LTL with numerical constraints. Technical Report TR-2008-282. University of Glasgow.
9. Fages, F. and Rizk, A. (2007) On the analysis of numerical data time series in temporal logic. In CMSB'07, Edinburgh, UK. pp. 48-63.
10. Glaskowsky, P. (2009) NVIDIA's Fermi: The First Complete GPU Computing Architecture. NVIDIA. Santa Clara, USA
11. Goldbeter, A. and Pourquie, O. (2008) Modeling the segmentation clock as a network of coupled oscillations in the Notch, Wnt and FGF signaling pathways. J. Theor. Biol., 252, 574-585.
12. Gong, H. et al. (2010) Analysis and verification of the HMGB1 signaling pathway. BMC Bioinform., 11 (Suppl. 7), 1-13.
13. Hansson, H. and Jonsson, B. (1994) A logic for reasoning about time and reliability. Formal Asp. Comput., 6, 512-535.
14. Henzinger, T.A. et al. (2010) Hybrid numerical solution of the chemical master equation. In CMSB'10, Trento, Italy. pp. 55-65.
15. Hindmarsh, A.C. (1983) ODEPACK, A Systematized Collection of ODE Solvers. IMACS Trans. Sci. Comput., 1, 55-64.
16. Klipp, E. et al. (2005) Systems Biology in Practice: Concepts, Implementation and Application. Wiley-VCH: Weinheim, Germany.
17. Kwiatkowska, M. et al. (2008) Using probabilistic model checking in systems biology. SIGMETRICS Perform. Eval. Rev., 35, 14-21.
18. Kwiatkowska, M. et al. (2010)Advances and challenges of probabilistic model checking. In ALLER'10, Monticello, USA. pp. 1691-1698.
19. Langmead, C. et al. (2006) Temporal logics as query languages for dynamic Bayesian networks: application to D. Melanogaster embryo development. Technical Report CMU-CS-06-159, Carnegie Mellon University.
20. Legay, A. et al. (2010) Statistical model checking: an overview. In RV'10, Malta. pp. 122-135.
21. Le Novere, N. et al. (2006) BioModels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res., 34, D689-D691.
22. Li, C. et al. (2010) Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension. Mol. Biosyst., 11 (Suppl. 7), 1-13.
23. Liu, B. et al. (2009) Probabilistic approximations of signaling pathway dynamics. In CMSB'09, Bologna, Italy. pp. 251-265.
24. Liu, B. et al. (2011a) A computational and experimental study of the regulatory mechanisms of the complement system. PLoS Comput. Biol., 7, e1001059.
25. Liu, B. et al. (2011b) Probabilistic approximations of ODEs based bio-pathway dynamics. Theor. Comput. Sci., 412, 2188-2206.
26. Lüdtke, N. et al. (2008) Information-theoretic sensitivity analysis: a general method for credit assignment in complex networks. J. R. Soc. Interf., 5, 223-235.
27. 2+-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response. Genes Cells, 11, 1071-1083.
28. Matsumoto, M. and Nishimura, T. (1998) Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator. ACM Trans. Model. Comput. Simul., 8, 3-30.
29. Murphy, K.P. (2002) Dynamic Bayesian networks: representation, inference and learning. PhD Thesis, University of California, Berkeley.
30. Murphy, K.P. and Weiss, Y. (2001) The factored frontier algorithm for approximate inference in DBNs. In UAI'01, Seattle, USA. pp. 378-385.
31. Palaniappan, S.K. et al. (2011) A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. In CMSB'11, Paris, France. pp. 35-44.
32. Pnueli, A. (1977) The temporal logic of programs. In FOCS'77, Providence, Rhode Island, USA. pp. 46-57.
33. Silberstein, M. et al. (2008) Efficient computation of sum-products on GPUs through software-managed cache. In ICS'08, Cairo, Egypt. pp. 309-318.
34. Sreenath, S.N. et al. (2008) Modelling the dynamics of signalling pathways. Essays Biochem., 45, 1-28.
35. Sun, X. and Hong, P. (2007) Computational modeling of Caenorhabditis elegans vulval induction. Bioinformatics, 13, i499-i507.
36. Zhou, Y. et al. (2011) GPU accelerated biochemical network simulation. Bioinformatics, 27, 874-876.