Book contents
- Frontmatter
- Contents
- List of contributors
- Preface
- 1 Determinacy in a synchronous π-calculus
- 2 Classical coordination mechanisms in the chemical model
- 3 Sequential algorithms as bistable maps
- 4 The semantics of dataflow with firing
- 5 Kahn networks at the dawn of functional programming
- 6 A simple type-theoretic language: Mini-TT
- 7 Program semantics and infinite regular terms
- 8 Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations
- 9 Generalized finite developments
- 10 Semantics of program representation graphs
- 11 From Centaur to the Meta-Environment: a tribute to a great meta-technologist
- 12 Towards a theory of document structure
- 13 Grammars as software libraries
- 14 The Leordo computation system
- 15 Theorem-proving support in programming language semantics
- 16 Nominal verification of algorithm W
- 17 A constructive denotational semantics for Kahn networks in Coq
- 18 Asclepios: a research project team at INRIA for the analysis and simulation of biomedical images
- 19 Proxy caching in split TCP: dynamics, stability and tail asymptotics
- 20 Two-by-two static, evolutionary, and dynamic games
- 21 Reversal strategies for adjoint algorithms
- 22 Reflections on INRIA and the role of Gilles Kahn
- 23 Can a systems biologist fix a Tamagotchi?
- 24 Computational science: a new frontier for computing
- 25 The descendants of Centaur: a personal view on Gilles Kahn's work
- 26 The tower of informatic models
- References
24 - Computational science: a new frontier for computing
Published online by Cambridge University Press: 06 August 2010
Book contents
- Frontmatter
- Contents
- List of contributors
- Preface
- 1 Determinacy in a synchronous π-calculus
- 2 Classical coordination mechanisms in the chemical model
- 3 Sequential algorithms as bistable maps
- 4 The semantics of dataflow with firing
- 5 Kahn networks at the dawn of functional programming
- 6 A simple type-theoretic language: Mini-TT
- 7 Program semantics and infinite regular terms
- 8 Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations
- 9 Generalized finite developments
- 10 Semantics of program representation graphs
- 11 From Centaur to the Meta-Environment: a tribute to a great meta-technologist
- 12 Towards a theory of document structure
- 13 Grammars as software libraries
- 14 The Leordo computation system
- 15 Theorem-proving support in programming language semantics
- 16 Nominal verification of algorithm W
- 17 A constructive denotational semantics for Kahn networks in Coq
- 18 Asclepios: a research project team at INRIA for the analysis and simulation of biomedical images
- 19 Proxy caching in split TCP: dynamics, stability and tail asymptotics
- 20 Two-by-two static, evolutionary, and dynamic games
- 21 Reversal strategies for adjoint algorithms
- 22 Reflections on INRIA and the role of Gilles Kahn
- 23 Can a systems biologist fix a Tamagotchi?
- 24 Computational science: a new frontier for computing
- 25 The descendants of Centaur: a personal view on Gilles Kahn's work
- 26 The tower of informatic models
- References
Summary
Abstract
In 2005 Gilles Kahn discussed with Rick Rashid, Stephen Emmott and myself a proposal for Microsoft Research, Cambridge and INRIA to establish a joint research laboratory in France, building on the long-term informal collaboration between the two institutions. The research focus of the joint laboratory was an important point of discussion. In addition to building on our mutual strengths in areas such as software specification an important topic was a shared desire to create a programme of researching the area of computational science – using the concepts and methods of computer science to accelerate the pace of scientific development and explore the potential for new approaches to science exploiting computer science concepts and methods. This paper explores what computational science is and the contribution it can make to scientific progress. It is in large part abridged from a report “Towards 2020 Science” published by a group of experts assembled by Microsoft Research who met over three intense days to debate and consider the role and future of science, looking towards 2020 and, in particular, the importance and impact of computing and computer science in that vision.
Introduction
Computers have played an increasingly important role in science for 50 years. At the end of the twentieth century there was a transition from computers supporting scientists to do conventional science to computer science itself becoming part of the fabric of science and how science is done.
Information
- Type
- Chapter
- Information
- From Semantics to Computer ScienceEssays in Honour of Gilles Kahn, pp. 529 - 546Publisher: Cambridge University PressPrint publication year: 2009
References
[1] (ed.). Towards 2020 Science, available from http://www.research.microsoft.com/towards2020science.
[2] and . Pastry: scalable, distributed object location and routing for large scale peer-to-peer systems. IFIP/ACM International Conference on Distributed System Platforms (Middleware), Heidelberg, Germany pp. 329–350, November 2001.Google Scholar
[4]. Online Data and Scientific Progress: Content in Cyberin-frastructure. http://archiv.twoday.net/stories/337419/, 2004 [Accessed 6 December 2005].
[5], , , , and . Scientific Data Management in the Coming Decade. Technical Report MSR-TR-2005-10, Microsoft Research, 2005.
[6], and . The automatic discovery of structural principles describing protein fold space. J. Mol. Biol. 330(4):839–850, 2003.Google Scholar
[7] and . Structure Activity Relationships (SAR) and pharmacophore discovery using inductive logic programming (ILP). QSAR Comb. Sci. 22:527–532, 2003.Google Scholar
[8], , and . Support vector inductive logic programming. In Proc. 8th International Conference on Discovery Science, volume 3735, Lecture Notes in Artificial Intelligence, pp. 163–175. Springer Verlag, 2005.Google Scholar
[9], and . Automated discovery in a chemistry laboratory. In Proc. 8th National Conference on Artificial Intelligence, Boston, MA, USA, pp. 889–894, AAAI Press, MIT Press, 1990.Google Scholar
[10], , , et al. Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427:247–252, 2004.Google Scholar
[11], , , et al. Programmable cells: interfacing natural and engineered gene networks. Proc. Nat. Acad. Sci., USA, 101(22):8414–8419, 2004.Google Scholar
[12], , , and . Spatiotemporal control of gene expression with pulse generating networks. Proc. Nat. Acad. Sci., USA 101(17):6355–6360, 2004.Google Scholar
Accessibility standard: Unknown
Why this information is here
This section outlines the accessibility features of this content - including support for screen readers, full keyboard navigation and high-contrast display options. This may not be relevant for you.Accessibility Information
Accessibility compliance for the PDF of this chapter is currently unknown
and may be updated in the future.