Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 Seiten
Exploring Hybrid CTC/Attention End-to-End Speech Recognition: Adversarial Robustness, Sinc Convolutions, and CTC Segmentation
2024
Dissertation
165 Seiten
Evaluation of Risks and Security Controls for Industrial Components within Connected Manufacturing
2024
Dissertation
374 Seiten
The Generation and Application of Synthetic Photoacoustic Absorption Spectra for Machine Learning
2024
Dissertation
196 Seiten
Analysing Neuro-Dynamic Programming Through Non-Convex Optimisation
2024
Dissertation
166 Seiten
Design Space Exploration for Approximate Image Processing on FPGAs
2023
Dissertation
186 Seiten