• DocumentCode
    2733443
  • Title

    Can we computerize an elephant?

  • Author

    Harel, David

  • Author_Institution
    Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Israel
  • fYear
    2009
  • fDate
    13-15 July 2009
  • Firstpage
    77
  • Lastpage
    77
  • Abstract
    The talk shows the way techniques from computer science and software engineering can be applied beneficially to research in the life sciences. We will discuss the idea of comprehensive and realistic modeling of biological systems, where we try to understand and analyze an entire system in detail, utilizing in the modeling effort all that is known about it. I will address the motivation for such modeling and the philosophy underlying the techniques for carrying it out, as well as the crucial question of when such models are to be deemed valid, or complete. The examples I will present will be from among the biological modeling efforts my group has been involved in: T cell development in the thymus, lymph node behavior, organogenesis of the pancreas, fate determination in the reproductive system of C. elegans, and a generic cell model. The ultimate long-term “grand challenge” is to produce an interactive, dynamic, computerized model of an entire multi-cellular organism, such as the C. elegans nematode worm, which is complex, but well-defined in terms of anatomy and genetics. The challenge is to construct a full, true-to-all-known-facts, 4-dimensional, interactively animated model of the development and behavior of this worm (or of a comparable multi-cellular animal), which is easily extendable as new biological facts are discovered.
  • Keywords
    Biological system modeling; Biological systems; Biology computing; Cells (biology); Computer science; Computer worms; Lymph nodes; Organisms; Pancreas; Software engineering;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on
  • Conference_Location
    Cambridge, MA, USA
  • Print_ISBN
    978-1-4244-4806-7
  • Type

    conf

  • DOI
    10.1109/MEMCOD.2009.5185382
  • Filename
    5185382