Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Adapting and Optimizing High Order Seismic Simulations for GPU-based Supercomputers
2024
Dissertation
191 p.
Exploring Hybrid CTC/Attention End-to-End Speech Recognition: Adversarial Robustness, Sinc Convolutions, and CTC Segmentation
2024
Dissertation
165 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.