Evolving BlenX programs to simulate the evolution of biological networks

Theoretical Computer Science

Volumn 408, Issue 1, 2008, Pages 83-96

  Dematte L ^a,b   Priami, C ^a,b   Romanel, A ^a,b   Soyer, O ^a  

^a CoSBi ^*  (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

Evolution; Evolutionary algorithms; Process calculi; Stochastic simulation

Indexed keywords

BIOMINERALIZATION; EVOLUTIONARY ALGORITHMS; FUNCTION EVALUATION; NETWORK PROTOCOLS; SENSOR NETWORKS;

BIOLOGICAL NETWORKS; EVOLUTION; FITNESS FUNCTIONS; FORMAL APPROACHES; PROCESS CALCULI; STOCHASTIC SIMULATION;

STOCHASTIC PROGRAMMING;

EID: 54449102423     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.07.013     Document Type: Article

References (21)

1. Dematté L., Priami C., Romanel A., and Soyer O. A formal and integrated framework to simulate evolution of biological pathways. Proceedings of CMSB2007. LNBI vol. 4695 (2007), Springer-Verlag 106-120
2. Fogel L.J., Owens A.J., and Walsh M.J. Artificial Intelligence through Simulated Evolution (1966), John Wiley, New York
3. Sharan R., Suthram S., Kelley R.M., Kuhn T., McCuine S., Uetz P., Sittler T., Karp R.M., and Ideker T. Conserved patterns of protein interaction in multiple species. Proc. Natl. Acad. Sci. 6 102 (2005) 1974-1979
4. Babu M., Teichmann S., Aravind L., and Evolutionary. dynamics of prokaryotic transcriptional regulators. J. Mol. Biol. 358 (2006) 614-633
5. Soyer O., and Bonhoeffer S. Evolution of complexity in signaling pathways. Proc. Natl. Acad. Sci. 103 (2006) 16337-16342
6. Pfeiffer T., and Schuster S. Game-theoretical approaches to studying the evolution of biochemical systems. Trends Biochem. Sci. 1 30 (2005) 20-25
7. Pfeiffer T., Soyer O., and Bonhoeffer S. The evolution of connectivity in metabolic networks. PLoS Biol. 7 3 (2005)
8. P P.F., and Hakim V. Design of genetic networks with specified functions by evolution in silico. Proc. Natl. Acad. Sci. 2 101 (2004) 580-585
9. Regev A., and Shapiro E. Cells as computation. Nature (2002)
10. Priami C., Regev A., Shapiro E., and Silvermann W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inform. Process. Lett. 80 1 (2001) 25-31
11. A. Phillips, L. Cardelli, A correct abstract machine for the stochastic pi-calculus, in: Bioconcur'04, ENTCS, August 2004
12. Regev A., Silverman W., and Shapiro E. Representation and simulation of biochemical processes using the pi-calculus process algebra. Pac. Symp. Biocomput. (2001) 459-470
13. Dematté L., Priami C., and Romanel A. The Beta Workbench: A computational tool to study the dynamics of biological systems. Briefings in Bioinformatics (2008) 10.1093/bib/bbn023
14. Dematté L., Priami C., and Romanel A. Modelling and simulation of biological processes in BlenX. SIGMETRICS Performance Evaluation Rev. 4 35 (2008) 32-39
15. C. Priami, P. Quaglia, Beta binders for biological interactions, in: CMSB, 2004, pp. 20-33
16. A. Romanel, L. Dematté, C. Priami, The Beta Workbench, Technical Report TR-03-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, 2007
17. Stock A.M., Robinson V.L., and Goudreau P.N. Two-component signal transduction. Annu. Rev. Biochem. 69 (2000) 183-215
18. Gillespie D. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Phys. Chem. 22 (1976) 403-434
19. Gillespie D. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81 25 (1977) 2340-2361
20. Huang C.Y., and Ferrell J.E. Ultrasensitivity in the mitogen-activated protein kinase cascade. Proc. Natl. Acad. Sci. USA 93 19 (1996) 10078-10083
21. Phillips A., Cardelli L., and Castagna G. A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. LNCS vol. 4230 (2006), Springer