Browsing Fakultät für Mathematik und Informatik (inkl. GAUSS) by Title
Now showing items 435-454 of 570
-
Probabilistic Methods for Computational Annotation of Genomic Sequences
(2011-02-04)New sequencing techniques have increased enormously the speed that new genomic sequences are produced. As manual inspection is impossible for this amount of data, there is an ongoing ... -
Probabilistic models for protein conformational changes
(2020-06-09)Proteins are macromolecules that perform multiple functions. They are not rigid molecules, but instead proteins can change their conformation to perform critical tasks driven by binding small ligands, by assembling into ... -
Probabilistic Models to Detect Important Sites in Proteins
(2021-02-23)Proteins are molecular machines playing almost every fundamental role in activities of life. Their biological functions are mostly driven through conformational transitions and interaction interfaces with other bio-molecules ... -
Processing and Extending Flow-Based Network Traffic Measurements
(2009-07-07)With the increasing usage of the Internet and IP networks for critical applications, network monitoring becomes more important. Flow-profiling is currently the most common measurement ... -
Projection Methods in Sparse and Low Rank Feasibility
(2015-07-07)In this thesis, we give an analysis of fixed point algorithms involving projections onto closed, not necessarily convex, subsets of finite dimensional vector spaces. These methods are used in applications such as imaging ... -
Propagation of polarization sets for systems of generalized transverse type and for systems of MHD type
(2023-06-16)Polarization sets were introduced by Dencker (1982) as a refinement of wavefront sets to the vector-valued case. He also clarified the propagation of polarization sets when the characteristic variety of the pseudodifferential ... -
Quadratische Diophantische Gleichungen über algebraischen Zahlkörpern
(2015-04-23)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
(2011-03-01)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
(2010-08-20)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
(2017-09-19)The aim of the present thesis is to determine radiation conditions for higher-dimensional Schroedinger equations with periodic potentials. There is well-known result for Helmholtz equations. However to my knowledge, there ... -
Ramanujan Regular Hypergraphs based on special Affine Bruhat-Tits Buildings
(2004-02-11)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
(2019-03-21)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
(2005-04-01)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
(2015-06-10)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
(2023-10-02)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
(2022-07-08)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
(2015-01-19)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
(2024-05-17)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 Lie-Rinehart algebras. Moreover, we apply this ... -
Reduktionssysteme zur Berechnung einer Auflösung der orthogonalen freien Quantengruppen A<sub>o</sub>(n)
(2008-07-29)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
(2010-02-17)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. ...