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

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

Almost all power electronic converters require magnetic devices and some properties of the converters can be controlled with magnetics. New magnetic materials enable implementation of magnetic control of converters also in high switching frequency applications. The presented paper gives an overview about controllability of magnetic devices in theory and practice, simulation approaches and examples. The focus is on electrically controllable magnetic devices. This means that an additional control winding is wound on ...

The design and construction of a 500VA microinverter for photovoltaic applications is presented. The developed microinverter is capable of operating as a standalone AC voltage source for small loads or, alternatively, as a grid-parallel system. Possible applications are therefore small off-grid installations as well as installations where space constraints do not allow enough modules to be combined to use string inverters. The design of the microinverter is based on a two stage concept. Two alternative topologies for ...

Controllable inductors can be realized by introducing auxiliary windings into the device that partially saturate the core and allow variation of the inductance value. This can be used to achieve zero-voltage switching in a DC/DC converter over a wide load range while at the same time the weight of the inductor is reduced. In this paper the possible size and weight reduction and the influence on the efficiency is calculated and compared to other solutions. The results are verified in a prototype.

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

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

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

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