Search
Now showing items 61-70 of 88
Dissertation
Analyzing Given Names
(2020)
Computer science has evolved so much that it influences almost every part of human live. A particularly personal part of human live is the selection of a given name for a newborn baby. The name discovery service Nameling is our way to help expectant parents with this decision. It is a web service that helps parents to find a given name for their newborn baby. We want to further improve the user experience of Nameling by personalizing its name results for the current user. We deem this important, because the selection ...
Dissertation
Hybrid Branching-Time Logics
(2019)
We introduce and study an extension of the well-known and well-studied branching-time logics CTL, CTL+, FCTL+, CTL* and the modal μ-calculus with the so called "hybrid framework". This framework borrows ideas from first-order logic to enable more precise "structural" reasoning which is known to be impossible in the original logics. In particular, the extension with this framework enables these logics to uniquely name, reference and test for certain states, similarly to the concepts of variables and constants in ...
Dissertation
CD-Systems of Restarting Automata
(2008-09-10)
Die vorliegende Arbeit behandelt Restartautomaten und Erweiterungen von Restartautomaten.
Restartautomaten sind ein Werkzeug zum Erkennen formaler Sprachen. Sie sind motiviert durch
die linguistische Methode der Analyse durch Reduktion und wurden 1995 von Jancar, Mráz, Plátek und Vogel eingeführt.
Restartautomaten bestehen aus einer endlichen Kontrolle, einem Lese/Schreibfenster fester Größe und einem flexiblen Band. Anfänglich enthält dieses sowohl die Eingabe als auch Bandbegrenzungssymbole.
Die Berechnung eines ...
Dissertation
CoObRA: Eine Plattform zur Verteilung und Replikation komplexer Objektstrukturen mit optimistischen Sperrkonzepten
(2007-12-13)
In der vorliegenden Arbeit wird die Konzeption und Realisierung der Persistenz-, Verteilungs- und Versionierungsbibliothek CoObRA 2 vorgestellt. Es werden zunächst die Anforderungen an ein solches Rahmenwerk aufgenommen und vorhandene Technologien für dieses Anwendungsgebiet vorgestellt. Das in der neuen Bibliothek eingesetzte Verfahren setzt Änderungsprotokolle beziehungsweise -listen ein, um Persistenzdaten für Dokumente und Versionen zu definieren. Dieses Konzept wird dabei durch eine Abbildung auf Kontrukte aus ...
Dissertation
Explaining and Visualizing Structural Knowledge in Bipartite Graphs
(2023)
Bipartite graphs are an important model for the representation and analysis of relationships between two different types of entities. Datasets in this form are commonly found in many fields, such as social networks, biology, and economics. Formal concept analysis is a research approach that allows for the analysis of such bipartite graphs by clustering the data into so-called concepts and ordering those in a lattice structure.
In this thesis we propose multiple approaches for the extraction and visualization of ...
Dissertation
Learning planning communication in cooperative multi-agent settings
(2023)
This work is a holistic investigation of the question of how and why reinforcement learning (RL) agents fail to develop planning communication in a cooperative setting. It is also a guide to anyone trying to build a system that learns to use planning communication patterns. We examine the state of the art in multi-agent systems and emergent communication for the existence of communication patterns that share information about future actions and plans. To do this, we strategically formulate hypotheses that question ...
Dissertation
Attribute Exploration with Multiple Experts
(2023)
Attribute exploration is a knowledge acquisition method from the realm of formal concept analysis that allows a domain expert to efficiently uncover the dependencies in a domain. It is based on a question-answering scheme where the exploration algorithm generates questions about dependencies in the domain that are then answered by a domain expert. Even though many variants and extension to this were developed, only few attempts to incorporate multiple experts were made. The overarching goal of this thesis is to extend ...
Dissertation
Situative Teams in Cooperative Autonomous Systems
(2023)
Distributed systems have been established in many areas of IT and will play an even more significant role in the future. Such systems are no longer limited to specific fields of application but interconnect many different domains. They encompass, e. g. Cloud Computing, Internet of Things, service robotics, and autonomous vehicles. The integrated sub-systems communicate in order to exchange information and, if necessary, perform tasks together. Moreover, the number of interconnected sub-systems is constantly growing. ...
Dissertation
Echtzeitsimulation großer Grafikmodelle
(2010-11-24)
Die vorliegende Arbeit entstand während meiner Zeit als wissenschaftlicher Mitarbeiter im Fachgebiet Technische Informatik an der Universität Kassel. Im Rahmen dieser Arbeit werden der Entwurf und die Implementierung eines Cluster-basierten verteilten Szenengraphen gezeigt. Bei der Implementierung des verteilten Szenengraphen wurde von der Entwicklung eines eigenen Szenengraphen abgesehen. Stattdessen wurde ein bereits vorhandener Szenengraph namens OpenSceneGraph als Basis für die Entwicklung des verteilten Szenengraphen ...
Dissertation
On the Benefits of Abstraction in Concurrent Haskell
(2012-07-30)
Heutzutage haben selbst durchschnittliche Computersysteme mehrere unabhängige Recheneinheiten (Kerne). Wird ein rechenintensives Problem in mehrere Teilberechnungen unterteilt, können diese parallel und damit schneller verarbeitet werden. Obwohl die Entwicklung paralleler Programme mittels Abstraktionen vereinfacht werden kann, ist es selbst für Experten anspruchsvoll, effiziente und korrekte Programme zu schreiben. Während traditionelle Programmiersprachen auf einem eher geringen Abstraktionsniveau arbeiten, bieten ...