Mon, 24 Apr 2017

15:45 - 16:45
L6

Heegaard Floer homology and deformation of curve singularities

Marco Golla
Abstract

Knots and links naturally appear in the neighbourhood of the singularity of a complex curve; this creates a bridge between algebraic geometry and differential topology. I will discuss a topological approach to the study of 1-parameter families of singular curves, using correction terms in Heegaard Floer homology. This is joint work with József Bodnár and Daniele Celoria.

Automated formal synthesis of digital controllers for state-space physical plants
Abate, A Bessa, I Cattaruzza, D Cordeiro, L David, C Kesseli, P Kroening, D Polgreen, E 29th International Conference on Computer-Aided Verification (01 Jul 2017)
Tue, 23 May 2017
14:30
L5

The 2017 Problem Solving Squad

Problem Solving Squad (Roberts, Wechsung, Roy et al.)
(Mathematical Institute)
Abstract

Each year Prof. Trefethen gives the Problem Solving Squad a sequence of problems with no hints, one a week, where the solution of each problem is a single real number to be computed by any method available.  We will present this year's three problems, involving (1) an S-shaped bifurcation curve, (2) shortest path around a random web, and (3) switching a time-varying system to maximize a matrix norm.

 

The 14 students this year are Simon Vary plus InFoMM cohort 2: Matteo Croci, Davin Lunz, Michael McPhail, Tori Pereira, Lindon Roberts, Caoimhe Rooney, Ian Roper, Thomas Roy, Tino Sulzer, Bogdan Toader, Florian Wechsung, Jess Williams, and Fabian Ying.  The presentations will be by (1) Lindon Roberts, (2) Florian Wechsung, and (3) Thomas Roy.

On the effect of neoclassical flows on intrinsic momentum in ASDEX Upgrade Ohmic L-mode plasmas
Hornsby, W Angioni, C Fable, E Manas, P McDermott, R Peeters, A Barnes, M Parra, F Nuclear Fusion volume 57 issue 4 046008 (01 Apr 2017)
Tue, 30 May 2017
14:30
L5

New approaches for global optimization methods

Adilet Otemisov
(Mathematical Institute and Alan Turing Institute)
Abstract


We present some dimensionality reduction techniques for global optimization algorithms, in order to increase their scalability. Inspired by ideas in machine learning, and extending the approach of random projections in Zhang et al (2016), we present some new algorithmic approaches for global optimisation with theoretical guarantees of good behaviour and encouraging numerical results.
 

On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context
Bian, G Abate, A Lecture Notes in Computer Science volume 10203 321-337 (16 Mar 2017)
Key data for outbreak evaluation: building on the Ebola experience
Cori, A Donnelly, C Dorigatti, I Ferguson, N Fraser, C Garske, T Jombart, T Nedjati-Gilani, G Nouvellet, P Riley, S Van Kerkhove, M Mills, H Blake, I Philosophical Transactions B: Biological Sciences volume 372 issue 1721 (10 Apr 2017)
Heterogeneities in the case fatality ratio in the West African Ebola outbreak 2013-2016.
Garske, T Cori, A Ariyarajah, A Blake, I Dorigatti, I Eckmanns, T Fraser, C Hinsley, W Jombart, T Mills, H Nedjati-Gilani, G Newton, E Nouvellet, P Perkins, D Riley, S Schumacher, D Shah, A Van Kerkhove, M Dye, C Ferguson, N Donnelly, C Philosophical Transactions of the Royal Society B: Biological Sciences volume 372 issue 1721 1-9 (26 May 2017)
Preface
Benedikt, M Orsi, G Leibniz International Proceedings in Informatics, LIPIcs volume 68 vii-vii (01 Mar 2017)
Subscribe to