Das KARlsruhe TRItium Neutrino Experiment gilt als die genaueste Waage der Welt und hat sich der Aufgabe verschrieben die Masse des elektronischen Anti-Neutrinos mit einer Unsicherheit von m = 0:2 eV/c2 zu messen. Das Funktionsprinzip des eingesetzten Spektrometers erfordert eine genaue Kenntnis des Magnetfeldverlaufes im Inneren des Spektrometers. Aufgrund der Forderung nach einem extrem guten Vakuum ist eine direkte Messung des Magnetfeldes jedoch unmöglich. Die vorliegende Arbeit zeigt eine effektive Lösung ...

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

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

Location information plays a vital role in today’s society. People usually carry their mobile devices everywhere they go to benefit from real-time location services; the location of the device is the location of users. The focus of positioning services is shifting from outdoors to indoors. Technological services which depend on indoor locations are increasing in popularity. Wi-Fi fingerprinting is a promising technique that can be used for indoor localization. In this regard, this dissertation targets at improving ...

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

The nanoimprint technology realizes already the production of two-dimensional (2D) shaped nanoparticles of different shapes and materials. These nanoparticles can be applied in advanced applications in material engineering, as well as in biology and particularly in drug-delivery systems. This work presents three-dimensional (3D) shaped nanoparticles with T-, L- and step-like cross-sections, implemented by substrate conformal imprint lithography (SCIL) and a manual soft-imprint technique. Further, 2D shaped nanoparticles ...

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

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

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.