Refine
Year of publication
Document Type
- Doctoral Thesis (2066) (remove)
Language
- English (2066) (remove)
Has Fulltext
- yes (2066)
Is part of the Bibliography
- no (2066) (remove)
Keywords
- ALICE (9)
- Quark-Gluon-Plasma (8)
- Membranproteine (7)
- Geldpolitik (6)
- Proteine (6)
- Apoptosis (5)
- Biochemie (5)
- CERN (5)
- Heavy Ion Collisions (5)
- Immunologie (5)
Institute
- Biowissenschaften (425)
- Physik (381)
- Biochemie und Chemie (282)
- Biochemie, Chemie und Pharmazie (211)
- Medizin (127)
- Pharmazie (92)
- Geowissenschaften (87)
- Informatik und Mathematik (85)
- Informatik (55)
- Mathematik (46)
In this dissertation the formal abstraction and verification of analog circuit is examined. An approach is introduced that automatically abstracts a transistor level circuit with full Spice accuracy into a hybrid automaton (HA) in various output languages. The generated behavioral model exhibits a significant simulation speed-up compared to the original netlist, while maintaining an acceptable accuracy, and can be therefore used in various verification and validation routines. On top of that, the generated models can be formally verified against their Spice netlists, making the obtained models correct by construction.
The generated abstract models can be extended to enclose modeling as well as technology dependent parameter variations with little over approximations. As these models enclose the various behaviors of the sampled netlists, the obtained models are of significant importance as they can replace several simulations with just a single reachability analysis or symbolic simulation. Moreover, these models can be as well be used in different verification routines as demonstrated in this dissertation.
As the obtained models are described by HAs with linear behaviors in the locations, the abstract models can be as well compositionally linked, allowing thereby the abstraction of complex analog circuits.
Depending on the specified modeling settings, including for example the number of locations of the HA and the description of the system behavior, the accuracy, speedup, and various additional properties of the HA can be influenced. This is examined in detail in this dissertation. The underlying abstraction process is first covered in detail. Several extensions are then handled including the modeling of the HAs with parameter variations. The obtained models are then verified using various verification methodologies. The accuracy and speed-up of the abstraction methodology is finally evaluated on several transistor level circuits ranging from simple operational amplifiers up to a complex circuits.
Mast cells are long-lived tissue-resident leukocytes, located most abundantly in the skin and mucosal surfaces. They belong to the first line of defence of the body, protecting against invading pathogens, toxins and allergens. Their secretory granules are densely packed with a plethora of mediators, which can be released immediately upon activation of the cell. Next to their role in IgE-mediated allergic diseases and in promoting inflammation, potential anti-inflammatory functions have been assigned to mast cells, depending on the biological setting. The aim of this thesis was to contribute to a better understanding of the role of mast cells during the resolution of a local inflammation. Therefore, in a first of step a suitable model of a local inflammation had to be identified. Since comparison of the two Toll-like receptor (TLR)-agonists zymosan and lipopolysaccharide (LPS), which are most commonly used to locally induce inflammation, revealed a systemic response after LPS-injection and a local inflammation after zymosan-injection, the TLR2 agonist zymosan was chosen for the subsequent experiments. Multi epitope ligand cartography (MELC) combined with statistical neighbourhood analysis showed that mast cells are located in an anti-inflammatory microenvironment next to M2 macrophages during resolution of inflammation, while neutrophils and M1 macrophages are located in the zymosan-filled core of the inflammation. Furthermore, infiltrating neutrophils during peak inflammation and an increasing population of macrophages phagocytosing neutrophils during resolution of inflammation could be observed. MELC as well as flow cytometry analysis of mast cell-deficient mice revealed a decreased phagocytosing activity of macrophages in the absence of mast cells. As an untargeted approach to identify mast cell-derived mediators induced by zymosan, mRNA sequencing of bone marrow-derived mast cells (BMMCs) was performed. Gene ontology term analysis of the sequencing data revealed the induction of the type I interferon (IFN) pathway as the dominant response. Contradicting previous studies, I could validate the production of IFN-β by mast cells in response to zymosan and LPS in vitro. Furthermore IFN-β expression by mast cells was also detected in vivo. In accordance with previous studies regarding other cell types the release of IFN-β by mast cells depends on endosomal signaling. The potential of IFN-β to enhance the phagocytosing activity of macrophages has been demonstrated recently. Besides IFN-β, various other mediators with reported enhancing effects on macrophage phagocytosis were also induced by zymosan in BMMCs, including Interleukin (IL)-1β, IL-4, IL-13, and Prostaglandin (PG) E2. Thus, either one of these mediators alone or a combination of them could promote macrophage phagocytosis.
In conclusion, I herein present mast cells as a novel source for IFN-β induced by non-viral TLR ligands and demonstrate their enhancing effect on macrophage phagocytosis, thereby contributing to the resolution of inflammation.
Die vorliegende Arbeit mit dem Titel Multiphoton Processes and Photocontrol of Biochemical Reaction Pathways befasst sich mit verschiedenen Strategien zur Implementierung von optischer Kontrolle in biochemisch relevanten Systemen. Auf systemischer Ebene wurde einerseits die Licht-getriebene Natriumpumpe Krokinobacter Eikastus Rhodopsin 2 (KR2) vor dem Hintergrund optogenetischer Anwendungen untersucht, und andererseits die Optimierung der wichtigsten photochemischen Parameter von photolabilen Schutzgruppen (PPG, engl. photolabile protecting group) angestrebt. Von der technisch-photophysikalischen Seite wurde ein weiterer Fokus auf den Aktivierungs- und Deaktivierungsschritt gelegt. Hierbei wurden vor allem Mehrphotonen-Prozesse betrachtet, die entweder durch simultane Absorption zweier Photonen zu einer spezifischen hoch-energetischen Anregung führen, oder durch sequentielle Absorption eine sukzessive Aktivierung und Deaktivierung eines Systems bewerkstelligen können. Auch wenn der Schwerpunkt dieser schriftlichen Arbeit auf den spektroskopischen Ergebnissen liegt, waren alle hier diskutierten Projekte stark kollaborativ und umfassten eine große Bandbreite verschiedener Techniken. Dies spiegelt den interdisziplinären Charakter vieler aktueller Fragestellungen in der photochemischen Forschung wider, die - in vielen Fällen - letztlich auf medizinische oder pharmazeutische Fortschritte abzielen.
Zunächst wurde die lichtgetriebene Natriumpumpe KR2 untersucht, die durch ihre mögliche Anwendung als optogenetisches Werkzeug bekannt wurde. In einer vergleichenden Studie der Natrium- und Protonenpumpmodi von KR2 konnten wichtige mechanistische Prinzipien für die Funktionalität des Proteins identifiziert werden. Dazu gehört die direkte Beteiligung spezifischer Strukturmerkmale wie die Aminosäure N112 und/oder der ECL1-Domäne am Ionen-Translokationsweg, sowie das enge Zusammenspiel zwischen dem Retinal und seinem Gegenion D116. Gleichzeitig bot diese IR-Studie einen der ersten mechanistischen Einblicke in den Protonenpump-Photozyklus in KR2, der deutlich weniger erforscht war. In Zusammenarbeit mit dem Arbeitskreis Glaubitz wurden die strukturellen Veränderungen des Chromophors und seiner Umgebung während der verschiedenen Photointermediate mittels DNP-verstärkter Festkörper-NMR und optischer Spektroskopie näher untersucht. Hier trugen zeitaufgelöste IR-Messungen in der HOOP (engl. hydrogen out of plane)-Moden-Region dazu bei, die dynamischen Veränderungen der Chromophorkonfiguration und -Verdrillung zu verfolgen. Es konnte gezeigt werden, dass Retinal im O-Intermediat tatsächlich zu seiner all-trans-Konfiguration reisomerisiert wird, aber im Vergleich zu seiner Dunkelzustandskonfiguration deutlich stärker verdreht vorliegt.
Dies wurde auch durch die Ergebnisse im nahen UV-Bereich bestätigt, welcher bei der Charakterisierung von mikrobiellen Rhodopsinen oft ausgelassen wird. Die neu gefundene Signatur erwies sich als SBS (engl. second bright state) der 13-cis-Konfiguration des Retinals, die mit der Bildung des O-Intermediats in KR2 verschwindet. Neben der offensichtlichen Verwendung als spektraler Marker wurde der SBS-Übergang auch bezüglich seiner Anwendbarkeit für optische Kontrollexperimente untersucht. Ähnlich wie beim BLQ (engl. blue light quenching)-Effekt war es möglich, den KR2-Dunkelzustand durch Anwendung von fs-Pulsen im nahen UV - ausgehend von einem photostationären Zustand - zu regenerieren. Durch Variation der Probenbedingungen war es möglich, gezielt K (pH~5) oder M (pH~9) anzusteuern, was sich auch in unterschiedlichen Deaktivierungs-Dynamiken äußerte. Diese Ergebnisse können zusammen mit dem hier vorgeschlagenen experimentellen Konzept als Grundlage für komplexere Multiphotonen-Sequenzen im Zusammenhang optogenetischer Fragestellungen verwendet werden.
Im Gegensatz zu den recht großen und komplexen Photorezeptoren bieten unter anderem PPGs einen feineren Weg, um biochemische Reaktionen gezielt zu steuern und auszulesen. In diesem Zusammenhang sind zwei Eigenschaften von großer Bedeutung: Einerseits die Fähigkeit der PPG, Photonen bestimmter Wellenlängen zu absorbieren, und andererseits die Effizienz der gewünschten photochemischen Reaktion. Der letztgenannte Aspekt wurde unter der Hypothese untersucht, dass die Verringerung der konkurrierenden Deaktivierungskanäle in PPGs zu einer höheren Quantenffizienz der Freisetzung führt. Dies wurde an DEACM-basierten Modellverbindungen getestet, die systematisch modifiziert wurden, um verschiedene Deaktivierungsprozesse des angeregten Zustands zu identifizieren. Durch das Hinzufügen eines zusätzlichen sechsgliedrigen Rings wurde die Freisetzungsausbeute im Vergleich zu DEACM um das 2- bis 3-fache erhöht. Dies konnte durch eine weitere Planarisierung des Systems mit einer zusätzlichen Doppelbindung an der C6-Position sogar noch weiter verbessert werden (bis zu einem Faktor von 5-6). Die Anregung des Cumarin-Rückgrats führt zu einem lokal-angeregten Zustand, der sich im Gleichgewicht mit einem Ladungstransferzustand befindet. In Abhängigkeit der lokalen Umgebung, die vor allem durch die Protizität und Polarität des Lösungsmittels bestimmt wird, wird der Ladungstransfercharakter eher stabilisiert oder gar destabilisiert. Die Ladungsverschiebung führt auch zu einer Abschwächung der spaltbaren C-C-Bindung, die eine Voraussetzung für die Freisetzungsreaktion ist. Darüber hinaus wurde gezeigt, dass der mit der Freisetzungsreaktion verbundene zusätzliche Zerfallskanal zu einer mehr als 2-fachen Verringerung der Lebensdauer des angeregten Zustands in den funktionalisierten PPGs führt. Diese Eigenschaft ist ein vielversprechender photophysikalischer Indikator für die Freisetzung der Abgangsgruppe, der durch spektroskopische oder - mit zusätzlicher räumlicher Auflösung - auch durch mikroskopische Techniken wie in der Fluoreszenzlebensdauer-Mikroskopie ausgelesen werden könnte...
First-principles modeling techniques offer the ability to simulate a wide range of systems under different physical conditions, such as temperature, pressure, and composition, without relying on empirical knowledge. Density functional theory (DFT), a quantum mechanical method, has become an exceptionally successful framework for materials science modeling. Employing DFT makes it possible to gain valuable insights into the fundamental state of a system, enabling the reliable determination of equilibrium crystal structures. Over time, DFT has become an essential tool that can be incorporated into various schemes for predicting the properties of a material related to its structure, insulating/metallic behavior, magnetism, and optics. DFT is regularly applied in numerous fields, spanning from fundamental subjects in condensed matter physics to the study of large-scale phenomena in geosciences. In the latter, the effectiveness of DFT stems from its ability to simulate the properties found on the Earth, other planets, and meteorites, which may pose challenges for their direct study or laboratory investigation.
In this thesis, a comprehensive examination of a family of monosulfides and a perovskite heterostructure was conducted. These materials are relevant for their potential applications in technology, energy harvesting, and in the case of monosulfides, their speculated abundance on the planet Mercury.
Firstly, a DFT approach was used to analyze two non-magnetic monosulfides, CaS and MgS. We determined their structural properties and then focused on the modeling of their reflectivity in the infrared region. The calculation of the reflectivity considered both harmonic and anharmonic contributions. In the harmonic limit, the non-analytic correction was employed to accurately determine the LO/TO splitting, which is necessary to delimit the retstrahlend band, that is, the maximum of the reflectivity. The anharmonic effects given by up to three-phonon and isotopic scatterings, which were included using perturbation theory, primarily smeared the reflectivity spectra edges in the high-wave region.
Secondly, four polymorphs of MnS were studied using a combination of first-principles methods to simulate their antiferromagnetic (AFM) and paramagnetic (PM) states. The integration of DFT+$U$ with special quasirandom structures (SQS) supercells, and occupation matrix control techniques was crucial for achieving convergence, structural optimization accuracy, and obtaining finite energy band gaps and local magnetic moments in the PM phases. The addition of the Hubbard $U$ correction was necessary to treat the highly-correlated Mn $d$-electrons. The success of our approach was clear based on our electronic structure predictions for the PM rock-salt B1-MnS polymorph. Experimentally this phase has been observed to be an insulator, but multiple \emph{ab initio} works resulted previously in metallic behavior. Our computations, on the other hand, predicted insulating and magnetic properties that compare well with available measurements. Additionally, the pressure-field stability of the four MnS polymorphs was studied. In the case of the PM phases, B1-MnS was identified to be the most stable up to about 21 GPa, then transforming into the B31-MnS polymorph. This finding was in close agreement with high-pressure experiments reporting a similar phase transformation. The optical properties of B1-, B4-, and B31-MnS were also simulated. The SQS technique was used to obtain soft-mode-free phonon band structures within the harmonic approximation. Then, the anharmonic effects were included, and the reflectivity was calculated for B1-MnS and B4-MnS. In both cases, a good agreement for the LO/TO splitting was achieved in comparison to experimental results.
Lastly, the oxygen-deficient heterostructure of LaAlO$_{3-\delta}$ /SrTiO$_{3-\delta}$ was investigated also employing DFT+$U$, with a particular emphasis on the potential impact of vacancy clustering at the interface. Six distinct configurations of pairs of vacancies were studied and their energies were compared to find the most stable one. The orbital reconstruction of Ti orbitals was also examined based on their location with respect to the vacancies and the local magnetic moments were calculated. The final results showed that linearly arranged vacancies located opposite to Ti ions give the most energetically stable configuration.
This work deals with the theoretical investigation of the vibrationally promoted electronic resonance (VIPER) experiment, the intramolecular energy transfer within a rhodamine-BODIPY antenna system initiated by two-photon excitation and a computational study of the photochemical mechanism of the uncaging of the [7-(dimethylamino)coumarin-4-yl]methyl (DEACM) class of photocages . In continuation to Jan von Cosel’s work, the setup for the theoretical investigation of the VIPER experiment has been extended to two-photon absorption (TPA) also including the first-order Herzberg-Teller (HT) effects which are dependent on changes with respect to nuclear coordinates.
The VIPER experiment constitutes an extended form of two-dimensional infrared (2DIR) spectroscopy with a sequence of infrared (IR) and ultraviolet (UV) or visible (vis) pulses. The molecular system under probe is excited initially by a narrow-band IR pump pulse and then electronically excited by an off-resonant UV/vis pulse. An IR probe pulse is applied afterwards to probe the system and record a 2DIR spectrum in combination with the first pulse. Since the lifetime of the vibrational excitation is very short, the electronic excitation by the UV/vis pulse is used to enlarge the lifetime of the excitation in the molecule and thus enable measurements on a longer timescale. Therefore, it becomes easier to study dynamical photochemical processes on long timescales. In the VIPER experiment with TPA, the UV/vis pulse is replaced by a near-infrared (NIR) pulse which offers an intrinsic 3D resolution, minimzed photodamage, a lower noise level and an increased penetration depth. This makes TPA highly attractive for biological systems among a wide range of other possible applications.
The computation of the vibrationally resolved electronic absorption spectra accounts for the Franck-Condon (FC) contributions which are independent of the nuclear framework as well as the HT effects which are dependent on the nuclear coordinates. The FC contributions are dominant for electronically-allowed transitions whereas HT contributions could be important for weakly-allowed or forbidden transitions. Laying emphasis on TPA, the test systems used belong to the category of two-photon active compounds. The initial candidate is dimethylaminonitrodibenzofuran (DMA-NDBF) which has been reported to be a two-photon only caging compound. The other system is a well-known laser dye, a rhodamine derivative of the commercially available rhodamine 101 (Rh101). Rhodamines are also recognized for their excellent TPA characteristics.
The findings for both the test systems show interesting contrasts. The one-photon absorption (OPA) and TPA spectrum together with vibronic couplings present the same lineshape in case of DMA- NDBF and also the HT effects have very weak contributions to the vibronic spectrum. Insignificant HT effects are quite typical for electronically allowed transitions. Overall, the NO2 bending mode exhibits the strongest change in the absorption spectrum upon vibrational pre-excitation, even stronger than in the case of different ring distortion modes that usually show a high VIPER activity. In the case of rhodamine, the vibronic OPA spectrum is pre-dominantly the FC spectrum and the HT couplings have a very weak contribution. The vibronic TPA spectrum is entirely dominated by the HT contributions and hence, the vibrationally resolved TPA spectrum of the rhodamine is a HT-only spectrum. Explanations towards this behaviour have been reported by Milojevich et al. which are holding the change in symmetry of the molecular orbital transitions from the ground to the excited state accountable. No significantly VIPER-active normal modes could be determined owing to the low magnitudes of their dimensionless displacements that are connected to the Huang-Rhys factors. Two ring distortion modes however have been probed but the intensity of their vibrational pre-excitation is observed to be very low.
The other part of this work is concerned with the estimation of the rate of the intramolecular energy transfer within rhodamine-BODIPY dyads. After the investigations on the prospective rhodamine derivatives, the Rho101 derivative shows the highest TPA activity. This linked together with the BODIPY derivative with styryl substituents through an acetylene bond has been probed theoretically as well as experimentally for the excitation energy transfer (EET).
Time-resolved spectroscopic measurements reveal an ultrafast energy transfer process on femtosecond timescales. The theoretical estimation of the EET rates through the Förster theory and the determination of the coupling between the donor and acceptor groups by the transition density cube (TDC) method falls short of the experimental results. Because of this disagreement, quantum dynamics simulations with the multi-layer multi-configuration time-dependent Hartree (ML-MCTDH) method have been performed on an adapted rhodamine-BODIPY molecular dyad which reveal that the energy transfer occurs through transient coherence whose mechanism cannot be described by Förster theory ...
The introduction of a trigonal boron atom into a polyaromatic hydrocarbon (PAH) core is an extremely powerful tool to provide organic scaffolds with optoelectronic properties as well as optimal packing in the solid state. However, boron-doped PAHs (B-PAHs) often display low processability due to their poor solubility. The distortion of the molecular scaffold provides a suitable strategy to enhance the solubility properties of B-PAHs while maintaining good stacking properties and sufficient electronic conjugation.
Extreme distortion of the molecular structure can be achieved in helical-shaped PAHs, namely helicenes which are screw-shaped inherently chiral polycycles, formed by ortho-fused aromatic or heteroaromatic rings. The presence of a helical structure in B-PAHs is expected to strongly influence their physico-chemical properties leading to compounds characterized by peculiar features promising for applications in next generation functional materials. Despite the great potential of this class of compounds, only few examples of borahelicenes have been reported in the literature and those mainly consist of carbohelicene-based structures. However, the considerable structural diversity achievable by introducing different boraheterocycles (oxaborine, borole, borepin) and other heteroaromatic rings (thiophene, furan, pyrrole) into the same helical scaffold, suggests that a large variety of compounds with intriguing features could be accessible via currently unexplored synthetic routes. The design, synthesis, and properties investigation of new boraheterohelicenes (BHHs) is therefore a relevant research topic and is the object of this PhD project, aimed to obtain several BHHs with structural diversity, as well as to study their reactivity, electrochemical and photophysical features for better understanding their potential as building blocks for material science.
The thesis work was carried out in part at the University of Milan in the laboratories of Prof. Emanuela Licandro and in part at the Goethe Universität Frankfurt am Main under the supervision of Prof. Dr. Matthias Wagner, within a co-tutelle programme. Owing to the long-standing expertise of Prof. Licandro group in the synthesis of tetrathia helicenes and that of Prof. Dr. Wagner group in the synthesis of boron-doped PAHs (e.g. boron helicene 4BH; Figure 1), I conceived this PhD project designing a series of thiahelicenes containing one or more B-O bond into the helical scaffold.Tetrathia helicenes, consisting of thiophene and benzene rings fused in an alternating fashion, are configurationally stable heterohelicenes which exist as pair of enantiomers.
This class of molecules is particularly interesting since it merges the properties of oligothiophenes with those of helicenes, giving rise to systems with peculiar electronic and chiroptical properties which make them appealing building blocks for applications in manifold fields of science, including optoelectronics, catalysis and biology.
The introduction of trigonal boron atom into a thiahelicene scaffold gives rise to a novel class of unexplored boron π-conjugated molecules with potentially interesting features.
The present Ph.D. thesis was therefore intended to provide a meaningful contribution in the development of innovative and versatile syntheses of BO-doped tetrathia helicenes as well as the study of their stereochemical and optoelectronic properties to identify potential applications of these systems in material science. The first selected structures containing one or two oxaborine rings in the helical scaffold are shown in figure 2. The presence of the bulky mesityl group at the boron atom is necessary to ensure stability to the molecule.
It is noteworthy that compound 2 is the skeletal isomer of 1, as the direction of the B-O bond is opposite in the two molecules. In the course of the research work, after the evaluation of the photophysical properties of 1, helicene 2 was designed to get information on the structure-property relationship and evaluate how the position of the BO-bond into the helical scaffold can influence the electronic properties of BO-doped thiahelicenes.