Now showing items 1-10 of 237
Accelerating Entrepreneurial Decision-Making Through Hybrid Intelligence
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 ...
Using Optical Satellite Imagery to Monitor and Understand Agricultural Land-cover Change
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 ...
Extremal Fixpoints for Higher-Order Modal Logic
In this dissertation, we investigate the interplay between extremal fixpoints and higher-order constructs. The main Focus here is Higher-Order Modal Fixpoint Logic (HFL), an extension of the modal mu-calculus by a simply typed lambda calculus. The resulting logic is very expressive, yet the interplay of its components has not been systematically investigated so far. Goal of this thesis is to characterize the interplay of the components of HFL. A first characterization is given by converting the denotational semantics ...
Social Network Mining for Analysis of Social Phenomena
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 ...
Same Same But Different? A Two-Foci Perspective on Trust in Information Systems
Trust is one of the most important factors driving the adoption and use of information systems. The goal of this paper is to provide a first evaluation of a conceptual piece claiming a) that users distinguish between their trust in an IS and the provider of this IS and b) that both kinds of trust are important for the success sustainable success of IS providers. To evaluate the claims, a research model is developed and evaluated using data of 234 students during the introduction of a new IS at an European university. ...
Planning of Autonomous and Mobile Robots in Dynamic Environments
The capabilities of autonomous robots are increasing which is a reason for research progress in the last years. An increasing number of robotic scenarios are becoming more viable in various domains for example, mowing, harvesting, warehouse robots. But autonomous mobile robots need more than the ability to navigate through their world, and manipulate objects. Even in teams of robots, a structured plan for each team member is necessary. Planning becomes a more important task. Furthermore, the environment can ...
An Overview of Modeling Concepts for Service-Based Software Architectures
This document provides an overview of modeling concepts for service-based software architectures (SBSAs). The concepts were extracted during a survey of conceptual frameworks for architecture modeling of SBSAs.
Formal Verification for ALICA Plans
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 ...
A Conversational Agent to Improve Response Quality in Course Evaluations
(Association for Computing Machinery, 2020)
Recent advances in Natural Language Processing (NLP) bear the opportunity to design new forms of human-computer interaction with conversational interfaces. We hypothesize that these interfaces can interactively engage students to increase response quality of course evaluations in education compared to the common standard of web surveys. Past research indicates that web surveys come with disadvantages, such as poor response quality caused by inattention, survey fatigue or satisficing behavior. To test if conversational ...
Development, Verification and Analysis of a Fault Injection Tool for Improving Dependability of FPGA Systems
Field Programmable Gate Array (FPGA) has been involved in various applications in the last couple of decades, such as aerospace, biomedical instrumentation, safety-critical systems, and spacecraft, due to their remarkable features. These features include parallelism, reconfiguration, self-healing capabilities, availability, low cost and low design turn-around time. FPGA devices are sensitive to Single Event Effects (SEE), which can be caused by various sources, such as α-particles, cosmic rays, atmospheric neutrons, ...