A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes.

We collaborate in a research program aimed at creating a rigorous framework, experimental infrastructure, and computational environment for understanding, experimenting with, manipulating, and modifying a diverse set of fundamental biological processes at multiple scales and spatio-temporal modes. The novelty of our research is based on an approach that (i) requires coevolution of experimental science and theoretical techniques and (ii) exploits a certain universality in biology guided by a parsimonious model of evolutionary mechanisms operating at the genomic level and manifesting at the proteomic, transcriptomic, phylogenic, and other higher levels. Our current program in "systems biology" endeavors to marry large-scale biological experiments with the tools to ponder and reason about large, complex, and subtle natural systems. To achieve this ambitious goal, ideas and concepts are combined from many different fields: biological experimentation, applied mathematical modeling, computational reasoning schemes, and large-scale numerical and symbolic simulations. From a biological viewpoint, the basic issues are many: (i) understanding common and shared structural motifs among biological processes; (ii) modeling biological noise due to interactions among a small number of key molecules or loss of synchrony; (iii) explaining the robustness of these systems in spite of such noise; and (iv) cataloging multistatic behavior and adaptation exhibited by many biological processes.

[1]  W. J. EGGELING Wild Nature , 1966, Nature.

[2]  Alberto Policriti,et al.  XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior , 2002, HiPC.

[3]  Dr. Susumu Ohno Evolution by Gene Duplication , 1970, Springer Berlin Heidelberg.

[4]  Amir Pnueli,et al.  Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.

[5]  Bhubaneswar Mishra,et al.  Computational differential alegebra , 1998 .

[6]  David C. Schwartz,et al.  A shotgun optical map of the entire Plasmodium falciparum genome , 1999, Nature Genetics.

[7]  Edmund M. Clarke,et al.  Hierarchical Verification of Asynchronous Circuits Using Temporal Logic , 1985, Theor. Comput. Sci..

[8]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[9]  Yi Zhou,et al.  A Random Walk Down the Genomes: DNA Evolution in Valis , 2002, Computer.

[10]  C. Peng,et al.  Long-range correlations in nucleotide sequences , 1992, Nature.

[11]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[12]  LIU Peng,et al.  Simulating Large Biochemical and Biological Processes and Reasoning about their Behavior , 2002 .

[13]  Bhubaneswar Mishra,et al.  A symbolic approach to modelling cellular behavior , 2002 .

[14]  M. Savageau Biochemical Systems Analysis: A Study of Function and Design in Molecular Biology , 1976 .

[15]  M H Wigler Oncoproteins. GAPs in understanding Ras. , 1990, Nature.

[16]  M. Gerstein,et al.  Protein family and fold occurrence in genomes: power-law behaviour and evolutionary model. , 2001, Journal of molecular biology.

[17]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[18]  A. Cornish-Bowden Fundamentals of Enzyme Kinetics , 1979 .

[19]  David Harel,et al.  Modeling biological reactivity: statecharts vs. Boolean logic , 2002, AVI '02.

[20]  Bud Mishra,et al.  Wild by Nature , 2002, Science.

[21]  J. Davies,et al.  Molecular Biology of the Cell , 1983, Bristol Medico-Chirurgical Journal.

[22]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[23]  D. Harel,et al.  Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.

[24]  U. Bhalla,et al.  Emergent properties of networks of biological signaling pathways. , 1999, Science.

[25]  David Harel,et al.  Execution , and Visualization of Thymic T-Cell Maturation Toward Rigorous Comprehension of Biological Complexity : data , 2003 .

[26]  M. Adams,et al.  Recent Segmental Duplications in the Human Genome , 2002, Science.

[27]  M. Elowitz,et al.  Combinatorial Synthesis of Genetic Networks , 2002, Science.

[28]  David Harel,et al.  Reactive Animation , 2002, FMCO.

[29]  Charles R Cantor,et al.  A high-throughput gene expression analysis technique using competitive PCR and matrix-assisted laser desorption ionization time-of-flight MS , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[30]  M. Wigler,et al.  GAPs in understanding Ras , 1990, Nature.

[31]  Alberto Policriti,et al.  Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes , 2003, Pacific Symposium on Biocomputing.

[32]  M. Wigler,et al.  Detecting gene copy number fluctuations in tumor cells by microarray analysis of genomic representations. , 2000, Genome research.

[33]  Charles R. Cantor,et al.  Genomics: The Science and Technology Behind the Human Genome Project , 1999 .

[34]  R. Lenski,et al.  Mutation, recombination, and incipient speciation of bacteria in the laboratory. , 1999, Proceedings of the National Academy of Sciences of the United States of America.

[35]  E. Hubbard,et al.  The Caenorhabditis elegans gonad: A test tube for cell and developmental biology , 2000, Developmental dynamics : an official publication of the American Association of Anatomists.

[36]  David Harel,et al.  Executable object modeling with statecharts , 1997, Computer.

[37]  C. Peng,et al.  Fractal landscapes and molecular evolution: modeling the myosin heavy chain gene family. , 1993, Biophysical journal.