A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways
暂无分享,去创建一个
P. S. Thiagarajan | Blaise Genest | Sucheendra K. Palaniappan | S. Akshay | P. Thiagarajan | B. Genest | S. Akshay | S. K. Palaniappan
[1] Thomas A. Henzinger,et al. Sliding Window Abstraction for Infinite Markov Chains , 2009, CAV.
[2] Marta Kwiatkowska,et al. Probabilistic model checking for systems biology , 2011 .
[3] François Fages,et al. On the Analysis of Numerical Data Time Series in Temporal Logic , 2007, CMSB.
[4] Nir Friedman,et al. Inferring Cellular Networks Using Probabilistic Graphical Models , 2004, Science.
[5] Jung-Fu Cheng,et al. Turbo Decoding as an Instance of Pearl's "Belief Propagation" Algorithm , 1998, IEEE J. Sel. Areas Commun..
[6] Marta Z. Kwiatkowska,et al. PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.
[7] Radu Grosu,et al. Monte Carlo Model Checking , 2005, TACAS.
[8] K. H. Lee,et al. The statistical mechanics of complex signaling networks: nerve growth factor signaling , 2004, Physical biology.
[9] Jacky L. Snoep,et al. BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems , 2005, Nucleic Acids Res..
[10] Kevin Murphy,et al. Bayes net toolbox for Matlab , 1999 .
[11] Boris N. Kholodenko,et al. Untangling the signalling wires , 2007, Nature Cell Biology.
[12] Michael Hucka,et al. A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al. , 2006, Science's STKE.
[13] Rina Dechter,et al. An Anytime Scheme for Bounding Posterior Beliefs , 2006, AAAI.
[14] Daniel P. Huttenlocher,et al. Efficient Belief Propagation for Early Vision , 2004, Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2004. CVPR 2004..
[15] Kevin P. Murphy,et al. The Factored Frontier Algorithm for Approximate Inference in DBNs , 2001, UAI.
[16] David Hsu,et al. A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System , 2011, PLoS Comput. Biol..
[17] Nir Friedman,et al. Probabilistic Graphical Models - Principles and Techniques , 2009 .
[18] David Hsu,et al. Probabilistic approximations of ODEs based bio-pathway dynamics , 2011, Theor. Comput. Sci..
[19] David Hsu,et al. Probabilistic Approximations of Signaling Pathway Dynamics , 2009, CMSB.
[20] Thomas A. Henzinger,et al. Approximation of event probabilities in noisy cellular processes , 2009, Theor. Comput. Sci..
[21] Hui Lin,et al. Online adaptive learning for speech recognition decoding , 2010, INTERSPEECH.
[22] Axel Legay,et al. A Bayesian Approach to Model Checking Biological Systems , 2009, CMSB.
[23] David R. Gilbert,et al. A Model Checking Approach to the Parameter Estimation of Biochemical Pathways , 2008, CMSB.
[24] Xavier Boyen,et al. Tractable Inference for Complex Stochastic Processes , 1998, UAI.
[25] David R. Gilbert,et al. Analysis of Signalling Pathways Using Continuous Time Markov Chains , 2006, Trans. Comp. Sys. Biology.
[26] Vincent Danos,et al. Rule-Based Modelling of Cellular Signalling , 2007, CONCUR.
[27] Ursula Klingmüller,et al. Theoretical and experimental analysis links isoform- specific ERK signalling to cell fate decisions , 2009, Molecular systems biology.