Closing the scientific loop: Bridging correlation and causality in the petaflop age

Science Translational Medicine

Volumn 2, Issue 41, 2010, Pages

  An, Gary ^a  

^a UNIVERSITY OF CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CAUSAL ATTRIBUTION; COMPUTER ANALYSIS; COMPUTER SIMULATION; DATA ANALYSIS; DATA MINING; EVOLUTIONARY ALGORITHM; HIGH THROUGHPUT SCREENING; MEDICAL RESEARCH; PATHOPHYSIOLOGY; PRIORITY JOURNAL; REVIEW; TRANSLATIONAL RESEARCH; ARTICLE; BIOLOGY; METHODOLOGY;

BIOMEDICAL RESEARCH; COMPUTATIONAL BIOLOGY;

EID: 77955634106     PISSN: 19466234     EISSN: 19466242     Source Type: Journal    
DOI: 10.1126/scitranslmed.3000390     Document Type: Review

References (24)

1. Top500 Supercomputer Sites, http://www.top500.org/ (accessed 16 December 2009).
2. Innovation or Stagnation: Challenge and Opportunity on the Critical Path to New Medical Products (U.S. Food and Drug Administration, Washington, DC, 2004), http://www.fda.gov/ScienceResearch/SpecialTopics/CriticalPathInitiative/ CriticalPathOpportunitiesReports/ucm077262.htm.
3. B. P. Ziegler, H. Praehofer, T. G. Kim, Theory of Modeling and Simulation (Elsevier, San Diego, ed. 2, 2000).
4. Catalyzing Inquiry at the Interface of Computing and Biology, J. C. Wooley, H. S. Lin, Eds. (National Academies Press, Washington, DC, 2005), pp. 35-56.
5. Catalyzing Inquiry at the Interface of Computing and Biology, J. C. Wooley, H. S. Lin, Eds. (National Academies Press, Washington, DC, 2005), pp. 117-204.
6. J. Fisher, T. A. Henzinger, Executable cell biology. Nat. Biotechnol. 25, 1239-1249 (2007).
7. G. An, Introduction of an agent-based multi-scale modular architecture for dynamic knowledge representation of acute inflammation. Theor. Biol. Med. Model. 5, 11 (2008).
8. C. A. Hunt, G. E. Ropella, T. N. Lam, J. Tang, S. H. Kim, J. A. Engelberg, S. Sheikh-Bahaei, At the biological modeling and simulation frontier. Pharm. Res. 26, 2369-2400 (2009).
9. R. C. Kennedy, X. Xiang, T. F. Cosimano, L. A. Arthurs, P. A. Maurice, G. R. Madey, S. E. Cabaniss, Verification and validation assessment of simulation models, in Annual Conference of the North American Computational Social and Organizational Sciences (NAACSOS, Notre Dame, IN, 2006).
10. O. Balci, A methodology for certification of modeling and simulation applications. ACM Trans. Model. Comput. Simul. 11, 352-377 (2001).
11. O. Balci, in Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice, J. Banks, Ed. (Wiley, New York, 1998), pp. 335-396.
12. R. G. Sargent, Verification and validation of simulation models, in Winter Simulation Conference 1998 (Association for Computing Machinery, New York, 1998), vol. 1, pp. 121-130.
13. G. An, Concepts for developing a collaborative in silico model of the acute inflammatory response using agent-based modeling. J. Crit. Care 21, 105-110; discussion 110-111 (2006).
14. A. Gara, M. A. Blumrich, D. Chen, G. L.-T. Chiu, P. Coteus, M. E. Giampapa, R. A. Haring, P. Heidelberger, D. Hoenicke, G. V. Kopcsay, T. A. Liebsch, M. Ohmacht, B. D. Steinmacher-Burow, T. Takken, P. Vranas, Overview of the Blue Gene/L system architecture. IBM J. Res. Dev. 49, 195-212 (2005).
15. Cray, ORNL's Jaguar XT5 Supercomputer, http://www.cray.com/Products/XT/ ORNLJaguar.aspx (accessed 16 December 2009).
16. Folding@home, http://folding.stanford.edu/english/Main (accessed 16 December 2009).
17. I. Foster, Y. Zhao, I. Raicu, S. Lu, Cloud computing and grid computing 360-degree compared, in Grid Computing Environments Workshop 2008, Austin, TX (IEEE, Los Alamitos, CA, 2008).
18. National Center for Biomedical Ontology, http://www.bioontology.org/.
19. T. Takai-Igarashi, Ontology based standardization of Petri net modeling for signaling pathways. In Silico Biol. 5, 529-536 (2005).
20. G. An, Dynamic knowledge representation using agent-based modeling: Ontology instantiation and verification of conceptual models. Methods Mol. Biol. 500, 445-468 (2009).
21. D. Shegogue, W. J. Zheng, Integration of the gene ontology into an object-oriented architecture. BMC Bioinformatics 6, 113 (2005).
22. C. Deissenberg, S. van der Hoog, H. Dawid, EURACE: A massively parallel agent-based model of the European economy. Appl. Math. Comput. 204, 541-552 (2008).
23. E. M. Clarke, E. A. Emerson, A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Prog. Lang. Sys. 8, 244-263 (1986).
24. F. Ipate, M. Holcombe, A method for refining and testing generalised machine specifications. Int. J. Comput. Math. 68, 197-219 (1998).