95
Views
5
CrossRef citations to date
0
Altmetric
Research Article

Reactive animation: From piecemeal experimentation to reactive biological systems

, , &
Pages 271-281 | Published online: 19 Jan 2011

References

  • Cohen IR, Harel D. Explaining a complex living system: Dynamics, multi-scaling and emergence. J R Soc Interface. 2007; 4:175–182.
  • Efroni S, Harel D, Cohen IR. Reactive animation: Realistic modeling of complex dynamic systems. IEEE Comput. 2005; 38:38–47.
  • Harel D, Efroni S, Cohen IR. 2003. Reactive AnimationProc. 1st Int. Symposium on Formal Methods for Components and Objects (FMCO 2002) (invited paper), Lecture Notes in Computer Science, Vol. 2852. Leiden, The Netherlands: Springer-Verlag p 136–153.
  • Harel D. A Statecharts: Visual formalism for complex systems. Sci Comput Program. 1987; 8:231–274.
  • Bauer AL, Beauchemin CA, Perelson AS. Agent-based modeling of host-pathogen systems: The successes and challenges. Inf Sci (NY). 2009; 179:1379–1389.
  • Efroni S, Harel D, Cohen IR. Toward rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic T-cell maturation. Genome Res. 2003; 13:2485–2497.
  • Efroni S, Harel D, Cohen IR. Emergent dynamics of thymocyte development and lineage determination. PLoS Comput Biol. 2007; 3:e13.
  • Fisher J, Henzinger TA. Executable cell biology. Nat Biotechnol. 2007; 25:1239–1249.
  • Fisher J, Piterman N. The executable pathway to biological networks. Brief Funct Genomics. 2010; 9:79–92.
  • Sadot A, Fisher J, Barak D, Admanit Y, Stern MJ, Hubbard EJ, Harel D. Toward verified biological models. IEEE/ACM Trans Comput Biol Bioinform. 2008; 5:223–234.
  • Clarke EM, Grumberg O, Peled D. 1999. Model checking. Cambridge, Mass: MIT Press.
  • Kam N, Cohen IR, Harel DThe immune system as a reactive system: Modeling T cell activation with Statecharts200115–22 Proceedings of Visual Languages and Formal Methods (VLFM'01), part of IEEE Symposium on Human-Centric Computing (HCC'01).
  • Setty Y, Cohen IR, Dor Y, Harel D. Four-dimensional realistic modeling of pancreatic organogenesis. Proc Natl Acad Sci USA. 2008; 105:20374–20379.
  • Janeway C. 2005. Immunobiology: The immune system in health and disease. New York: Garland Science.
  • Harel D, Gery E. Executable object modeling with statecharts. Computer. 1997; 30:31–42 IEEE Press.
  • Fisher J, Piterman N, Hubbard EJ, Stern MJ, Harel D. Computational insights into Caenorhabditis elegans vulval development. Proc Natl Acad Sci USA. 2005; 102:1951–1956.
  • Cohen IR. 2000. Tending Adam's garden: Evolving the cognitive immune self. London, UK: Academic Press.
  • Douek DC, Betts MR, Hill BJ, Little SJ, Lempicki R, Metcalf JA, Casazza J, Yoder C, Adelsberger JW, Stevens RA, Baseler MW, Keiser P, Richman DD, Davey RT, Koup RA. Evidence for increased T cell turnover and decreased thymic output in HIV infection. J Immunol. 2001; 167:6663–6668.
  • Holoshitz J, Matitiau A, Cohen IR. Role of the thymus in induction and transfer of vaccination against adjuvant arthritis with a T lymphocyte line in rats. J Clin Invest. 1985; 75:472–477.
  • Anderson G, Jenkinson EJ. Lymphostromal interactions in thymic development and function. Nat Rev Immunol. 2001; 1:31–40.
  • Germain RN. T-cell development and the CD4–CD8 lineage decision. Nat Rev Immunol. 2002; 2:309–322.
  • Platt N, Suzuki H, Kurihara Y, Kodama T, Gordon S. Role for the class A macrophage scavenger receptor in the phagocytosis of apoptotic thymocytes in vitro. Proc Natl Acad Sci USA. 1996; 93:12456–12460.
  • Benczik M, Gaffen SL. The interleukin (IL)-2 family cytokines: Survival and proliferation signaling pathways in T lymphocytes. Immunol Invest. 2004; 33:109–142.
  • Wurbel MA, Philippe JM, Nguyen C, Victorero G, Freeman T, Wooding P, Miazek A, Mattei MG, Malissen M, Jordan BR, Malissen B, Carrier A, Naquet P. The chemokine TECK is expressed by thymic and intestinal epithelial cells and attracts double- and single-positive thymocytes expressing the TECK receptor CCR9. Eur J Immunol. 2000; 30:262–271.
  • Nanda NK, Sercarz EE. The positively selected T cell repertoire: Is it exclusively restricted to the selecting MHC?. Int Immunol. 1995; 7:353–358.
  • Yasutomo K, Lucas B, Germain RN. TCR signaling for initiation and completion of thymocyte positive selection has distinct requirements for ligand quality and presenting cell type. J Immunol. 2000; 165:3015–3022.
  • Plotkin J, Prockop SE, Lepique A, Petrie HT. Critical role for CXCR4 signaling in progenitor localization and T cell differentiation in the postnatal thymus. J Immunol. 2003; 171:4521–4527.
  • Swerdlin N, Cohen IR, Harel D. The lymph node B cell immune response: Dynamic analysis in-silico. Proc IEEE Special Issue Comput Syst Biol. 2003; 96:1421–1443.
  • Pictet RL, Clark WR, Williams RH, Rutter WJ. An ultrastructural analysis of the developing embryonic pancreas. Dev Biol. 1972; 29:436–467.
  • Jensen J. Gene regulatory factors in pancreatic development. Dev Dyn. 2004; 229:176–200.
  • Hogan KA, Bautch VL. Blood vessel patterning at the embryonic midline. Curr Top Dev Biol. 2004; 62:55–85.
  • Lammert E, Cleaver O, Melton D. Induction of pancreatic differentiation by signals from blood vessels. Science. 2001; 294:564–567.
  • Herrera PL. Adult insulin- and glucagon-producing cells differentiate from two independent cell lineages. Development. 2000; 127:2317–2322.
  • Kim SK, MacDonald RJ. Signaling and transcriptional control of pancreatic organogenesis. Curr Opin Genet Dev. 2002; 12:540–547.
  • Meier-Schellersheim M, Klauschen F, Angermann B. Computational modeling of signaling networks for eukaryotic chemosensing. Methods Mol Biol. 2009; 571:507–526.
  • Meier-Schellersheim M, Xu X, Angermann B, Kunkel EJ, Jin T, Germain RN. Key role of local regulation in chemosensing revealed by a new molecular interaction-based modeling method. PLoS Comput Biol. 2006; 2:e82.
  • Castiglione F, Bernaschi M, Succi S. Simulating the immune response on a distributed parallel computer. Int J Mod Phys C. 1997; 8 3: 527–545.
  • Celada F, Seiden PE. A computer model of cellular interactions in the immune system. Immunol Today. 1992; 13:56–62.
  • Cheng Y, Ghersi D, Calcagno C, Selin LK, Puzone R, Celada F. A discrete computer model of the immune system reveals competitive interactions between the humoral and cellular branch and between cross-reacting memory and naive responses. Vaccine. 2008; 27:833–845.
  • Seiden PE, Celada F. A model for simulating cognate recognition and response in the immune system. J Theor Biol. 1992; 158:329–357.
  • Schaub MA, Henzinger TA, Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Syst Biol. 2007; 1:4.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.