@unpublished{Kreitmeier2007, author = {Kreitmeier, Wolfgang}, title = {Asymptotic order of quantization for Cantor distributions in terms of Euler characteristic, Hausdorff and Packing measure}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-7374}, year = {2007}, abstract = {For homogeneous one-dimensional Cantor sets, which are not necessarily self-similar, we show under some restrictions that the Euler exponent equals the quantization dimension of the uniform distribution on these Cantor sets. Moreover for a special sub-class of these sets we present a linkage between the Hausdorff and the Packing measure of these sets and the high-rate asymptotics of the quantization error.}, subject = {Maßtheorie}, language = {en} } @phdthesis{Lauren2005, author = {Lauren, Verena}, title = {Semilineare Approximation in der Bildrekonstruktion}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-730}, school = {Universit{\"a}t Passau}, year = {2005}, abstract = {In der Bildverarbeitung spielen Segmentierungsalgorithmen, bei denen die Art der zu segmentierenden Menge schon im Voraus festgelegt werden kann und nur noch ihre Gr{\"o}ße und Lage angepasst werden muss, eine eher untergeordnete Rolle. Gr{\"u}nde hierf{\"u}r sind vor allem komplizierte Zielfunktionen und daraus resultierende lange Rechenzeiten, die zudem meist kein optimales Ergebnis liefern. Dabei kann eine mengenbasierte Segmentierung durchaus sinnvoll eingesetzt werden, wenn gewisse Rahmenbedingungen eingehalten werden. In dieser Arbeit wird eine Theorie zur allgemeinen mengenbasierten Segmentierung vorgestellt und untersucht, unter welchen Bedingungen optimale Segmentierungsergebnisse erreicht werden k{\"o}nnen. Die anschließenden Anwendungen best{\"a}tigen die N{\"u}tzlichkeit dieser Theorie.}, subject = {Optimale Rekonstruktion}, language = {de} } @phdthesis{Fischer2005, author = {Fischer, Andreas}, title = {Peano-differentiable functions in O-Minimal structures}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-673}, school = {Universit{\"a}t Passau}, year = {2005}, abstract = {We discuss several aspects of Peano-differentiable functions which are definable in an o-minimal structure expanding a real closed field. After recalling some already known results about o-minimal structures we develop techniques for the intrinsic study of differentiable functions in these structures. After this we study (ordinary) differentiable functions definable in an o-minimal structure and their continuiuty properties along curves of different differentiability classes. Then we generalise (ordinary) differentiability to Peano-differentiability. We study differentiability of certain Peano-derivatives of definable functions and characterise the sets of non-continuity of these derivatives. In the end we study extendability of these functions defined on closed sets and give sufficient conditions by which we can extend functions as Peano-differentiable functions.}, subject = {Semialgebraische Menge}, language = {en} } @phdthesis{Limbeck2013, author = {Limbeck, Jan}, title = {Computation of Approximate Border Bases and Applications}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-27197}, school = {Universit{\"a}t Passau}, year = {2013}, abstract = {This thesis addresses some of the algorithmic and numerical challenges associated with the computation of approximate border bases, a generalisation of border bases, in the context of the oil and gas industry. The concept of approximate border bases was introduced by D. Heldt, M. Kreuzer, S. Pokutta and H. Poulisse in "Approximate computation of zero-dimensional polynomial ideals" as an effective mean to derive physically relevant polynomial models from measured data. The main advantages of this approach compared to alternative techniques currently in use in the (hydrocarbon) industry are its power to derive polynomial models without additional a priori knowledge about the underlying physical system and its robustness with respect to noise in the measured input data. The so-called Approximate Vanishing Ideal (AVI) algorithm which can be used to compute approximate border bases and which was also introduced by D. Heldt et al. in the paper mentioned above served as a starting point for the research which is conducted in this thesis. A central aim of this work is to broaden the applicability of the AVI algorithm to additional areas in the oil and gas industry, like seismic imaging and the compact representation of unconventional geological structures. For this purpose several new algorithms are developed, among others the so-called Approximate Buchberger M{\"o}ller (ABM) algorithm and the Extended-ABM algorithm. The numerical aspects and the runtime of the methods are analysed in detail - based on a solid foundation of the underlying mathematical and algorithmic concepts that are also provided in this thesis. It is shown that the worst case runtime of the ABM algorithm is cubic in the number of input points, which is a significant improvement over the biquadratic worst case runtime of the AVI algorithm. Furthermore, we show that the ABM algorithm allows us to exercise more direct control over the essential properties of the computed approximate border basis than the AVI algorithm. The improved runtime and the additional control turn out to be the key enablers for the new industrial applications that are proposed here. As a conclusion to the work on the computation of approximate border bases, a detailed comparison between the approach in this thesis and some other state of the art algorithms is given. Furthermore, this work also addresses one important shortcoming of approximate border bases, namely that central concepts from exact algebra such as syzygies could so far not be translated to the setting of approximate border bases. One way to mitigate this problem is to construct a "close by" exact border bases for a given approximate one. Here we present and discuss two new algorithmic approaches that allow us to compute such close by exact border bases. In the first one, we establish a link between this task, referred to as the rational recovery problem, and the problem of simultaneously quasi-diagonalising a set of complex matrices. As simultaneous quasi-diagonalisation is not a standard topic in numerical linear algebra there are hardly any off-the-shelf algorithms and implementations available that are both fast and numerically adequate for our purposes. To bridge this gap we introduce and study a new algorithm that is based on a variant of the classical Jacobi eigenvalue algorithm, which also works for non-symmetric matrices. As a second solution of the rational recovery problem, we motivate and discuss how to compute a close by exact border basis via the minimisation of a sum of squares expression, that is formed from the polynomials in the given approximate border basis. Finally, several applications of the newly developed algorithms are presented. Those include production modelling of oil and gas fields, reconstruction of the subsurface velocities for simple subsurface geometries, the compact representation of unconventional oil and gas bodies via algebraic surfaces and the stable numerical approximation of the roots of zero-dimensional polynomial ideals.}, subject = {Computeralgebra}, language = {en} } @phdthesis{Capco2010, author = {Capco, Jose}, title = {Real Closed * Rings}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-25915}, school = {Universit{\"a}t Passau}, year = {2010}, abstract = {In this dissertation I examine a definition of real closure of commutative unitary reduced rings. I also give a characterization of rings that are real closed in this context and how one is able to arrive to such a real closure. There are sufficient examples to help the reader get a feel for real closed * rings and the real closure * of commutative unitary rings.}, language = {en} } @unpublished{KreitmeierLinder2011, author = {Kreitmeier, Wolfgang and Linder, Tamas}, title = {Entropy Density and Mismatch in High-Rate Scalar Quantization with R{\´e}nyi Entropy Constraint}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-26132}, year = {2011}, abstract = {Properties of scalar quantization with \$r\$th power distortion and constrained R\'enyi entropy of order \$\alpha\in (0,1)\$ are investigated. For an asymptotically (high-rate) optimal sequence of quantizers, the contribution to the R\'enyi entropy due to source values in a fixed interval is identified in terms of the "entropy density" of the quantizer sequence. This extends results related to the well-known point density concept in optimal fixed-rate quantization. A dual of the entropy density result quantifies the distortion contribution of a given interval to the overall distortion. The distortion loss resulting from a mismatch of source densities in the design of an asymptotically optimal sequence of quantizers is also determined. This extends Bucklew's fixed-rate (\$\alpha=0\$) and Gray \emph{et al.}'s variable-rate (\$\alpha=1\$)mismatch results to general values of the entropy order parameter \$\alpha\$}, subject = {Maßtheorie}, language = {de} } @phdthesis{Ullah2012, author = {Ullah, Ehsan}, title = {New Techniques for Polynomial System Solving}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-26815}, school = {Universit{\"a}t Passau}, year = {2012}, abstract = {Since any encryption map may be viewed as a polynomial map between finite dimensional vector spaces over finite fields, the security of a cryptosystem can be examined by studying the difficulty of solving large systems of multivariate polynomial equations. Therefore, algebraic attacks lead to the task of solving polynomial systems over finite fields. In this thesis, we study several new algebraic techniques for polynomial system solving over finite fields, especially over the finite field with two elements. Instead of using traditional Gr{\"o}bner basis techniques we focus on highly developed methods from several other areas like linear algebra, discrete optimization, numerical analysis and number theory. We study some techniques from combinatorial optimization to transform a polynomial system solving problem into a (sparse) linear algebra problem. We highlight two new kinds of hybrid techniques. The first kind combines the concept of transforming combinatorial infeasibility proofs to large systems of linear equations and the concept of mutants (finding special lower degree polynomials). The second kind uses the concept of mutants to optimize the Border Basis Algorithm. We study recent suggestions of transferring a system of polynomial equations over the finite field with two elements into a system of polynomial equalities and inequalities over the set of integers (respectively over the set of reals). In particular, we develop several techniques and strategies for converting the polynomial system of equations over the field with two elements to a polynomial system of equalities and inequalities over the reals (respectively over the set of integers). This enables us to make use of several algorithms in the field of discrete optimization and number theory. Furthermore, this also enables us to investigate the use of numerical analysis techniques such as the homotopy continuation methods and Newton's method. In each case several conversion techniques have been developed, optimized and implemented. Finally, the efficiency of the developed techniques and strategies is examined using standard cryptographic examples such as CTC and HFE. Our experimental results show that most of the techniques developed are highly competitive to state-of-the-art algebraic techniques.}, subject = {Polynoml{\"o}sung}, language = {en} } @phdthesis{Xiu2012, author = {Xiu, Xingqiang}, title = {Non-commutative Gr{\"o}bner Bases and Applications}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-26827}, school = {Universit{\"a}t Passau}, year = {2012}, abstract = {Commutative Gr{\"o}bner bases have a lot of applications in theory and practice, because they have many nice properties, they are computable, and there exist many efficient improvements of their computations. Non-commutative Gr{\"o}bner bases also have many useful properties. However, applications of non-commutative Gr{\"o}bner bases are rarely considered due to high complexity of computations. The purpose of this study was to improve the computation of non-commutative Gr{\"o}bner bases and investigate the applications of non-commutative Gr{\"o}bner bases. Gr{\"o}bner basis theory in free monoid rings was carefully revised and Gr{\"o}bner bases were precisely characterized in great detail. For the computations of Gr{\"o}bner bases, the Buchberger Procedure was formulated. Three methods, say interreduction on obstructions, Gebauer-M{\"o}ller criteria, and detecting redundant generators, were developed for efficiently improving the Buchberger Procedure. Further, the same approach was applied to study Gr{\"o}bner basis theory in free bimodules over free monoid rings. The Buchberger Procedure was also formulated and improved in this setting. Moreover, J.-C. Faugere's F4 algorithm was generalized to this setting. Finally, many meaningful applications of non-commutative Gr{\"o}bner bases were developed. Enumerating procedures were proposed to semi-decide some interesting undecidable problems. All the examples in the thesis were computed using the package gbmr of the computer algebra system ApCoCoA. The package was developed by the author. It contains dozens of functions for Gr{\"o}bner basis computations and many concrete applications. The package gbmr and a collection of interesting examples are available at http://www.apcocoa.org/.}, subject = {Gr{\"o}bner-Basis}, language = {en} } @unpublished{Kreitmeier2012, author = {Kreitmeier, Wolfgang}, title = {Asymptotic optimality of scalar Gersho quantizers}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-27080}, year = {2012}, abstract = {In his famous paper Gersho stressed that the codecells of optimal quantizers asymptotically make an equal contribution to the distortion of the quantizer. Motivated by this fact, we investigate in this paper quantizers in the scalar case, where each codecell contributes with exactly the same portion to the quantization error. We show that such quantizers of Gersho type - or Gersho quantizers for short - exist for non-atomic scalar distributions. As a main result we prove that Gersho quantizers are asymptotically optimal.}, subject = {Maßtheorie}, language = {en} } @phdthesis{Sonnleitner2022, author = {Sonnleitner, Mathias}, title = {The power of random information for numerical approximation and integration}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-11305}, school = {Universit{\"a}t Passau}, pages = {x, 165 Seiten}, year = {2022}, abstract = {This thesis investigates the quality of randomly collected data by employing a framework built on information-based complexity, a field related to the numerical analysis of abstract problems. The quality or power of gathered information is measured by its radius which is the uniform error obtainable by the best possible algorithm using it. The main aim is to present progress towards understanding the power of random information for approximation and integration problems. In the first problem considered, information given by linear functionals is used to recover vectors, in particular from generalized ellipsoids. This is related to the approximation of diagonal operators which are important objects of study in the theory of function spaces. We obtain upper bounds on the radius of random information both in a convex and a quasi-normed setting, which extend and, in some cases, improve existing results. We conjecture and partially establish that the power of random information is subject to a dichotomy determined by the decay of the length of the semiaxes of the generalized ellipsoid. Second, we study multivariate approximation and integration using information given by function values at sampling point sets. We obtain an asymptotic characterization of the radius of information in terms of a geometric measure of equidistribution, the distortion, which is well known in the theory of quantization of measures. This holds for isotropic Sobolev as well as H{\"o}lder and Triebel-Lizorkin spaces on bounded convex domains. We obtain that for these spaces, depending on the parameters involved, typical point sets are either asymptotically optimal or worse by a logarithmic factor, again extending and improving existing results. Further, we study isotropic discrepancy which is related to numerical integration using linear algorithms with equal weights. In particular, we analyze the quality of lattice point sets with respect to this criterion and obtain that they are suboptimal compared to uniform random points. This is in contrast to the approximation of Sobolev functions and resolves an open question raised in the context of a possible low discrepancy construction on the two-dimensional sphere.}, subject = {Komplexit{\"a}t / Algorithmus}, language = {en} } @phdthesis{Bachl2003, author = {Bachl, Walter}, title = {Interaktives orthogonales Zeichnen von planaren Graphen}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-392}, school = {Universit{\"a}t Passau}, year = {2003}, abstract = {Die Arbeit besch{\"a}ftigt sich mit dem automatischen Zeichnen von Graphen. Hier wird ein interaktiver Ansatz untersucht, bei dem der Graph mit einer Menge von Operationen Schritt f{\"u}r Schritt aufgebaut wird. Der Zielgraph und die Einf{\"u}gereihenfolge sind dabei nicht fest vorgegeben, sondern werden vom Benutzer bestimmt. In der Arbeit wird vor allem ein Szenario f{\"u}r zweifach zusammenh{\"a}ngende Graphen untersucht und ein f{\"u}r diese Zwecke passendes Zeichenmodell entwickelt. Dieser Ansatz wird dann um verschiedene Varianten erweitert. Außerdem wird gezeigt, dass das fl{\"a}chenminimale Zeichnen in dem neu entwickelten Zeichenmodell NP-vollst{\"a}ndig ist.}, subject = {Graphenzeichnen}, language = {de} } @phdthesis{Jovanovic2015, author = {Jovanovic, Philipp}, title = {Analysis and Design of Symmetric Cryptographic Algorithms}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3319}, school = {Universit{\"a}t Passau}, pages = {216}, year = {2015}, abstract = {This doctoral thesis is dedicated to the analysis and the design of symmetric cryptographic algorithms. In the first part of the dissertation, we deal with fault-based attacks on cryptographic circuits which belong to the field of active implementation attacks and aim to retrieve secret keys stored on such chips. Our main focus lies on the cryptanalytic aspects of those attacks. In particular, we target block ciphers with a lightweight and (often) non-bijective key schedule where the derived subkeys are (almost) independent from each other. An attacker who is able to reconstruct one of the subkeys is thus not necessarily able to directly retrieve other subkeys or even the secret master key by simply reversing the key schedule. We introduce a framework based on differential fault analysis that allows to attack block ciphers with an arbitrary number of independent subkeys and which rely on a substitution-permutation network. These methods are then applied to the lightweight block ciphers LED and PRINCE and we show in both cases how to recover the secret master key requiring only a small number of fault injections. Moreover, we investigate approaches that utilize algebraic instead of differential techniques for the fault analysis and discuss advantages and drawbacks. At the end of the first part of the dissertation, we explore fault-based attacks on the block cipher Bel-T which also has a lightweight key schedule but is not based on a substitution-permutation network but instead on the so-called Lai-Massey scheme. The framework mentioned above is thus not usable against Bel-T. Nevertheless, we also present techniques for the case of Bel-T that enable full recovery of the secret key in a very efficient way using differential fault analysis. In the second part of the thesis, we focus on authenticated encryption schemes. While regular ciphers only protect privacy of processed data, authenticated encryption schemes also secure its authenticity and integrity. Many of these ciphers are additionally able to protect authenticity and integrity of so-called associated data. This type of data is transmitted unencrypted but nevertheless must be protected from being tampered with during transmission. Authenticated encryption is nowadays the standard technique to protect in-transit data. However, most of the currently deployed schemes have deficits and there are many leverage points for improvements. With NORX we introduce a novel authenticated encryption scheme supporting associated data. This algorithm was designed with high security, efficiency in both hardware and software, simplicity, and robustness against side-channel attacks in mind. Next to its specification, we present special features, security goals, implementation details, extensive performance measurements and discuss advantages over currently deployed standards. Finally, we describe our preliminary security analysis where we investigate differential and rotational properties of NORX. Noteworthy are in particular the newly developed techniques for differential cryptanalysis of NORX which exploit the power of SAT- and SMT-solvers and have the potential to be easily adaptable to other encryption schemes as well.}, subject = {Kryptologie}, language = {en} } @phdthesis{Le2015, author = {Le, Ngoc Long}, title = {Various Differents for 0-Dimensional Schemes and Applications}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3386}, school = {Universit{\"a}t Passau}, pages = {205}, year = {2015}, abstract = {This thesis attempts to investigate the Noether, Dedekind, and K{\"a}hler differents for a 0-dimensional scheme X in the projective n-space P^n_K over an arbitrary field K. In particular, we focus on studying the relations between the algebraic structure of these differents and geometric properties of the scheme X. In Chapter 1 we give an outline to the problems this thesis is concerned with, a brief literature review for each problem, and the main results regarding these problems. Chapter 2 contains background results that we will need in the subsequent chapters. We introduce the concept of maximal p_j-subschemes of a 0-dimensional scheme X and give some descriptions of them and their Hilbert functions. Furthermore, we generalize the notion of a separator of a subscheme of X of degree deg(X)-1 to a set of separators of a maximal p_j-subscheme of X. In Chapter 3 we explore the Noether, Dedekind, and K{\"a}hler differents for 0-dimensional schemes X. First we define these differents for X, and take a look at how to compute these differents and examine their relations. Then we give an answer to the question "What are the Hilbert functions of these differents?" in some cases. In Chapter 4 we use the differents to investigate the Cayley-Bacharach property of 0-dimensional schemes over an arbitrary field K. The principal results of this chapter are characterizations of CB-schemes and of arithmetically Gorenstein schemes in terms of their Dedekind differents and a criterion for a 0-dimensional smooth scheme to be a complete intersection. We also generalize some results such as Dedekind's formula and the characterization of the Cayley-Bacharach property by using Liaison theory. In addition, several propositions on the uniformities are proven. In Chapter 5 we are interested in studying the Noether, Dedekind, and K{\"a}hler differents for finite special classes of schemes and finding out some applications of these differents. First, we investigate these differents for reduced 0-dimensional almost complete intersections X in P^n_K over a perfect field K. Then we investigate the relationships between these differents and the i-th Fitting ideals of the module of K{\"a}hler differentials of the homogeneous coordinate ring of X. Finally, we look more closely at the Hilbert functions and the regularity indices of these differents for fat point schemes.}, subject = {Kommutativer Ring}, language = {en} } @phdthesis{Lehner2016, author = {Lehner, Sabrina}, title = {The Asymptotic Behaviour of the Riemann Mapping Function at Analytic Cusps}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3587}, school = {Universit{\"a}t Passau}, pages = {97}, year = {2016}, abstract = {The well-known Riemann Mapping Theorem states the existence of a conformal map of a simply connected proper domain of the complex plane onto the upper half plane. One of the main topics in geometric function theory is to investigate the behaviour of the mapping functions at the boundary of such domains. In this work, we always assume that a piecewise analytic boundary is given. Hereby, we have to distinguish regular and singular boundary points. While the asymptotic behaviour for regular boundary points can be investigated by using the Schwarz Reflection at analytic arcs, the situation for singular boundary points is far more complicated. In the latter scenario two cases have to be differentiated: analytic corners and analytic cusps. The first part of the thesis deals with the asymptotic behaviour at analytic corners where the opening angle is greater than 0. The results of Lichtenstein and Warschawski on the asymptotic behaviour of the Riemann map and its derivatives at an analytic corner are presented as well as the much stronger result of Lehman that the mapping function can be developed in a certain generalised power series which in turn enables to examine the o-minimal content of the Riemann Mapping Theorem. To obtain a similar statement for domains with analytic cusps, it is necessary to investigate the asymptotic behaviour of a Riemann map at the cusp and based on this result to determine the asymptotic power series expansion. Therefore, the aim of the second part of this work is to investigate the asymptotic behaviour of a Riemann map at an analytic cusp. A simply connected domain has an analytic cusp if the boundary is locally given by two analytic arcs such that the interior angle vanishes. Besides the asymptotic behaviour of the mapping function, the behaviour of its derivatives, its inverse, and the derivatives of the inverse are analysed. Finally, we present a conjecture on the asymptotic power series expansion of the mapping function at an analytic cusp.}, subject = {Geometrische Funktionentheorie}, language = {en} } @phdthesis{Hatzesberger2020, author = {Hatzesberger, Simon}, title = {Strongly Asymptotically Optimal Methods for the Pathwise Global Approximation of Stochastic Differential Equations with Coefficients of Super-linear Growth}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-8100}, school = {Universit{\"a}t Passau}, pages = {ii, 116 Seiten}, year = {2020}, abstract = {Our subject of study is strong approximation of stochastic differential equations (SDEs) with respect to the supremum and the L_p error criteria, and we seek approximations that are strongly asymptotically optimal in specific classes of approximations. For the supremum error, we prove strong asymptotic optimality for specific tamed Euler schemes relating to certain adaptive and to equidistant time discretizations. For the L_p error, we prove strong asymptotic optimality for specific tamed Milstein schemes relating to certain adaptive and to equidistant time discretizations. To illustrate our findings, we numerically analyze the SDE associated with the Heston-3/2-model originating from mathematical finance.}, subject = {Stochastische Differentialgleichung}, language = {en} } @phdthesis{Horaček2020, author = {Hor{\´a}ček, Jan}, title = {Algebraic and Logic Solving Methods for Cryptanalysis}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-7731}, school = {Universit{\"a}t Passau}, pages = {v, 154 Seiten}, year = {2020}, abstract = {Algebraic solving of polynomial systems and satisfiability of propositional logic formulas are not two completely separate research areas, as it may appear at first sight. In fact, many problems coming from cryptanalysis, such as algebraic fault attacks, can be rephrased as solving a set of Boolean polynomials or as deciding the satisfiability of a propositional logic formula. Thus one can analyze the security of cryptosystems by applying standard solving methods from computer algebra and SAT solving. This doctoral thesis is dedicated to studying solvers that are based on logic and algebra separately as well as integrating them into one such that the combined solvers become more powerful tools for cryptanalysis. This disseration is divided into three parts. In this first part, we recall some theory and basic techniques for algebraic and logic solving. We focus mainly on DPLL-based SAT solving and techniques that are related to border bases and Gr{\"o}bner bases. In particular, we describe in detail the Border Basis Algorithm and discuss its specialized version for Boolean polynomials called the Boolean Border Basis Algorithm. In the second part of the thesis, we deal with connecting solvers based on algebra and logic. The ultimate goal is to combine the strength of different solvers into one. Namely, we fuse the XOR reasoning from algebraic solvers with the light, efficient design of SAT solvers. As a first step in this direction, we design various conversions from sets of clauses to sets of Boolean polynomials, and vice versa, such that solutions and models are preserved via the conversions. In particular, based on a block-building mechanism, we design a new blockwise algorithm for the CNF to ANF conversion which is geared towards producing fewer and lower degree polynomials. The above conversions allow usto integrate both solvers via a communication interface. To reach an even tighter integration, we consider proof systems that combine resolution and polynomial calculus, i.e. the two most used proof systems in logic and algebraic solving. Based on such a proof system, which we call SRES, we introduce new types of solving algorithms that demostrate the synergy between Gr{\"o}bner-like and DPLL-like solving. At the end of the second part of the dissertation, we provide some experiments based on a new benchmark which illustrate that the our new method based on DPLL has the potential to outperform CDCL SAT solvers. In the third part of the thesis, we focus on practical attacks on various cryptograhic primitives. For instance, we apply SAT solvers in the case of algebraic fault attacks on the symmetric ciphers LED and derivatives of the block cipher AES. The main goal there is to derive so-called fault equations automatically from the hardware description of the cryptosystem and thus automatizate the attack. To give some extra power to a SAT solver that inverts the hash functions SHA-1 and SHA-2, we describe how to tweak the SAT solver using a programmatic interface such that the propagation of the solver and thus the attack itself is improved.}, subject = {Kryptoanalyse}, language = {en} } @phdthesis{Fink2019, author = {Fink, Thomas}, title = {Curvature Detection by Integral Transforms}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-7684}, school = {Universit{\"a}t Passau}, pages = {viii, 194 Seiten}, year = {2019}, abstract = {In various fields of image analysis, determining the precise geometry of occurrent edges, e.g. the contour of an object, is a crucial task. Especially the curvature of an edge is of great practical relevance. In this thesis, we develop different methods to detect a variety of edge features, among them the curvature. We first examine the properties of the parabolic Radon transform and show that it can be used to detect the edge curvature, as the smoothness of the parabolic Radon transform changes when the parabola is tangential to an edge and also, when additionally the curvature of the parabola coincides with the edge curvature. By subsequently introducing a parabolic Fourier transform and establishing a precise relation between the smoothness of a certain class of functions and the decay of the Fourier transform, we show that the smoothness result for the parabolic Radon transform can be translated into a change of the decay rate of the parabolic Fourier transform. Furthermore, we introduce an extension of the continuous shearlet transform which additionally utilizes shears of higher order. This extension, called the Taylorlet transform, allows for a detection of the position and orientation, as well as the curvature and other higher order geometric information of edges. We introduce novel vanishing moment conditions which enable a more robust detection of the geometric edge features and examine two different constructions for Taylorlets. Lastly, we translate the results of the Taylorlet transform in R^2 into R^3 and thereby allow for the analysis of the geometry of object surfaces.}, subject = {Kr{\"u}mmung}, language = {en} } @phdthesis{Lorenz2018, author = {Lorenz, Florian}, title = {Analyse und Erzeugung von glatten Fl{\"a}chen{\"u}berg{\"a}ngen f{\"u}r das CNC-Fr{\"a}sen}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-5166}, school = {Universit{\"a}t Passau}, pages = {i, 149 Seiten}, year = {2018}, abstract = {In dieser Arbeit werden numerisch stabile Methoden zur Pr{\"u}fung von Stetigkeiten an Fl{\"a}chen{\"u}berg{\"a}ngen vorgestellt und Algorithmen zur Erzeugung von G^2-stetigen Fl{\"a}chen{\"u}berg{\"a}ngen hergeleitet.}, subject = {Differentialgeometrie}, language = {de} } @phdthesis{Apfler2018, author = {Apfler, Sabine}, title = {Erwerb mathematischer Kompetenzen in der Regelvolksschule}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-5593}, school = {Universit{\"a}t Passau}, pages = {447 Seiten}, year = {2018}, abstract = {Durch die Einf{\"u}hrung der Bildungsstandards{\"u}berpr{\"u}fungen erh{\"a}lt die Frage nach der Kompetenzentwicklung von Kindern einen zentralen Stellenwert in Bildungsangelegenheiten. Lehrkr{\"a}fte stehen dadurch vor der Aufgabe, ihren Unterricht diesbez{\"u}glich zu ver{\"a}ndern und L{\"o}sungen zu finden. Die Frage, ob der Einsatz der Montessorip{\"a}dagogik die Entwicklung mathematischer Kompetenzen positiv beeinflusst, wurde im Rahmen einer Dissertation diskutiert und empirisch erforscht werden. Der Arbeit liegt folgende Fragestellung zugrunde: Kann die Montessorip{\"a}dagogik dazu beitragen, dass Sch{\"u}lerinnen und Sch{\"u}ler in {\"o}sterreichischen Regelvolksschulen ein hohes Kompetenzniveau in Mathematik erreichen? Wie unterscheidet sich die Kompetenzentwicklung in Klassen, die von Lehrpersonen mit beziehungsweise ohne Montessoriausbildung unterrichtet werden? Bei der vorliegenden Studie handelt es sich um eine L{\"a}ngsschnittuntersuchung mit zwei Testzeitpunkten. Im Sinne einer summativen Evaluation wurden zu Beginn der Untersuchung die Basiskompetenzen mit dem „Entwicklungsorientierten Test zur Erfassung mathematischer Basiskompetenzen ab Schuleintritt (MBK 1+)" analysiert. Am Ende der dritten Schulstufe wurde eine abschließende Bewertung im Rahmen der IKM-Testung des BIFIE vorgenommen, um die Wirksamkeit des Einsatzes der Montessorimethode zu ermitteln. Untersucht wurden 14 Volksschulklassen, die entweder einer Untersuchungsgruppe oder einer Kontrollgruppe zugeordnet wurden. Die Klassen der Untersuchungsgruppe wurden von Lehrpersonen mit Montessori-Diplomausbildung unterrichtet, die Klassen der Kontrollgruppe von Lehrpersonen, die keine Montessoriausbildung absolviert haben. An der Studie nahmen 248 Sch{\"u}lerinnen und Sch{\"u}ler teil. Der Untersuchungszeitraum erstreckte sich {\"u}ber insgesamt drei Schuljahre. Die Ergebnisse der Studie zeigen Tendenzen, dass sich der Einsatz der Montessorip{\"a}dagogik positiv auf die Kompetenzentwicklung der Kinder im Bereich der Mathematik auswirkt.}, subject = {{\"O}sterreich}, language = {de} } @phdthesis{Klaus2019, author = {Klaus, Tina}, title = {Complexity Analysis of Quantizations of Multidimensional Stochastic Differential Equations}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-7665}, school = {Universit{\"a}t Passau}, pages = {iv, 166 Seiten}, year = {2019}, abstract = {The dissertation is located in the field of quantizations of certain stochastic processes, namely a solution X of a multidimensional stochastic differential equation (SDE). The quantization problem for X consists in approximating X by a a random element which takes only finitely many values. Our main interest lies in the investigation of the asymptotic behavior of the Nth minimal quantization error of X as N tends to infinity, which incorporates the determination of both the sharp rate of convergence and explicit asymptotic constants. Especially explicit asymptotic constants have been so far unknown in the context of multidimensional SDEs. Furthermore, as part of our analysis, we provide a method which yields a strongly asymptotically optimal sequence of N-quantization of X. In certain special cases our method is fully constructive and the algorithm is easy to implement.}, subject = {Stochastische Differentialgleichung}, language = {en} }