A Cholesky QR type algorithm for computing tall-skinny QR factorization with column pivoting
Fukaya, T
Nakatsukasa, Y
Yamamoto, Y
volume 00
63-75
(31 May 2024)
Kinetic derivation of an inviscid compressible Leslie-Ericksen equation for rarified calamitic gases
Farrell, P
Zerbinati, U
Multiscale Modeling and Simulation
volume 22
issue 4
1585-1607
(04 Dec 2024)
Farmer‐led badger vaccination in Cornwall: Epidemiological patterns and social perspectives
Woodroffe, R
Astley, K
Barnecut, R
Brotherton, P
Donnelly, C
Grub, H
Ham, C
Howe, C
Jones, C
Marriott, C
Miles, V
Rowcliffe, M
Shelley, T
Truscott, K
People and Nature
(05 Aug 2024)
Thu, 24 Oct 2024
14:00 -
15:00
(This talk is hosted by Rutherford Appleton Laboratory)
Machine learning in solution of inverse problems: subjective perspective
Marta Betcke
(University College London)
Abstract
Following the 2012 breakthrough in deep learning for classification and visions problems, the last decade has seen tremendous raise of interest in machine learning in a wider mathematical research community from foundational research through field specific analysis to applications.
As data is at the core of any inverse problem, it was a natural direction for the field to investigate how machine learning could aid various aspects of inversion yielding numerous approaches from somewhat ad-hoc but very effective like learned unrolled methods to provably convergent learned regularisers with everything in between. In this talk I will review some on these developments through a lens of the research of our group.
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
Badings, T
Romao, L
Abate, A
Jansen, N
volume 00
564-570
(28 Jun 2024)
LTL Model Checking for Verification of Electronic Medical Record (EMR) Design
Taryana, A
Adzkiya, D
Mufid, M
Mukhlash, I
Abate, A
Applied and Computational Mathematics
volume 455
283-297
(25 Jul 2024)
Stochastic Omega-Regular Verification and Control with Supermartingales
Abate, A
Giacobbe, M
Roy, D
Computer Aided Verification
volume 14683
395-419
(26 Jul 2024)
Arbeitsgemeinschaft: QFT and Stochastic PDEs
Bauerschmidt, R
Gubinelli, M
Hairer, M
Shen, H
Oberwolfach Reports
volume 20
issue 4
3319-3370
(23 Jul 2024)