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