@unpublished{RabinovichSchulzeTarkhanov1997,
  author    = {Rabinovich, Vladimir and Schulze, Bert-Wolfgang and Tarkhanov, Nikolai Nikolaevich},
  title     = {A calculus of boundary value problems in domains with Non-Lipschitz Singular Points},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24957},
  year      = {1997},
  abstract  = {The paper is devoted to pseudodifferential boundary value problems in domains with singular points on the boundary. The tangent cone at a singular point is allowed to degenerate. In particular, the boundary may rotate and oscillate in a neighbourhood of such a point. We show a criterion for the Fredholm property of a boundary value problem and derive estimates of solutions close to singular points.},
  language  = {en}
}
@unpublished{SchulzeTarkhanov1997,
  author    = {Schulze, Bert-Wolfgang and Tarkhanov, Nikolai Nikolaevich},
  title     = {Lefschetz theory on manifolds with edges : introduction},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24948},
  year      = {1997},
  abstract  = {The aim of this book is to develop the Lefschetz fixed point theory for elliptic complexes of pseudodifferential operators on manifolds with edges. The general Lefschetz theory contains the index theory as a special case, while the case to be studied is much more easier than the index problem. The main topics are: - The calculus of pseudodifferential operators on manifolds with edges, especially symbol structures (inner as well as edge symbols). - The concept of ellipticity, parametrix constructions, elliptic regularity in Sobolev spaces. - Hodge theory for elliptic complexes of pseudodifferential operators on manifolds with edges. - Development of the algebraic constructions for these complexes, such as homotopy, tensor products, duality. - A generalization of the fixed point formula of Atiyah and Bott for the case of simple fixed points. - Development of the fixed point formula also in the case of non-simple fixed points, provided that the complex consists of diferential operarators only. - Investigation of geometric complexes (such as, for instance, the de Rham complex and the Dolbeault complex). Results in this direction are desirable because of both purely mathe matical reasons and applications in natural sciences.},
  language  = {en}
}
@misc{ChampagnatRoelly2008,
  author    = {Champagnat, Nicolas and Roelly, Sylvie},
  title     = {Limit theorems for conditioned multitype Dawson-Watanabe processes and Feller diffusions},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18610},
  year      = {2008},
  abstract  = {A multitype Dawson-Watanabe process is conditioned, in subcritical and critical cases, on non-extinction in the remote future. On every finite time interval, its distribution is absolutely continuous with respect to the law of the unconditioned process. A martingale problem characterization is also given. Several results on the long time behavior of the conditioned mass process - the conditioned multitype Feller branching diffusion - are then proved. The general case is first considered, where the mutation matrix which models the interaction between the types, is irreducible. Several two-type models with decomposable mutation matrices are analyzed too .},
  language  = {en}
}
@phdthesis{Koh2008,
  author    = {Koh, Dennis},
  title     = {The evolution equation for closed magnetic geodesics},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-940793-24-9},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-16647},
  school      = {Universit{\"a}t Potsdam},
  pages     = {60},
  year      = {2008},
  abstract  = {Orbits of charged particles under the effect of a magnetic field are mathematically described by magnetic geodesics. They appear as solutions to a system of (nonlinear) ordinary differential equations of second order. But we are only interested in periodic solutions. To this end, we study the corresponding system of (nonlinear) parabolic equations for closed magnetic geodesics and, as a main result, eventually prove the existence of long time solutions. As generalization one can consider a system of elliptic nonlinear partial differential equations whose solutions describe the orbits of closed p-branes under the effect of a "generalized physical force". For the corresponding evolution equation, which is a system of parabolic nonlinear partial differential equations associated to the elliptic PDE, we can establish existence of short time solutions.},
  language  = {en}
}
@misc{Reich1994,
  author    = {Reich, Sebastian},
  title     = {Momentum conserving symplectic integrators},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-16824},
  year      = {1994},
  abstract  = {In this paper, we show that symplectic partitioned Runge-Kutta methods conserve momentum maps corresponding to linear symmetry groups acting on the phase space of Hamiltonian differential equations by extended point transformation. We also generalize this result to constrained systems and show how this conservation property relates to the symplectic integration of Lie-Poisson systems on certain submanifolds of the general matrix group GL(n).},
  language  = {en}
}
@misc{AscherChinPetzoldetal.1994,
  author    = {Ascher, Uri M. and Chin, Hongsheng and Petzold, Linda R. and Reich, Sebastian},
  title     = {Stabilization of constrained mechanical systems with DAEs and invariant manifolds},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15698},
  year      = {1994},
  abstract  = {Many methods have been proposed for the simulation of constrained mechanical systems. The most obvious of these have mild instabilities and drift problems. Consequently, stabilization techniques have been proposed A popular stabilization method is Baumgarte's technique, but the choice of parameters to make it robust has been unclear in practice. Some of the simulation methods that have been proposed and used in computations are reviewed here, from a stability point of view. This involves concepts of differential-algebraic equation (DAE) and ordinary differential equation (ODE) invariants. An explanation of the difficulties that may be encountered using Baumgarte's method is given, and a discussion of why a further quest for better parameter values for this method will always remain frustrating is presented. It is then shown how Baumgarte's method can be improved. An efficient stabilization technique is proposed, which may employ explicit ODE solvers in case of nonstiff or highly oscillatory problems and which relates to coordinate projection methods. Examples of a two-link planar robotic arm and a squeezing mechanism illustrate the effectiveness of this new stabilization method.},
  language  = {en}
}
@misc{LeimkuhlerReich1994,
  author    = {Leimkuhler, Benedict and Reich, Sebastian},
  title     = {Symplectic integration of constrained Hamiltonian systems},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15653},
  year      = {1994},
  abstract  = {A Hamiltonian system in potential form (formula in the original abstract) subject to smooth constraints on q can be viewed as a Hamiltonian system on a manifold, but numerical computations must be performed in Rn. In this paper methods which reduce "Hamiltonian differential algebraic equations" to ODEs in Euclidean space are examined. The authors study the construction of canonical parameterizations or local charts as well as methods based on the construction of ODE systems in the space in which the constraint manifold is embedded which preserve the constraint manifold as an invariant manifold. In each case, a Hamiltonian system of ordinary differential equations is produced. The stability of the constraint invariants and the behavior of the original Hamiltonian along solutions are investigated both numerically and analytically.},
  language  = {en}
}
@misc{Reich1995,
  author    = {Reich, Sebastian},
  title     = {Smoothed dynamics of highly oscillatory Hamiltonian systems},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15639},
  year      = {1995},
  abstract  = {We consider the numerical treatment of Hamiltonian systems that contain a potential which grows large when the system deviates from the equilibrium value of the potential. Such systems arise, e.g., in molecular dynamics simulations and the spatial discretization of Hamiltonian partial differential equations. Since the presence of highly oscillatory terms in the solutions forces any explicit integrator to use very small step size, the numerical integration of such systems provides a challenging task. It has been suggested before to replace the strong potential by a holonomic constraint that forces the solutions to stay at the equilibrium value of the potential. This approach has, e.g., been successfully applied to the bond stretching in molecular dynamics simulations. In other cases, such as the bond-angle bending, this methods fails due to the introduced rigidity. Here we give a careful analysis of the analytical problem by means of a smoothing operator. This will lead us to the notion of the smoothed dynamics of a highly oscillatory Hamiltonian system. Based on our analysis, we suggest a new constrained formulation that maintains the flexibility of the system while at the same time suppressing the high-frequency components in the solutions and thus allowing for larger time steps. The new constrained formulation is Hamiltonian and can be discretized by the well-known SHAKE method.},
  language  = {en}
}
@misc{AscherChinReich1994,
  author    = {Ascher, Uri M. and Chin, Hongsheng and Reich, Sebastian},
  title     = {Stabilization of DAEs and invariant manifolds},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15625},
  year      = {1994},
  abstract  = {Many methods have been proposed for the stabilization of higher index differential-algebraic equations (DAEs). Such methods often involve constraint differentiation and problem stabilization, thus obtaining a stabilized index reduction. A popular method is Baumgarte stabilization, but the choice of parameters to make it robust is unclear in practice. Here we explain why the Baumgarte method may run into trouble. We then show how to improve it. We further develop a unifying theory for stabilization methods which includes many of the various techniques proposed in the literature. Our approach is to (i) consider stabilization of ODEs with invariants, (ii) discretize the stabilizing term in a simple way, generally different from the ODE discretization, and (iii) use orthogonal projections whenever possible. The best methods thus obtained are related to methods of coordinate projection. We discuss them and make concrete algorithmic suggestions.},
  language  = {en}
}
@phdthesis{Trappmann2007,
  author    = {Trappmann, Henryk},
  title     = {Arborescent numbers : higher arithmetic operations and division trees},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15247},
  school      = {Universit{\"a}t Potsdam},
  year      = {2007},
  abstract  = {The overall program "arborescent numbers" is to similarly perform the constructions from the natural numbers (N) to the positive fractional numbers (Q+) to positive real numbers (R+) beginning with (specific) binary trees instead of natural numbers. N can be regarded as the associative binary trees. The binary trees B and the left-commutative binary trees P allow the hassle-free definition of arbitrary high arithmetic operations (hyper ... hyperpowers). To construct the division trees the algebraic structure "coppice" is introduced which is a group with an addition over which the multiplication is right-distributive. Q+ is the initial associative coppice. The present work accomplishes one step in the program "arborescent numbers". That is the construction of the arborescent equivalent(s) of the positive fractional numbers. These equivalents are the "division binary trees" and the "fractional trees". A representation with decidable word problem for each of them is given. The set of functions f:R1->R1 generated from identity by taking powers is isomorphic to P and can be embedded into a coppice by taking inverses.},
  language  = {en}
}
@unpublished{BoeckmannSarkoezi1999,
  author    = {B{\"o}ckmann, Christine and Sark{\"o}zi, Janos},
  title     = {The ill-posed inversion of multiwavelength lidar data by a hybrid method of variable projection},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-14847},
  year      = {1999},
  abstract  = {The ill-posed problem of aerosol distribution determination from a small number of backscatter and extinction lidar measurements was solved successfully via a hybrid method by a variable dimension of projection with B-Splines. Numerical simulation results with noisy data at different measurement situations show that it is possible to derive a reconstruction of the aerosol distribution only with 4 measurements.},
  language  = {en}
}
@unpublished{Dicken1998,
  author    = {Dicken, Volker},
  title     = {Simultaneous activity and attenuation reconstruction in emission tomography},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-14747},
  year      = {1998},
  abstract  = {In single photon emission computed tomography (SPECT) one is interested in reconstructing the activity distribution f of some radiopharmaceutical. The data gathered suffer from attenuation due to the tissue density µ. Each imaged slice incorporates noisy sample values of the nonlinear attenuated Radon transform (formular at this place in the original abstract) Traditional theory for SPECT reconstruction treats µ as a known parameter. In practical applications, however, µ is not known, but either crudely estimated, determined in costly additional measurements or plainly neglected. We demonstrate that an approximation of both f and µ from SPECT data alone is feasible, leading to quantitatively more accurate SPECT images. The result is based on nonlinear Tikhonov regularization techniques for parameter estimation problems in differential equations combined with Gauss-Newton-CG minimization.},
  language  = {en}
}
@unpublished{BoeckmannNiebsch1998,
  author    = {B{\"o}ckmann, Christine and Niebsch, Jenny},
  title     = {Examination of the nonlinear LIDAR-operator : the influence of inhomogeneous absorbing spheres on the operator},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-14725},
  year      = {1998},
  abstract  = {The determination of the atmospheric aerosol size distribution is an inverse illposed problem. The shape and the material composition of the air-carried particles are two substantial model parameters. Present evaluation algorithms only used an approximation with spherical homogeneous particles. In this paper we propose a new numerically efficient recursive algorithm for inhomogeneous multilayered coated and absorbing particles. Numerical results of real existing particles show that the influence of the two parameters on the model is very important and therefore cannot be ignored.},
  language  = {en}
}
@unpublished{BoeckmannBieleNeuberetal.1997,
  author    = {B{\"o}ckmann, Christine and Biele, Jens and Neuber, Roland and Niebsch, Jenny},
  title     = {Retrieval of multimodal aerosol size distribution by inversion of multiwavelength data},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-14360},
  year      = {1997},
  abstract  = {The ill-posed problem of aerosol size distribution determination from a small number of backscatter and extinction measurements was solved successfully with a mollifier method which is advantageous since the ill-posed part is performed on exactly given quantities, the points r where n(r) is evaluated may be freely selected. A new twodimensional model for the troposphere is proposed.},
  language  = {en}
}
@phdthesis{Demircioglu2007,
  author    = {Demircioglu, Aydin},
  title     = {Reconstruction of deligne classes and cocycles},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-13755},
  school      = {Universit{\"a}t Potsdam},
  year      = {2007},
  abstract  = {In der vorliegenden Arbeit verallgemeinern wir im Wesentlichen zwei Theoreme von Mackaay-Picken und Picken (2002, 2004). Im ihrem Artikel zeigen Mackaay und Picken,dass es eine bijektive Korrespodenz zwischen Deligne 2-Klassen \$\xi \in \check{H}^2(M, \mathcal{D}^2)\$ und Holonomie Abbildungen von der zweiten d{\"u}nnen Homotopiegruppe \$\pi_2^2(M)\$ in die abelsche Gruppe \$U(1)\$ gibt. Im zweiten Artikel wird eine Verallgemeinerung dieses Theorems bewiesen: Picken zeigt, dass es eine Bijektion gibt zwischen Deligne 2-Kozykeln und gewissen 2-dimensionalen topologischen Quantenfeldtheorien. In dieser Arbeit zeigen wir, dass diese beiden Theoreme in allen Dimensionen gelten.Wir betrachten zun{\"a}chst den Holonomie Fall und k{\"o}nnen mittels simplizialen Methoden nachweisen, dass die Gruppe der glatten Deligne \$d\$-Klassen isomorph ist zu der Gruppe der glatten Holonomie Abbildungen von der \$d\$-ten d{\"u}nnen Homotopiegruppe \$\pi_d^d(M)\$ nach \$U(1)\$, sofern \$M\$ eine \$(d-1)\$-zusammenh{\"a}ngende Mannigfaltigkeit ist. Wir vergleichen dieses Resultat mit einem Satz von Gajer (1999). Gajer zeigte, dass jede Deligne \$d\$-Klasse durch eine andere Klasse von Holonomie-Abbildungen rekonstruiert werden kann, die aber nicht nur Holonomien entlang von Sph{\"a}ren, sondern auch entlang von allgemeinen \$d\$-Mannigfaltigkeiten in \$M\$ enth{\"a}lt. Dieser Zugang ben{\"o}tigt dann aber nicht, dass \$M\$ hoch-zusammenh{\"a}ngend ist. Wir zeigen, dass im Falle von flachen Deligne \$d\$-Klassen unser Rekonstruktionstheorem sich von Gajers unterscheidet, sofern \$M\$ nicht als \$(d-1)\$, sondern nur als \$(d-2)\$-zusammenh{\"a}ngend angenommen wird. Stiefel Mannigfaltigkeiten besitzen genau diese Eigenschaft, und wendet man unser Theorem auf diese an und vergleicht das Resultat mit dem von Gajer, so zeigt sich, dass es zuviele Deligne Klassen rekonstruiert. Dies bedeutet, dass unser Rekonstruktionsthreorem ohne die Zusatzbedingungen an die Mannigfaltigkeit M nicht auskommt, d.h. unsere Rekonstruktion ben{\"o}tigt zwar weniger Informationen {\"u}ber die Holonomie entlang von d-dimensionalen Mannigfaltigkeiten, aber daf{\"u}r muss M auch \$(d-1)\$-zusammenh{\"a}ngend angenommen werden. Wir zeigen dann, dass auch das zweite Theorem verallgemeinert werden kann: Indem wir das Konzept einer Picken topologischen Quantenfeldtheorie in beliebigen Dimensionen einf{\"u}hren, k{\"o}nnen wir nachweisen, dass jeder Deligne \$d\$-Kozykel eine solche \$d\$-dimensionale Feldtheorie mit zwei besonderen Eigenschaften, der d{\"u}nnen Invarianz und der Glattheit, induziert. Wir beweisen, dass jede \$d\$-dimensionale topologische Quantenfeldtheorie nach Picken mit diesen zwei Eigenschaften auch eine Deligne \$d\$-Klasse definiert und pr{\"u}fen nach, dass diese Konstruktion sowohl surjektiv als auch injektiv ist. Demzufolge sind beide Gruppen isomorph.},
  language  = {en}
}
@phdthesis{Le2006,
  author    = {Le, Tuan Anh},
  title     = {Applying realistic mathematics education in Vietnam : teaching middle school geometry},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-13480},
  school      = {Universit{\"a}t Potsdam},
  year      = {2006},
  abstract  = {Since 1971, the Freudenthal Institute has developed an approach to mathematics education named Realistic Mathematics Education (RME). The philosophy of RME is based on Hans Freudenthal's concept of 'mathematics as a human activity'. Prof. Hans Freudenthal (1905-1990), a mathematician and educator, believes that 'ready-made mathematics' should not be taught in school. By contrast, he urges that students should be offered 'realistic situations' so that they can rediscover from informal to formal mathematics. Although mathematics education in Vietnam has some achievements, it still encounters several challenges. Recently, the reform of teaching methods has become an urgent task in Vietnam. It appears that Vietnamese mathematics education lacks necessary theoretical frameworks. At first sight, the philosophy of RME is suitable for the orientation of the teaching method reform in Vietnam. However, the potential of RME for mathematics education as well as the ability of applying RME to teaching mathematics is still questionable in Vietnam. The primary aim of this dissertation is to research into abilities of applying RME to teaching and learning mathematics in Vietnam and to answer the question "how could RME enrich Vietnamese mathematics education?". This research will emphasize teaching geometry in Vietnamese middle school. More specifically, the dissertation will implement the following research tasks: • Analyzing the characteristics of Vietnamese mathematics education in the 'reformed' period (from the early 1980s to the early 2000s) and at present; • Implementing a survey of 152 middle school teachers' ideas from several Vietnamese provinces and cities about Vietnamese mathematics education; • Analyzing RME, including Freudenthal's viewpoints for RME and the characteristics of RME; • Discussing how to design RME-based lessons and how to apply these lessons to teaching and learning in Vietnam; • Experimenting RME-based lessons in a Vietnamese middle school; • Analyzing the feedback from the students' worksheets and the teachers' reports, including the potentials of RME-based lessons for Vietnamese middle school and the difficulties the teachers and their students encountered with RME-based lessons; • Discussing proposals for applying RME-based lessons to teaching and learning mathematics in Vietnam, including making suggestions for teachers who will apply these lessons to their teaching and designing courses for in-service teachers and teachers-in training. This research reveals that although teachers and students may encounter some obstacles while teaching and learning with RME-based lesson, RME could become a potential approach for mathematics education and could be effectively applied to teaching and learning mathematics in Vietnamese school.},
  language  = {en}
}
@phdthesis{Busaman2006,
  author    = {Busaman, Saofee},
  title     = {Hyperequational theory for partial algebras},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-12048},
  school      = {Universit{\"a}t Potsdam},
  year      = {2006},
  abstract  = {Our work goes in two directions. At first we want to transfer definitions, concepts and results of the theory of hyperidentities and solid varieties from the total to the partial case. (1) We prove that the operators chi^A_RNF and chi^E_RNF are only monotone and additive and we show that the sets of all fixed points of these operators are characterized only by three instead of four equivalent conditions for the case of closure operators. (2) We prove that V is n - SF-solid iff clone^SF V is free with respect to itself, freely generated by the independent set {[fi(x_1, . . . , x_n)]Id^SF_n V | i \in I}. (3) We prove that if V is n-fluid and ~V |P(V ) =~V -iso |P(V ) then V is kunsolid for k >= n (where P(V ) is the set of all V -proper hypersubstitutions of type \tau ). (4) We prove that a strong M-hyperquasi-equational theory is characterized by four equivalent conditions. The second direction of our work is to follow ideas which are typical for the partial case. (1) We characterize all minimal partial clones which are strongly solidifyable. (2)We define the operator Chi^A_Ph where Ph is a monoid of regular partial hypersubstitutions.Using this concept, we define the concept of a Phyp_R(\tau )-solid strong regular variety of partial algebras and we prove that a PHyp_R(\tau )-solid strong regular variety satisfies four equivalent conditions.},
  language  = {en}
}
@phdthesis{Hohberger2006,
  author    = {Hohberger, Horst},
  title     = {Semiclassical asymptotics for the scattering amplitude in the presence of focal points at infinity},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-11574},
  school      = {Universit{\"a}t Potsdam},
  year      = {2006},
  abstract  = {We consider scattering in \$\R^n\$, \$n\ge 2\$, described by the Schr\"odinger operator \$P(h)=-h^2\Delta+V\$, where \$V\$ is a short-range potential. With the aid of Maslov theory, we give a geometrical formula for the semiclassical asymptotics as \$h\to 0\$ of the scattering amplitude \$f(\omega_-,\omega_+;\lambda,h)\$ \$\omega_+\neq\omega_-\$) which remains valid in the presence of focal points at infinity (caustics). Crucial for this analysis are precise estimates on the asymptotics of the classical phase trajectories and the relationship between caustics in euclidean phase space and caustics at infinity.},
  subject      = {Mathematik},
  language  = {en}
}
@misc{DaiPraLouisMinelli2006,
  author    = {Dai Pra, Paolo and Louis, Pierre-Yves and Minelli, Ida},
  title     = {Monotonicity and complete monotonicity for continuous-time Markov chains},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7665},
  year      = {2006},
  abstract  = {We analyze the notions of monotonicity and complete monotonicity for Markov Chains in continuous-time, taking values in a finite partially ordered set. Similarly to what happens in discrete-time, the two notions are not equivalent. However, we show that there are partially ordered sets for which monotonicity and complete monotonicity coincide in continuous time but not in discrete-time.},
  subject      = {Stochastik},
  language  = {en}
}
@phdthesis{Rosenberger2006,
  author    = {Rosenberger, Elke},
  title     = {Asymptotic spectral analysis and tunnelling for a class of difference operators},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7393},
  school      = {Universit{\"a}t Potsdam},
  year      = {2006},
  abstract  = {We analyze the asymptotic behavior in the limit epsilon to zero for a wide class of difference operators H_epsilon = T_epsilon + V_epsilon with underlying multi-well potential. They act on the square summable functions on the lattice (epsilon Z)^d. We start showing the validity of an harmonic approximation and construct WKB-solutions at the wells. Then we construct a Finslerian distance d induced by H and show that short integral curves are geodesics and d gives the rate for the exponential decay of Dirichlet eigenfunctions. In terms of this distance, we give sharp estimates for the interaction between the wells and construct the interaction matrix.},
  subject      = {Mathematische Physik},
  language  = {en}
}