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

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

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

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 theme in the vehicles industry is the increase in automating and integrating more robust intelligent electronic systems to enhance the safe functioning, flexibility, and to extend the virtual productive age of the vehicular systems. Further, significant efforts focus on developing monitoring systems for the abnormal driving conditions such as wheel spinning and sliding that can increase the hazardous in the operating environment and speed up the wearing off process. Thus, these events play a primary role ...

Die Verwendung von Partikeln spielt in vielen alltäglichen Bereichen eine essenzielle Rolle und ist daher im Laufe dieses Jahrhunderts immer mehr in den Fokus der Forschung gerückt. Aktuelle Forschungsarbeiten belegen, dass die Größe und Form der Partikel Einfluss auf verschiedene Anwendungen haben. Ein Beispiel ist die Verwendung als Medikamententräger. Forschungen zeigen, dass ellipsoide Partikel langsamer als sphärische Partikel von Makrophagen internalisiert werden und den Transport von Medikamenten innerhalb des ...

This work is aimed at the development of a fabrication process for realization of a chirped filter based laser device (called as coreSEL). Conventional vertical cavity surface emitting lasers (VCSELs) are based on Fabry-Pérot arrangement where the electric field of the resonant mode is mainly located in the cavity region (center) and often causes undesired effects such as mode-jumps. However, coreSEL is based on chirped optical filter which offers a resonant mode with wider spatial distribution of the electric field ...

The study of power system dynamics refers to the motion of electro-mechanical and electro-magnetic quantities such as voltages, currents, rotational speeds, angles and powers under the action of forces caused by system disturbances. For decades, such dynamics have been extensively dominated by large Synchronous Generators (SGs). Not a surprising statement, considering that the power systems that we know today were built based on the SG concept since the closing decades of the 19th century. It all began in 1891, when ...

Die Entwicklung und Herstellung eines Labor-Demonstrators für Mikrospiegel-Arrays zur Tageslichtlenkung wird beschrieben. Der Labor-Demonstrator besteht aus einem aktiven Fenster und einem Miniaturraum, wodurch die Funktionsweise der Mikrospiegel-Arrays in dem aktiven Fenster optimal dargestellt werden kann. Das aktive Fenster besteht aus einer Isolierverglasung mit einer Größe von 50 cm x 50 cm, in deren Scheibenzwischenraum vier unabhängig voneinander steuerbare Mikrospiegel-Arrays integriert sind, die eine Fläche ...

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