Tue, 01 Dec 2015
15:00
L1

Data Assimilation for Weather Forecasting: Reducing the Curse of Dimensionality

Professor Philippe Toint
(University of Namur)
Abstract
Weather prediction and, more generally, data assimilation in earth sciences, set a significant computing challenge 
because the size of the problem involved is very large.  The talk discusses algorithmic aspects related to the numerical 
solution of such problems and, in particular, focusses on how the lower dimensionality of the (dual) observation space 
may be used to advantage for computing a primal solution.  This is achieved both by adapting the preconditioned 
conjugate gradient and trust-region algorithms to dual space and by reducing the dimensionality of the latter as much 
as possible using observation hierarchies.
 
 
Mon, 30 Nov 2015

17:00 - 18:00
L1

Slightly Rubbish Modular Ax-Lindemann

Haden Spence
(Oxford University)
Abstract

In quite an elementary, hands-on talk, I will discuss some Ax-Lindemann type results in the setting of modular functions.  There are some very powerful results in this area due to Pila, but in nonclassical variants we have only quite weak results, for a rather silly reason to be discussed in the talk.

Combining existential rules and description logics
Amarilli, A Benedikt, M Ijcai International Joint Conference on Artificial Intelligence volume 2015-January 2691-2697 (01 Jan 2015)
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Cattaruzza, D Abate, A Schrammel, P Kroening, D volume 9291 312-331 (2015)
Logical Approaches to Query Optimization over Web-Based Sources.
Benedikt, M AMW volume 1189 (2014)
Abstract Tensor Systems as Monoidal Categories
Kissinger, A Lecture Notes in Computer Science volume 8222 235-252 (2014)
Tensors, !-graphs, and non-commutative quantum structures
Kissinger, A Quick, D Electronic Proceedings in Theoretical Computer Science volume 172 56-67 (28 Dec 2014)
Contextuality, Cohomology and Paradox.
Abramsky, S Barbosa, R Kishida, K Lal, R Mansfield, S CSL volume 41 211-228 (2015)
Games for Dependent Types
Abramsky, S Jagadeesan, R Vákár, M Lecture Notes in Computer Science volume 9135 31-43 (20 Jun 2015)
Relational Databases and Bell’s Theorem
Abramsky, S Lecture Notes in Computer Science volume 8000 13-35 (2013)
Subscribe to