Computational science: Shifting the focus from tools to models

F1000Research

Volumn 3, Issue , 2014, Pages

  Hinsen, Konrad ^a,b  

^a CENTRE DE BIOPHYSIQUE MOLÉCULAIRE   (France)

^b SYNCHROTRON SOLEIL   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTICLE; BIOMEDICINE; COMPUTER PROGRAM; DATA ANALYSIS; DATA BASE; INFORMATION PROCESSING; MATHEMATICAL COMPUTING; MATHEMATICAL MODEL; MEDICAL INFORMATION SYSTEM; PREDICTION; PUBLICATION; SCIENTIFIC LITERATURE; VALIDATION PROCESS;

EID: 84914815012     PISSN: 20461402     EISSN: 1759796X     Source Type: Journal    
DOI: 10.12688/f1000research.3978.2     Document Type: Article

References (31)

1. Merali Z: Computational science: ...Error. Nature. 2010;467(7317):775-777. 20944712 10.1038/467775a
2. Peng RD: Reproducible research in computational science. Science. 2011;334(6060):1226-1227. 22144613 10.1126/science.1213847 3383002
3. Joppa LN McInerny G Harper R: Computational science. Troubling trends in scientific software use. Science. 2013;340(6134):814-815. 23687031 10.1126/science.1231535
4. Stodden V: Reproducible research: Tools and strategies for scientific computing. Comput Sci Eng. 2012;14(4):11-12. 10.1109/MCSE.2012.82
5. Wikipedia, Open science. - Wikipedia, the free encyclopedia.2014. Reference Source
6. Gent I Kotthoff L: Recomputation.org home page. Reference Source
7. Drummond C: Replicability is not reproducibility: nor is it good science.2009. Reference Source
8. Frigg R Hartmann S: Models in science. In The Stanford Encyclopedia of Philosophy (Fall 2012 Edition). E. N. Zalta, Ed.2012. Reference Source
9. Hestenes D: Notes for a modeling theory. In Proceedings of the 2006 GIREP conference: Modelling in Physics and Physics Education, E. van den Berg, A. Ellermeijer, and O. Slooten, Eds.2006. Reference Source
10. Hestenes D: Modeling games in the Newtonian world. Am J Phys. 1992;60(8):732-748. 10.1119/1.17080
11. Wikipedia, Computable function- Wikipedia, the free encyclopedia.2014. Reference Source
12. Wikipedia, Three-body problem- Wikipedia, the free encyclopedia.2014. Reference Source
13. Marmaras B Wang JJ: Simulation and visualization of few-body systems and the differential precession of Mercury. Comput Sci Eng. 2014;16(1):42-50. 10.1109/MCSE.2013.73
14. Dowek G: Les métamorphoses du calcul: une étonnante histoire de mathématiques. Paris: Édition Le Pommier.2007. Reference Source
15. Regehr J: A Guide to Undefined Behavior in C and C++. Reference Source
16. Sussman GJ Wisdom J: The role of programming in the formulation of ideas. MIT Artificial Intelligence Laboratory, Tech. Rep. AIM-2002-018.2002. Reference Source
17. Mairson HG: Functional geometry and the traité de lutherie: Functional pearl. In Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programmingser. ICFP '13. New York, NY USA: ACM.2013;123-132. 10.1145/2544174.2500617
18. Backus JW Beeber RJ Best S: The Fortran automatic coding system. In Papers Presented at the February 26-28, 1957, Western Joint Computer Conference: Techniques for Reliability, ser. IRE-AIEE-ACM '57 (Western). New York, NY USA: ACM.1957;188-198. 10.1145/1455567.1455599
19. McCarthy J: Recursive functions of symbolic expressions and their computation by machine, part I. Commun ACM. 1960;3(4):184-195. 10.1145/367177.367199
20. Wikipedia, Undeciphered writing systems. - Wikipedia, the free encyclopedia.2014. Reference Source
21. Victor B: Scientific communication as sequential art.2011. Reference Source
22. Victor B: Explorable explanations.2011. Reference Source
23. Boldo S Jourdan JH Leroy X: A formally-verified C compiler supporting floating-point arithmetic. In ARITH, 21st IEEE International Symposium on Computer Arithmetic. IEEE Computer Society Press.2013;107-115. 10.1109/ARITH.2013.30
24. Ionescu C Jansson P: Testing versus proving in climate impact research. In 18th International Workshop on Types for Proofs and Programs (TYPES 2011), ser. Leibniz International Proceedings in Informatics (LIPIcs), N. A. Danielsson and B. Nordström, Eds., vol. 19. Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.2013;41-54. 10.4230/LIPIcs.TYPES.2011.41
25. 754-2008 - IEEE standard for floating-point arithmetic. 10.1109/IEEESTD.2008.4610935
26. Crockford D: DEC64 number format.2014. Reference Source
27. Schmidt DC: Guest editor's introduction: Model-driven engineering. Computer. 2006;39(2):25-31. 10.1109/MC.2006.58
28. Logg A Mardal KA Wells G: Automated Solution of Differential Equations by the Finite Element Method. ser. Lecture Notes in Computational Science and Engineering.2012; 84. 10.1007/978-3-642-23099-8
29. Orchard D Rice A: A computational science agenda for programming language research. In International Conference on Computational Science,2014. Reference Source
30. Murray Rust P Murray Rust D: Reproducible physical science and the declaratron. In Implementing Reproducible Research, V. Stodden, F. Leisch, and R. D. Peng, Eds. Chapman and Hall/CRC.2014. Reference Source
31. Hinsen K: A data and code model for reproducible research and executable papers. Pro Comput Sci. 2011;4:579-588. 10.1016/j.procs.2011.04.061