Search
Now showing items 261-270 of 692
Dissertation
IT-Forensik
(Verlag Mohr Siebeck, Tübingen, 2015)
Digitale Beweismittel haben in der Rechtspraxis alltägliche Bedeutung erlangt. Allerdings sind die Methoden der forensischen Informatik bislang nur zu Teilen mit den Anforderungen des Rechts abgeglichen. Wann haben Daten eine hohe Beweiskraft? Wie darf bei der Sammlung und Auswertung vorgegangen werden? Wann besteht ein Verbot, rechtswidrig aus IT-Systemen gewonnene Beweismittel in einen Gerichtsprozess einzubringen? Dennis Heinson geht diesen Fragen nach. Er untersucht die rechtlichen Bedingungen, unter denen ...
Dissertation
On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions
(2018-06-06)
Sei k ein algebraisch abgeschlossener Erweiterungskörper von Q der Charakteristik 0 und k(x)[∂] der Ring der Differentialoperatoren mit Koeffizienten in k(x). Sei L ∈ k(x)[∂] ein irreduzibler Differentialoperator dritter Ordung ohne Liouvillesche Lösungen. Sei E = B_^2, 1F_1^2, 0F_2, 1F_2, 2F_2}, wobei B_v eine Besselfunktion ist und pF_q mit p ∈ {0,1,2},q ∈{1,2}, die verallgemeinerte hypergeometrische Funktion. Das Ziel dieser Dissertation ist es, Lösungen von L zu finden, die durch Elemente S ∈ E ausgedrückt werden ...
Dissertation
Semi-algebraic methods for symbolic analysis of complex reaction networks
(2013-12-17)
The identification of chemical mechanism that can exhibit oscillatory phenomena in reaction networks are currently of intense interest. In particular, the parametric question of the existence of Hopf bifurcations has gained increasing popularity due to its relation to the oscillatory behavior around the fixed points. However, the detection of oscillations in high-dimensional systems and systems with constraints by the available symbolic methods has proven to be difficult. The development of new efficient methods are ...
Dissertation
Moments of classical orthogonal polynomials
(2013-10-22)
The aim of this work is to find simple formulas for the moments mu_n for all families of classical orthogonal polynomials listed in the book by Koekoek, Lesky and Swarttouw. The generating functions or exponential generating functions for those moments are given.
Dissertation
Algorithms for Tamagawa Number Conjectures
(2011-06-09)
In dieser Arbeit werden Algorithmen zur Untersuchung der äquivarianten Tamagawazahlvermutung von Burns und Flach entwickelt. Zunächst werden Algorithmen angegeben mit denen die lokale Fundamentalklasse, die globale Fundamentalklasse und Tates kanonische Klasse berechnet werden können. Dies ermöglicht unter anderem Berechnungen in Brauergruppen von Zahlkörpererweiterungen. Anschließend werden diese Algorithmen auf die Tamagawazahlvermutung angewendet. Die Epsilonkonstantenvermutung kann dadurch für alle Galoiserweiterungen ...
Dissertation
Modellbildung in der algebraischen Kryptoanalyse
(2015-04-22)
In der algebraischen Kryptoanalyse werden moderne Kryptosysteme als polynomielle, nichtlineare Gleichungssysteme dargestellt. Das Lösen solcher Gleichungssysteme ist NP-hart. Es gibt also keinen Algorithmus, der in polynomieller Zeit ein beliebiges nichtlineares Gleichungssystem löst. Dennoch kann man aus modernen Kryptosystemen Gleichungssysteme mit viel Struktur generieren. So sind diese Gleichungssysteme bei geeigneter Modellierung quadratisch und dünn besetzt, damit nicht beliebig. Dafür gibt es spezielle ...
Dissertation
Zur Potentialtheorie des Oseen-Systems
(2017-02-27)
Die aus der Hydrodynamik bekannten dreidimensionalen Gleichungen von Oseen stellen ein mathematisches Modell der Strömung von inkompressiblen Flüssigkeiten und Gasen im stationären Gleichgewicht dar. Sie entstehen bei der Linearisierung des konvektiven Termes u · ∇u um einen von Null verschiedenen konstanten Vektor u = u_∞ = (κ, 0, 0), der die Geschwindigkeit der Strömung im Unendlichen repräsentiert. Man erhält damit aus den stationären nichtlinearen Navier-Stokes-Gleichungen die so genannten Oseen-Gleichungen in ...
Dissertation
Entwicklung und Erprobung einer technischen Wühlmöglichkeit für intensiv gehaltene Mastschweine
(2017-11-02)
Kurzfassung: Entwicklung und Erprobung einer technischen Wühlmöglichkeit für intensiv gehaltene Mastschweine:
Die Haltung von Mastschweinen auf Vollspalten ist für die Tiere mit Einschränkungen in Bezug auf die Ausübung des Normalverhaltens verbunden. Es lassen sich Änderungen im Verhalten der Tiere sowie das „Umorientieren“ von Verhaltensweisen auf Artgenossen beobachten. Um den Tieren Verhaltensweisen wie wühlen, kauen und beißen auch in der intensiven Haltung zu ermöglichen und das Auftreten unerwünschten ...
Dissertation
Development of automated computer vision systems for investigation of livestock behaviours
(2017-12-15)
Der Einsatz moderner Tierüberwachungstechnologien ermöglicht es Landwirten, auch große Tierbestände mit einem hohen Tierwohl im Einklang zu bringen. Aufgrund des Potentials der Bilderkennung für praktische Betriebe wurde eine Serie wissenschaftlicher Untersuchungen auf einem Schweinemastbetrieb in Stafford, Großbritannien durchgeführt. Eine zentrale Zielsetzung dieser Dissertation war die Untersuchung der praxistauglichen Umsetzbarkeit von Bilderkennungsmethoden unter der Nutzung der Delaunay Triangulation (DT) zur ...