Biannual Report - Fachbereich Mathematik - Technische Universität ...

4 Theses
4.1 Habilitations
2011
van den Berg, Benno, Categorical semantics of constructive set theory (Thomas Streicher)
2012
Kyed, Mads, Time-Periodic Solutions to the Navier-Stokes Equations (Matthias Hieber)
4.2 PhD Dissertations
2011
Brandenburg, Christian, Adjoint-Based Adaptive Multilevel Shape Optimization based on
Goal-Oriented Error Estimators for the Instationary Navier-Stokes Equations (Stefan
Ulbrich)
Domschke, Pia, Adjoint-Based Control of Model and Discretization Errors for Gas Transport
in Networked Pipelines (Jens Lang)
Fromkorth, Andreas, Konsistenz regressionsbasierter Monte-Carlo-Verfahren zur Optionsbewertung
mit geschätzten Modellen (Michael Kohler)
Gaspar, Jaime da Gama, Proof interpretations:
Kohlenbach)
theoretical and practical aspects (Ulrich
Hansel, Tobias, Fluid flows around moving obstacles: Non-autonomous rotation and fluids
with variable density (Matthias Hieber)
Hartmann, René, Subdivision Surfaces C 2 -schemes and generalized control nets (Ulrich Reif)
Heidrich, Matthias, Conditional Value-at-Risk Optimization for Credit Risk Using Asset Value
Models (Stefan Ulbrich)
Hofmann, Eric Ferdinand Wilhelm, Automorphic Products on Unitary Groups (Jan Hendrik
Bruinier)
Kartzow, Alexander, First-Order Model Checking on Generalisations of Pushdown Graphs
(Martin Otto)
Köhne, Matthias, L p -Theory for Incompressible Newtonian Flows in Weakly Singular Domains
subject to Energy Preserving Boundary Conditions (Dieter Bothe)
Kolb, Oliver, Simulation and Optimization of Gas and Water Supply Networks (Jens Lang)
Mars, Andreas, On the topology and geometry of Kac-Moody groups (Ralf Gramlich)
4 Theses 139