Formal reductions of stochastic rule-based models of biochemical systems
作者： Tatjana Petrov
关键词:
摘要:
uni-konstanz.de
sci-hub.st 参考文章(75)
David F. Anderson, Thomas G. Kurtz, Continuous Time Markov Chain Models for Chemical Reaction Networks Springer, New York, NY. pp. 3- 42 ,(2011) , 10.1007/978-1-4419-6766-4_1
Aviv Regev, Ehud Shapiro, Cellular abstractions: Cells as computation Nature. ,vol. 419, pp. 343- 343 ,(2002) , 10.1038/419343A
Cédric Archambeau, Manfred Opper, Approximate inference for continuous-time Markov processes Bayesian Time Series Models. pp. 125- 140 ,(2011) , 10.1017/CBO9780511984679.007
Edda Klipp, Christoph Wierling, Hans Lehrach, Ralf Herwig, Axel Kowald, Systems Biology in Practice: Concepts, Implementation and Application ,(2005)
Robert M. Gray, Entropy and information theory ,(1990)
Daniel T. Gillespie, Markov Processes: An Introduction For Physical Scientists ,(2012)
Thomas A. Henzinger, Maria Mateescu, Verena Wolf, Sliding Window Abstraction for Infinite Markov Chains computer aided verification. ,vol. 5643, pp. 337- 352 ,(2009) , 10.1007/978-3-642-02658-4_27
L.W. Buss, W. Fontana, The Barrier of Objects: From Dynamical Systems to Bounded Organizations Research Papers in Economics. ,(1996)
Patrick Cousot, Abstract Interpretation Based Formal Methods and Future Challenges Lecture Notes in Computer Science. pp. 138- 156 ,(2001) , 10.1007/3-540-44577-3_10
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine, Abstract Interpretation of Cellular Signalling Networks Lecture Notes in Computer Science. pp. 83- 97 ,(2008) , 10.1007/978-3-540-78163-9_11