User: Guest  Login
Sort by:
and:
next

Wimmer, Simon
Trustworthy Verification of Realtime Systems
2020
Dissertation
177 p.
Künzner, Florian
Efficient non-intrusive uncertainty quantification for large-scale simulation scenarios
2021
Dissertation
224 p.
Bojchevski, Aleksandar
Machine Learning on Graphs in the Presence of Noise and Adversaries
2020
Dissertation
204 p.
Eberl, Manuel
Asymptotic Reasoning in a Proof Assistant
2021
Dissertation
138 p.
Röhner, Kilian Michael
Learning from Data with Geometry-Aware Sparse Grids
2020
Dissertation
200 p.
Kumaraswamy, Madhura
Automatic Analysis and Exploitation of Dynamism for Energy-Efficient HPC Applications
2020
Dissertation
157 p.
Rippl, Michael
Parallel Algorithms for the Solution of Banded Symmetric Generalized Eigenvalue Problems
2020
Dissertation
181 p.
Kern, Michael Alexander
Visualization of Coherence and Variation in Meteorological Dynamics
2020
Dissertation
156 p.
Xu, Han
Demo Engineering: Using Software Theater for Exploratory Projects
2021
Dissertation
129 p.
Löbel, Raphaela
Linear Tree Transducers
2020
Dissertation
120 p.
Sort by:
and:
next