Search
Now showing items 1-10 of 52
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
Using Optical Satellite Imagery to Monitor and Understand Agricultural Land-cover Change
(2020-06)
The activities of humans have transformed the earth over the last decades. The transformation is estimated to increase further in response to the growing world population. This has caused many countries to devise means to utilize resources sustainably. Bio-economy is seen as a means to reduce the high reliance on fossil materials and ensure the provision of raw materials, energy and food to the increasing world population in a sustainable manner. However, the rising demands for biomass to produce bioenergy have relied ...
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
Accelerating Entrepreneurial Decision-Making Through Hybrid Intelligence
(2020)
Purpose: Previous studies revealed that around 75 percent of all start-ups fail at an early stage. One main reason for this tremendous failure rate is that entrepreneurs are typically confronted with high levels of uncertainty about the viability of their proposed business idea. Following this argumentation, entrepreneurial decision-making can be defined as complex decision-making problem under both risk and uncertainty. While risk includes quantifiable probabilities, uncertainty describes situations where neither ...
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
Crowd-Based Entrepreneurship
(2020)
The aim of this dissertation is to explore the innovation potential of crowdsourcing for entrepreneurship. The main focus is to discover how crowd-based infrastructures (i. e., crowdsourcing platforms and crowdfunding platforms) can support entrepreneurs in their innovation activities and how this new paradigm can be used to generate value for customers as well as actors of entrepreneurial ecosystems. The results of the dissertation show that crowdsourcing offers numerous opportunities to support entrepreneurs in ...
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
Diversity of aphyllophoroid fungi from taxonomical and biogeographical perspectives
(2018)
Comprehensive knowledge of biodiversity is a prerequisite for its long-term conservation and sustainable use. Fungi play crucial roles in ecosystems and are among the species-richest organism groups on Earth. However, all aspects of their diversity remain underexplored.
In this study, we aimed to fill the gaps in occurrence data and taxonomy as well as in understanding spatial diversity patterns of aphyllophoroid fungi (non-gilled macroscopic Basidiomycota). We digitized and made openly accessible 4,041 records of ...
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 ...