A logical characterization of individual-based models

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2008, Pages 379-390

  Lynch, James F ^a  

^a Clarkson University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INDIVIDUAL-BASED MODELLING; LOGIC IN COMPUTER SCIENCE;

CASE BASED REASONING; COMPUTER NETWORKS; COMPUTER SCIENCE; DYNAMICAL SYSTEMS; SCHRODINGER EQUATION;

ECOLOGY;

EID: 51549089637     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2008.27     Document Type: Conference Paper

References (28)

1. A. Arkin, J. Ross, and H. H. McAdams. Stochastic kinetic analysis of developmental pathway bifurcation in phage λ-infected Escherichia coli cells. Genetics, 149:1633-1648, 1998.
2. K. Azuma. Weighted sums of certain dependent random variables. Tohoku Mathematical Journal, 68:357-367, 1967.
3. N. Berger, C. Borgs, J. T. Chayes, R. M. D'Souza, and R. D. Kleinberg. Competition-induced preferential attachment. In Proc. 31st Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, volume 3142, pages 208-221. Springer, 2004.
4. R. E. Bryant, S. K. Lahiri, and S. A. Seshia. Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions. In Computer-Aided Verification (CAV '02), Lecture Notes in Computer Science, volume 2404, pages 78-92. Springer, 2002.
5. A. W. Burks. Von Neumann's self-reproducing automata. In A. W. Burks, editor, Essays on Cellular Automata, pages 3-64. University of Illinois Press, Urbana, 1970.
6. D. S. Callaway, J. E. Hopcroft, J. M. Kleinberg, M. E. J. Newman, and S. H. Strogatz. Are randomly grown graphs really random? Phys. Rev. E, 64:041902 (7 pages), 2001.
7. L. Cardelli. Brane calculi-interactions of biological membranes. In Proc. Int. Conf. Computational Methods in Systems Biology, Lecture Notes in Computer Science, volume 3082, pages 257-280. Springer, 2005.
8. N. N. Dalvi. Query evaluation on a database given by a random graph. In Proc. 11th Int. Conf. on Database Theory, Lecture Notes in Computer Science, volume 4353, pages 149-163. Springer, 2007.
9. N. N. Dalvi, G. Miklau, and D. Suciu. Asymptotic condtional probabilities for conjunctive queries. In Proc. 10th Int. Conf. on Database Theory, Lecture Notes in Computer Science, volume 3363, pages 289-305. Springer, 2005.
10. V. Danos and C. Laneve. Formal molecular biology. Theoretical Computer Science, 325:69-110, 2004.
11. J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation for labelled Markov processes. Information and Computation, 179:163-193, 2002.
12. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Approximating labelled Markov processes. Information and Computation, 184:160-200, 2003.
13. R. Erban, I. G. Kevrekidis, and H. G. Othmer. An equationfree computational approach for extracting population-level behavior from individual-based models of biological dispersal. Physica D: Nonlinear Phenomena, 215:1-24, 2006.
14. C. A. J. M. Firth and D. Bray. Stochastic simulation of cell signalling pathways. In J. M. Bower and H. Bolouri, editors, Computational Modeling of Genetic and Biochemical Networks, pages 263-286. MIT Press, 2001.
15. H. Gaifman. On local and non-local properties. In Proc. of the Herbrand Symposium, Logic Colloquium '81. North-Holland, 1982.
16. D. T. Gillespie. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Computational Physics, 22:403-434, 1976.
17. E. Grädel and Y. Gurevich. Metafinite model theory. Information and Computation, 140:26-81, 1998.
18. V. Grimm. Ten years of individual-based modelling in ecology: what have we learned and what could we learn in the future? Ecological Modelling, 115:129-148, 1999.
19. Y. Gurevich. Sequential abstract state machines capture sequential algorithms. ACM Trans. on Computational Logic, 1:77-111, 2000.
20. W. Hanf. Model-theoretic methods in the study of elementary logic. In J. W. Addison, L. Henkin, and A. Tarski, editors, The Theory of Models, pages 132-145. North-Holland, 1965.
21. R. Kumar, P. Raghavan, S. Rajagopalan, D. Sivakumar, A. Tomkins, and E. Upfal. Stochastic models for the web graph. In Proc. 41st IEEE Symp. on Foundations of Computing Science, pages 57-65, 2000.
22. S. A. Levin, T. Powell, and J. H. Steele, editors. Patch Dynamics. Springer, 1993.
23. L. Libkin. Expressive power of SQL. Theoretical Computer Science, 296:379-404, 2003.
24. J. F. Lynch. A logical characterization of individual-based models. Draft, http://people.clarkson.edu/̃jlynch/ibms.pdf.
25. R.M. May. Theoretical Ecology: Principles and Applications. Saunders, Philadelphia, 1976.
26. C. Priami. Stochastic pi-calculus. Computer Journal, 38:578-589, 1995.
27. C. Priami, A. Ingolfsdottir, B. Mishra, and H. R. Nielson, editors. Trans. Computational Systems Biology VII, Lecture Notes in Computer Science, volume 4230. Springer, 2006.
28. D. J. Wilkinson. Stochastic Modelling for Systems Biology. CRC Press, Boca Raton, FL, 2006.