Suche
Anzeige der Dokumente 1-10 von 66
Dissertation
Extremal Fixpoints for Higher-Order Modal Logic
(2018-10)
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 ...
Dissertation
Planning of Autonomous and Mobile Robots in Dynamic Environments
(2018-11)
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 ...
Dissertation
Development of an ArcGIS extension to model urban climate factors
(2015-03-20)
The possibility to develop automatically running models which can capture some of the most important factors driving the urban climate would be very useful for many planning aspects. With the help of these modulated climate data, the creation of the typically used “Urban Climate Maps” (UCM) will be accelerated and facilitated. This work describes the development of a special ArcGIS software extension, along with two support databases to achieve this functionality. At the present time, lacking comparability between ...
Aufsatz
A unified and memory efficient framework for simulating mechanical behavior of carbon nanotubes
(2015-06-01)
Carbon nanotubes possess many interesting properties, which make them a promising material for a variety of applications. In this paper, we present a unified framework for the simulation of the mechanical behavior of carbon nanotubes. It allows the creation, simulation and visualization of these structures, extending previous work by the research group “MISMO” at TU Darmstadt. In particular, we develop and integrate a new matrix-free iterative solving procedure, employing the conjugate gradient method, that drastically ...
Aufsatz
Process is King: Evaluating the Performance of Technology-mediated Learning in Vocational Software Training
(2018-09-01)
Technology-mediated learning (TML) is a major trend in education, since it allows to integrate the strengths of traditional- and IT-based learning activities. However, TML providers still struggle in identifying areas for improvement in their TML offerings. One reason for their struggles is inconsistencies in the literature regarding drivers of TML performance. Prior research suggests that these inconsistencies in TML literature might stem from neglecting the importance of considering the process perspective in ...
Dissertation
Eine SPARQL-Schnittstelle für OData-Services
(2014-11-25)
Enterprise-Resource-Planning-Systeme (ERP-Systeme) bilden für die meisten mittleren und großen Unternehmen einen essentiellen Bestandteil ihrer IT-Landschaft zur Verwaltung von Geschäftsdaten und Geschäftsprozessen. Geschäftsdaten werden in ERP-Systemen in Form von Geschäftsobjekten abgebildet. Ein Geschäftsobjekt kann mehrere Attribute enthalten und über Assoziationen zu anderen Geschäftsobjekten einen Geschäftsobjektgraphen aufspannen. Existierende Schnittstellen ermöglichen die Abfrage von Geschäftsobjekten, ...
Technischer Report
20. Theorietag der GI-Fachgruppe "Automaten und Formale Sprachen"
(2010-11-05)
Die Fachgruppe AFS (früher Fachgruppe 0.1.5) der Gesellschaft für Informatik
veranstaltet seit 1991 einmal im Jahr ein Treffen der Fachgruppe im Rahmen eines Theorietags, der traditionell eineinhalb Tage dauert. Seit dem Jahr 1996 wird dem eigentlichen Theorietag noch ein eintägiger Workshop zu speziellen Themen der theoretischen Informatik vorangestellt.
In diesem Jahr wurde der Theorietag vom Fachgebiet "Theoretische Informatik"
des Fachbereichs Elektrotechnik/Informatik der Universität Kassel organisiert. Er ...
Dissertation
Dynamische Konfiguration verteilter Informationsverarbeitung in Gruppen heterogener Agenten
(2018-03-22)
Das erfolgreiche Agieren von Multiagentensystemen (MAS) setzt eine umfangreiche und hochwertige Wissensbasis voraus. Die Wissensbasis umfasst die von einem Agenten benötigten Informationen, welche durch die Verarbeitung von Sensorinformationen erzeugt werden. Die Anpassung der Informationsverarbeitung an die Einsatzdomäne ermöglicht es, die Qualität der Wissensbasis zu gewährleisten und so die Leistung des MAS zu steigern. Aktuelle Middleware-Systeme unterstützen die Integration von gängigen Methoden und Verfahren ...
Dissertation
Self-Healing in Autonomous Robot Teams
(2017-05-24)
Today, robots are used in nearly every type of automated manufacturing and assembly process. Robot installations typically apply static actuator systems in clearly structured environments. These systems show impressive abilities in speed and accuracy for repetitive manipulation tasks. Future automation applications, however, require an increasing level of flexibility, where classical systems reach their physical limits. As a reaction, robots become mobile, intelligent and cooperative. These new characteristics, ...
Dissertation
Context as a Service
(2013-03-22)
In the vision of Mark Weiser on ubiquitous computing, computers are disappearing from the focus of the users and are seamlessly interacting with other computers and users in order to provide information and services. This shift of computers away from direct computer interaction requires another way of applications to interact without bothering the user. Context is the information which can be used to characterize the situation of persons, locations, or other objects relevant for the applications.
Context-aware ...