Particle filtering in digital communications
Punskaya, E
Doucet, A
Fitzgerald, W
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)
Trapped orbits and solar-neighbourhood kinematics
Binney, J
Monthly Notices of the Royal Astronomical Society
volume 495
issue 1
895-904
(11 Jun 2020)
Angle-action variables for orbits trapped at a Lindblad resonance
Binney, J
Monthly Notices of the Royal Astronomical Society
volume 495
issue 1
886-894
(11 Jun 2020)