Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Evaluation of Risks and Security Controls for Industrial Components within Connected Manufacturing
2024
Dissertation
374 p.
Turbulence simulations of the high confinement mode pedestal in tokamak fusion experiments
2024
Dissertation
210 p.
Learning to Learn Neural Representations with Limited Data and Supervision
2024
Dissertation
183 p.
The Generation and Application of Synthetic Photoacoustic Absorption Spectra for Machine Learning
2024
Dissertation
196 p.