Skip to main content Accessibility help
×
Hostname: page-component-76fb5796d-vvkck Total loading time: 0 Render date: 2024-04-28T01:00:55.784Z Has data issue: false hasContentIssue false

24 - Computational science: a new frontier for computing

Published online by Cambridge University Press:  06 August 2010

Andrew Herbert
Affiliation:
Microsoft Research, Cambridge, United Kingdom
Yves Bertot
Affiliation:
INRIA-Sophia Antipolis, France
Gérard Huet
Affiliation:
Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
Jean-Jacques Lévy
Affiliation:
Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
Gordon Plotkin
Affiliation:
University of Edinburgh
Get access

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.

Type
Chapter
Information
From Semantics to Computer Science
Essays in Honour of Gilles Kahn
, pp. 529 - 546
Publisher: Cambridge University Press
Print publication year: 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]S., Emmott (ed.). Towards 2020 Science, available from http://www.research.microsoft.com/towards2020science.
[2]A., Rowstron and P., Druschel. 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
[3]C., Ferris and J., Farrell. What are web services? CACM 46(6):31, 2003.Google Scholar
[4]M., Lesk. Online Data and Scientific Progress: Content in Cyberin-frastructure. http://archiv.twoday.net/stories/337419/, 2004 [Accessed 6 December 2005].
[5]J., Gray, D. T., Liu, M., Nieto-Santisteban, A. S., Szalay, D. De, Wiit and G., Heber. Scientific Data Management in the Coming Decade. Technical Report MSR-TR-2005-10, Microsoft Research, 2005.
[6]A. P., Cootes, S. H., Muggleton and M. J., Sternberg. The automatic discovery of structural principles describing protein fold space. J. Mol. Biol. 330(4):839–850, 2003.Google Scholar
[7]M. J. E., Stermberg and S. H., Muggleton. Structure Activity Relationships (SAR) and pharmacophore discovery using inductive logic programming (ILP). QSAR Comb. Sci. 22:527–532, 2003.Google Scholar
[8]S. H., Muggleton, H., Lodhi, A., Amini and M. J. E., Sternberg. 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]J. M., Zytkow, J., Zhu and A., Hussam. 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]R. D., King, K. E., Whelan, F. M., Jones, et al. Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427:247–252, 2004.Google Scholar
[11]H., Kobayashi, M., Kaern, M., Araki, et al. Programmable cells: interfacing natural and engineered gene networks. Proc. Nat. Acad. Sci., USA, 101(22):8414–8419, 2004.Google Scholar
[12]S., Basu, R., Mehreja, S., Thiberge, M.-T., Chen and R., Weiss. Spatiotemporal control of gene expression with pulse generating networks. Proc. Nat. Acad. Sci., USA 101(17):6355–6360, 2004.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×