Browsing Fakultät für Mathematik und Informatik (inkl. GAUSS) by Title
Now showing items 410429 of 532

Quadratische Diophantische Gleichungen über algebraischen Zahlkörpern
(20150423)A search bound for the smallest solution of a quadratic diophantine equation over number fields in at least three variables is established. 
Quality Assessment and Quality Improvement for UML Models
(20110301)Models defined using the UML are nowadays a common part of software documentation, specification and sometimes even implementation. However, there is a broad variety in how UML is used. ... 
Quality Assurance of Test Specifications for Reactive Systems
(20100820)Extensive testing of modern communicating systems often involves large and complex test suites that need to be maintained throughout the life cycle of the tested systems. For this purpose, ... 
Radiation conditions for periodic potentials
(20170919)The aim of the present thesis is to determine radiation conditions for higherdimensional Schroedinger equations with periodic potentials. There is wellknown result for Helmholtz equations. However to my knowledge, there ... 
Ramanujan Regular Hypergraphs based on special Affine BruhatTits Buildings
(20040211)This dissertation is mainely about Ramanujan graphs and Hypergraphs, which are constracted with arithmetical tools. The unitgroups of Quaternions and division algebras play an important ... 
Random Function Iterations for Stochastic Feasibility Problems
(20190321)The aim of this thesis is to develop a theory that describes errors in fixed point iterations stochastically, treating the iterations as a Markov chain and analyzing them for convergence in distribution. These particular ... 
Random Iterations of Subhyperbolic Relaxed Newton's Methods
(20050401)The family of the natural iterations of a subhyperbolic relaxed Newton s method of a complex polynomial devides the Riemann sphere into two disjoint sets: the nonempty, perfect, nowhere ... 
Randomized Approximation and Online Algorithms for Assignment Problems
(20150610)In this thesis, we consider several combinatorial optimization problems which feature assignment decisions. The first part deals with variants of the generalized assignment problem. We study an extension with additional ... 
Rational points and lines on cubic hypersurfaces
(20231002)We study the solubility of cubic diophantine equations. In the first chapter, we discuss the convergence of the singular series of a cubic form, which is a central object in the study of the solutions of the associated ... 
Reconstruction of Exponential Sums from Fourier Data via Rational Approximation
(20220708)We develop the new ESPIRA Algorithm to reconstruct exponential sums from discrete sample values, using the discrete Fourier transform of the given sample vector. We exploit the structure of the DFT values of samples from ... 
Reconstruction of Structured Functions From Sparse Fourier Data
(20150119)In several scientific areas, such as radio astronomy, computed tomography, and magnetic resonance imaging, the reconstruction of structured functions from the knowledge of samples of their Fourier transform is a common ... 
Reduction of Lie and Courant Algebroids and Application to Double Vector Bundles
(20240517)In this thesis we evaluate the reduction procedure of Poisson manifolds and apply it to structures closely related to them such as Lie (bi)algebroids, Courant algebroids and LieRinehart algebras. Moreover, we apply this ... 
Reduktionssysteme zur Berechnung einer Auflösung der orthogonalen freien Quantengruppen A<sub>o</sub>(n)
(20080729)For the free orthogonal quantum groups Ao(n) we give and verify a complete reduction system. In case of n = 2 we give a finite automat to find every basis element.Futhermore we give a basis ... 
Reference Framework for Distributed Repositories
(20100217)Our notion of IT infrastructure is changing dramatically. We used to be happy with just a power plug for our desktops  today, many of us can hardly imagine a day without Internet access. ... 
Regularized RaoBlackwellization
(20210615)In statistics, RaoBlackwellization is a wellknown technique to improve estimators by removing ancillary information which does not help toward making inference on the parameter of interest. The present thesis reveals ... 
Reliability Assessment for Cloud Applications
(20170220)Reliability is a significant quality measurement for computer systems and applications. When cloud computing is becoming mature and pervasive, a variety of applications are deployed on cloud platforms. Influenced by the ... 
Resource Management for Efficient, Scalable and Resilient Network Function Chains
(20180810)Networks, the basis of the modern connected world, have evolved beyond the con nectivity services. Network Functions (NFs) or traditionally the middleboxes are the basis of realizing different types of services such as ... 
Robust Electromyography Based Control of Multifunctional Prostheses of The Upper Extremity
(20150325)Multifunctional, highly dexterous and complex mechanic hand prostheses are emerging and currently entering the market. However, the bottleneck to fully exploiting all capabilities of these mechatronic devices, and to making ... 
Robuste ANOVATypStatistik in hochdimensionalen Mehrgruppendesigns
(20220825)This thesis proves a robustness property of the ANOVA type statistic in repeated measures designs, i.e. experimental designs with multiple measurements of the same scale on the same experimental unit. As the HuynhFeldttest, ... 
Robustness of HighOrder DivergenceFree Finite Element Methods for Incompressible Computational Fluid Dynamics
(20190307)In computational fluid dynamics, obtaining exactly divergencefree approximations to the incompressible NavierStokes equations, by means of finite element methods, has actually not been particularly popular in the last ...