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 ...

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 ...

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 ...

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 ...

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, ...

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 ...

Since the 1970s knowledge based approaches are a crucial part of artificial intelligence (AI) research. In this work we investigate data sets in the form of bipartite graphs, i.e., graphs where a bipartition of the vertex set respecting the edge set can be found, for knowledge. To this end we first relate those bipartite graphs to the structure formal context, as used in formal concept analysis (FCA). This link enables us to employ the whole tool-set of FCA to bipartite graphs and therefore, notably, to bipartite ...

Durch die Digitalisierung verstärkt sich der Einsatz von komplexen elektronischen Systemen. Diese Systeme müssen sowohl gesetzlich und normativ geforderte Sicherheitsaspekte erfüllen als auch betriebswirtschaftlich ihre Rendite durch Verfügbarkeit erzielen. Einhergehend mit der Komplexität steigen die Anforderungen an Zuverlässigkeit, Sicherheit und Verfügbarkeit für das Gesamtsystem bestehend aus dem zu überwachenden System und dem Sicherheitssystem. In dieser Monographie werden Erweiterungen von existierenden ...

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 ...

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, ...