100% renewable energy by 2050? This is an ambitious vision that will need significant change to our energy systems. It will require the development of an integrated power grid and continuous and steady transformation of the UK power system can only happen if fundamental interdisciplinary research...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Thu 24 Jan 2019

During 2012 the Newton Institute is planning a number of events to celebrate the 20th anniversary. Also includes events organised for the centenary celebration of the life and work of Alan Turing.

Read more @ http://www.newton.ac.uk/20/
Alan Turing Year:...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Thu 27 Oct 2011

(No description)

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Wed 26 Jul 2017

We are a national and international visitor research centre and run research programmes on selected themes in mathematical sciences, with applications in a wide range of science and technology. www.newton.ac.uk

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Wed 22 Jun 2011

The Newton Gateway to Mathematics acts as a knowledge intermediary for the mathematical sciences. It is the impact initiative of the Isaac Newton Institute for Mathematical Sciences (INI). Supported by INI and the University of Cambridge, the Newton Gateway to Mathematics reaches out to and engages...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Thu 24 Jan 2019

In recent years there has been an explosion of complex data-sets in areas as diverse as Bioinformatics, Ecology, Epidemiology, Finance and Population genetics. In a wide variety of these applications, the stochastic models devised to realistically represent the data generating processes are very...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Fri 25 Apr 2014

Lie theory has profound connections to many areas of pure and applied mathematics and mathematical physics. In the 1950s, the original "analytic" theory was extended so that it also makes sense over arbitrary algebraically closed fields, in particular, fields of positive characteristic....

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Thu 12 Mar 2009

Next generation (Quantum) computers promise to speed up some mathematical processes by orders of magnitude, but new algorithms and software will need to be developed to exploit this power. Although general-purpose quantum computers are some years away, work should start on the software now. As...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Fri 16 Mar 2018

Analysis on graphs and other discrete structures has been developing for quite some time, in particular due to applications to number theory, algebra, probability theory, spectral geometry, as well as to its usefulness in many practical problems. This area, however, has experienced recently a...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Mon 3 Sep 2007

(No description)

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Fri 23 May 2014

Programme Theme


Approximation theory is the study of simulating potentially extremely complicated functions, called target functions, with simpler, more easily computable functions called approximants. The purpose of the simulation could be to approximate values of the target function with...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Tue 12 Feb 2019

The ability to collect and store data has increased exponentially in recent years. So too have the challenges around managing the huge volumes generated and trying to extract meaningful information from it. However, it’s universally acknowledged that such ‘Big Data’ has the potential to transform...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Thu 1 Mar 2018

Proofs as constructive demonstrations of mathematical validity have been at the heart of mathematics since antiquity. Formal proof systems capture the definitions, statements, and proofs of mathematical discourse using precisely defined formal languages and rules of inference. Formal proofs have...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Wed 19 Jul 2017

Wednesday 19th July 2017
The Alan Turing Institute
London
United Kingdom
Background

Formal proof systems have been used as constructive demonstrations of mathematical validity for millennia. The generally agreed criteria for formal proofs are that they should have reproducibility (easily...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Wed 2 Aug 2017

Discover centuries of science at the Cambridge Science Festival.
Read more at: http://comms.group.cam.ac.uk/sciencefestival/

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Sat 21 Mar 2009

The Cambridge Statistics Initiative (CSI) will host a third Special One-Day meeting, jointly organised with the Design and Analysis of Experiments programme at the Isaac Newton Institute for Mathematical Sciences. This is part of continuing efforts to bring together statisticians from various...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Wed 5 Oct 2011

The Cantab Capital Institute for the Mathematics of Information (CCIMI) will hold an Industry engagement day in November 2017. This event aims to showcase the research that is being carried out at the Institute and will present an opportunity to hear in detail about some of the current project...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Thu 23 Nov 2017

Predicting physiological behaviour from experimental data combined with environmental influences is a compelling, but unfulfilled, goal of post-genomic biology. This undeniably ambitious goal is the aim of the Physiome Project and its subset the Cardiome Project which is an international effort to...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Wed 22 Jul 2009

A showcase of seminars from the Isaac Newton Institute programme 'Mathematical and Statistical Approaches to Climate Modelling and Prediction'.
For more information visit: http://www.newton.ac.uk/programmes/CLP/

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Mon 13 Dec 2010

The past half-decade has seen an increasing interaction between combinatorialists, probabilists, computer scientists and theoretical physicists concerned broadly with the study of "probability theory on graphs" or "statistical mechanics on graphs".

The programme will build on this...

Institution: Isaac Newton Institute for Mathematical Sciences

Created: Tue 18 Mar 2008