@misc{Weber2008, author = {Weber, Marcus}, title = {An efficient analysis of rare events in canonical ensemble dynamics}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-10871}, number = {08-36}, year = {2008}, abstract = {For an analysis of a molecular system from a computational statistical thermodynamics point of view, extensive molecular dynamics simulations are very inefficient. During this procedure, at lot of redundant data is generated. Whereas the algorithms spend most of the computing time for a sampling of configurations within the basins of the potential energy landscape of the molecular system, the important information about the long-time behaviour of the molecules is given by transition regions and barriers between the basins, which are sampled rarely only. Thinking of molecular dynamics trajectories, researchers try to figure out which kind of dynamical model is suitable for an efficient simulation. This article suggests to change the point of view from extensive simulation of molecular dynamics trajectories to more efficient sampling strategies of the conformation dynamics approach.}, language = {en} } @misc{SchielaWollner2008, author = {Schiela, Anton and Wollner, Winnifried}, title = {Barrier Methods for Optimal Control Problems with Convex Nonlinear Gradient Constraints}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11014}, number = {08-47}, year = {2008}, abstract = {In this paper we are concerned with the application of interior point methods in function space to gradient constrained optimal control problems, governed by partial differential equations. We will derive existence of solutions together with first order optimality conditions. Afterwards we show continuity of the central path, together with convergence rates depending on the interior point parameter.}, language = {en} } @misc{MelladoStevensSchmidtetal.2008, author = {Mellado, Juan Pedro and Stevens, Bjorn and Schmidt, Heiko and Peters, Norbert}, title = {Buoyancy-reversal in cloud-top mixing layers}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11046}, number = {08-50}, year = {2008}, abstract = {A theoretical and numerical small-scale study of the evaporative cooling phenomenon that might appear in the stratocumulus-topped boundary layers is presented. An ideal configuration of a cloud-top mixing layer is considered as defined by two nonturbulent horizontal layers, stably stratified and with buoyancy reversal within a certain range of mixture fractions due to the evaporative cooling. Linear stability analysis of the shear-free configuration is employed to provide a new interpretation of the buoyancy reversal parameter, namely, in terms of a time-scale ratio between the unstable and the stable modes of the system. An incompressible high-order numerical algorithm to perform direct numerical simulation of the configuration is described and two-dimensional simulations of single-mode perturbations are discussed. These simulations confirm the role of the different parameters identified in the linear stability analysis and show that convoluted flow patterns can be generated by the evaporative cooling even for the low levels of buoyancy reversal found in stratocumulus clouds. They also show that there is no enhancement of entrainment of upper layer fluid in the shear-free configuration, and mixing enhancement by the evaporative cooling is restricted to the lower layer.}, language = {en} } @phdthesis{Ruprecht2010, author = {Ruprecht, Daniel}, title = {Analysis of a multi-scale asymptotic model for internal gravity waves in a moist atmosphere}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:188-fudissthesis000000018355-1}, year = {2010}, abstract = {The thesis presents the analysis of a reduced model for modulation of internal gravity waves by deep convective clouds. The starting point for the derivation are conservation laws for mass, momentum and energy coupled with a bulk micro-physics model describing the evolution of mixing ratios of water vapor, cloud water and rain water. A reduced model for the identified scales of the regime is derived, using multi-scale asymptotics. The closure of the model employs conditional averaging over the horizontal scale of the convective clouds. The resulting reduced model is an extension of the anelastic equations, linearized around a constant background state, which are well-known from meteorology. The closure of the model is achieved purely by analytical means and involves no additional physically motivated assumptions. The essential new parameter arising from the coupling to a micro-physics model is the area fraction of saturated regions on the horizontal scale of the convective clouds. It turns out that this parameter is constant on the employed short timescale. Hence the clouds constitute a constant background, modulating the characteristics of propagation of internal waves. The model is then investigated by analytical as well as numerical means. Important results are, among others, that in the model moisture (i) inhibits propagation of internal waves by reducing the modulus of the group velocity, (ii) reduces the angle between the propagation direction of a wave-packet and the horizontal, (iii) causes critical layers and (iv) introduces a maximum horizontal wavelength beyond which waves are no longer propagating but become evanescent. The investigated examples of orographically generated gravity waves also feature a significant reduction of vertical momentum flux by moisture. The model is extended by assuming systematically small under-saturation, that is saturation at leading order. The closure is similar to the original case but requires additional assumptions. The saturated area fraction in the obtained model is no longer constant but now depends nonlinearly on vertical displacement and thus on vertical velocity.}, language = {en} } @misc{GoetschelWeiserSchiela2010, author = {G{\"o}tschel, Sebastian and Weiser, Martin and Schiela, Anton}, title = {Solving Optimal Control Problems with the Kaskade 7 Finite Element Toolbox}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11909}, number = {10-25}, year = {2010}, abstract = {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.}, language = {en} } @misc{SchielaWachsmuth2011, author = {Schiela, Anton and Wachsmuth, Daniel}, title = {Convergence Analysis of Smoothing Methods for Optimal Control of Stationary Variational Inequalities}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-13125}, number = {11-23}, year = {2011}, abstract = {In the article an optimal control problem subject to a stationary variational inequality is investigated. The optimal control problem is complemented with pointwise control constraints. The convergence of a smoothing scheme is analyzed. There, the variational inequality is replaced by a semilinear elliptic equation. It is shown that solutions of the regularized optimal control problem converge to solutions of the original one. Passing to the limit in the optimality system of the regularized problem allows to prove C-stationarity of local solutions of the original problem. Moreover, convergence rates with respect to the regularization parameter for the error in the control are obtained. These rates coincide with rates obtained by numerical experiments, which are included in the paper.}, language = {en} } @misc{FackeldeyRoeblitzScharkoietal.2011, author = {Fackeldey, Konstantin and R{\"o}blitz, Susanna and Scharkoi, Olga and Weber, Marcus}, title = {Soft Versus Hard Metastable Conformations in Molecular Simulations}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-13189}, number = {11-27}, year = {2011}, abstract = {Particle methods have become indispensible in conformation dynamics to compute transition rates in protein folding, binding processes and molecular design, to mention a few. Conformation dynamics requires at a decomposition of a molecule's position space into metastable conformations. In this paper, we show how this decomposition can be obtained via the design of either ``soft'' or ``hard'' molecular conformations. We show, that the soft approach results in a larger metastabilitiy of the decomposition and is thus more advantegous. This is illustrated by a simulation of Alanine Dipeptide.}, language = {en} } @phdthesis{Weber2011, author = {Weber, Marcus}, title = {A Subspace Approach to Molecular Markov State Models via a New Infinitesimal Generator}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-14025}, school = {Zuse Institute Berlin (ZIB)}, year = {2011}, abstract = {Supercomputers can simulate complex molecular systems. However, there is a very large gap between the fastest oscillations of covalent bonds of a molecule and the time-scale of the dominant processes. In order to extract the dominant time-scales and to identify the dominant processes, a clustering of information is needed. This thesis shows that only the subspace-based Robust Perron Cluster Analysis (PCCA+) can solve this problem correctly by the construction of a Markov State Model. PCCA+ allows for time-extrapolation in molecular kinetics. This thesis shows the difference between molecular dynamics and molecular kinetics. Only in the molecular kinetics framework a definition of transition rates is possible. In this context, the existence of an infinitesimal generator of the dynamical processes is discussed. If the existence is assumed, the Theorem of Gauß can be applied in order to compute transition rates efficiently. Molecular dynamics, however, is not able to provide a suitable statistical basis for the determination of the transition pattern.}, language = {en} } @misc{SchielaHintermueller2011, author = {Schiela, Anton and Hinterm{\"u}ller, Michael}, title = {On the Length of the Primal-Dual Path in Moreau-Yosida-based Path-following for State Constrained Optimal Control: Analysis and Numerics}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-14071}, number = {11-37}, year = {2011}, abstract = {We derive a-priori estimates on the length of the primal-dual path that results from a Moreau-Yosida approximation of the feasible set for state constrained optimal control problems. These bounds depend on the regularity of the state and the dimension of the problem. Comparison with numerical results indicates that these bounds are sharp and are attained for the case of a single active point.}, language = {en} } @misc{WeiserGoetschel2010, author = {Weiser, Martin and G{\"o}tschel, Sebastian}, title = {State Trajectory Compression for Optimal Control with Parabolic PDEs}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11676}, number = {10-05}, year = {2010}, abstract = {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.}, language = {en} } @misc{BoerStoetzelRoeblitzetal.2010, author = {Boer, H. Marike T. and St{\"o}tzel, Claudia and R{\"o}blitz, Susanna and Deuflhard, Peter and Veerkamp, Roel F. and Woelders, Henri}, title = {A simple mathematical model of the bovine estrous cycle: follicle development and endocrine interactions}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11682}, number = {10-06}, year = {2010}, abstract = {Bovine fertility is the subject of extensive research in animal sciences, especially because fertility of dairy cows has declined during the last decades. The regulation of estrus is controlled by the complex interplay of various organs and hormones. Mathematical modeling of the bovine estrous cycle could help in understanding the dynamics of this complex biological system. In this paper we present a mathematical model of the bovine estrous cycle that includes the processes of follicle and corpus luteum development and the key hormones that interact to control these processes. Focus in this paper is on development of the model, but also some simulation results are presented, showing that a set of equations and parameters is obtained that describes the system consistent with empirical knowledge. Even though the majority of the mechanisms that are included are only known qualitatively as stimulatory or inhibitory effects, the model surprisingly well features quantitative observations made in reality. This model of the bovine estrous cycle could be used as a basis for more elaborate models with the ability to study effects of external manipulations and genetic differences.}, language = {en} } @misc{DierkesWadeNowaketal.2011, author = {Dierkes, Thomas and Wade, Moritz and Nowak, Ulrich and R{\"o}blitz, Susanna}, title = {BioPARKIN - Biology-related Parameter Identification in Large Kinetic Networks}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-12706}, number = {11-15}, year = {2011}, abstract = {Modelling, parameter identification, and simulation play an important r{\^o}le in Systems Biology. In recent years, various software packages have been established for scientific use in both licencing types, open source as well as commercial. Many of these codes are based on inefficient and mathematically outdated algorithms. By introducing the package BioPARKIN recently developed at ZIB, we want to improve this situation significantly. The development of the software BioPARKIN involves long standing mathematical ideas that, however, have not yet entered the field of Systems Biology, as well as new ideas and tools that are particularly important for the analysis of the dynamics of biological networks. BioPARKIN originates from the package PARKIN, written by P.Deuflhard and U.Nowak, that has been applied successfully for parameter identification in physical chemistry for many years.}, language = {en} } @misc{RoeblitzStoetzelDeuflhardetal.2011, author = {R{\"o}blitz, Susanna and St{\"o}tzel, Claudia and Deuflhard, Peter and Jones, Hannah M. and Azulay, David-Olivier and van der Graaf, Piet and Martin, Steven}, title = {A mathematical model of the human menstrual cycle for the administration of GnRH analogues}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-12732}, number = {11-16}, year = {2011}, abstract = {This study presents a differential equation model for the feedback mechanisms between Gonadotropin-releasing Hormone (GnRH), Follicle-Stimulating Hormone (FSH), Luteinizing Hormone (LH), development of follicles and corpus luteum, and the production of estradiol (E2), progesterone (P4), inhibin A (IhA), and inhibin B (IhB) during the female menstrual cycle. In contrast to other models, this model does not involve delay differential equations and is based on deterministic modelling of the GnRH pulse pattern, which allows for faster simulation times and efficient parameter identification. These steps were essential to tackle the task of developing a mathematical model for the administration of GnRH analogues. The focus of this paper is on model development for GnRH receptor binding and the integration of a pharmacokinetic/pharmacodynamic model for the GnRH agonist Nafarelin and the GnRH antagonist Cetrorelix into the menstrual cycle model. The final mathematical model describes the hormone profiles (LH, FSH, P4, E2) throughout the menstrual cycle in 12 healthy women. Moreover, it correctly predicts the changes in the cycle following single and multiple dose administration of Nafarelin or Cetrorelix at different stages in the cycle.}, language = {en} } @misc{StoetzelPloentzkeRoeblitz2011, author = {St{\"o}tzel, Claudia and Pl{\"o}ntzke, Julia and R{\"o}blitz, Susanna}, title = {Advances in modelling of the bovine estrous cycle: Administration of PGF2alpha}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-12740}, number = {11-17}, year = {2011}, abstract = {Our model of the bovine estrous cycle is a set of ordinary differential equations which generates hormone profiles of successive estrous cycles with several follicular waves per cycle. It describes the growth and decay of the follicles and the corpus luteum, as well as the change of the key substances over time. In this work we describe recent improvements of this model, including the introduction of new components, and elimination of time delays. We validate our model by showing that the simulations agree with observations from synchronization studies and with measured progesterone data after a single dose administration of synthetic prostaglandin F2alpha.}, language = {en} } @misc{GuentherLameckerWeiser2011, author = {G{\"u}nther, Andreas and Lamecker, Hans and Weiser, Martin}, title = {Direct LDDMM of Discrete Currents with Adaptive Finite Elements}, doi = {10.1007/s11263-012-0599-3}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-13090}, number = {11-22}, year = {2011}, abstract = {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.}, language = {en} } @misc{MeyerPanizziSchiela2010, author = {Meyer, Christian and Panizzi, Lucia and Schiela, Anton}, title = {Uniqueness criteria for solutions of the adjoint equation in state-constrained optimal control}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11933}, number = {10-28}, year = {2010}, abstract = {The paper considers linear elliptic equations with regular Borel measures as inhomogeneity. Such equations frequently appear in state-constrained optimal control problems. By a counter-example of Serrin, it is known that, in the presence of non-smooth data, a standard weak formulation does not ensure uniqueness for such equations. Therefore several notions of solution have been developed that guarantee uniqueness. In this note, we compare different definitions of solutions, namely the ones of Stampacchia and the two notions of solutions of Casas and Alibert-Raymond, and show that they are the same. As side results, we reformulate the solution in the sense of Stampacchia, and prove the existence and uniqueness of solutions in in case of mixed boundary conditions.}, language = {en} } @misc{BergRitterRoeblitz2011, author = {Berg, Mascha and Ritter, Julia and R{\"o}blitz, Susanna}, title = {A mathematical model for the Zinc response of young pigs}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-12191}, number = {11-05}, year = {2011}, abstract = {In a number of studies the feeding of pharmacological levels of Zinc to weanling pigs was examined. The publications agree in the fact that the achieved performance increase of the pigs depends on the amount of Zinc as well as on the type of mineral complex used as feed additive. The results are based on measurements of the animals' body weight and the Zinc concentration in the blood within the first two weeks of the experiments. From the measurement values, conclusions are drawn about adequate Zinc doses, but a deeper understanding of the physiological processes that influence the Zinc distribution in the organism is still missing. In this report, we want to close this gap by using a systems biology approach. We present a small mathematical model that describes the organic feedback mechanisms with the help of differential equations. The simulation results not only match with measurement values, but also give insight into non-measurable processes, which will hopefully contribute to animal experiments being organized in a more selective and reduced way.}, language = {en} } @misc{DeuflhardSchielaWeiser2011, author = {Deuflhard, Peter and Schiela, Anton and Weiser, Martin}, title = {Mathematical Cancer Therapy Planning in Deep Regional Hyperthermia}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-14204}, number = {11-39}, year = {2011}, abstract = {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.}, language = {en} } @misc{SanderKlapprothYouettetal.2012, author = {Sander, Oliver and Klapproth, Corinna and Youett, Jonathan and Kornhuber, Ralf and Deuflhard, Peter}, title = {Towards an Efficient Numerical Simulation of Complex 3D Knee Joint Motion}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-14512}, number = {12-06}, year = {2012}, abstract = {We present a time-dependent finite element model of the human knee joint of full 3D geometric complexity. Its efficient numerical simulation requires advanced numerical algorithms that have been developed just recently. Up to now, the model comprises bones, cartilage, and the major ligaments (patella and menisci are still missing). Bones (femur, tibia, and fibula) are modelled by linear elastic materials, cartilage by viscoelastic materials, ligaments by one-dimensional so-called Cosserat rods. In order to capture the dynamical contact problems correctly, we solve the full PDEs of elasticity in the presence of strict contact inequalities. For the total spatio-temporal discretization we apply a method of layers approach (first time, then space discretization). For the time discretization of the elastic and viscoelastic parts, we apply a new contact-stabilized Newmark method, while for the Cosserat rods we choose an energy-momentum method. For the space discretization, we use linear finite elements for the elastic and viscoelastic parts and novel geodesic finite elements for the Cosserat rods. The coupled system is solved by a Dirichlet-Neumann method, and the arising large algebraic systems are solved by a recent fast multigrid solver, the truncated non-smooth Newton multigrid method.}, language = {en} } @misc{LubkollSchielaWeiser2012, author = {Lubkoll, Lars and Schiela, Anton and Weiser, Martin}, title = {An optimal control problem in polyconvex hyperelasticity}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-14745}, number = {12-08}, year = {2012}, abstract = {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.}, language = {en} } @misc{Weber2012, author = {Weber, Marcus}, title = {The funnel trap paradox}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-14765}, number = {12-12}, year = {2012}, abstract = {In this article, an illustrative example is given for the coarse-graining of a Markov process which leads to a shift in the statistical weights of a two-states-system. The example is based on a 2D-funnel trap. The funnel trap is constructed in such a way, that the area inside and outside of the trap is identical. However, observing the flight of the insect as a Markov process, the probability for being "in the trap" is higher. This example can be transferred to several kinds of processes (like receptor-ligandbinding processes in chemistry) and describes the influence of "re-entering events".}, language = {en} } @misc{KlapprothSchielaDeuflhard2010, author = {Klapproth, Corinna and Schiela, Anton and Deuflhard, Peter}, title = {Adaptive Timestep Control for the Contact-Stabilized Newmark Method}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11714}, number = {10-09}, year = {2010}, abstract = {The aim of this paper is to devise an adaptive timestep control in the contact--stabilized Newmark method (CONTACX) for dynamical contact problems between two viscoelastic bodies in the framework of Signorini's condition. In order to construct a comparative scheme of higher order accuracy, we extend extrapolation techniques. This approach demands a subtle theoretical investigation of an asymptotic error expansion of the contact--stabilized Newmark scheme. On the basis of theoretical insight and numerical observations, we suggest an error estimator and a timestep selection which also cover the presence of contact. Finally, we give a numerical example.}, language = {en} } @misc{Fackeldey2010, author = {Fackeldey, Konstantin}, title = {Coupling Meshbased and Meshfree Methods by a Transfer Operator Approach}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11755}, number = {10-12}, year = {2010}, abstract = {In contrast to the well known meshbased methods like the finite element method, meshfree methods do not rely on a mesh. However besides their great applicability, meshfree methods are rather time consuming. Thus, it seems favorable to combine both methods, by using meshfree methods only in a small part of the domain, where a mesh is disadvantageous, and a meshbased method for the rest of the domain. We motivate, that this coupling between the two simulation techniques can be considered as saddle point problem and show the stability of this coupling. Thereby a novel transfer operator is introduced, which interacts in the transition zone, where both methods coexist.}, language = {en} } @misc{SchaedleZschiedrich2005, author = {Sch{\"a}dle, Achim and Zschiedrich, Lin}, title = {Additive Schwarz method for scattering problems using the PML method at interfaces}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8613}, number = {05-27}, year = {2005}, abstract = {Scattering problems in integrated optics can be modeled in simple cases by the Helmholtz equation. The computational domain is truncated by a non-reflecting boundary condition. We investigate Schwarz algorithms with a sort of DtN operator, realized by the PML-method, at the interfaces of the sub-domains as an iterative solver.}, language = {en} } @misc{FranzoneDeuflhardErdmannetal.2005, author = {Franzone, Piero Colli and Deuflhard, Peter and Erdmann, Bodo and Lang, Jens and Pavarino, Luca Franco}, title = {Adaptivity in Space and Time for Reaction-Diffusion Systems in Electrocardiology}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8649}, number = {05-30}, year = {2005}, abstract = {Adaptive numerical methods in space and time are introduced and studied for multiscale cardiac reaction-diffusion models in three dimensions. The evolution of a complete heartbeat, from the excitation to the recovery phase, is simulated with both the anisotropic Bidomain and Monodomain models, coupled with either a variant of the simple FitzHugh-Nagumo model or the more complex phase-I Luo-Rudy ionic model. The simulations are performed with the {\sc kardos} library, that employs adaptive finite elements in space and adaptive linearly implicit methods in time. The numerical results show that this adaptive method successfully solves these complex cardiac reaction-diffusion models on three-dimensional domains of moderate sizes. By automatically adapting the spatial meshes and time steps to the proper scales in each phase of the heartbeat, the method accurately resolves the evolution of the intra- and extra-cellular potentials, gating variables and ion concentrations during the excitation, plateau and recovery phases.}, language = {en} } @phdthesis{Friese1998, author = {Friese, Tilmann}, title = {Eine Mehrgitter-Methode zur L{\"o}sung des Eigenwertproblems der komplexen Helmholtzgleichung}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:188-1999000133}, year = {1998}, language = {en} } @misc{PruefertTroeltzschWeiser2004, author = {Pr{\"u}fert, Uwe and Tr{\"o}ltzsch, Fredi and Weiser, Martin}, title = {The convergence of an interior point method for an elliptic control problem with mixed control-state constraints}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8223}, number = {04-47}, year = {2004}, abstract = {The paper addresses primal interior point method for state constrained PDE optimal control problems. By a Lavrentiev regularization, the state constraint is transformed to a mixed control-state constraint with bounded Lagrange multiplier. Existence and convergence of the central path are established, and linear convergence of a short-step pathfollowing method is shown. The behaviour of the regularizations are demonstrated by numerical examples.}, language = {en} } @misc{LopezFernandezLubichSchaedle2006, author = {Lopez-Fernandez, Maria and Lubich, Christian and Sch{\"a}dle, Achim}, title = {Adaptive, Fast and Oblivious Convolution in Evolution Equations with Memory}, doi = {10.1137/060674168}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-9399}, number = {06-45}, year = {2006}, abstract = {To approximate convolutions which occur in evolution equations with memory terms, a variable-stepsize algorithm is presented for which advancing \$N\$ steps requires only \$O(N\log N)\$ operations and \$O(\log N)\$ active memory, in place of \$O(N^2)\$ operations and \$O(N)\$ memory for a direct implementation. A basic feature of the fast algorithm is the reduction, via contour integral representations, to differential equations which are solved numerically with adaptive step sizes. Rather than the kernel itself, its Laplace transform is used in the algorithm. The algorithm is illustrated on three examples: a blow-up example originating from a Schr{\"o}dinger equation with concentrated nonlinearity, chemical reactions with inhibited diffusion, and viscoelasticity with a fractional order constitutive law.}, language = {en} } @misc{WeiserDeuflhardErdmann2004, author = {Weiser, Martin and Deuflhard, Peter and Erdmann, Bodo}, title = {Affine conjugate adaptive Newton methods for nonlinear elastomechanics}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7768}, number = {04-01}, year = {2004}, abstract = {The paper extends affine conjugate Newton methods from convex to nonconvex minimization, with particular emphasis on PDE problems originating from compressible hyperelasticity. Based on well-known schemes from finite dimensional nonlinear optimization, three different algorithmic variants are worked out in a function space setting, which permits an adaptive multilevel finite element implementation. These algorithms are tested on two well-known 3D test problems and a real-life example from surgical operation planning.}, language = {en} } @misc{WeiserGaenzlerSchiela2004, author = {Weiser, Martin and G{\"a}nzler, Tobias and Schiela, Anton}, title = {A Control Reduced Primal Interior Point Method for PDE Constrained Optimization}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8138}, number = {04-38}, year = {2004}, abstract = {A primal interior point method for control constrained optimal control problems with PDE constraints is considered. Pointwise elimination of the control leads to a homotopy in the remaining state and dual variables, which is addressed by a short step pathfollowing method. The algorithm is applied to the continuous, infinite dimensional problem, where discretization is performed only in the innermost loop when solving linear equations. The a priori elimination of the least regular control permits to obtain the required accuracy with comparable coarse meshes. Convergence of the method and discretization errors are studied, and the method is illustrated at two numerical examples.}, language = {en} } @misc{DeuflhardHuisingaJahnkeetal.2007, author = {Deuflhard, Peter and Huisinga, Wilhelm and Jahnke, Tobias and Wulkow, Michael}, title = {Adaptive Discrete Galerkin Methods Applied to the Chemical Master Equation}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-9471}, number = {07-04}, year = {2007}, abstract = {\begin{abstract} In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematically speaking, such models require the numerical solution of the underlying evolution equat ion, also known as the chemical master equation (CME). Up to now, the CME has almost exclusively been treated by Monte-Carlo techniques, the most prominent of which is the simulation algorithm suggest ed by Gillespie in 1976. Since this algorithm requires an update for each single reaction event, realizations can be computationally very costly. As an alternative, we here propose a novel approach, which focuses on the discrete partial differential equation (PDE) structure of the CME and thus allows to adopt ideas from adaptive discrete Galerkin methods (as designed by two of the present authors in 1989), which have proven to be highly efficient in the mathematical modelling of polyreaction kinetics. Among the two different options of discretizing the CME as a discrete PDE, the method of lines approach (first space, then time) and the Rothe method (first time, then space), we select the latter one for clear theoretical and algorithmic reasons. First numeric al experiments at a challenging model problem illustrate the promising features of the proposed method and, at the same time, indicate lines of necessary further research. \end{abstract}}, language = {en} } @misc{SchaedleZschiedrichBurgeretal.2006, author = {Sch{\"a}dle, Achim and Zschiedrich, Lin and Burger, Sven and Klose, Roland and Schmidt, Frank}, title = {Domain Decomposition Method for Maxwell's Equations: Scattering off Periodic Structures}, doi = {/10.1016/j.jcp.2007.04.017}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8984}, number = {06-04}, year = {2006}, abstract = {We present a domain decomposition approach for the computation of the electromagnetic field within periodic structures. We use a Schwarz method with transparent boundary conditions at the interfaces of the domains. Transparent boundary conditions are approximated by the perfectly matched layer method (PML). To cope with Wood anomalies appearing in periodic structures an adaptive strategy to determine optimal PML parameters is developed. We focus on the application to typical EUV lithography line masks. Light propagation within the multi-layer stack of the EUV mask is treated analytically. This results in a drastic reduction of the computational costs and allows for the simulation of next generation lithography masks on a standard personal computer.}, language = {en} } @misc{LopezFernandezPalenciaSchaedle2005, author = {Lopez-Fernandez, Maria and Palencia, Cesar and Sch{\"a}dle, Achim}, title = {A spectral order method for inverting sectorial Laplace transforms}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8607}, number = {05-26}, year = {2005}, abstract = {Laplace transforms which admit a holomorphic extension to some sector strictly containing the right half plane and exhibiting a potential behavior are considered. A spectral order, parallelizable method for their numerical inversion is proposed. The method takes into account the available information about the errors arising in the evaluations. Several numerical illustrations are provided.}, language = {en} } @phdthesis{Weber2006, author = {Weber, Marcus}, title = {Meshless Methods in Confirmation Dynamics}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-10232}, year = {2006}, language = {en} } @phdthesis{Galliat2002, author = {Galliat, Tobias}, title = {Adaptive Multilevel Cluster Analysis by Self-Organizing Box Maps}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:188-2002001258}, year = {2002}, abstract = {Als Cluster Analyse bezeichnet man den Prozess der Suche und Beschreibung von Gruppen (Clustern) von Objekten, so daß die Objekte innerhalb eines Clusters bez{\"u}glich eines gegebenen Maßes maximal homogen sind. Die Homogenit{\"a}t der Objekte h{\"a}ngt dabei direkt oder indirekt von den Auspr{\"a}gungen ab, die sie f{\"u}r eine Anzahl festgelegter Attribute besitzen. Die Suche nach Clustern l{\"a}ßt sich somit als Optimierungsproblem auffassen, wobei die Anzahl der Cluster vorher bekannt sein muß. Wenn die Anzahl der Objekte und der Attribute groß ist, spricht man von komplexen, hoch-dimensionalen Cluster Problemen. In diesem Fall ist eine direkte Optimierung zu aufwendig, und man ben{\"o}tigt entweder heuristische Optimierungsverfahren oder Methoden zur Reduktion der Komplexit{\"a}t. In der Vergangenheit wurden in der Forschung fast ausschließlich Verfahren f{\"u}r geometrisch basierte Clusterprobleme entwickelt. Bei diesen Problemen lassen sich die Objekte als Punkte in einem von den Attributen aufgespannten metrischen Raum modellieren; das verwendete Homogenit{\"a}tsmaß basiert auf der geometrischen Distanz der den Objekten zugeordneten Punkte. Insbesondere zur Bestimmung sogenannter metastabiler Cluster sind solche Verfahren aber offensichtlich nicht geeignet, da metastabile Cluster, die z.B. in der Konformationsanalyse von Biomolek{\"u}len von zentraler Bedeutung sind, nicht auf einer geometrischen, sondern einer dynamischen {\"A}hnlichkeit beruhen. In der vorliegenden Arbeit wird ein allgemeines Clustermodell vorgeschlagen, das zur Modellierung geometrischer, wie auch dynamischer Clusterprobleme geeignet ist. Es wird eine Methode zur Komplexit{\"a}tsreduktion von Clusterproblemen vorgestellt, die auf einer zuvor generierten Komprimierung der Objekte innerhalb des Datenraumes basiert. Dabei wird bewiesen, daß eine solche Reduktion die Clusterstruktur nicht zerst{\"o}rt, wenn die Komprimierung fein genug ist. Mittels selbstorganisierter neuronaler Netze lassen sich geeignete Komprimierungen berechnen. Um eine signifikante Komplexit{\"a}tsreduktion ohne Zerst{\"o}rung der Clusterstruktur zu erzielen, werden die genannten Methoden in ein mehrstufiges Verfahren eingebettet. Da neben der Identifizierung der Cluster auch deren effiziente Beschreibung notwendig ist, wird ferner eine spezielle Art der Komprimierung vorgestellt, der eine Boxdiskretisierung des Datenraumes zugrunde liegt. Diese erm{\"o}glicht die einfache Generierung von regelbasierten Clusterbeschreibungen. F{\"u}r einen speziellen Typ von Homogenit{\"a}tsfunktionen, die eine stochastische Eigenschaft besitzen, wird das mehrstufige Clusterverfahren um eine Perroncluster Analyse erweitert. Dadurch wird die Anzahl der Cluster, im Gegensatz zu herk{\"o}mmlichen Verfahren, nicht mehr als Eingabeparameter ben{\"o}tigt. Mit dem entwickelten Clusterverfahren kann erstmalig eine computergest{\"u}tzte Konformationsanalyse großer, f{\"u}r die Praxis relevanter Biomolek{\"u}le durchgef{\"u}hrt werden. Am Beispiel des HIV Protease Inhibitors VX-478 wird dies detailliert beschrieben.}, language = {en} } @misc{WeberBeckerKoeppenetal.2007, author = {Weber, Marcus and Becker, Roland and K{\"o}ppen, Robert and Durmaz, Vedat}, title = {Classical hybrid Monte-Carlo simulations of the interconversion of hexabromocyclododecane}, organization = {Zuse-Institut Berlin}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-10308}, number = {07-31}, year = {2007}, abstract = {In this paper, we investigate the interconversion processes of the major flame retardant -- 1,2,5,6,9,10-hexabromocyclododecane (HBCD) -- by the means of statistical thermodynamics based on classical force-fields. Three ideas will be presented. First, the application of classical hybrid Monte-Carlo simulations for quantum mechanical processes will be justified. Second, the problem of insufficient convergence properties of hybrid Monte-Carlo methods for the generation of low temperature canonical ensembles will be solved by an interpolation approach. Furthermore, it will be shown how free energy differences can be used for a rate matrix computation. The results of our numerical simulations will be compared to experimental results.}, language = {en} } @misc{GoetschelNagaiahKunischetal.2013, author = {G{\"o}tschel, Sebastian and Nagaiah, Chamakuri and Kunisch, Karl and Weiser, Martin}, title = {Lossy Compression in Optimal Control of Cardiac Defibrillation}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-18566}, year = {2013}, abstract = {This paper presents efficient computational techniques for solving an optimization problem in cardiac defibrillation governed by the monodomain equations. Time-dependent electrical currents injected at different spatial positions act as the control. Inexact Newton-CG methods are used, with reduced gradient computation by adjoint solves. In order to reduce the computational complexity, adaptive mesh refinement for state and adjoint equations is performed. To reduce the high storage and bandwidth demand imposed by adjoint gradient and Hessian-vector evaluations, a lossy compression technique for storing trajectory data is applied. An adaptive choice of quantization tolerance based on error estimates is developed in order to ensure convergence. The efficiency of the proposed approach is demonstrated on numerical examples.}, language = {en} } @misc{GoetschelWeiser2013, author = {G{\"o}tschel, Sebastian and Weiser, Martin}, title = {Lossy Compression for PDE-constrained Optimization: Adaptive Error Control}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-18575}, year = {2013}, abstract = {For the solution of optimal control problems governed by nonlinear parabolic PDEs, 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 ad-joint 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 which are accurate enough, in many case very fine discretizations in time and space are necessary, which leads to a significant amount of data to be stored and transmitted to mass storage. Lossy compression methods were developed to overcome the storage problem by reducing the accuracy of the stored trajectories. The inexact data induces errors in the reduced gradient and reduced Hessian. In this paper, we analyze the influence of such a lossy trajectory compression method on Newton-CG methods for optimal control of parabolic PDEs and design an adaptive strategy for choosing appropriate quantization tolerances.}, language = {en} } @misc{Weiser2013, author = {Weiser, Martin}, title = {Faster SDC convergence on non-equidistant grids by DIRK sweeps}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-18662}, year = {2013}, abstract = {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.}, language = {en} } @misc{BondouyRoeblitz2012, author = {Bondouy, Manon and R{\"o}blitz, Susanna}, title = {Mathematical modeling of follicular development in bovine estrous cycles}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-15585}, year = {2012}, abstract = {Normal follicular growth is a prerequisite for successful fertilization of dairy cows. However, submission rates have been decreasing during the last decades because animals are not ovulating at the planned time of mating or insemination. In this study we use a mathematical model to investigate mechanisms that lead to anestrus. This model is derived by coupling two previously published models: a small model for the development of multiple follicles (Smith et al., 2004), and a large estrous cycle model (St\"otzel et al., 2012). We first investigate the influence of synchronization protocols on the time-shift of ovulation. In a second scenario we simulate an extended period of anestrus as it typically occurs after calving.}, language = {en} } @misc{TungaWeber2012, author = {Tunga, Burcu and Weber, Marcus}, title = {Free Energy Calculation Using Mayer Cluster Expansion and Fluctuation Free Integration}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-16031}, year = {2012}, abstract = {This work aims to develop a new algorithm to calculate the free energy of water molecules by using a deterministic way. For this purpose, we assume a closed system confined to a physical volume, having water molecules in gas phase. To calculate the free energy of this sytem we utilized Mayer cluster expansion and the fluctuation free integration method.}, language = {en} } @misc{PloentzkeBergOlanyetal.2013, author = {Pl{\"o}ntzke, Julia and Berg, Mascha and Olany, Amiya and Leonhard-Marek, Sabine and M{\"u}ller, Kerstin-Elisabeth and R{\"o}blitz, Susanna}, title = {Modeling potassium balance in dairy cows}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-17749}, year = {2013}, abstract = {Potassium is fundamental for cell functioning including signal transduction, acid-base- and water-metabolism. Since diet of dairy cows is generally rich in potassium, hypokalemia was not in the focus of research for long time. Furthermore, hypokalemia was not frequently diagnosed because blood potassium content is difficult to measure. In recent years, measurement methods have been improved. Nowadays hypokalemia is increasingly diagnosed in cows with disorders such as abomasal displacement, ketosis or down cow syndrome, calling for intensified research on this topic. In this report we describe the development of a basic mechanistic, dynamic model of potassium balance based on ordinary differential and algebraic equations. Parameter values are obtained from data of a clinical trial in which potassium balance and the influence of therapeutic intervention in glucose and electrolyte metabolism on potassium balance in non-lactating dairy cows were studied. The model is formulated at a high abstraction level and includes information and hypotheses from literature. This work represents a first step towards the understanding and design of effective prophylactic feed additives and treatment strategies.}, language = {en} } @misc{WeberFackeldey2013, author = {Weber, Marcus and Fackeldey, Konstantin}, title = {Computing the Minimal Rebinding Effect Included in a Given Kinetics}, issn = {1438-0064}, doi = {10.1137/13091124X}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-17796}, year = {2013}, abstract = {The rebinding effect is a phenomenon which occurs when observing a ligand-receptor binding process. On the macro scale this process comprises the Markov property. This Makovian view is spoiled when switching to the atomistic scale of a binding process. We therefore suggest a model which accurately describes the rebinding effect on the atomistic scale by allowing ''intermediate'' bound states. This allows us to define an indicator for the magnitude of rebinding and to formulate an optimization problem. The results form our examples show good agreement with data form laboratory.}, language = {en} } @misc{WinkelmannSchuettevonKleist2013, author = {Winkelmann, Stefanie and Sch{\"u}tte, Christof and von Kleist, Max}, title = {Markov Control Processes with Rare State Observation: Theory and Application to Treatment Scheduling in HIV-1}, issn = {1438-0064}, doi = {10.4310/CMS.2014.v12.n5.a4}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-41955}, year = {2013}, abstract = {Markov Decision Processes (MDP) or Partially Observable MDPs (POMDP) are used for modelling situations in which the evolution of a process is partly random and partly controllable. These MDP theories allow for computing the optimal control policy for processes that can continuously or frequently be observed, even if only partially. However, they cannot be applied if state observation is very costly and therefore rare (in time). We present a novel MDP theory for rare, costly observations and derive the corresponding Bellman equation. In the new theory, state information can be derived for a particular cost after certain, rather long time intervals. The resulting information costs enter into the total cost and thus into the optimization criterion. This approach applies to many real world problems, particularly in the medical context, where the medical condition is examined rather rarely because examination costs are high. At the same time, the approach allows for efficient numerical realization. We demonstrate the usefulness of the novel theory by determining, from the national economic perspective, optimal therapeutic policies for the treatment of the human immunodefficiency virus (HIV) in resource-rich and resource-poor settings. Based on the developed theory and models, we discover that available drugs may not be utilized efficiently in resource-poor settings due to exorbitant diagnostic costs.}, language = {en} } @inproceedings{SkibinaIliewBethgeetal.2009, author = {Skibina, Julia and Iliew, Rumen and Bethge, Jens and Bock, Martin and Fischer, Dorit and Beloglazov, Valentin and Wedell, Reiner and Burger, Sven and Steinmeyer, G{\"u}nter}, title = {A chirped photonic crystal fiber for high-fidelity guiding of sub-100 fs pluses}, booktitle = {CLEO/QELS}, doi = {10.1364/CLEO.2009.CMHH1}, pages = {CMHH1}, year = {2009}, language = {en} } @misc{LieFackeldeyWeber2013, author = {Lie, Han Cheng and Fackeldey, Konstantin and Weber, Marcus}, title = {A square root approximation of transition rates for a Markov State Model}, issn = {1438-0064}, doi = {10.1137/120899959}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-42195}, year = {2013}, abstract = {Trajectory- or mesh-based methods for analyzing the dynamical behavior of large molecules tend to be impractical due to the curse of dimensionality - their computational cost increases exponentially with the size of the molecule. We propose a method to break the curse by a novel square root approximation of transition rates, Monte Carlo quadrature and a discretization approach based on solving linear programs. With randomly sampled points on the molecular energy landscape and randomly generated discretizations of the molecular configuration space as our initial data, we construct a matrix describing the transition rates between adjacent discretization regions. This transition rate matrix yields a Markov State Model of the molecular dynamics. We use Perron cluster analysis and coarse-graining techniques in order to identify metastable sets in configuration space and approximate the transition rates between the metastable sets. Application of our method to a simple energy landscape on a two-dimensional configuration space provides proof of concept and an example for which we compare the performance of different discretizations. We show that the computational cost of our method grows only polynomially with the size of the molecule. However, finding discretizations of higher-dimensional configuration spaces in which metastable sets can be identified remains a challenge.}, language = {en} } @inproceedings{BurgerZschiedrichPomplunetal.2013, author = {Burger, Sven and Zschiedrich, Lin and Pomplun, Jan and Schmidt, Frank}, title = {Finite-element based electromagnetic field simulations: Benchmark results for isolated structures}, volume = {8880}, booktitle = {Proc. SPIE}, arxiv = {http://arxiv.org/abs/1310.2732}, doi = {10.1117/12.2026213}, pages = {88801Z}, year = {2013}, language = {en} } @phdthesis{MoualeuNgangue2013, author = {Moualeu-Ngangue, Dany Pascal}, title = {A Mathematical Tuberculosis Model in Cameroon}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:188-fudissthesis000000095327-7}, school = {Freie Universit{\"a}t Berlin}, pages = {154}, year = {2013}, abstract = {This thesis firstly presents a nonlinear extended deterministic model for the transmission dynamics of tuberculosis, based on realistic assumptions and data collected from the WHO. This model enables a comprehensive qualitative analysis of various aspects in the outbreak and control of tuberculosis in Sub-Saharan Africa countries and successfully reproduces the epidemiology of tuberculosis in Cameroon for the past (from 1994-2010). Some particular properties of the model and its solution have been presented using the comparison theorem applied to the theory of differential equations. The existence and the stability of a disease free equilibrium has been discussed using the Perron-Frobenius theorem and Metzler stable matrices. Furthermore, we computed the basic reproduction number, i.e. the number of cases that one case generates on average over the course of its infectious period. Rigorous qualitative analysis of the model reveals that, in contrast to the model without reinfections, the full model with reinfection exhibits the phenomenon of backward bifurcation, where a stable disease-free equilibrium coexists with a stable endemic equilibrium when a certain threshold quantity, known as the basic reproduction ratio (R0), is less than unity. The global stability of the disease-free equilibrium has been discussed using the concepts of Lyapunov stability and bifurcation theory. With the help of a sensitivity analysis using data of Cameroon, we identified the relevant parameters which play a key role for the transmission and the control of the disease. This was possible applying sophisticated numerical methods (POEM) developed at ZIB. Using advanced approaches for optimal control considering the costs for chemoprophylaxis, treatment and educational campaigns should provide a framework for designing realistic cost effective strategies with different intervention methods. The forward-backward sweep method has been used to solve the numerical optimal control problem. The numerical result of the optimal control problem reveals that combined effort in education and chemoprophylaxis may lead to a reduction of 80\\% in the number of infected people in 10 years. The mathematical and numerical approaches developed in this thesis could be similarly applied in many other Sub-Saharan countries where TB is a public health problem.}, language = {en} } @misc{MoualeuNgangueRoeblitzEhrigetal.2013, author = {Moualeu-Ngangue, Dany Pascal and R{\"o}blitz, Susanna and Ehrig, Rainald and Deuflhard, Peter}, title = {Parameter Identification for a Tuberculosis Model in Cameroon}, issn = {1438-0064}, doi = {10.1371/journal.pone.0120607}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-43087}, year = {2013}, abstract = {A deterministic model of tuberculosis in sub-Saharan Africa in general and Cameroon in particular including lack of access to the treatment and weak diagnose capacity is designed and analyzed with respect to its transmission dynamics. The model includes both frequency- and density-dependent transmissions. It is shown that the model is mathematically well-posed and epidemiologically reasonable. Solutions are non-negative and bounded whenever the initial values are non-negative. A sensitivity analysis of model parameters is performed and most sensitive parameters of the model are identified using a state-of-the-art Gauss-Newton Method. In particular, parameters representing the proportion of individuals having access to medical facilities have a large impact on the dynamics of the disease. It has been shown that an increase of these parameter values over the time can significantly reduce the disease burden in the population within the next 15 years.}, language = {en} } @misc{MoualeuNgangueWeiserEhrigetal.2013, author = {Moualeu-Ngangue, Dany Pascal and Weiser, Martin and Ehrig, Rainald and Deuflhard, Peter}, title = {Optimal control for a tuberculosis model with undetected cases in Cameroon}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-43142}, year = {2013}, abstract = {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}, language = {en} }