https://opendata.uni-halle.de//handle/497920112/159243 2026-04-09T21:54:26Z https://opendata.uni-halle.de//handle/1981185920/14017 Title: Typische Muster bei der DSL-Implementierung unter Verwendung von geordneten Attributgrammatiken Author(s): Berg, Christian Abstract: Für die Spezifikation der Sprachsemantik gibt es verschiedene Lösungsansätze, die jeweils nur eine der folgenden Eigenschaften bieten: entweder die Sprachspezifikation ist kompakt oder der generierte Übersetzer ist performant bzw. schnell. Sollen schnelle Übersetzer mit kompakter Spezifikation entwickelt werden, gibt es dafür bisher noch keine Lösung. Diese Arbeit stellt eine Methode vor, die dies leistet, indem von Attributgrammatiken - eine der Standardlösungen aus dem Übersetzerbau - abstrahiert wird. Diese Abstraktion wird formal definiert und es wird bewiesen, dass wichtige Eigenschaften, wie Zerlegbarkeit und die Fähigkeit der Komposition, eingehalten werden und anhand einer Reihe von Beispielen gezeigt, dass die Spezifikation wesentlich kompakter als Attributgrammatiken sind und der resultierende Übersetzer ähnlich schnell arbeitet.; There are different solutions to specify the semantics of a (programming) language, each offering only one of the following: the specification is compact or the generated compiler is fast. There does not exist a solution for specifying a fast compiler in a compact way. This work presents a method achieving this by abstracting away from attribute grammars - one of the standard solutions to specify language semantics. This abstraction is formally defined and various important properties, like partitionability or composability, are proven to hold. Using various examples from the literature it is shown that the specification is much more compact than regular attribute grammars and the resulting compiler is of similar speed. 2019-01-01T00:00:00Z https://opendata.uni-halle.de//handle/1981185920/9013 Title: Markov Chain Monte Carlo algorithms for the uniform sampling of combinatorial objects Author(s): Rechner, Steffen Abstract: In dieser Arbeit untersuche ich die Effizienz von Markov-Chain Monte Carlo (MCMC) Algorithmen zum gleichverteilten Erzeugen zufälliger kombinatorischer Strukturen. Zu diesem Zweck habe ich eine Software namens marathon entwickelt, welche ich zur Berechnung struktureller Eigenschaften von Markov-Ketten einsetze, die rein analytisch schwer zu bestimmen wären. Ich verwende diese Software, um MCMC-Algorithmen aus drei Problemklassen zu untersuchen. Zunächst untersuche ich drei bekannte Methoden zum Erzeugen zufälliger bipartiter Graphen mit festen Knotengraden. Unter anderem zeige ich, welcher Algorithmus am besten für den Einsatz in speziellen ökologischen Anwendungen geeignet ist. Anschließend betrachte ich das Erzeugen zufälliger bipartiter Graphen mit beschränkten Knotengraden. Ich führe zwei neue MCMC-Algorithmen ein und untersuche auf experimentellem Wege deren Effizienz. Schließlich analysiere ich Algorithmen zum zufälligen Erzeugen perfekter Matchings in bipartiten Graphen. Dabei identifiziere ich Initialzustände, die eine polynomielle beziehungsweise exponentielle Mischzeit besitzen.; In this thesis, we discuss a family of sampling methods known as Markov chain Monte Carlo (MCMC) algorithms. To support the analysis of such algorithms,we developed the software tool marathon, designed to determine properties of Markov chains that are usually hard to find analytically. We apply our software to experimentally assess the efficiency of several MCMC algorithms from three sampling applications. First, we address three well-known MCMC algorithms for the uniform sampling of bipartite graphs with fixed degrees. In a set of experiments, we show which sampling algorithm works best in certain types of ecological applications. Motivated by the work with incomplete data, we next address the uniform sampling of bipartite graphs whose degrees lie in prescribed intervals. After introducing two new MCMC algorithms, we give a proof of their correctness and experimentally assess their efficiency. Finally, we address the uniform sampling of perfect matchings in bipartite graphs. In a set of experiments with two special classes of bipartite graphs, we identify initial states that require a polynomial and an exponential number of steps. 2018-01-01T00:00:00Z https://opendata.uni-halle.de//handle/1981185920/8978 Title: Politikerinnen sind keine Männer - und Politiker auch nicht? - zur Rolle geschlechtsbezogener Darstellungen in der deutschen und amerikanischen Berichterstattung über Spitzenpolitiker/innen Author(s): Reinsch, Kerstin Abstract: Die Dissertation untersucht, welche Rolle Geschlecht in der Berichterstattung über Politiker/innen spielt. Zur Beantwortung dieser Frage wurde die deutsche und amerikanische Print-/Fernsehberichterstattung im Kontext von Parteitagen ausgewertet (2009: Merkel vs. Steinmeier, 2012: Obama vs. Romney, 2016: Clinton vs. Trump). Entwickelt und angewendet wurde ein neues Modell, dass es ermöglicht, die Berichterstattung systematisch und unter Reflektion vielfältiger Zusammenhänge zu analysieren. Berücksichtigt werden dabei Aspekte, wie kulturelle Dimensionen, Medienstrukturen, Situationsspezifika und Kandidatenkontexte. Die Dissertation leistet einen Beitrag zur Rekonstruktion und Analyse genderbezogener medialer Darstellungen deutscher und US-amerikanischer Politiker/innen in Phasen zeithistorischer Zäsuren.; The aim of the PhD project is to analyze, how gender matters in media coverage of female and male politicians. To answer this question, the German and American Print and TV Coverage appearing after the frontrunners speeches at German Party Conventions (2009: Merkel vs. Steinmeier) and US National Conventions (2012: Obama vs. Romney, 2016: Clinton vs. Trump) are analyzed. Within the PhD project a newly developed analytical model is introduced and applied to assess gendered media coverage in a systematic way considering various aspects such as cultural dimensions, media structures, the setting and individual candidate contexts. The dissertation contributes to the systematic reconstruction and analysis of the gender based media coverage about German and American frontrunners at significant points in contemporary history. 2018-01-01T00:00:00Z https://opendata.uni-halle.de//handle/1981185920/8947 Title: Bioinformatics tools for mass spectrometry, phylogenetic footprinting, and the integration of biological data - [kumulative Dissertation] Author(s): Treutler, Hendrik Abstract: Diese kumulative Dissertation wurde in Englisch verfasst und beinhaltet sechs Publikationen aus dem Gebiet der Bioinformatik. Das Oberziel dieser Publikationen ist ein Verständnis von biologischen Prozessen auf dem Niveau der Systembiologie zu ermöglichen. Hierzu werden unterschiedliche bioinformatische Softwarewerkzeuge quelloffen und frei verfügbar bereitgestellt. Die sechs Publikationen fallen in die drei Bioinformatik-Teilgebiete (i) “Phylogenetic footprinting”, (ii) “Data Processing and Interpretation of Mass Spectrometry Data” und (iii) “Integration of biological data”. Im Teilgebiet (i) wird die präzise Vorhersage und der objektive Vergleich von Transkriptionsfaktorbindestellen-Motiven behandelt. Im Teilgebiet (ii) wird die Extraktion von Metaboliten-Signalen aus Massenspektrometriedaten und die Auswertung dieser auf dem Level von Metabolitenfamilien behandelt. Im Teilgebiet (iii) wird das Softwarewerkzeug VANTED weiterentwickelt.; This cumulative dissertation is wridden in english and includes six papers from the bioinformatics area. The aim of these papers is an unterstanding of biological processes on the systems biology level. For this purpose I published different open-source, freely available software tools.The six publications are rooted in the three bioinformatics fields (i) “Phylogenetic footprinting”, (ii) “Data Processing and Interpretation of Mass Spectrometry Data”, and (iii) the “Integration of biological data”. In field (i) the precise prediction and objective comparison of transcription factor binding motifs is covered. In field (ii) the extraction of metabolite signals from mass spectrometry data and the analysis of these on the level of metabolite families is covered. In field (iii) the software tools VANTED is developed further. 2017-01-01T00:00:00Z