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

System inertia is the instantaneous power reserve that stabilizes power systems after large-scale disturbances. It declines with increasing renewable generation, causing an increased risk of black-out unless action is taken. Providing additional inertia will be necessary to maintain security of supply at a reasonable level. To solve the problem of reduced inertia in a reliable and cost-efficient way, this thesis first systematically describes requirements on system level, as basis for the following evaluation of ...

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.

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

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

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