Search
Now showing items 11-20 of 78
Dissertation
Trajectory Mapping in Physical and Topical Spaces
(2023)
In this dissertation, two different types of trajectories are investigated. In the engfirst part of this work, we investigate methods for the analysis of physical trajectories. We focus on scenarios, in which signal strengths ofWiFi access points are recorded. In detail, they are recorded through smartphone devices by people moving through a building. By means of theWiFi signal strengths, (physical) trajectories of humans are reconstructed, which reflect the locations visited over time. Accurate localization based ...
Dissertation
Orometry, Intrinsic Dimensionality and Learning: Novel Insights into Network Data
(2023-11)
Today, networks are an integral part of our world. Let it be real-life friendship networks or social connections that are based on social media. In this thesis, we contribute to the understanding of networks by studying networks from three different perspectives. First, we adapt notions and concepts from orometry to metric data and networks to gain novel insights from a local perspective. Specifically, we study measures of local outstandingness and propose concepts to derive small hierarchies from larger networks. ...
Dissertation
Patterns of Practice - Interdisciplinary Negotiation of Cultural Complexity through Practice-Based Methods in Informatics
(2022)
Following the principle of knowing through making, this thesis discusses development and application of a practice-based methodology for construction of digital artefacts within
cultural contexts. It addresses the epistemological diversity and complexity inhering within interdisciplinary projects, suggesting methodological devices able to navigate the variegated disciplinary landscape present within respective development projects. The conceptual pair complexity/complication acts as theoretical point of reference ...
Dissertation
Formal Verification for ALICA Plans
(2021)
Mit der Entwicklung von Wissenschaft und Technik steigen auch die Fähigkeiten autonomer Roboter. Immer mehr und kompliziertere Roboterszenarien werden in vielen Bereichen realisierbar, wie z. B. Mäh-, Ernte- und Lagerroboter. Daher wird die Planung für sie zu einer immer wichtigeren Aufgabe. Da diese Roboter jedoch täglich komplexer werden, ist die Sicherheitszertifizierung ein unvermeidliches Anliegen bei der Entwicklung von mehr autonomen Robotern. Daher ist die Verifizierung der Pläne vor der Verwendung und dem ...
Dissertation
Social Network Mining for Analysis of Social Phenomena
(2019)
In den letzten zehn Jahren wurde eine große Menge an Daten über menschliche Interaktionen verfügbar, die entweder aus sozialen Online-Netzwerken stammen oder von tragbaren Geräten erfasst wurden. Die klassischen Sozialwissenschaften bieten keine Instrumente für die Durchführung datengetriebener Forschung mit solchen Daten. Die computerorientierte Sozialwissenschaft (Computational Social Science) versucht, diese Lücke zu schließen, indem sie Methoden für Data-Mining und maschinelles Lernen zur Nutzung der Daten aus ...
Dissertation
Training in virtuellen Feuerwehreinsätzen
(2022)
Im Zuge des digitalen Wandels und verdeutlicht durch die Corona‑Pandemie, ist allgemein ein steigender Bedarf an E‑Learning Lösungen für Aus‑ und Fortbildungszwecke zu beobachten. So ist auch die Feuerwehr in Deutschland daran interessiert, Präsenzzeiten an Ausbildungszentren effizienter zu gestalten und Freiwilligen Feuerwehren alternative Fortbildungsmöglichkeiten für mangelnde Ressourcen zur Verfügung zu stellen. Serious Games bieten die Möglichkeit Sachverhalte interaktiv sowie mittels Virtuelle Realität (VR) ...
Dissertation
MOCCAA - MObile Cloud Computing AdaptAble
(2019-08)
The primary objective of Mobile Cloud Computing (MCC) is the support of resource-constrained mobile devices by means of Cloud or nearby computing resources. In general, this is achieved by outsourcing or offloading computational intensive tasks of mobile applications. This allows, for instance, to virtually extend the processing power of mobile devices and, indirectly, to save battery life. In case remote resources are not available or the communication link is broken, still a local execution is possible.
The ...
Dissertation
Implizite Positionierung unter Nutzung des Smartphone-Kompasses
(2019)
Der Ort, an dem ein Nutzer sich in einem Gebäude aufhält, spielt für technische Dienste wie Heimautomatisierung eine zentrale Rolle. In dieser Dissertation wird die Implizite Positionierung vorgestellt, ein neues Verfahren, das den Aufenthaltsort eines Nutzers mittels des Kompasses eines Smartphones erkennt, das der Nutzer bei sich trägt. Das Verfahren findet in den Kompassdaten Muster, die entstehen, wenn Nutzer durch Flure, Treppen, etc. oder um Ecken gehen. Da die Ausrichtungen dieser Orte die Nutzer in ihrer ...
Dissertation
Buffered Simulation for Büchi Automata
(2019)
Wir stellen eine neue Familie von Simulationsrelationen zwischen zwei nicht deterministischen Büchi Automaten (NBA), genannt gepufferte Simulation vor. Wir erweitern das Spiel-Framework der üblichen fairen Simulation, so dass Duplicator ihren Spielzug überspringen und die Buchstaben, die Spoiler gelesenen hat, vorübergehend in einem Puffer speichern kann. Duplicator kann diese Buchstaben in ihrer Struktur dann später ausführen. Duplicator hat damit eine Vorschau in die Bewegungen von Spoiler und somit mehr Chancen, ...
Dissertation
Symbolic Representation of Dynamic Knowledge for Robotic Teams
(2020-11)
Das Forschungsziel dieser Arbeit ist es, die konzeptionellen Grundlagen für ein Team autonomer Roboter zu entwickeln, welches in der Lage ist, Wissen über seine Umwelt symbolisch darzustellen, über sein symbolisches Wissen zu kommunizieren und mit dem Wissen zu schlussfolgern, während sich die Umgebung dynamisch ändert. Dieses Forschungsziel wird durch mehrere Anwendungsbereiche motiviert, wobei die Domäne der Haushaltsroboter das Forschungsziel am besten motiviert. Wir haben die Anwendungsdomänen und das Forschungsziel ...