Combinatory Logic Synthesis generates data or runnable programs according to formal type specifications. Synthesis results are composed based on a user-specified repository of components, which brings several advantages for representing spaces of high variability. This work suggests strategies to manage the resulting variations by proposing a domain-specific brute-force search and a machine learning-based optimization procedure. The brute-force search involves the iterative generation and eva...

Die zunehmende Elektrifizierung des Straßenverkehrs erfordert in gleichem Maße den Ausbau der Ladeinfrastruktur und die Zurverfügungstellung von Ladesäulen. Mit dem Hintergrund, dass die Entwicklung von autonom fahrenden Fahrzeugen stetig voranschreitet, werden in Zukunft automatische Ladesysteme für Elektrofahrzeuge unverzichtbar sein. Im Rahmen dieser Arbeit wird die Entwicklung eines automatischen konduktiven Ladesystem für Elektrofahrzeuge vorgestellt. Anhand des aktuellen Standes der Tec...

In der Automobilindustrie werden Leichtbaukonzepte metallischer Werkstoffe weiterentwickelt und mit faserverstärkten Kunststoffen im Multimaterialverbund kombiniert. Dabei führen Verbindungen artfremder Materialien zu werkstoffspezifischen sowie konstruktiven Herausforderungen, zu denen die mechanische Gestaltung eines Anbindungssystems und dessen Grenzflächen zählen. In dieser Arbeit wird der Einfluss der Oberflächengestaltung auf die Verbundfestigkeit und das Schädigungsverhalten derartig...

In the past few decades, a plethora of metalla-supramolecular architectures, obtained by rational design approaches, were successfully explored. In recent years, the focus of the field has progressively expanded from the purely structural studies, towards the implementation of functions such as catalysis and sensing. In this work, a series of salen- (or salphen-) based macrocyclic architectures is obtained through the condensation of functionalized bis-salicylaldehyde derivative ligands, with...

Corporate Social Responsibility stellt einen strategischen Ansatz zur Unternehmensausrichtung dar, in dem der ausschließlich wirtschaftliche Blickwinkel auf unternehmerische Entscheidungen um soziale und ökologische Aspekte ergänzt werden soll. Aktuelle epidemische und rechtliche Entwicklungen wirken sich auf CSR-Maßnahmen in Unternehmen aus und eröffnen neue Forschungslücken. Die vorliegende Dissertation zielt darauf ab, einige der neu aufgekommenen und noch offenen Forschungslücke...

Cyanobakterien sind eine wertvolle Ressource für die Entdeckung neuer, bioaktiver Sekundärmetabolite. Insbesondere im letzten Jahrzehnt wurde durch die rasante Entwicklung verbesserter Genomsequenzierungstechniken und bioinformatischer Analyse-Tools nicht nur ihre genetische Beschaffenheit, sondern auch ihr enormes Biosynthesepotential weiter erschlossen. Industriell bleiben diese wertvollen Ressourcen jedoch meist ungenutzt, was auf Kultivierungsschwierigkeiten, eingeschränkte Bios...

This paper is concerned with an optimization problem that is constrained by the Kantorovich optimal transportation problem. This bilevel optimization problem can be reformulated as a mathematical problem with complementarity constraints in the space of regular Borel measures. Because of the non-smoothness induced by the complementarity relations, problems of this type are frequently regularized. Here we apply a quadratic regularization of the Kantorovich problem. As the title indicates, th...

Das Design molekularer Emitter, die effiziente nahinfrarote (NIR) und zirkular polarisierte Lumineszenz (CPL) ermöglichen, sind zwei Herausforderungen der aktuellen Forschung, welche im Rahmen dieser Arbeit durch verschiedene Ansätze untersucht wurden. Als Strukturmotiv wurden Donor-Kupfer(I)-Akzeptorkomplexe gewählt, welche sich innerhalb der vergangenen fünf Jahre zu vielversprechenden Alternativen zu den bis dato führenden Iridium(III)-emittern entwickelt haben. Die vorwiegend linearen Kup...

Durch den zunehmenden Ausbau erneuerbarer Energien und die Elektrifizierung des Verkehrs- und Wärmesektors kommt es in ländlichen Niederspannungsnetzen vermehrt zu Problemen bei der Einhaltung des Spannungsbandes. Für den dadurch erforderlichen Netzausbau bietet gerade bei langen Netzausläufern in der Niederspannung der Einsatz von Strangspannungsreglern eine kosteneffiziente Alternative zu konventionellen Maßnahmen. Die aktuell bekannten Umsetzungen bewirken jedoch eine Einprägung von Netzrü...

Diese Dissertation behandelt das Problem, torsionsfreie kovariante Ableitungen mit vorgeschriebener Krümmung zu konstruieren. Die Krümmung einer solchen kovarianten Ableitung erfüllt notwendigerweise die Bianchi-Identitäten. Das Hauptresultat der Arbeit besagt, dass diese Bedingungen bereits hinreichend sind: jede analytische Krümmungsabbildung, die die Bianchi-Identitäten erfüllt, kann lokal als Krümmung einer eindeutigen torsionsfreien kovarianten Ableitung realisiert werden. Als Anwendu...

This work examines the observability of abstract Cauchy problems corresponding to generators of a strongly continuous operator semigroup. A special focus is put on the investigation of sufficient conditions on the sensor sets that ensure observability. This is done by means of new spectral inequalities and dissipation estimates. First of all, the situation of selfadjoint operators is examined. Suitable spectral inequalities are proven for selfadjoint Schrödinger operators, where the potenti...

Machine learning has become an integral part of everyday life ranging from applications in AI-powered search queries to (partial) autonomous driving. Many of the advances in machine learning and its application have been possible due to increases in computation power, i.e., by reducing manufacturing sizes while maintaining or even increasing energy consumption. However, 2-3 nm manufacturing is within reach, making further miniaturization increasingly difficult while thermal design power limit...

Phase transitions in biological systems are controversially discussed. As the origin of nonlinearities, they have been suggested responsible for cellular functions including nerve pulse propagation. In pure lipid interfaces characteristic functions, such as permeability, are modulated during a transition. These relations could have drastic implications for cells because their membranes are lipid-based. However, evidence for these transitions in cellular membranes of excitable cells - which ...

This thesis comprises a study of rare radiative |Δc| = |Δu| = 1 transitions within and beyond the standard model of particle physics. For the 18 three-body decays D → P1 P2 ɣ with 𝑃 = π, K decay amplitudes are derived using Low’s theorem, QCD factorization and heavy hadron chiral perturbation theory. Standard model predictions for branching ratios, CP asymmetries as well as forward-backward asymmetries are determined. Moreover, the effects of new physics in the coefficients of the elect...

Dynamische Prozesse in molekularen und ionischen Kristallen werden mithilfe der Zentrallinien-NMR an den stark quadrupolar gestörten Kernen 11B und 17O untersucht. Dazu werden 11B-Relaxationszeiten in Orthocarboran gemessen und diese bezüglich der Moleküldynamik interpretiert. In Natriumnitrat wird der Dreiplatzsprung des planaren Nitrations mittels 17O-NMR untersucht. Diese Dynamik wird mit NMR-Spektren, stimulierte Echos und Relaxationszeiten untersucht. Mithilfe von Simulationen können aus...

We consider a bilevel continuous knapsack problem where the leader controls the capacity of the knapsack and the follower chooses an optimal packing according to his own profits, which may differ from those of the leader. To this bilevel problem, we add uncertainty in a natural way, assuming that the leader does not have full knowledge about the follower’s problem. More precisely, adopting the robust optimization approach and assuming that the follower’s profits belong to a given uncertainty ...