Now showing items 1-10 of 212
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 ...
Hybrid Branching-Time Logics
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 ...
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.
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 ...
Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung
Die Anzahl an Rechenknoten in Hochleistungsrechnern wächst stetig. In solchen Systemen nimmt die Bedeutung von Fehlertoleranz zu, da die Wahrscheinlichkeit eines permanenten Knotenausfalls ebenfalls stetig wächst. Fehlertoleranz gegenüber permanenten Knotenausfällen wird typischerweise durch Checkpointing auf Systemebene realisiert. Findet das Checkpointing jedoch auf Anwendungsebene statt, können Laufzeitvorteile erzielt werden. Diese Implementierungen sind allerdings zeitintensiv und fehleranfällig. Anwendungen, ...
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 ...
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. ...
Towards Effective Natural Language Application Development
There is a current trend that more and more computer programs analyze written or spoken natural language. For example, DVAs, IE systems, machine translation systems, and many other types of programs process natural language in order to solve specific use cases when interacting with humans via natural language. Amazon, Google, and Mycroft AI are just some of the companies that have produced DVAs capable of interacting with humans via voice. Such NLP applications use techniques from computer science and artificial ...
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 ...
Analyzing Given Names
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 ...