Lützow, Laura
Reachset-Conformant Identification: Constructing Data-Driven Abstractions for Safety Verification
2026
Dissertation
147 Seiten

Glaser, Ingo
Automated Metadata Extraction, Semantic Analysis, and Anonymization of German Court Rulings
2025
Dissertation
293 Seiten

Seifi, Sarah
Explainable and Interpretable AI for Sensing Applications
2026
Dissertation
174 Seiten

Jia, Yizhao
Optimization of Four Wave Mixing efficiency in optical waveguides and Optical Phase Conjugation application for dispersion and nonlinear compensation in Optical Transmission Systems
2026
Dissertation
157 Seiten

Chen, Qian
Beyond Quantification: Uncertainty in Predictive Process Monitoring
2026
Dissertation
103 Seiten

Finžgar, Jernej Rudi
Quantum optimization algorithms for near-term hardware
2026
Dissertation
131 Seiten

Fink, Michael
Optimal and Safe Control Strategies Using Set-Based Methods in Model Predictive Control under Uncertainty
2026
Dissertation
155 Seiten

Navarro Avila, Jose Fernando
Image Analysis of Anatomical Structures for Radiation Therapy
2026
Dissertation
186 Seiten

Momeu, Marius
Retrofitting Operating System Security via Commodity Hardware Extensions
2026
Dissertation
151 Seiten

Wagner, Jakob Maximilian
Optimal Control and Finite Element Analysis of the Evolutionary Navier-Stokes Equations
2026
Dissertation
189 Seiten