Oxford Mathematician Alan Lauder works on elliptic curves and modular forms, and methods for constructing points on the former using the latter. Read more here.
Limit theorems for sequential MCMC methods
Finke, A
Doucet, A
Johansen, A
Advances in Applied Probability
volume 52
issue 2
377-403
(15 Jul 2020)
Particle filtering in digital communications
Punskaya, E
Doucet, A
Fitzgerald, W
The Cable and Telecommunications Professionals' Reference: PSTN, IP and Cellular Networks, and Mathematical Techniques
417-434
(01 Jan 2012)
Professor Nick Woodhouse, Emeritus Professor of Mathematics in Oxford and Emeritus Fellow of Wadham College, former Head of the Mathematical Institute and previously President of the Clay Mathematics Institute has been appointed CBE in the 2020 New Year Honours List for services to mathematics.
Ready-made cellular plugs heal skin wounds
Coles, M
Buckley, C
Nature
volume 576
issue 7786
215-216
(27 Nov 2019)
Certified reinforcement learning with logic guidance
Hasanbeig, H
Kroening, D
Abate, A
Artificial Intelligence
volume 322
103949
(Sep 2023)
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
Hasanbeig, M
Jeppu, N
Abate, A
Melham, T
Kroening, D
volume abs/1911.10244
(01 Jan 2019)
Modular Deep Reinforcement Learning with Temporal Logic Specifications.
Yuan, L
Hasanbeig, M
Abate, A
Kroening, D
CoRR
volume abs/1909.11591
(01 Jan 2019)
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems.
Cauchi, N
Laurenti, L
Lahijanian, M
Abate, A
Kwiatkowska, M
Cardelli, L
CoRR
volume abs/1901.01576
(01 Jan 2019)
Logically-Constrained Neural Fitted Q-iteration.
Hasanbeig, M
Abate, A
Kroening, D
AAMAS
2012-2014
(2019)