Theses / Dissertations

2025

Time integration of highly oscillatory nonlinear Dirac equations. PhD dissertation
Kirn, M.
2025, October 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000185176
Nonlinear Generalized Impedance Boundary Conditions in Inverse Scattering. PhD dissertation
Fink, L.
2025, September 26. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000185084
Uncertainty principles for inverse source and inverse scattering problems. PhD dissertation
Schätzle, L.
2025, July 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000183022
The Numerical Scheme of Approximate Inverse for 2D Linear Seismic Imaging. PhD dissertation
Ganster, K.
2025, June 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000182156
Numerical Methods and Machine Learning for Prompt-Gamma Neutron Activation Analysis. PhD dissertation
Jesser, A.
2025, May 22. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000181887
Light propagation in free-form dielectric waveguides: a modal perspective. PhD dissertation
Paszkiewicz-Idzik, M. B.
2025, May 16. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000181775
Modeling and Simulation of Suspension Dynamics Capturing Shapes and Contacts – With Applications. PhD dissertation
Marquardt, J. E.
2025, March 26. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000180411

2024

Simplified methods for transmission computation in 2D curved optical waveguides. PhD dissertation
Sukhova, M.
2024, December 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000177539
Modellierung und Simulation chemisch-mechanisch gekoppelter Prozesse in Batterie-Aktivmaterialpartikeln. PhD dissertation
Schoof, R.
2024, November 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000176102
Semi-Analytical Integration in Molecular Dynamics. PhD dissertation
Kliesch, T.
2024, August 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000172874
Fundamental Investigation of Particle-Layer Rearrangement Events in Ceramic Wall-Flow Filters – Resolved Particle Simulations with Lattice Boltzmann Methods. PhD dissertation
Hafen, N.
2024, February 27. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000168524
All-At-Once and Reduced Solvers for Visco-Acoustic Full Waveform Inversion. PhD dissertation
Rheinbay, C. C.
2024, January 24. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167623

2023

ParaDiag and Collocation Methods: Theory and Implementation. PhD dissertation
Caklovic, G.
2023, November 28. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000164518
Lattice Boltzmann Methods for Partial Differential Equations. PhD dissertation
Simonis, S.
2023, September 13. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161726
Electromagnetic scattering from thin tubular objects and an application in electromagnetic chirality. PhD dissertation
Knöller, M.
2023, August 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161368
Monotonicity methods for inverse scattering problems. PhD dissertation
Albicker, A.
2023, July 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000160690
Synergies between Numerical Methods for Kinetic Equations and Neural Networks. PhD dissertation
Schotthöfer, S.
2023, June 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000158838
A Fully Parallelized and Budgeted Multi-level Monte Carlo Framework for Partial Differential Equations: From Mathematical Theory to Automated Large-Scale Computations. PhD dissertation
Baumgarten, N.
2023, May 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000158415
Uncertainty quantification and numerical methods in charged particle radiation therapy. PhD dissertation
Stammer, P.
2023, May 4. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000158316

2022

Methodisch-didaktische Entwicklung und Evaluation von interaktiven Lehr- und Lernmaterialien zur Mathematik im Bereich der Klimaforschung. PhD dissertation
Hattebuhr, M.
2022, October 21. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151547
Multi-level stochastic collocation methods for parabolic and Schrödinger equations. PhD dissertation
Stein, B.
2022, October 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151254
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle. PhD dissertation
Wunderlich, J. M.
2022, September 23. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000150609
A segregated finite element method for cardiac elastodynamics in a fully coupled human heart model. PhD dissertation
Fröhlich, J. S.
2022, September 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000150230
High-frequency wave-propagation: error analysis for analytical and numerical approximations. PhD dissertation
Baumstark, J.
2022, August 24. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000149719
On dynamical low-rank integrators for matrix differential equations. PhD dissertation
Schrammer, S.
2022, August 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000148853
On leapfrog-Chebyshev schemes for second-order differential equations. PhD dissertation
Carle, C.
2022, June 23. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000147725
A Hierarchical Solver for Time-Harmonic Maxwell’s Equations. PhD dissertation
Kraft, P.
2022, May 18. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000146324
Anwendung der Finite-Elemente-Heterogene-Multiskalen-Methode auf thermische Prozesse in großformatigen Lithium-Ionen-Batterien. PhD dissertation
Veszelka, Z.
2022, March 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000143667

2021

Numerical Investigation of Cahn-Hilliard-Type Phase-Field Models for Battery Active Particles. PhD dissertation
Castelli, G. F.
2021, December 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000141249
Didaktisch-methodische Entwicklung und Evaluation von computergestützten Lehr- und Lernmaterialien zur Mathematik inverser Probleme. PhD dissertation
Wohak, K.
2021, August 24. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000136535
The Maxwell-Landau-Lifshitz-Gilbert System: Mathematical Theory and Numerical Approximation. PhD dissertation
Bohn, J. A.
2021, July 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000133728
A unified error analysis for the numerical solution of nonlinear wave-type equations with application to kinetic boundary conditions. PhD dissertation
Leibold, J.
2021, March 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000130222
Error Analysis of Exponential Integrators for Nonlinear Wave-Type Equations. PhD dissertation
Dörich, B.
2021, March 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000130187
Numerical homogenization of time-dependent Maxwell’s equations with dispersion effects. PhD dissertation
Freese, J. P.
2021, February 4. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129214
Theory, models, and numerical methods for classical and non-classical transport. PhD dissertation
Camminady, T.
2021, February 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000128846
Multilingual Sequence-To-Sequence Speech Recognition. master’s thesis
Gremmelmaier, H.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000166138

2020

A hybrid weakly conforming finite element method for applications in solid mechanics. PhD dissertation
Krämer, J. G.
2020, December 16. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000127572
Combining computational fluid dynamics and magnetic resonance imaging data using lattice Boltzmann based topology optimisation. PhD dissertation
Klemens, F.
2020, November 2. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000125499
Error analysis for space and time discretizations of quasilinear wave-type equations. PhD dissertation
Maier, B.
2020, July 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000120935
A parallel and adaptive space-time discontinuous Galerkin method for visco-elastic and visco-acoustic waves. PhD dissertation
Ziegler, D. A.
2020, March 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000110469
Sample-Incremental Meta-Learning: Weight-Mapping with Deep Learning. master’s thesis
Huber, C.; Waibel, A.; Thäter, G.; Hussain, J.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000166145
Seismic Imaging with the Elliptic Radon Transform in 3D: Analytical and Numerical Aspects. PhD dissertation
Grathwohl, C.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105093

2019

Communication Optimization by Data Replication for Distributed Graph Algorithms. master’s thesis
Ribizel, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000124307
Reconstructing the Shape and Measuring Chirality of Obstacles in Electromagnetic Scattering. PhD dissertation
Hagemann, F. P.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100295
Scattering of time-harmonic electromagnetic waves involving perfectly conducting and conductive transmission conditions. PhD dissertation
Cramer, E.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100133
A discontinuous Galerkin method for continuum dislocation dynamics in a fully-coupled elastoplasticity model. PhD dissertation
Wagner, L.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096183
The Viscoelastic Seismic Model: Existence, Uniqueness and Differentiability with Respect to Parameters. PhD dissertation
Zeltmann, U. C.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000093989
The Peaceman–Rachford ADI-dG method for linear wave-type problems. PhD dissertation
Köhler, J.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000089271
Fehleranalyse von auf trigonometrischen Integratoren basierenden Splittingverfahren für hochoszillatorische, semilineare Probleme. PhD dissertation
Buchholz, S. F.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000088935

2018

Uniformly Accurate Methods for Klein-Gordon type Equations. PhD dissertation
Baumstark, S.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000087180
Space-Time Methods for Acoustic Waves with Applications to Full Waveform Inversion. PhD dissertation
Ernesti, J.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000082807

2017

Transmission Eigenvalues for Periodic Media. PhD dissertation
Stompe, J. A.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000076507
Numerical Integrators for Maxwell-Klein-Gordon and Maxwell-Dirac Systems in Highly to Slowly Oscillatory Regimes. PhD dissertation
Krämer, P.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000076449
A parallel elastic and inelastic heterogeneous multiscale method for rate-independent materials. PhD dissertation
Shirazi Nejad, R.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000074054
Time-integration methods for a dispersion-managed nonlinear Schrödinger equation. PhD dissertation
Mikl, M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000071577
A unified error analysis for spatial discretizations of wave-type equations with applications to dynamic boundary conditions. PhD dissertation
Hipp, D.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070952
Halfspace Matching: a Domain Decomposition Method for Scattering by 2D Open Waveguides. PhD dissertation
Ott, J.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070898
Locally Implicit Time Integration for Linear Maxwell’s Equations. PhD dissertation
Sturm, A.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000069341
Numerical simulation of a highly underexpanded carbon dioxide jet. PhD dissertation
Galeano, C.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000068494
On Multiscale Algorithms for Selected Applications in Molecular Mechanics. PhD dissertation
Fath, L.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000067825

2016

Lattice Boltzmann Methods for Particulate Flows with Medical and Technical Applications. PhD dissertation
Henn, T.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000061601
Electromagnetic Wave Scattering at Biperiodic Surfaces: Variational Formulation, Boundary Integral Equations and High Order Solvers. PhD dissertation
Rösch, T.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000060856
The Mathematical Analysis of a Micro Scale Model for Lithium-Ion Batteries. PhD dissertation
Maier, M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000058305
A Parallel and Adaptive Space-Time Method for Maxwell’s Equations. PhD dissertation
Findeisen, S. M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056876
The Factorization Method for Conducting Transmission Conditions. PhD dissertation
Bondarenko, O.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000054797
A model-aware inexact Newton scheme for electrical impedance tomography. PhD dissertation
Winkler, R.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000054135

2015

Numerical approximation of higher-dimensional Continuum Dislocation Dynamics theory in single crystal plasticity. PhD dissertation
Thawinan, E.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000049994
On Inexact Newton Methods for Inverse Problems in Banach Spaces. PhD dissertation
Margotti, F. J.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048606
Numerical Analysis of the Electro-Magnetic Perfectly Matched Layer in a Discontinuous Galerkin Discretization. PhD dissertation
Schulz, A.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000047785

2014

Analysis and Simulation of Hybrid Models for Reaction Networks. PhD dissertation
Kreim, M.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000047791
Rational Krylov subspace methods for phi-functions in exponential integrators. PhD dissertation
Göckler, T.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000043647
Eine flexible Klasse von local time stepping Verfahren. PhD dissertation
Demirel, A.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000040634
Geometric Regularization in Bioluminescence Tomography. PhD dissertation
Kreutzmann, T.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000037411

2013

The Fourier-Galerkin Method for Band Structure Computations of 2D and 3D Photonic Crystals. PhD dissertation
Anic, B.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000038870
Error analysis of implicit and exponential time integration of linear Maxwell’s equations. PhD dissertation
Pazur, T.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000038617
Stetige Galerkinverfahren für zeitabhängige Maxwellgleichungen mit Kerr-Nichtlinearität. PhD dissertation
Gerner, H.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000037035
Positivity Preservation in the Simulation of Relativistic Laser-Plasma Interaction. PhD dissertation
Wortmann, A.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000036140
Lösung von hochdimensionalen Anfangswertproblemen durch hierarchische Tensor-Approximation. PhD dissertation
Arnold, A. T.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000036112
Domain Decomposition Methods in Optimal Flow Control for High Performance Computing. PhD dissertation
Ketelaer, E.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000036097
Ein hochskalierbarer paralleler direkter Löser für Finite Elemente Diskretisierungen. PhD dissertation
Maurer, D.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000035373
The Discontinuous Galerkin Method for Maxwell’s Equations: Application to Bodies of Revolution and Kerr-Nonlinearities. PhD dissertation
Blank, E.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000033941

2012

Asynchronous and Multiprecision Linear Solvers - Scalable and Fault-Tolerant Numerics for Energy Efficient High Performance Computing. PhD dissertation
Anzt, H.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000031477
Parameteridentifikation und Optimale Versuchsplanung bei instationären partiellen Differentialgleichungen. PhD dissertation
Nestler, A.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000031264
Methoden zur Lösungsverifikation und Einschließungsverfahren für gemischte Komplementaritätsprobleme. PhD dissertation
Hammer, D.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000031090
hp-FEM for Two-component Flows with Applications in Optofluidics. PhD dissertation
Ronnås, S.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000030003
Numerical Methods for the Chemical Master Equation. PhD dissertation
Udrescu, T.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000029251
A Fully Automatic hp-Adaptive Refinement Strategy. PhD dissertation
Bürg, M.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000029034
Numerical Simulation of Particle Deposition in the Human Lungs. PhD dissertation
Gengenbach, T.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000028795
Parallel Preconditioners for an Ocean Model in Climate Simulations. PhD dissertation
Wilhelm, F.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000027114
Parallel Sparse Linear Algebra for Multi-core and Many-core Platforms : Parallel Solvers and Preconditioners. PhD dissertation
Lukarski, D.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000026568
Numerical Simulation of Tropical Cyclones using Goal-Oriented Adaptivity. PhD dissertation
Baumann, M.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000025974
Uncertainty Quantification for Stochastic Dynamical Systems: Spectral Methods using Generalized Polynomial Chaos. PhD dissertation
Schick, M.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000025838

2011

Boundary Element Approximation for Maxwell’s Eigenvalue Problem. PhD dissertation
Xin, J.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000024374
Adaptivity in Bandstructure Calculations of Photonic Crystals. PhD dissertation
Krämer, A.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023350
Hardware-aware solvers for large, sparse linear systems - Multi-precision and parallel approaches. PhD dissertation
Rocker, B. H. K.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023260
High Performance Computing for Stability Problems - Applications to Hydrodynamic Stability and Neutron Transport Criticality. PhD dissertation
Subramanian, C.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022505
Numerical methods of localization of Wannier functions in modeling of Photonic Crystals. PhD dissertation
Bulovyatova, T.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022504

2010

Optimization of Photonic Band Structures. PhD dissertation
Richter, M.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021317
Fluid Flow Simulation and Optimisation with Lattice Boltzmann Methods on High Performance Computers - Application to the Human Respiratory System. PhD dissertation
Krause, M. J.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000019768
Numerical Analysis of Algorithms for Infinitesimal Associated and Non-Associated Elasto-Plasticity. PhD dissertation
Sauter, M.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000019551
High Performance Computing Based Methods for Simulation and Optimisation of Flow Problems. PhD dissertation
Bockelmann, H.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000019481
A parallel multigrid method for band structure computation of 3D photonic crystals with higher order finite elements. PhD dissertation
Bulovyatov, A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000018306

2009

Numerische Analyse und parallele Simulation von nichtlinearen Cosserat-Modellen. PhD dissertation
Müller, W.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000014838
Bounds for optimization of the reflection coefficient by constrained optimization in hardy spaces. PhD dissertation
Schneck, A.
2009. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000011809
Verifikation beim quadratischen und polynomialen Eigenwertproblem. PhD dissertation
Decker, F.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000010765

2007

Steigungen höherer Ordnung zur verifizierten globalen Optimierung. PhD dissertation
Schnurr, M.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007245
Steigungen höherer Ordnung zur verifizierten globalen Optimierung. PhD dissertation
Schnurr, M.
2007. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000007229
Variational Integrators and Generating Functions for Stochastic Hamiltonian Systems. PhD dissertation
Wang, L.
2007. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000007007
Variational Integrators and Generating Functions for Stochastic Hamiltonian Systems. PhD dissertation
Wang, L.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000006939
Über Taylor-Modelle. PhD dissertation
Eble, I.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000006671

2006

Numerical analysis of Lattice Boltzmann Methods for the heat equation on a bounded interval. PhD dissertation
Weiß, J.-P.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000005304
Optimale Beschichtung von Laserspiegeln zur Erzeugung ultrakurzer Laserpulse. PhD dissertation
Brunk, J.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000005155
Numerical analysis of Lattice Boltzmann Methods for the heat equation on a bounded interval. PhD dissertation
Weiß, J.-P.
2006. Universität Karlsruhe (TH)

2005

Semilocal convergence of Newton’s method for finite-dimensional variational inequalities and nonlinear complementarity problems. PhD dissertation
Wang, Z.
2005. Universität Karlsruhe (TH). doi:10.5445/IR/1000003387

2004

Interesse und Bildung. Bildungstheoretische und -praxisbezogene Überlegungen zu einem pädagogischen Grundverhältnis. PhD dissertation
Laegeler, H.
2004. Universität Karlsruhe (TH)

2003

Adaptive verifizierte Lösung gewöhnlicher Differentialgleichungen. PhD dissertation
Dietrich, S.
2003. Fak. f. Mathematik, Diss. v. 3.2.2003., Universität Karlsruhe (TH)
Computerverifikation von Lösungen nichtlinearer Integralgleichungen [online]. PhD dissertation
Obermaier, H.
2003. Fak. f. Mathematik, Diss. v. 23.7.2003., Universität Karlsruhe (TH). doi:10.5445/IR/3722003

2002

Ein VHDL Koprozessorkern für das exakte Skalarprodukt [online]. PhD dissertation
Bierlox, N.
2002. Fak. f. Mathematik, Diss. v. 8.11.2002., Universität Karlsruhe (TH). doi:10.5445/IR/5152002

2000

Iterative solution of linear systems with improved arithmetic and result verification [online]. PhD dissertation
Facius, A.
2000. Fak. f. Mathematik, Diss. v. 26.7.2000., Universität Karlsruhe (TH). doi:10.5445/IR/9602000
Verifizierte Bestimmung singulärer Integrale - Quadratur und Kubatur [online]. PhD dissertation
Wedner, S.
2000. Fak. f. Mathematik, Diss. v. 11.12.2000., Universität Karlsruhe (TH). doi:10.5445/IR/25272000
Zur Berechnung von Funktionswerteinschlieáungen bei speziellen Funktionen der mathematischen Physik [online]. PhD dissertation
Hofschuster, W.
2000. Fak. f. Mathematik, Diss. v. 5.6.2000., Universität Karlsruhe (TH). doi:10.5445/IR/19502000
Ein a-posteriori Fehlerschätzer für die geometrisch nichtlineare Elastizitätstheorie [online]. PhD dissertation
Schmidt, J. G.
2000. Fak. f. Mathematik, Diss. v. 16.2.2000., Universität Karlsruhe (TH). doi:10.5445/IR/1402000

1999

Krylov-Unterraum-Verfahren für Gleichungssysteme aus der Strukturmechanik auf sequentiellen und parallelen Rechnern. PhD dissertation
Lenhardt, I.
1999. Marburg 1999. (Edition Wissenschaft. Reihe Mathematik. 29.) Fak. f. Mathematik, Diss. v. 19.12.1997., Universität Karlsruhe (TH)
Das lineare Komplementaritätsproblem mit Intervalleinträgen [online]. PhD dissertation
Schaefer, U.
1999. Fak. f. Mathematik, Diss. v. 29.11.1999., Universität Karlsruhe (TH). doi:10.5445/IR/87699
Das Verfahren der sukzessiven Überrelaxation (SOR-Verfahren) bei periodischen Markov-Ketten [online]. PhD dissertation
Freimann, G. M.
1999. Fak. f. Mathematik, Diss. v. 8.12.1999., Universität Karlsruhe (TH). doi:10.5445/IR/126699
Gebietserkennung in der elektrischen Impedanztomographie [online]. PhD dissertation
Bruehl, M.
1999. Fak. f. Mathematik, Diss. v. 20.1.1999., Universität Karlsruhe (TH). doi:10.5445/IR/11299

1998

Lösungseinschließung bei Anfangswertproblemen für quasilineare hyperbolische Differentialgleichungen. PhD dissertation
Koeber, M.
1998. Marburg 1998. (Edition Wissenschaft. Reihe Mathematik. 24.) Fak. f. Mathematik, Diss. v. 30.6.1997., Universität Karlsruhe (TH)
Oberon-XSC - Eine Programmiersprache und Arithmetikbibliothek für das Wissenschaftliche Rechnen. PhD dissertation
Januschke, P.
1998. Fak. f. Mathematik, Diss. v. 15.7.1998., Universität Karlsruhe (TH)
Verifizierende rechnerinvariante Numerikmodule. PhD dissertation
Kersten, T.
1998. Fak. f. Mathematik, Diss. v. 15.7.1998., Universität Karlsruhe (TH)
Adaptive numerische Quadratur und Kubatur mit automatischer Ergebnisverifikation [online]. PhD dissertation
Chen, C.-Y.
1998. Fak. f. Mathematik, Diss. v. 16.12.1998., Universität Karlsruhe (TH). doi:10.5445/IR/95898

1997

Zur Lösungsverifikation bei Fredholmschen Integralgleichungen zweiter Art. PhD dissertation
Gienger, A.
1997. Fak. f. Mathematik, Diss. v. 19.12.1997., Universität Karlsruhe (TH)
Schnelle Summationsverfahren zur numerischen Lösung von Integralgleichungen für Streuprobleme im R3. PhD dissertation
Giebermann, K.
1997. Fak. f. Mathematik, Diss. v. 13.11.1997., Universität Karlsruhe (TH)
Verifizierte globale Optimierung auf Parallelrechnern. PhD dissertation
Wiethoff, A.
1997. Fak. f. Mathematik, Diss. v. 17.12.1997., Universität Karlsruhe (TH). doi:10.5445/IR/118497

1996

Ein Vektorarithmetik-Koprozessor in VLSI-Technik zur Unterstützung des Wissenschaftlichen Rechnens. PhD dissertation
Baumhof, C.
1996. Fak. f. Mathematik, Diss. v. 15.5.1996., Universität Karlsruhe (TH)

1995

Symplektische Stabilitätstheorie zur numerischen Integration von Hamilton- Systemen. PhD dissertation
Goertz, P.
1995. Fak. f. Mathematik, Diss. v. 19.7.1995., Universität Karlsruhe (TH)
Verifizierte Berechnung mehrfach geschachtelter singulärer Integrale der Gaskinetik. PhD dissertation
Storck, U.
1995. Fak. f. Mathematik, Diss. v. 17.5.1995., Universität Karlsruhe (TH)
Sichere Verschneidung von Kurven und Flächen im CAGD. PhD dissertation
Schramm, P.
1995. Fak. f. Mathematik, Diss. v. 15.2.1995., Universität Karlsruhe (TH)
Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung. PhD dissertation
Hocks, M.
1995. Universität Karlsruhe (TH). doi:10.5445/IR/42595

1994

Ableitungsfreie Fehlerabschätzungen bei numerischer Integration holomorpher Funktionen. PhD dissertation
Schira, T.
1994. Fak. f. Mathematik, Diss. v. 15.6.1994., Universität Karlsruhe (TH)
Globale Approximation des Ladungstransportes in Halbleitern bei periodischer Anregung. PhD dissertation
Schlett, M.
1994. Fak. f. Mathematik, Diss. v. 2.2.1994., Universität Karlsruhe (TH)
Zur Simulation der Dynamik deterministischer und stochastischer Anregungen bei Stirnradgetrieben. PhD dissertation
Keppler, H.
1994. Düsseldorf 1994. (Fortschritt-Berichte VDI. Reihe 1, Nr. 233.) Fak. f. Mathematik, Diss. v. 22.12.1993., Universität Karlsruhe (TH)

1993

Numerische Untersuchungen zur Grenzschichtproblematik bei extremen MHD- Stroemungen. PhD dissertation
Geoerg, S.
1993. Fak. f. Mathematik, Diss. v. 10.2.1993., Universität Karlsruhe (TH)
Fast automatic differentiation for vector processors and reduction of the spatial complexity in a source translation environment. PhD dissertation
Shiriaev, D.
1993. Fak. f. Mathematik, Diss. v. 22.12.1993., Universität Karlsruhe (TH)
Konstruktion von Fehlerschranken bei der verallgemeinerten Singulaerwertzerlegung und ihre iterative Verbesserung. PhD dissertation
Hoffmann, R.
1993. Fak. f. Mathematik, Diss. v. 12.5.1993., Universität Karlsruhe (TH)
Ein Einschließungsverfahren für das inverse Dirichletproblem. PhD dissertation
Neher, M.
1993. Universität Karlsruhe (TH). doi:10.5445/IR/134693
Ueber Einschliessungsverfahren fuer gewoehnliche Anfangswertprobleme und ihre Anwendung auf Differentialgleichungen mit unstetiger rechter Seite. PhD dissertation
Rihm, R.
1993. Fak. f. Mathematik, Diss. v. 10.2.1993., Universität Karlsruhe (TH)

1992

Semimorphe Arithmetik zur automatischen Ergebnisverifikation auf Vektorrechnern. PhD dissertation
Schmidt, L.
1992. Fak. f. Elektrotechnik, Diss. v. 11.2.1992., Universität Karlsruhe (TH)
Iterationsverfahren auf Mannigfaltigkeiten zur Loesung inverser Eigenwertprobleme. PhD dissertation
Scholtyssek, V.
1992. Fak. f. Mathematik, Diss. v. 12.2.1992., Universität Karlsruhe (TH)
C-XSC. Eine objekt-orientierte Programmierumgebung fuer verifiziertes wissenschaftliches Rechnen. PhD dissertation
Lawo, C.
1992. Fak. f. Mathematik, Diss. v. 27.5.1992., Universität Karlsruhe (TH)
Maximal genaue Berechnung von Skalarproduktausdruecken und hochgenaue Auswertung von Programmteilen. PhD dissertation
Hammer, R.
1992. Fak. f. Mathematik, Diss. v. 1.7.1992., Universität Karlsruhe (TH)
Lanczos- und Krylov-Verfahren fuer nicht-Hermitesche lineare Systeme. PhD dissertation
Hochbruck, M.
1992. Fak. f. Mathematik, Diss. v. 27.5.1992., Universität Karlsruhe (TH)
Arithmetische Ausstattung von Parallelrechnern fuer zuverlaessiges numerisches Rechnen. PhD dissertation
Davidenkoff, A.
1992. Fak. f. Elektrotechnik, Diss. v. 29.6.1992., Universität Karlsruhe (TH)
Nennerpolynome von Pade- und Pade-Typ- Approximationen an Hamburger-Funktionen. PhD dissertation
Dehn, T.
1992. Fak. f. Mathematik, Diss. v. 15.7.1992., Universität Karlsruhe (TH)
Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. PhD dissertation
Ratz, D.
1992. Fak. f. Mathematik, Diss. v. 1.7.1992., Universität Karlsruhe (TH). doi:10.5445/IR/41092

1991

Singulaere Vorkonditionierung linearer Gleichungssysteme am Beispiel von Zweigitterverfahren. PhD dissertation
Klaus, T.
1991. Fak. f. Mathematik, Diss. v. 23.10.1991., Universität Karlsruhe (TH)
Einschliessungsverfahren zur Bewertung von Getriebeschwingungsmodellen. PhD dissertation
Schulte, U.
1991. Duesseldorf 1991. (Fortschritt-Berichte VDI. Reihe 11, Nr. 146.) Fak. f. Mathematik, Diss. v. 30.1.1991., Universität Karlsruhe (TH)
Parallele Reduktion symmetrischer Bandmatrizen auf Tridiagonalgestalt. PhD dissertation
Lang, B.
1991. Fak. Mathematik, Diss. v. 15.10.1991., Universität Karlsruhe (TH)
Hardwareentwurf eines Rechenwerkes fuer semimorphe Skalar- und Vektoroperationen unter Beruecksichtigung der Anforderungen verifizierender Algorithmen. PhD dissertation
Knoefel, A. W.
1991. Fak. f. Mathematik, Diss. v. 18.12.1991., Universität Karlsruhe (TH)

1990

Flexible precision control and dynamic data structures for programming mathematical and numerical algorithms. PhD dissertation
Walter, W.
1990. Fak. f. Mathematik, Diss. v. 9.2.1990., Universität Karlsruhe (TH)
Algebraische Stabilitaetsbedingungen fuer Runge-Kutta-Verfahren. PhD dissertation
Mueller, M.
1990. Fak. f. Mathematik, Diss. v. 26.1.1990., Universität Karlsruhe (TH)
Schnelle automatische Differentiation, Einschliessungsmethoden und Anwendungen. PhD dissertation
Fischer, H.-C.
1990. Fak. f. Mathematik, Diss. v. 16.5.1990., Universität Karlsruhe (TH)
Zur Einschliessung der Loesung von linearen und nichtlinearen Fredholmschen Integralgleichungssystemen zweiter Art. PhD dissertation
Klein, W.
1990. Fak. f. Mathematik, Diss. v. 9.2.1990., Universität Karlsruhe (TH)

1989

Iterative Loesung gewichteter linearer Ausgleichsprobleme. PhD dissertation
Hanke, M.
1989. Fak. f. Mathematik, Diss. v. 25.10.1989., Universität Karlsruhe (TH)
Genauigkeitsfragen bei algebraisch-numerischen Algorithmen auf Skalar- und Vektorrechnern. PhD dissertation
Schumacher, G.
1989. Fak. f. Mathematik, Diss. v. 15.2.1989., Universität Karlsruhe (TH)
Ein adaptives Verfahren zur numerischen Quadratur mit automatischer Ergebnisverifikation. PhD dissertation
Kelch, R.
1989. Fak. f. Mathematik, Diss. v. 12.7.1989., Universität Karlsruhe (TH)
Rationale Minimierungsprobleme in der komplexen Ebene im Zusammenhang mit der Bestimmung optimaler ADI-Parameter. PhD dissertation
Starke, G.
1989. Fak. f. Mathematik, Diss. v. 20.12.1989., Universität Karlsruhe (TH)