A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes

OMICS A Journal of Integrative Biology

Volumn 7, Issue 3, 2003, Pages 253-268

  Mishra, Bud ^a,c   Daruwala, Raoul Sam ^a   Zhou, Yi ^a,b   Ugel, Nadia ^a   Policriti, Alberto ^h   Antoniotti, Marco ^a   Paxia, Salvatore ^a   Rejali, Marc ^a   Rudra, Archisman ^a   Cherepinsky, Vera ^a   Silver, Naomi ^a   Casey, William ^a   Piazza, Carla ^l   Simeoni, Marta ^l   Barbano, Paolo ^a   Spivak, Marina ^a   Feng, Jiawu ^a   Gill, Ofer ^a   Venkatesh, Mysore ^a   Cheng, Fang ^a,b   Sun, Bing ^a   Ioniata, Iuliana ^a   Anantharaman, Thomas ^f   Hubbard, E Jane Albert ^b   Pnueli, Amir ^a,c   Harel, David ⁱ   Chandru, Vijay ^e   Hariharan, Ramesh ^e   Wigler, Michael ^c   Park, Frank ^g   Lin, Shih Chieh ^c   Lazebnik, Yuri ^c   Winkler, Franz ^j   Cantor, Charles R ^k   Carbone, Alessandra ^d   Gromov, Mikhael ^d   more..

^a NEW YORK UNIVERSITY   (United States)

^b NEW YORK UNIVERSITY   (United States)

^c Howard Hughes Medical Institute Cold Spring Harbor Laboratory Cold Spring Harbor   (United States)

^d INSTITUT DES HAUTES ÉTUDES SCIENTIFIQUES   (France)

^e University of Wisconsin ^*  (India)

^f UNIVERSITY OF WISCONSIN SCHOOL OF MEDICINE AND PUBLIC HEALTH   (United States)

^g Seoul National University   (South Korea)

^h UNIVERSITY OF UDINE   (Italy)

ⁱ WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^j JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^k SEQUENOM INC   (United States)

^l CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

more..

Author keywords

[No Author keywords available]

Indexed keywords

DNA; RAS PROTEIN;

ADAPTATION; ARTICLE; AUTOMATION; BIOINFORMATICS; BIOLOGY; CELL CYCLE; CELL FUNCTION; CELL PROLIFERATION; CHEMICAL ANALYSIS; CLINICAL RESEARCH; COEVOLUTION; COMPUTER PROGRAM; DNA MICROARRAY; EXPERIMENT; GENE DUPLICATION; GENE EXPRESSION; GENE SEQUENCE; GENETIC DATABASE; GENOME; LIFE; MASS SPECTROMETRY; MATHEMATICAL COMPUTING; MATHEMATICAL MODEL; MOLECULAR EVOLUTION; MOLECULAR GENETICS; MOLECULAR INTERACTION; NONHUMAN; PARSIMONY ANALYSIS; PHYLOGENY; PRIORITY JOURNAL; PROTEIN MOTIF; PROTEIN STRUCTURE; PROTEOMICS; PURINE METABOLISM; SCIENCE; SIMULATION; STEM CELL; TAXONOMY; THEORY; XS SYSTEM;

EID: 12444266788     PISSN: 15362310     EISSN: None     Source Type: Journal    
DOI: 10.1089/153623103322452387     Document Type: Article

References (36)

1. ALBERTS, B., BRAY, D., LEWIS, J., et al. (1995). Molecular Biology of the Cell, 3rd ed. (Garland, New York).
2. ANTONIOTTI, M., POLICRITI, A., UGEL, N., et al. (2002). xS-systems: eXtended S-systems and algebraic differential automata for modeling cellular behavior. Presented at the International Conference on High-Performance Computing, Bangalore, India.
3. ANTONIOTTI, M., PARK, F., POLICRITI, A., et al. (2003). Foundations of a query and simulation system for the modeling of biochemical and biological processes. Presented at the Pacific Symposium on Biocomputing, Hawaii.
4. ANTONIOTTI, M., PARK, F., POLICRITI, A., et al. (2003). Simulating large biochemical and biological processes and reasoning about their behavior. Presented at the International Conference on Systems Biology, Sweden.
5. ANTONIOTTI, M., POLICRITI, A., UGEL, N., et al. (2003). Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics (CBB) 38, 271-286.
6. BAILEY, J.A., GU, Z., CLARK, R.A., et al. (2002). Recent segmental duplications in the human genome. Science 297, 1003-1007.
7. BHALLA, U.S., and IYENGAR, R. (1999). Emergent properties of networks of biological signaling pathways. Science 283, 381-387.
8. BULDYREV, S.V., GOLDBERGER, A.L., HAVLIN, S., et al. (1993). Fractal landscapes and molecular evolution: modeling the myosin heavy chain gene family. Biophysics 65, 2673.
9. CANTOR, C., and SMITH, C. (1999). Genomics: The Science and Technology Behind the Human Genome Project (Wiley, New York.)
10. CORNISH-BOWDEN, A. (1999). Fundamentals of Enzyme Kinetics (Portland Press, London.)
11. DAMM, W., and HAREL, D. (2001). LSCs: breathing life into message sequence charts. Formal Methods in System Design 19, 45-80.
12. DING, C., and CANTOR, C.R. (2003). A high-throughput gene expression analysis technique using competitive PCR and matrix-assisted laser desorption ionization time-of-flight. MS. Proceedings of the National Academy of Sciences USA 100, 3059-3064.
13. EFRONI, S., HAREL, D., and COHEN, I.R. (2003). Towards rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T cell maturation. Genome Research (special issue on systems biology).
14. GABBAY, D.M., HODKINSON, I., and REYNOLDS, M. (1994). Tempral Logic: Mathematical Foundations and Computational Aspects, Volume 1 (Clarendon Press, Oxford.)
15. GERSTEIN, M., QIAN, J., and LUSCOMBE, N.M. (2001). Protein family and fold occurrence in genomes: power-law behavior and evolutionary model. Journal of Molecular Biology 313, 673-681.
16. GUET, C.C., ELOWITZ, M.B., HSING, W.H., et al. (2002). Combinatorial synthesis of genetic networks. Science 296, 1466-1470.
17. HAREL, D. (1987). Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 231-274.
18. HAREL, D., and GERY, E. (1997). Executable object modeling with statecharts. Volume 30, Computer 31-42.
19. HAREL, D., EFRONI, S., and COHEN, I.R. (2003). Reactive animation. Lecture Notes in Computer Science (Springer-Verlag, New York).
20. HAREL, D., and MARELLY, R. (2003). Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine (Springer-Verlag, New York).
21. HUBBARD, E.J.A., and GREENSTEIN, D. (2000). The Caenorhabditis elegans gonad: a test tube for cell and developmental biology. Developmental Dynamics 218, 2-22.
22. KAM, N., HAREL, D., and COHEN, I.R. (2001). Modeling biological reactivity: statecharts vs. Boolean Logic. Presented at the Second International Conference on Systems Biology (ICSB2001).
23. KAM, N., HAREL, D., KUGLER, H., et al. (2003). Formal modeling of C. elegans development: a scenario-based approach. Presented at Computational Methods in Systems Biology, First International Workshop.
24. LAI, Z., JING, J., ASTON, C., et al. (1999). A shotgun optical map of the entire Plasmodium falciparum genome. Nature Genetics 23, 309-313.
25. LUCITO, R., WEST, J., REINER, A., et al. (2000). Detecting gene copy number fluctuations in tumor cells by microarray analysis of genomic representations. Genome Research 10, 1726-1736.
26. MISHRA, B. (2002). A symbolic approach to modelling cellular behavior. Presented at the International Conference on High-Performance Computing, Bangalore, India.
27. MISHRA, B. (2000). Computational differential algebra. Geometrical Foundations of Robotics (World-Scientific, Singapore, 111-145.
28. MISHRA, B., and CLARKE, E.M. (1985). Hierarchical verification of asynchronous circuits using temporal logic. Theoretical Computer Science 38, 269-291.
29. OHNO, S. (1970). Evolution by Gene Duplication (Springer-Verlag, New York).
30. PAXIA, S., RUDRA, A., ZHOU, Y., et al. (2002). A random walk down the genomes: DNA evolution in VALIS. Computer 35, 73-79.
31. PENG, C.-K., BULDYREV, S.V., GOLDBERGER, A.L., et al. (1992). Long-range correlations in nucleotide sequences. Nature 356, 168-170.
32. SAVAGEAU, M.A. (1976). Biochemical System Analysis: A Study of Function and Design in Molecular Biology (Addison-Wesley, New York).
33. VOIT, E.O. (2000). Computational Analysis of Biochemical Systems (Cambridge University Press, Cambridge).
34. VULIC, M., LENSKI, R.E., and RADMAN, M. (1999). Mutation, recombination, and incipient speciation of bacteria in the laboratory. Proceedings of the National Academy of Sciences USA 96, 7348-7351.
35. WIGLER, M. (1990). Oncoproteins. GAPs in understanding Ras. Nature 346, 696-697.
36. WIGLER, M., and MISHRA, B. (2002). Wild by nature. Science 296, 1407-1408.