TY - GEN A1 - Weiser, Martin A1 - Schiela, Anton T1 - Function space interior point methods for PDE constrained optimization N2 - A primal-dual interior point method for optimal control problems with PDE constraints is considered. The algorithm is directly applied to the infinite dimensional problem. Existence and convergence of the central path are analyzed. Numerical results from an inexact continuation method applied to a model problem are shown. T3 - ZIB-Report - 04-27 KW - interior point methods in function space KW - optimal control KW - complementarity functions Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8027 ER - TY - JOUR A1 - Schenk, O. A1 - Wächter, Andreas A1 - Weiser, Martin T1 - Inertia Revealing Preconditioning For Large-Scale Nonconvex Constrained Optimization JF - SIAM J. Sci. Comp. Y1 - 2008 VL - 31 IS - 2 SP - 939 EP - 960 ER - TY - JOUR A1 - Weiser, Martin A1 - Deuflhard, Peter T1 - Inexact central path following algorithms for optimal control problems JF - SIAM J. Control Opt. Y1 - 2007 VL - 46 IS - 3 SP - 792 EP - 815 ER - TY - JOUR A1 - Bergmann, G. A1 - Graichen, F. A1 - Rohlmann, A. A1 - Bender, Alwina A1 - Ehrig, Rainald A1 - Westerhoff, P. A1 - Heinlein, B. T1 - Design and calibration of load sensing orthopaedic implants JF - Journal Biomech. Eng. Y1 - 2008 SP - 02109 EP - 1–02109–9 ER - TY - JOUR A1 - Colli Franzone, Piero A1 - Deuflhard, Peter A1 - Erdmann, Bodo A1 - Lang, Jens A1 - Pavarino, Luca Franco T1 - Adaptivity in Space and Time for Reaction-Diffusion Systems in Electrocardiology JF - SIAM J. Sc. Comp. Y1 - 2006 VL - 28 SP - 942 EP - 962 ER - TY - JOUR A1 - Dahlke, S. A1 - Steidl, G. A1 - Teschke, G. T1 - Coorbit Spaces and Banach Frames on Homogeneous Spaces with Applications to Analyzing Functions on Spheres JF - Adv. Comput.Math. Y1 - 2004 VL - 1-2 IS - 21 SP - 147 EP - 180 ER - TY - JOUR A1 - Dahlke, S. A1 - Steidl, G. A1 - Teschke, G. T1 - Weighted Coorbit Spaces and Banach Frames on Homogeneous Spaces JF - Journal of Fourier Analysis and Applications Y1 - 2004 VL - 5 IS - 10 SP - 507 EP - 539 ER - TY - BOOK A1 - Deuflhard, Peter A1 - Weiser, Martin T1 - Numerische Mathematik 3 Y1 - 2011 PB - de Gruyter, Berlin ER - TY - BOOK A1 - Deuflhard, Peter A1 - Weiser, Martin T1 - Adaptive numerical solution of PDEs Y1 - 2012 PB - de Gruyter CY - Berlin ER - TY - JOUR A1 - Deuflhard, Peter A1 - Weiser, Martin A1 - Zachow, Stefan T1 - Mathematics in Facial Surgery JF - AMS Notices Y1 - 2006 VL - 53 IS - 9 SP - 1012 EP - 1016 ER - TY - JOUR A1 - Deuflhard, Peter A1 - Hochmuth, Reinhard T1 - Multiscale analysis of thermoregulation in the human microvascular system JF - Math. Methods Appl. Sci. Y1 - 2004 VL - 27 IS - 8 SP - 971 EP - 989 PB - Wiley Verlag ER - TY - CHAP A1 - Deuflhard, Peter T1 - A Comparison of Related Concepts in Computational Chemistry and Mathematics T2 - Chemisty and Mathematics Y1 - 2003 VL - 88 IS - 330 SP - 51 EP - 66 ER - TY - CHAP A1 - Deuflhard, Peter ED - et al. Kirkilionis, Markus T1 - From Molecular Dynamics to Conformational Dynamics in Drug Design T2 - Trends in Nonlinear Analysis Y1 - 2003 SP - 269 EP - 288 PB - Springer Verlag Berlin ER - TY - GEN A1 - Deuflhard, Peter A1 - Zachow, Stefan T1 - Mathematische Therapie- und Operationsplanung Y1 - 2012 SP - 89 EP - 90 PB - Berliner Wirtschaftsgespräche e.V. CY - Berlin ER - TY - CHAP A1 - Deuflhard, Peter A1 - Dössel, Olaf A1 - Louis, Alfred A1 - Zachow, Stefan T1 - More Mathematics into Medicine! T2 - Production Factor Mathematics Y1 - 2010 UR - http://www.springer.com/mathematics/book/978-3-642-11247-8 SP - 357 EP - 378 PB - Springer ER - TY - JOUR A1 - Weiser, Martin A1 - Zachow, Stefan A1 - Deuflhard, Peter T1 - Craniofacial Surgery Planning Based on Virtual Patient Models JF - it - Information Technology Y1 - 2010 U6 - https://doi.org/10.1524/itit.2010.0600 VL - 52 IS - 5 SP - 258 EP - 263 PB - Oldenbourg Verlagsgruppe ER - TY - CHAP A1 - Zachow, Stefan A1 - Hierl, Thomas A1 - Erdmann, Bodo T1 - A quantitative evaluation of 3D soft tissue prediction in maxillofacial surgery planning T2 - Proc. 3. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboter-assistierte Chirurgie e.V. Y1 - 2004 CY - München ER - TY - CHAP A1 - Weiser, Martin A1 - Scacchi, Simone T1 - Spectral Deferred Correction methods for adaptive electro-mechanical coupling in cardiac simulation T2 - G. Russo et al.(eds.) Progress in Industrial Mathematics at ECMI 2014 N2 - We investigate spectral deferred correction (SDC) methods for time stepping and their interplay with spatio-temporal adaptivity, applied to the solution of the cardiac electro-mechanical coupling model. This model consists of the Monodomain equations, a reaction-diffusion system modeling the cardiac bioelectrical activity, coupled with a quasi-static mechanical model describing the contraction and relaxation of the cardiac muscle. The numerical approximation of the cardiac electro-mechanical coupling is a challenging multiphysics problem, because it exhibits very different spatial and temporal scales. Therefore, spatio-temporal adaptivity is a promising approach to reduce the computational complexity. SDC methods are simple iterative methods for solving collocation systems. We exploit their flexibility for combining them in various ways with spatio-temporal adaptivity. The accuracy and computational complexity of the resulting methods are studied on some numerical examples. Y1 - 2017 U6 - https://doi.org/10.1007/978-3-319-23413-7_42 SP - 321 EP - 328 PB - Springer ER - TY - GEN A1 - Lubkoll, Lars A1 - Schiela, Anton A1 - Weiser, Martin T1 - An affine covariant composite step method for optimization with PDEs as equality constraints N2 - We propose a composite step method, designed for equality constrained optimization with partial differential equations. Focus is laid on the construction of a globalization scheme, which is based on cubic regularization of the objective and an affine covariant damped Newton method for feasibility. We show finite termination of the inner loop and fast local convergence of the algorithm. We discuss preconditioning strategies for the iterative solution of the arising linear systems with projected conjugate gradient. Numerical results are shown for optimal control problems subject to a nonlinear heat equation and subject to nonlinear elastic equations arising from an implant design problem in craniofacial surgery. T3 - ZIB-Report - 15-09 KW - composite step methods KW - cubic regularization KW - affine covariant KW - optimization with PDEs Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-53954 SN - 1438-0064 ER - TY - GEN A1 - Weiser, Martin A1 - Ghosh, Sunayana T1 - Theoretically optimal inexact SDC methods N2 - In several inital value problems with particularly expensive right hand side computation, there is a trade-off between accuracy and computational effort in evaluating the right hand sides. We consider inexact spectral deferred correction (SDC) methods for solving such non-stiff initial value problems. SDC methods are interpreted as fixed point iterations and, due to their corrective iterative nature, allow to exploit the accuracy-work-tradeoff for a reduction of the total computational effort. On one hand we derive an error model bounding the total error in terms of the right hand side evaluation errors. On the other hand, we define work models describing the computational effort in terms of the evaluation accuracy. Combining both, a theoretically optimal tolerance selection is worked out by minimizing the total work subject to achieving the requested tolerance. T3 - ZIB-Report - 16-52 KW - Spectral deferred correction, initial value problems, error propagation, adaptive control of tolerances Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-53140 SN - 1438-0064 ER - TY - THES A1 - Götschel, Sebastian T1 - Adaptive Lossy Trajectory Compression for Optimal Control of Parabolic PDEs N2 - Optimal control problems governed by nonlinear, time-dependent PDEs on three-dimensional spatial domains are an important tool in many fields, ranging from engineering applications to medicine. For the solution of such optimization problems, methods working on the reduced objective functional are often employed to avoid a full spatio-temporal discretization of the problem. The evaluation of the reduced gradient requires one solve of the state equation forward in time, and one backward solve of the adjoint equation. The state enters into the adjoint equation, requiring the storage of a full 4D data set. If Newton-CG methods are used, two additional trajectories have to be stored. To get numerical results that are accurate enough, in many cases very fine discretizations in time and space are necessary, leading to a significant amount of data to be stored and transmitted to mass storage. This thesis deals with the development and analysis of methods for lossy compression of such finite element solutions. The algorithms are based on a change of basis to reduce correlations in the data, combined with quantization. This is achieved by transforming the finite element coefficient vector from the nodal to the hierarchical basis, followed by rounding the coefficients to a prescribed precision. Due to the inexact reconstruction, and thus inexact data for the adjoint equation, the error induced in the reduced gradient, and reduced Hessian, has to be controlled, to not impede convergence of the optimization. Accuracy requirements of different optimization methods are analyzed, and computable error estimates for the influence of lossy trajectory storage are derived. These tools are used to adaptively control the accuracy of the compressed data. The efficiency of the algorithms is demonstrated on several numerical examples, ranging from a simple linear, scalar equation to a semi-linear system of reaction-diffusion equations. In all examples considerable reductions in storage space and bandwidth requirements are achieved, without significantly influencing the convergence behavior of the optimization methods. Finally, to go beyond pointwise error control, the hierarchical basis transform can be replaced by more sophisticated wavelet transforms. Numerical experiments indicate that choosing suitable norms for error control allows higher compression factors. KW - optimal control KW - semi-linear parabolic PDEs KW - adjoint gradient computation KW - trajectory storage KW - lossy compression Y1 - 2015 UR - http://www.diss.fu-berlin.de/diss/receive/FUDISS_thesis_000000098552 ER - TY - GEN A1 - Freytag, Yvonne T1 - Optimal Experimental Design to Estimate the Time of Death in a Bayesian Context N2 - This thesis is devoted to the interdisciplinary work between mathematicians and forensic experts: the modeling of the human body cooling process after death laying the foundation for the estimation of the time of death. An inverse problem needs to be solved. In this thesis the inverse problem computes the time of death given the measured body temperature and the Forward Model that simulates the body cooling process. The Forward Model is based on the heat equation established by Fourier. This differential equation is numerically solved by the discretization over space by the Finite Element Method and the discretization over time by the Implicit Euler Method. The applications in this thesis demand a fast computation time. A model reduction is achieved by the Proper Orthogonal Decomposition in combination with the Galerkin Method. For reasons of simplification the computations and the measurements are restricted to a cylindrical phantom that is made out of homogeneous polyethylene. The estimate of the time of death is accompanied by an uncertainty. The inverse problem is incorporated by Bayesian inference to interpret the quality of the estimate and the effciency of the experiment. The uncertainty of the estimate of the time of death is minimized by approaching the Optimal Design of the Experiment. An objective function measures the certainty of the data and lays the foundation of the optimization problem. Solving the optimization problem is successfully done by relaxing the complex discrete NP-hard problem and applying a gradient-based method. The results of this thesis clearly show that the design of an experiment has a great in- uence on the outcome of the quality of the estimate. The comparison of the estimate and its properties based on different designs and conditions reveals the effciency of the Design of Experiment in the context of the estimation of the time of death. T3 - ZIB-Report - 17-14 Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-62475 SN - 1438-0064 ER - TY - CHAP A1 - Götschel, Sebastian A1 - Höhne, Christian A1 - Kolkoori, Sanjeevareddy A1 - Mitzscherling, Steffen A1 - Prager, Jens A1 - Weiser, Martin T1 - Ray Tracing Boundary Value Problems: Simulation and SAFT Reconstruction for Ultrasonic Testing T2 - Proceedings 19th World Conference on Non-Destructive Testing (WCNDT 2016) Y1 - 2016 UR - https://www.wcndt2016.com/portals/wcndt/bb/Fr1H4.pdf ER - TY - CHAP A1 - Götschel, Sebastian A1 - Maierhofer, Christiane A1 - Müller, Jan A1 - Rothbart, Nick A1 - Weiser, Martin T1 - Quantitative Defect Reconstruction in Active Thermography for Fiber-Reinforced Composites T2 - Proceedings 19th World Conference on Non-Destructive Testing (WCNDT 2016) Y1 - 2016 UR - https://www.wcndt2016.com/portals/wcndt/bb/Th4C4.pdf ER - TY - CHAP A1 - Müller, Jan A1 - Götschel, Sebastian A1 - Maierhofer, Christiane A1 - Weiser, Martin T1 - Determining the material parameters for the reconstruction of defects in carbon fiber reinforced polymers from data measured by flash thermography T2 - AIP Conference Proceedings Y1 - 2017 U6 - https://doi.org/10.1063/1.4974671 VL - 1806 ER - TY - THES A1 - Schuh, Hannah T1 - Identification of Anisotropies in Welding Seams Using Ultrasound Measurements Y1 - 2016 ER - TY - GEN A1 - Fischer, Lisa A1 - Götschel, Sebastian A1 - Weiser, Martin T1 - Lossy data compression reduces communication time in hybrid time-parallel integrators N2 - Parallel in time methods for solving initial value problems are a means to increase the parallelism of numerical simulations. Hybrid parareal schemes interleaving the parallel in time iteration with an iterative solution of the individual time steps are among the most efficient methods for general nonlinear problems. Despite the hiding of communication time behind computation, communication has in certain situations a significant impact on the total runtime. Here we present strict, yet no sharp, error bounds for hybrid parareal methods with inexact communication due to lossy data compression, and derive theoretical estimates of the impact of compression on parallel efficiency of the algorithms. These and some computational experiments suggest that compression is a viable method to make hybrid parareal schemes robust with respect to low bandwidth setups. T3 - ZIB-Report - 17-25 KW - parallel-in-time integration KW - hybrid parareal KW - convergence KW - lossy compression KW - MPI Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-63961 SN - 1438-0064 ER - TY - GEN A1 - Weiser, Martin A1 - Erdmann, Bodo A1 - Schenkl, Sebastian A1 - Muggenthaler, Holger A1 - Hubig, Michael A1 - Mall, Gita A1 - Zachow, Stefan T1 - Uncertainty in Temperature-Based Determination of Time of Death N2 - Temperature-based estimation of time of death (ToD) can be per- formed either with the help of simple phenomenological models of corpse cooling or with detailed mechanistic (thermodynamic) heat transfer mod- els. The latter are much more complex, but allow a higher accuracy of ToD estimation as in principle all relevant cooling mechanisms can be taken into account. The potentially higher accuracy depends on the accuracy of tissue and environmental parameters as well as on the geometric resolution. We in- vestigate the impact of parameter variations and geometry representation on the estimated ToD based on a highly detailed 3D corpse model, that has been segmented and geometrically reconstructed from a computed to- mography (CT) data set, differentiating various organs and tissue types. From that we identify the most crucial parameters to measure or estimate, and obtain a local uncertainty quantifcation for the ToD. T3 - ZIB-Report - 17-18 KW - forensic medicine KW - determination of time of death KW - heat transfer equation KW - sensitivity i.r.t. thermal parameters KW - sensitivity i.r.t. geometric resolution Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-63818 SN - 1438-0064 ER - TY - GEN A1 - Götschel, Sebastian A1 - Minion, Michael L. T1 - Parallel-in-Time for Parabolic Optimal Control Problems Using PFASST N2 - In gradient-based methods for parabolic optimal control problems, it is necessary to solve both the state equation and a backward-in-time adjoint equation in each iteration of the optimization method. In order to facilitate fully parallel gradient-type and nonlinear conjugate gradient methods for the solution of such optimal control problems, we discuss the application of the parallel-in-time method PFASST to adjoint gradient computation. In addition to enabling time parallelism, PFASST provides high flexibility for handling nonlinear equations, as well as potential extra computational savings from reusing previous solutions in the optimization loop. The approach is demonstrated here for a model reaction-diffusion optimal control problem. T3 - ZIB-Report - 17-51 Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-64989 SN - 1438-0064 ER - TY - JOUR A1 - Fischer, Lisa A1 - Götschel, Sebastian A1 - Weiser, Martin T1 - Lossy data compression reduces communication time in hybrid time-parallel integrators JF - Comput. Vis. Sci. N2 - Parallel in time methods for solving initial value problems are a means to increase the parallelism of numerical simulations. Hybrid parareal schemes interleaving the parallel in time iteration with an iterative solution of the individual time steps are among the most efficient methods for general nonlinear problems. Despite the hiding of communication time behind computation, communication has in certain situations a significant impact on the total runtime. Here we present strict, yet no sharp, error bounds for hybrid parareal methods with inexact communication due to lossy data compression, and derive theoretical estimates of the impact of compression on parallel efficiency of the algorithms. These and some computational experiments suggest that compression is a viable method to make hybrid parareal schemes robust with respect to low bandwidth setups. Y1 - 2018 U6 - https://doi.org/10.1007/s00791-018-0293-2 VL - 19 IS - 1 SP - 19 EP - 30 ER - TY - THES A1 - Freytag, Yvonne T1 - Optimal Experimental Design to Estimate the Time of Death in a Bayesian Context N2 - This thesis is devoted to the interdisciplinary work between mathematicians and forensic experts: the modeling of the human body cooling process after death laying the foundation for the estimation of the time of death. An inverse problem needs to be solved. In this thesis the inverse problem computes the time of death given the measured body temperature and the Forward Model that simulates the body cooling process. The Forward Model is based on the heat equation established by Fourier. This differential equation is numerically solved by the discretization over space by the Finite Element Method and the discretization over time by the Implicit Euler Method. The applications in this thesis demand a fast computation time. A model reduction is achieved by the Proper Orthogonal Decomposition in combination with the Galerkin Method. For reasons of simplification the computations and the measurements are restricted to a cylindrical phantom that is made out of homogeneous polyethylene. The estimate of the time of death is accompanied by an uncertainty. The inverse problem is incorporated by Bayesian inference to interpret the quality of the estimate and the effciency of the experiment. The uncertainty of the estimate of the time of death is minimized by approaching the Optimal Design of the Experiment. An objective function measures the certainty of the data and lays the foundation of the optimization problem. Solving the optimization problem is successfully done by relaxing the complex discrete NP-hard problem and applying a gradient-based method. The results of this thesis clearly show that the design of an experiment has a great in- uence on the outcome of the quality of the estimate. The comparison of the estimate and its properties based on different designs and conditions reveals the effciency of the Design of Experiment in the context of the estimation of the time of death. Y1 - 2017 ER - TY - THES A1 - Fischer, Lisa T1 - On the convergence of inexact time parallel time integration Y1 - 2017 ER - TY - GEN A1 - Weiser, Martin A1 - Scacchi, Simone T1 - Spectral Deferred Correction methods for adaptive electro-mechanical coupling in cardiac simulation N2 - We investigate spectral deferred correction (SDC) methods for time stepping and their interplay with spatio-temporal adaptivity, applied to the solution of the cardiac electro-mechanical coupling model. This model consists of the Monodomain equations, a reaction-diffusion system modeling the cardiac bioelectrical activity, coupled with a quasi-static mechanical model describing the contraction and relaxation of the cardiac muscle. The numerical approximation of the cardiac electro-mechanical coupling is a challenging multiphysics problem, because it exhibits very different spatial and temporal scales. Therefore, spatio-temporal adaptivity is a promising approach to reduce the computational complexity. SDC methods are simple iterative methods for solving collocation systems. We exploit their flexibility for combining them in various ways with spatio-temporal adaptivity. The accuracy and computational complexity of the resulting methods are studied on some numerical examples. T3 - ZIB-Report - 14-22 Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-50695 SN - 1438-0064 ER - TY - GEN A1 - Deuflhard, Peter A1 - Kornhuber, Ralf A1 - Sander, Oliver A1 - Schiela, Anton A1 - Weiser, Martin ED - Deuflhard, Peter ED - Grötschel, Martin ED - Hömberg, Dietmar ED - Horst, Ulrich ED - Kramer, Jürg ED - Mehrmann, Volker ED - Polthier, Konrad ED - Schmidt, Frank ED - Schütte, Christof ED - Skutella, Martin ED - Sprekels, Jürgen T1 - Mathematics cures virtual patients T2 - MATHEON-Mathematics for Key Technologies Y1 - 2014 VL - 1 SP - 7 EP - 25 PB - European Mathematical Society ER - TY - JOUR A1 - Moualeu-Ngangue, Dany Pascal A1 - Weiser, Martin A1 - Ehrig, Rainald A1 - Deuflhard, Peter T1 - Optimal control for a tuberculosis model with undetected cases in Cameroon JF - Communications in Nonlinear Science and Numerical Simulation N2 - This paper considers the optimal control of tuberculosis through education, diagnosis campaign and chemoprophylaxis of latently infected. A mathematical model which includes important components such as undiagnosed infectious, diagnosed infectious, latently infected and lost-sight infectious is formulated. The model combines a frequency dependent and a density dependent force of infection for TB transmission. Through optimal control theory and numerical simulations, a cost-effective balance of two different intervention methods is obtained. Seeking to minimize the amount of money the government spends when tuberculosis remain endemic in the Cameroonian population, Pontryagin's maximum principle is used to characterize the optimal control. The optimality system is derived and solved numerically using the forward-backward sweep method (FBSM). Results provide a framework for designing cost-effective strategies for diseases with multiple intervention methods. It comes out that combining chemoprophylaxis and education, the burden of TB can be reduced by 80 % in 10 years. Y1 - 2015 U6 - https://doi.org/10.1016/j.cnsns.2014.06.037 VL - 20 IS - 3 SP - 986 EP - 1003 ER - TY - GEN A1 - Götschel, Sebastian A1 - Weiser, Martin A1 - Maierhofer, Christiane A1 - Richter, Regina ED - Cardone, Gennaro T1 - Data Enhancement for Active Thermography T2 - E-book Proceedings, 11th International Conference on Quantitative Infrared Thermography, Naples N2 - Pulse thermography is a non-destructive testing method based on infrared imaging of transient thermal patterns. Heating the surface of the structure under test for a short period of time generates a non-stationary temperature distribution and thus a thermal contrast between the defect and the sound material. Due to measurement noise, preprocessing of the experimental data is necessary, before reconstruction algorithms can be applied. We propose a decomposition of the measured temperature into Green's function solutions to eliminate noise. Y1 - 2012 ER - TY - JOUR A1 - Weiser, Martin T1 - On goal-oriented adaptivity for elliptic optimal control problems JF - Opt. Meth. Softw. N2 - The paper proposes goal-oriented error estimation and mesh refinement for optimal control problems with elliptic PDE constraints using the value of the reduced cost functional as quantity of interest. Error representation, hierarchical error estimators, and greedy-style error indicators are derived and compared to their counterparts when using the all-at-once cost functional as quantity of interest. Finally, the efficiency of the error estimator and generated meshes are demonstrated on numerical examples. Y1 - 2013 VL - 28 IS - 13 SP - 969 EP - 992 ER - TY - JOUR A1 - Deuflhard, Peter A1 - Schiela, Anton A1 - Weiser, Martin T1 - Mathematical Cancer Therapy Planning in Deep Regional Hyperthermia JF - Acta Numerica N2 - This paper surveys the required mathematics for a typical challenging problem from computational medicine, the cancer therapy planning in deep regional hyperthermia. In the course of many years of close cooperation with clinics, the medical problem gave rise to quite a number of subtle mathematical problems, part of which had been unsolved when the common project started. Efficiency of numerical algorithms, i.e. computational speed and monitored reliability, play a decisive role for the medical treatment. Off-the-shelf software had turned out to be not sufficient to meet the requirements of medicine. Rather, new mathematical theory as well as new numerical algorithms had to be developed. In order to make our algorithms useful in the clinical environment, new visualization software, a virtual lab, including 3D geometry processing of individual virtual patients had to be designed and implemented. Moreover, before the problems could be attacked by numerical algorithms, careful mathematical modelling had to be done. Finally, parameter identification and constrained optimization for the PDEs had to be newly analyzed and realized over the individual patient's geometry. Our new techniques had an impact on the specificity of the individual patients' treatment and on the construction of an improved hyperthermia applicator. Y1 - 2012 VL - 21 SP - 307 EP - 378 ER - TY - GEN A1 - Götschel, Sebastian A1 - Weiser, Martin A1 - Schiela, Anton ED - Dedner, A. ED - Flemisch, B. ED - Klöfkorn, R. T1 - Solving Optimal Control Problems with the Kaskade 7 Finite Element Toolbox T2 - Advances in DUNE N2 - This paper presents concepts and implementation of the finite element toolbox Kaskade 7, a flexible C++ code for solving elliptic and parabolic PDE systems. Issues such as problem formulation, assembly and adaptivity are discussed at the example of optimal control problems. Trajectory compression for parabolic optimization problems is considered as a case study. Y1 - 2012 SP - 101 EP - 112 PB - Springer ER - TY - JOUR A1 - Weiser, Martin T1 - Faster SDC convergence on non-equidistant grids by DIRK sweeps JF - BIT Numerical Mathematics N2 - Spectral deferred correction methods for solving stiff ODEs are known to converge rapidly towards the collocation limit solution on equidistant grids, but show a much less favourable contraction on non-equidistant grids such as Radau-IIa points. We interprete SDC methods as fixed point iterations for the collocation system and propose new DIRK-type sweeps for stiff problems based on purely linear algebraic considerations. Good convergence is recovered also on non-equidistant grids. The properties of different variants are explored on a couple of numerical examples. Y1 - 2015 U6 - https://doi.org/10.1007/s10543-014-0540-y VL - 55 IS - 4 SP - 1219 EP - 1241 ER - TY - JOUR A1 - Weiser, Martin A1 - Götschel, Sebastian T1 - State Trajectory Compression for Optimal Control with Parabolic PDEs JF - SIAM J. Sci. Comput. N2 - In optimal control problems with nonlinear time-dependent 3D PDEs, full 4D discretizations are usually prohibitive due to the storage requirement. For this reason gradient and quasi-Newton methods working on the reduced functional are often employed. The computation of the reduced gradient requires one solve of the state equation forward in time, and one backward solve of the adjoint equation. The state enters into the adjoint equation, again requiring the storage of a full 4D data set. We propose a lossy compression algorithm using an inexact but cheap predictor for the state data, with additional entropy coding of prediction errors. As the data is used inside a discretized, iterative algorithm, lossy coding maintaining an error bound is sufficient. Y1 - 2012 U6 - https://doi.org/10.1137/11082172X VL - 34 IS - 1 SP - A161 EP - A184 ER - TY - GEN A1 - Nadobny, Johanna A1 - Weihrauch, Mirko A1 - Weiser, Martin A1 - Gellermann, Johanna A1 - Wlodarczyk, Waldemar A1 - Budach, Volker A1 - Wust, Peter T1 - Advances in the Planning and Control of the MR-guided Regional Hyperthermia Applications T2 - Proc. Int. Conf. Electromagnetics in Advanced Applications, ICEAA 2007, Torino, Italy Y1 - 2007 SP - 1010 EP - 1013 ER - TY - JOUR A1 - Götschel, Sebastian A1 - Weiser, Martin T1 - State Trajectory Compression in Optimal Control JF - PAMM N2 - In optimal control problems with nonlinear time-dependent 3D PDEs, the computation of the reduced gradient by adjoint methods requires one solve of the state equation forward in time, and one backward solve of the adjoint equation. Since the state enters into the adjoint equation, the storage of a 4D discretization is necessary. We propose a lossy compression algorithm using a cheap predictor for the state data, with additional entropy coding of prediction errors. Analytical and numerical results indicate that compression factors around 30 can be obtained without exceeding the FE discretization error. Y1 - 2010 U6 - https://doi.org/10.1002/pamm.201010282 VL - 10 IS - 1 SP - 579 EP - 580 ER - TY - GEN A1 - Weiser, Martin T1 - Delayed Residual Compensation for Bidomain Equations T2 - AIP Conference Proceedings N2 - The biodomain model of cardioelectric excitation consists of a reaction‐diffusion equation, an elliptic algebraic constraint, and a set of pointwise ODEs. Fast reaction enforces small time steps, such that for common mesh sizes the reaction‐diffusion equation is easily solved implicitly due to a dominating mass matrix. In contrast, the elliptic constraint does not benefit from small time steps and requires a comparably expensive solution. We propose a delayed residual compensation that improves the solution of the elliptic constraint and thus alleviates the need for long iteration times. Y1 - 2010 U6 - https://doi.org/10.1063/1.3498495 VL - 1281 SP - 419 EP - 422 ER - TY - GEN A1 - Weiser, Martin A1 - Erdmann, Bodo A1 - Deuflhard, Peter ED - Wilson, E. ED - Fitt, A. ED - Ockendon, H. ED - Norbury, J. T1 - On Efficiency and Accuracy in Cardioelectric Simulation T2 - Progress in Industrial Mathematics at ECMI 2008 N2 - Reasons for the failure of adaptive methods to deliver improved efficiency when integrating monodomain models for myocardiac excitation are discussed. Two closely related techniques for reducing the computational complexity of linearly implicit integrators, deliberate sparsing and splitting, are investigated with respect to their impact on computing time and accuracy. Y1 - 2010 SP - 371 EP - 376 PB - Springer ER - TY - JOUR A1 - Wilhelms, Mathias A1 - Seemann, Gunnar A1 - Weiser, Martin A1 - Dössel, Olaf T1 - Benchmarking Solvers of the Monodomain Equation in Cardiac Electrophysiological Modeling JF - Biomed. Engineer. Y1 - 2010 U6 - https://doi.org/10.1515/BMT.2010.712 VL - 55 SP - 99 EP - 102 ER - TY - GEN A1 - Wust, Peter A1 - Weihrauch, Mirko A1 - Weiser, Martin A1 - Gellermann, Johanna A1 - Eisenhardt, Steffen A1 - Chobrok, Thorsten A1 - Budach, Volker ED - Dössel, O. ED - Schlegel, W. ED - Magjarevic, R. T1 - Optimization of clinical radiofrequency hyperthermia by use of MR-thermography in a hybrid system T2 - World Congress on Medical Physics and Biomedical Engineering, September 2009, Munich, Germany Y1 - 2010 SP - 174 EP - 175 PB - Springer ER - TY - JOUR A1 - Lubkoll, Lars A1 - Schiela, Anton A1 - Weiser, Martin T1 - An optimal control problem in polyconvex hyperelasticity JF - SIAM J. Control Opt. N2 - We consider a shape implant design problem that arises in the context of facial surgery. We introduce a reformulation as an optimal control problem, where the control acts as a boundary force. The state is modelled as a minimizer of a polyconvex hyperelastic energy functional. We show existence of optimal solutions and derive - on a formal level - first order optimality conditions. Finally, preliminary numerical results are presented. Y1 - 2014 U6 - https://doi.org/10.1137/120876629 VL - 52 IS - 3 SP - 1403 EP - 1422 ER - TY - JOUR A1 - Günther, Andreas A1 - Lamecker, Hans A1 - Weiser, Martin T1 - Flexible Shape Matching with Finite Element Based LDDMM JF - International Journal of Computer Vision N2 - We consider Large Deformation Diffeomorphic Metric Mapping of general $m$-currents. After stating an optimization algorithm in the function space of admissable morph generating velocity fields, two innovative aspects in this framework are presented and numerically investigated: First, we spatially discretize the velocity field with conforming adaptive finite elements and discuss advantages of this new approach. Second, we directly compute the temporal evolution of discrete $m$-current attributes. Y1 - 2013 U6 - https://doi.org/10.1007/s11263-012-0599-3 VL - 105 IS - 2 SP - 128 EP - 143 ER - TY - GEN A1 - Günther, Andreas A1 - Lamecker, Hans A1 - Weiser, Martin ED - Pennec, X. ED - Joshi, S. ED - Nielsen, M. T1 - Direct LDDMM of Discrete Currents with Adaptive Finite Elements T2 - Proceedings of the Third International Workshop on Mathematical Foundations of Computational Anatomy - Geometrical and Statistical Methods for Modelling Biological Shape Variability N2 - We consider Large Deformation Diffeomorphic Metric Mapping of general $m$-currents. After stating an optimization algorithm in the function space of admissable morph generating velocity fields, two innovative aspects in this framework are presented and numerically investigated: First, we spatially discretize the velocity field with conforming adaptive finite elements and discuss advantages of this new approach. Second, we directly compute the temporal evolution of discrete $m$-current attributes. Y1 - 2011 SP - 1 EP - 14 ER -