Reconstructing species-based dynamics from reduced stochastic rule-based models

Proceedings - Winter Simulation Conference

Volumn , Issue , 2012, Pages

  Petrov, Tatjana ^a   Feret, Jerome ^b   Koeppl, Heinz ^a  

^a ETH ZURICH   (Switzerland)

^b Centre National de la Recherche Scientifique   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AGGREGATE STATE; AUTOMORPHISMS; BIO-MOLECULAR; COMPACT MODEL; COMPLEX FORMATIONS; DE AGGREGATIONS; HIGH-DIMENSIONAL; INTERACTING MOLECULES; MARKOVIAN BISIMULATIONS; MODEL REDUCTION; MODEL SPECIFICATIONS; QUADRATIC TIME; RULE-BASED MODELS;

AGGREGATES; ALGORITHMS; MARKOV PROCESSES; MOLECULES;

DYNAMICS;

EID: 84874690188     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2012.6465241     Document Type: Conference Paper

References (24)

1. Anderson, D. F., and T. G. Kurtz. 2011. "Continuous time Markov chain models for chemical reaction networks". In Design and Analysis of Biomolecular Circuits, edited by H. Koeppl, G. Setti, M. di Bernardo, and D. Densmore. Springer-Verlag.
2. Blinov, M. L., J. R. Faeder, and W. S. Hlavacek. 2004. "BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains". Bioinformatics 20:3289-3292.
3. Borisov, N. M., N. I. Markevich, B. N. Kholodenko, and E. D. Gilles. 2005. "Signaling through Receptors and Scaffolds: Independent Interactions Reduce Combinatorial Complexity". Biophysical Journal 89.
4. Buchholz, P. 1994. "Exact and Ordinary Lumpability in Finite Markov Chains". Journal of Applied Probability 31:59-75.
5. Camporesi, F., J. Feret, H. Koeppl, and T. Petrov. 2010, September. "Combining Model Reductions". In the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, edited by M. Mislove and P. Selinger, Volume 265 of Electronic Notes in Theoretical Computer Science, 73-96. Ottawa, Canada: Elsevier.
6. Cormen, T. H., C. Stein, R. L. Rivest, and C. E. Leiserson. 2001. Introduction to Algorithms, Chapter 21: Data structures and Disjoint Sets. 2nd ed. McGraw-Hill Higher Education.
7. Danos, V., J. Feret, W. Fontana, R. Harmer, and J. Krivine. 2010. "Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction". In Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS '10, 362-381. Washington, DC, USA: IEEE Computer Society.
8. Danos, V., and C. Laneve. 2004. "Formal molecular biology". Theoretical Computer Science 325 (1): 69-110.
9. Feret, J., V. Danos, J. Krivine, R. Harmer, and W. Fontana. 2009, April. "Internal coarse-graining of molecular systems". Proceedings of the National Academy of Sciences 106 (16): 6453-6458.
10. Feret, J., T. Henzinger, H. Koeppl, and T. Petrov. 2012. "Lumpability abstractions of rule-based systems". Theoretical Computer Science 431 (0): 137 - 164. Modelling and Analysis of Biological Systems Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena).
11. Feret, J., H. Koeppl, and T. Petrov. 2010. "Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models". Int. Jour. of Software and Informatics. to appear.
12. Friedman, N., L. Cai, and X. S. Xie. 2010. "Stochasticity in Gene Expression as Observed by Single-molecule Experiments in Live Cells". Israel Journal of Chemistry 49:333-342.
13. Garey, M. R., and D. S. Johnson. 1990. Computers and Intractability; A Guide to the Theory of NPCompleteness. New York, NY, USA: W. H. Freeman & Co.
14. Gillespie, D. T. 2007. "Stochastic simulation of chemical kinetics". Annu Rev Phys Chem 58 (1): 35-55. (Pubitemid 46877584)
15. Harmer, R., V. Danos, J. Feret, J. Krivine, and W. Fontana. 2010. "Intrinsic Information carriers in combinatorial dynamical systems". Chaos (20): 037108.
16. Hlavacek, W. S., J. R. Faeder, M. L. Blinov, R. G. Posner, M. Hucka, and W. Fontana. 2006. "Rules for Modeling Signal-Transduction Systems". Science's STKE 2006 (344).
17. Kemeny, J., and J. L. Snell. 1960. Finite Markov Chains. Van Nostrand.
18. Krivine, J. 2008-2012. "KaSim: a simulator for Kappa". http://www.kappalanguage.org.
19. T. Petrov and J. Feret and H. Koeppl 2012. "Reconstructing species-based dynamics from reduced stochastic rule-based models". Preprint containing proofs and algorithms, available at https://edit.ethz.ch/bison/ Publications/archive/PetrovWSC2012.
20. Petrov, T., A. Ganguly, and H. Koeppl. "Markov chain aggregation and its applications to combinatorial reaction networks". BISON group, ETH Zurich, in preparation.
21. Petrov, T., A. Ganguly, and H. Koeppl. 2012. "Model Decomposition and Stochastic Fragments". Electronic Notes in Theoretical Computer Science 284 (0): 105-124. ¿ce:title¿Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011)¿/ce: title¿.
22. Rubino, G., and B. Sericola. 1991. "A Finite Characterization of Weak Lumpable Markov Processes. Part II: The Continuous Time Case". Stochastic processes and their applications vol. 38, no2:195-204.
23. Rubino, G., and B. Sericola. 1993. "A Finite Characterization of Weak Lumpable Markov Processes. Part I: The Discrete Time Case". Stochastic processes and their applications vol. 45, no 1:115-125.
24. Yu, J., J. Xiao, X. Ren, K. Lao, and X. S. Xie. 2006. "Probing gene expression in live cells, one protein molecule at a time.". Science 311 (5767): 1600-3.