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)
Thu, 01 Jun 2017
16:00
L6

Local epsilon-isomorphisms in families

Rebecca Bellovin
(Imperial College, London)
Abstract

Given a representation of Gal_{Q_p} with coefficients in a p-adically complete local ring R, Fukaya and Kato have conjectured the existence of a canonical trivialization of the determinant of a certain cohomology complex.  When R=Z_p and the representation is a lattice in a de Rham representation, this trivialization should be related to the \varepsilon-factor of the corresponding Weil--Deligne representation.  Such a trivialization has been constructed for certain crystalline Galois representations, by the work of a number of authors. I will explain how to extend these trivializations to certain families of crystalline Galois representations.  This is joint work with Otmar Venjakob.

Subscribe to