Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
Cattaruzza, D
Abate, A
Schrammel, P
Kroening, D
Lecture Notes in Computer Science: SAS 2015: Static Analysis
volume 9291
312-331
(01 Jan 2015)
Generalised Compositional Theories and Diagrammatic Reasoning
Coecke, B
Duncan, R
Kissinger, A
Wang, Q
volume 181
309-366
(01 Jan 2016)
Thu, 05 Nov 2015
14:00 -
15:00
L5
Multigrid Methods for Nonlinear PDE Systems with Applications in Phase-Field Models
Professor Peter Jimack
(University of Leeds)
Thu, 15 Oct 2015
14:00 -
15:00
L5
Prethermalization and Thermalization in Models with Weak Integrability Breaking
Bertini, B
Essler, F
Groha, S
Robinson, N
Physical Review Letters
volume 115
issue 18
180601
(30 Oct 2015)
Tue, 16 Jun 2015
11:00 -
12:30
N3.12
(Spin) Topological Quantum Field Theory
Thomas Wasserman
(Oxford)
Abstract
This'll be a nice and slow paced introduction to topological quantum field theory in general, and 1-2-3 dimensional theories in particular. If time permits I will explain the spin version of these and their connection to physics. There will be lots of pictures.
Congratulations to Dr Catherine Wilkins from Oxford Mathematics who has won a MPLS (Mathematical Physical and Life Sciences Division) award for teaching excellence. Oxford Teaching Awards are given either to individuals or to teams as a public acknowledgement of excellence in teaching and learning.
Wed, 17 Jun 2015
11:00
11:00
C5
Patrick Farrell, Early Career Research Fellow in Applied Mathematics in Oxford, together with colleagues from the Simula Research Laboratory and Imperial College London, has won this year's 2015 Wilkinson Prize.
Search for Prompt Neutrino Emission from Gamma-Ray Bursts with IceCube
Aartsen
Ackermann, M
Adams, J
Sarkar, S
Astrophysical Journal Letters
volume 805
issue 1
L5-L5
(15 May 2015)