Thu, 17 Nov 2005

14:00 - 15:00
Comlab

Fast image inpainting (based on coherent transport)

Prof Folkmar Bornemann
(Technical University of Munich)
Abstract

Image Inpainting turns the art of image restoration, retouching, and disocclusion into a computer-automated trade. Mathematically, it may be viewed as an interpolation problem in BV, SBV, or other fancy function spaces thought suitable for digital images. It has recently drawn the attention of the numerical PDE community, which has led to some impressive results. However, stability restrictions of the suggested explicit schemes so far yield computing times that are next to prohibitive in the realm of interactive digital image processing. We address this issue by constructing an appropriatecontinuous energy functional that combines the possibility of a fast discrete minimization with high perceptible quality of the resulting inpainted images.

The talk will survey the background of the inpainting problem and prominent PDE-based methods before entering the discussion of the suggested new energy functional. Many images will be shown along the way, in parts with online demonstrations.

This is joint work with my student Thomas März.

Tue, 15 Nov 2005
11:00
DH 3rd floor SR

A quantitative, computer assisted, version of Jakobson's theorem on the occurrence of stochastic dynamics in one-dimensional dyn

Dr Stefano Luzzatto
Abstract

We formulate and prove a Jakobson-Benedicks-Carleson type theorem on the occurrence of nonuniform hyperbolicity (stochastic dynamics) in families of one-dimensional maps, based on computable starting conditions and providing explicit, computable, lower bounds for the measure of the set of selected parameters. As a first application of our results we obtain a first ever explicit lower bound for the set of parameters corresponding to maps in the quadratic family f_{a}(x) = x^{2}-a which have an absolutely continuous invariant probability measure.

Mon, 14 Nov 2005
15:30
SR2

Type categories and compactifications

Robin Knight
(Oxford)
Abstract
With a theory in a logical language is associated a {\it type category}, which is a collection of topological spaces with appropriate functions between them. If the language is countable and first-order, then the spaces are compact and metrisable. If the language is a countable fragment of $L_{\omega_1,\omega}$, and so admits some formulae of infinite length, then the spaces will be Polish, but not necessarily compact.

We describe a machine for turning theories in the more expressive $L_{\omega_1,\omega}$ into first order, by using a topological compactification. We cannot hope to achieve an exact translation; what we do instead is create a new theory whose models are the models of the old theory, together with countably many extra models which are generated by the extra points in the compactification, and are very easy to describe.

We will mention one or two applications of these ideas.
 
Mon, 14 Nov 2005
14:15
DH 3rd floor SR

tba

Mr Christian Litterer
(Mathematical Institute, Oxford)
Thu, 10 Nov 2005

14:00 - 15:00
Rutherford Appleton Laboratory, nr Didcot

Sensitivity issues for least-squares problems

Dr Serge Gratton
(CERFACS)
Abstract

Alan Turing introduced the sensitivity of the solution of a numerical problem to changes in its data as a way to measure the difficulty of solving the problem accurately. Condition numbers are now considered fundamental to sensitivity analysis. They have been used to measure the mathematical difficulty of many linear algebra problems, including linear systems, linear least-squares, and eigenvalue problems. By definition, unless exact arithmetic is used, it is expected to be difficultto accurately solve an ill-conditioned problem.

In this talk we focus on least-squares problems. After a historical overview of condition number for least-squares, we introduce two related condition numbers. The first is the partial condition number, which measures the sensitivity of a linear combination of the components of the solution. The second is related the truncated SVD solution of the problem, which is often used when the matrix is nearly rank deficient.

Throughout the talk we are interested in three types of results :closed formulas for condition numbers, sharp bounds and statistical estimates.