TY - THES A1 - Eckert, Sebastian T1 - Accessing active sites of molecular proton dynamics N2 - The unceasing impact of intense sunlight on earth constitutes a continuous source of energy fueling countless natural processes. On a molecular level, the energy contained in the electromagnetic radiation is transferred through photochemical processes into chemical or thermal energy. In the course of such processes, photo-excitations promote molecules into thermally inaccessible excited states. This induces adaptations of their molecular geometry according to the properties of the excited state. Decay processes towards energetically lower lying states in transient molecular geometries result in the formation of excited state relaxation pathways. The photo-chemical relaxation mechanisms depend on the studied system itself, the interactions with its chemical environment and the character of the involved states. This thesis focuses on systems in which photo-induced deprotonation processes occur at specific atomic sites. To detect these excited-state proton dynamics at the affected atoms, a local probe of molecular electronic structure is required. Therefore, site-selective and orbital-specific K-edge soft X-ray spectroscopy techniques are used here to detect photo-induced proton dynamics in gaseous and liquid sample environments. The protonation of nitrogen (N) sites in organic molecules and the oxygen (O) atom in the water molecule are probed locally through transitions between 1s orbitals and the p-derived molecular valence electronic structure. The used techniques are X-ray absorption spectroscopy (XAS) and resonant inelastic X-ray scattering (RIXS). Both yield access to the unoccupied local valence electronic structure, whereas the latter additionally probes occupied states. We apply these probes in optical pump X-ray probe experiments to investigate valence excited-state proton transfer capabilities of aqueous 2-thiopyridone. A characteristic shift of N K-edge X-ray absorption resonances as well as a distinct X-ray emission line are established by us as spectral fingerprints of N deprotonation in the system. We utilize them to identify photo-induced N deprotonation of 2-thiopyridone on femtosecond timescales, in optical pump N K-edge RIXS probe measurements. We further establish excited state proton transfer mechanisms on picosecond and nanosecond timescales along the dominant relaxation pathways of 2-thiopyridone using transient N K-edge XAS. Despite being an excellent probe mechanism for valence excited-state proton dynamics, the K-edge core-excitation itself also disturbs the electronic structure at specific sites of a molecule. The rapid reaction of protons to 1s photo-excitations can yield directional structural distortions within the femtosecond core-excited state lifetime. These directional proton dynamics can change the energetic separation of eigenstates of the system and alter probabilities for radiative decay between them. Both effects yield spectral signatures of the dynamics in RIXS spectra. Using these signatures of RIXS transitions into electronically excited states, we investigate proton dynamics induced by N K-edge excitation in the amino-acid histidine. The minor core-excited state dynamics of histidine in basic and neutral chemical environments allow us to establish XAS and RIXS spectral signatures of different N protonation states at its imidazole N sites. Based on these signatures, we identify an excitation-site-independent N-H dissociation for N K-edge excitation under acidic conditions. Such directional structural deformations, induced by core-excitations, also make proton dynamics in electronic ground states accessible through RIXS transitions into vibrationally excited states. In that context, we interpret high resolution RIXS spectra of the water molecule for three O K-edge resonances based on quantum-chemical wave packet propagation simulations. We show that highly oriented ground state vibrational modes of coupled nuclear motion can be populated through RIXS processes by preparation of core-excited state nuclear wave packets with the same directionality. Based on that, we analytically derive the possibility to extract one-dimensional directional cuts through potential energy surfaces of molecular systems from the corresponding RIXS spectra. We further verify this concept through the extraction of the gas-phase water ground state potential along three coordinates from experimental data in comparison to quantum-chemical simulations of the potential energy surface. This thesis also contains contributions to instrumentation development for investigations of photo-induced molecular dynamics at high brilliance X-ray light sources. We characterize the setup used for the transient valence-excited state XAS measurements of 2-thiopyridone. Therein, a sub-micrometer thin liquid sample environment is established employing in-vacuum flat-jet technology, which enables a transmission experimental geometry. In combination with a MHz-laser system, we achieve a high detection sensitivity for photo-induced X-ray absorption changes. Additionally, we present conceptual improvements for temporal X-ray optical cross-correlation techniques based on transient changes of multilayer optical properties, which are crucial for the realization of femtosecond time-resolved studies at synchrotrons and free-electron lasers. N2 - Die stetige Bestrahlung der Erde mit intensivem Sonnenlicht stellt einen permanente Energiequelle dar, die zahllose natürliche Prozesse antreibt. Auf molekularer Ebene wird die Energie der elektromagnetischen Strahlung durch photochemische Prozesse in chemische und thermische Energie umgewandelt. Während dieser Prozesse werden thermisch nicht erreichbare angeregte Zustände von Molekülen durch Photoanregungen bevölkert. Dies führt zu Änderungen der Molekülgeometrie, die abhängig von den Eigenschaften der angeregten Zustände sind. Zerfallsprozesse in energetisch tieferliegende Zustände in transienten Molekülgeometrien führen zur Ausbildung von Relaxationspfaden angeregter Zustände. Die Relaxationsmechanismen sind dabei abhängig vom untersuchten System selbst, den Wechselwirkungen mit seiner chemischen Umgebung und den Eigenschaften der beteiligten angeregten Zustände. In dieser Arbeit werden Systeme untersucht, in denen die Protonierung bestimmter Atome im Molekül durch eine Photoanregung geändert werden kann. Um Protonendynamik an den betreffenden Atomen zu untersuchen, wird ein lokaler Zugang zur elektronischen Struktur des Moleküls benötigt. Daher wird in dieser Arbeit K-Kanten Weichröntgenspektroskopie genutzt, um photo-induzierte Protonendynamik in gasförmigen und flüssigen Proben zu untersuchen. Zusätzlich zur Selektivität bzgl. des Elements und des chemischen Zustands des betreffenden Atoms bietet diese Zugang zum Charakter und zur Lokalisierung der bindungsformenden Valenzorbitale. Die Protonierung von Stickstoffatomen (N) in organischen Systemen und die des Sauerstoffatoms (O) im Wassermolekül wird dabei durch Übergänge zwischen stark lokalisierten 1s- und Valenzorbitalen mit 2p-Charakter detektiert. Die verwendeten Spektroskopiemethoden Röntgenabsorption (engl. X-ray absorption spectroscopy, XAS) und resonate inelastische Röntgenstreuung (engl. resonant inelastic X-ray scattering, RIXS) bieten dabei einen lokalen Zugang zur unbesetzten bzw. im Fall von RIXS auch zur besetzten elektronischen Struktur der untersuchten Moleküle. Mit Hilfe der genannten Methoden haben wir in zeitaufgelösten Anrege-Abfrage (engl. pump-probe) Experimenten durch Valenzanregungen induzierte Protonentransfer-Prozesse (engl. excited state proton transfer, ESPT) des Moleküls 2-Thiopyridon in wässriger Lösung untersucht. Eine Verschiebung der N K-Kanten Röntgenabsorptionsresonanzen, sowie eine charakteristische Röntgenemissionslinie werden von uns als spektrale Signaturen einer N Deprotonierung des Systems etabliert. Eine potenzielle photo-induzierte N Deprotonierung des Moleküls wird anhand dieser Signaturen auf femtosekunden Zeitskalen über zeitaufgelöste N K-Kanten RIXS Messungen identifiziert. Protonentransfer-Mechanismen auf Pico- und Nanosekunden Zeitskalen entlang der dominanten Relaxationspfade des Systems werden mit zeitaufgelöstem N K-Kanten XAS untersucht. K-Kanten Rumpfanregungen eignen sich nicht nur ideal zur Detektion von Protonendynamik in valenzangeregten Zuständen, da die Rumpfanregungen selbst auch eine lokalisierte Störung der elektronischen Struktur darstellen. Vor allem die Reaktion von Protonen auf diese Störung innerhalb der 1s Rumpfloch-Lebensdauer von wenigen Femtosekunden kann zu einer gerichteten Verzerrung der Molekülstruktur führen. Die damit verbundenen Änderungen von Übergangsenergien und -wahrscheinlichkeiten sind als Signaturen dieser gerichteten Protonendynamik in RIXS Spektren zugänglich. Anhand von RIXS Übergängen in elektronisch angeregte Zustände untersuchen wir Protonendynamik, die durch N K-Kanten Anregungen an den N Atomen im Imidazolring der Aminosäure Histidin induziert wird. Die schwache Dynamik in basischen und neutralen wässrigen Lösungen erlauben es uns, die Protonierung dieser N Atome mit charakteristischen spektralen Signaturen zu korrelieren. Mit Hilfe dieser Signaturen identifizieren wir eine durch K-Kanten Anregung verursachte N-H Dissoziation in saurer Lösung. Dieser Prozess ist unabhängig davon, an welchem der N Atome des Imidazolrings die Rumpfanregung lokalisiert ist. Solche, durch Rumpfanregungen verursachten, gerichteten Verzerrungen der Molekülstruktur ermöglichen einen Zugang zu Protonendynamik im elektronischen Grundzustand über RIXS Prozesse in dessen vibrationsangeregte Zustände. In diesem Zusammenhang vergleichen wir hochaufgelöste O K-Kanten RIXS Spektren des Wassermoleküls in der Gasphase mit quantenchemischen Simulationen zur Wellenpaketpropagation in den rumpfangeregten Zuständen. Dabei wird deutlich, dass die gerichtete Verzerrung der Molekülstruktur im rumpfangeregten Zustand eine Bevölkerung von Vibrationsmoden des Grundzustandes mit der gleichen Ausrichtung durch den RIXS Prozess verursacht. Anhand dieser Ergebnisse leiten wir ab, unter welchen Bedingungen eine Extraktion eindimensionaler Querschnitte der Potentialfläche des Grundzustandes aus den entsprechenden RIXS Spektren möglich ist. Wir verifizieren diese Methode anhand der Extraktion der Grundzustandspotentialfläche des Wassermoleküls entlang drei unterschiedlicher Richtungen im Vergleich zu den quantenchemischen Rechnungen. Diese Arbeit enthält zudem Beiträge zur Entwicklung von Instrumentierung für Untersuchungen valenzangeregter Moleküldynamik an Röntgenquellen mit hoher Brillianz. Der experimentelle Aufbau, der für die zeitaufgelösten XAS Messungen an 2-Thiopyridon verwendet wurde, wird vorgestellt. Ein sub-Mikrometer dünner Flüssigkeitsflachstrahl erlaubt dabei Messungen in einer Transmissionsgeometrie. In Kombination mit einem MHz-Lasersystem können transiente Absorptionsänderungen effizient detektiert werden. Zudem präsentieren wir Konzepte zur zeitlichen Korrelation von Röntgen- und optischen Lichtpulsen, basierend auf Änderungen der optischen Eigenschaften von Dünnschichtsystemen, die essenziell für Studien transienter Prozesse an Synchrotrons und Freie-Elektronen Lasern mit Femtosekunden Zeitauflösung sind. KW - molecular proton dynamics KW - Protonendynamik molekularer Systeme KW - K-edge soft X-ray spectroscopy KW - K-Kanten Weichröntgenspektroskopie KW - excited state proton transfer KW - Protonentransfer in angeregten Zuständen KW - core-excited state dynamics KW - Dynamik in rumpfangeregten Zuständen KW - optical pump - X-ray probe spectroscopy KW - Kurzzeitspektroskopie mit optischer Anregung und Röntgendetektion Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-425870 ER - TY - THES A1 - Bauch, Marcel T1 - Untersuchungen an neuartigen sauerstoffsubstituierten Donoren und Akzeptoren für Singulettsauerstoff T1 - Investigations of novel oxygen substituted donors and acceptors of singlet oxygen N2 - Im Verlauf dieser Arbeit wurden Aromaten wie Naphthaline und Anthracene mit Singulettsauerstoff, einer reaktiven Form des gewöhnlichen Sauerstoffs, zu sogenannten Endoperoxiden umgesetzt. Die hier eingesetzten Systeme wurden mit funktionellen Gruppen modifiziert, die über eine Sauerstoffbrücke mit dem Aromaten verknüpft sind. Die daraus entstandenen Endoperoxide sind meist besonders labil und konnten in dieser Arbeit isoliert und umfassend untersucht werden. Hierbei wurde zum einen das Reaktionsverhalten untersucht. Es konnte gezeigt werden, dass die Aromaten in Abhängigkeit ihrer funktionellen Gruppen unterschiedlich schnell mit Singulettsauerstoff reagieren. Die so ermittelten Reaktivitäten wurden zusätzlich durch theoretische Berechnungen gestützt. Die resultierenden Endoperoxide wurden unter verschiedenen Bedingungen wie erhöhter Temperatur oder einem sauren bzw. basischen Milieu auf ihre Stabilität hin untersucht. Dabei konnte gezeigt werden, dass die auf Naphthalinen basierenden Endoperoxiden den gebundenen Singulettsauerstoff in guten Ausbeuten oft schon bei sehr niedrigen Temperaturen (−40 bis 0 °C) freisetzen. Diese Verbindungen können daher als milde Quellen dieser reaktiven Sauerstoffspezies eingesetzt werden. Weiterhin konnten bei den Anthracenendoperoxiden Zerfallsmechanismen aufgeklärt und andere reaktive Sauerstoffspezies wie Wasserstoffperoxid oder Persäuren nachgewiesen werden. Zu den Modifikationen der Aromaten gehören auch Glucosereste. Dadurch könnten sich die hier hergestellten Endoperoxide als vielversprechende Verbindungen in der Krebstherapie herausstellen, da Krebszellen deutlich stärker als gesunde Zellen kohlenhydratreiche Verbindungen für ihren Stoffwechsel benötigen. Bei der Spaltung von Endoperoxiden mit Glucosesubstituenten werden ebenfalls reaktive Sauerstoffspezies frei, die so zum Zelltod führen könnten. N2 - During the course of this work aromatic compounds like naphthalenes and anthracenes have been converted to so-called endoperoxides which are products of the reaction with a highly reactive form of oxygen: singlet oxygen. Beforehand the applied systems have been modified with several substituents that are linked via an oxygen-bridge to the aromatic core. The resulting endoperoxides are usually quite labile. In this work those labile compounds could be isolated and thoroughly investigated. At first, the manner of reaction was studied. The aromats showed different reactions rates with singlet oxygen, depending on their functional groups. Furthermore, the determined rate constants as well as certain trends could be supported and verified by theoretical calculations. The resulting endoperoxides have been examined for their stability under certain conditions like acids, bases and elevated temperature. Here it could be shown that naphthalene endoperoxides are able to release the bound endoperoxide in good yields at very low temperatures to -40 to 0 °C). Hence, those compounds can be used as very mild sources of the reactive oxygen species. Moreover, the mechanisms referring to the decomposition of the anthracene endoperoxides could be clarified while other reactive oxygen species like hydrogen peroxide or peracids could be identified. A special modification of the aromats have been glucose substituents. The resulting aryl glycosides have been converted to promising endoperoxides. Such compounds could be used in cancer therapy, because cancer cells tend to need carbohydrate-based energy in a higher degree than healthy cells. During the cleavage of those glycoside endoperoxides reactive oxygen species are released, which might lead to cell death. KW - Singulettsauerstoff KW - Endoperoxide KW - Aromaten KW - singlet oxygen KW - endoperoxides KW - aromats Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-425140 ER - TY - THES A1 - Grishina, Yulia T1 - Assessing the applicability of annotation projection methods for coreference relations T1 - Analyse der Qualität von Annotationsprojektionsmethoden für Koreferenzrelationen N2 - The main goal of this thesis is to explore the feasibility of using cross-lingual annotation projection as a method of alleviating the task of manual coreference annotation. To reach our goal, we build a first trilingual parallel coreference corpus that encompasses multiple genres. For the annotation of the corpus, we develop common coreference annotation guidelines that are applicable to three languages (English, German, Russian) and include a novel domain-independent typology of bridging relations as well as state-of-the-art near-identity categories. Thereafter, we design and perform several annotation projection experiments. In the first experiment, we implement a direct projection method with only one source language. Our results indicate that, already in a knowledge-lean scenario, our projection approach is superior to the most closely related work of Postolache et al. (2006). Since the quality of the resulting annotations is to a high degree dependent on the word alignment, we demonstrate how using limited syntactic information helps to further improve mention extraction on the target side. As a next step, in our second experiment, we show how exploiting two source languages helps to improve the quality of target annotations for both language pairs by concatenating annotations projected from two source languages. Finally, we assess the projection quality in a fully automatic scenario (using automatically produced source annotations), and propose a pilot experiment on manual projection of bridging pairs. For each of the experiments, we carry out an in-depth error analysis, and we conclude that noisy word alignments, translation divergences and morphological and syntactic differences between languages are responsible for projection errors. We systematically compare and evaluate our projection methods, and we investigate the errors both qualitatively and quantitatively in order to identify problematic cases. Finally, we discuss the applicability of our method to coreference annotations and propose several avenues of future research. N2 - Ziel dieser Dissertation ist, die Durchführbarkeit von crosslingualer Annotationsprojektion als Methode zur Erleichterung der manuellen Koreferenzannotation zu erproben. Um dieses Ziel zu erreichen, wird das erste dreisprachige parallele Koreferenzkorpus gebaut, das mehrere Textsorten umfasst. Für die Korpusannotation werden gemeinsame Annotationsrichtlinien entwickelt, die auf drei Sprachen anwendbar sind (Englisch, Deutsch, Russisch) und eine neue domänenunabhängige Typologie von indirekten Wiederaufnahmen und sogenannten Near-Identity-Kategorien enthalten. Danach werden mehrere Projektionsexperimente entworfen und durchgeführt. Im ersten Experiment wird eine direkte Projektionsmethode mit nur einer Ausgangs\-sprache implementiert. Die Ergebnisse zeigen, dass bereits in einem wissensarmen Szenario der vorgeschlagene Projektionsansatz die Resultate der verwandten Arbeit von Postolache et al. (2006) übertrifft. Da die Qualität der resultierenden Annotationen in hohem Maße von der Wortalignierung abhängig ist, zeigen wir, wie die Verwendung begrenzter syntaktischer Informationen weiterhilft, die Extraktion von referierenden Ausdrücken auf der Zielseite zu verbessern. Im nächsten Schritt, dem zweiten Experiment, demonstrieren wir, wie die Nutzung von zwei Ausgangssprachen zur weiteren Verbesserung der Qualität der Zielannotationen für beide Sprachpaare beiträgt, indem die Annotationen aus zwei Quellsprachen kombiniert werden. Schließlich wird die Projektionsqualität noch in einem vollautomatischen Szenario ausgewertet (mit automatisch erstellten Quellannotationen), und ein Pilotversuch zur manuellen Projektion von Paaren indirekter Wiederaufnahmen vorgestellt. Für jedes Experiment wird eine detaillierte Fehleranalyse durchgeführt. Daraus schließen wir, dass fehlerhafte Wortalignierungen, Übersetzungsdivergenzen und morphologische sowie syntaktische Unterschiede zwischen den Sprachen für die Projektionsfehler verantwortlich sind. Hierzu werden die Projektionsmethoden systematisch verglichen und ausgewertet, und die Fehler sowohl qualitativ als auch quantitativ untersucht, um problematische Fälle zu identifizieren. Zum Schluss wird die Anwendbarkeit unserer Methode für Koreferenzannotationen diskutiert, und es werden Ansatzpunkte für weitere Forschung vorgeschlagen. KW - annotation KW - annotation projection KW - bridging KW - near-identity KW - coreference resolution KW - multilingual coreference KW - coreference corpus KW - Annotation KW - Annotationsprojektion KW - Koreferenz KW - indirekte Wiederaufnahmen KW - Near-identity KW - Koreferenzauflösung KW - multilinguale Koreferenz KW - Koreferenzkorpus Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-425378 ER - TY - THES A1 - Kneis, Marek T1 - Die Anfechtbarkeit und die Feststellbarkeit der Mutterschaft de lege lata und de lege ferenda T2 - Acta Iuridica Universitatis Potsdamiensis N2 - Der althergebrachte Grundsatz, wonach das Kind von der Frau abstammt, welche es geboren hat, ist durch die moderne Fortpflanzungsmedizin ins Wanken geraten. Dennoch ordnet § 1591 BGB das Kind unanfechtbar der Geburtsmutter zu. Rechtliche und genetische Mutterschaft fallen deshalb dauerhaft auseinander, wenn das Kind im Wege der Leihmutterschaft oder nach einer Eizell- bzw. Embryospende zur Welt kommt. Die auf diese ­Methoden der artifiziellen Reproduktion bezogenen, im Inland bestehenden Verbote halten Paare mit Kinderwunsch nicht davon ab, auf entsprechende Angebote im Ausland zurückzugreifen. Daraus resultierende kollisions- und verfassungsrechtliche Probleme sind Gegenstand der vorliegenden Arbeit. Für den Bereich der Leihmutterschaft wird der Frage nachgegangen, ob die mit dem Anfechtungsausschluss verfolgten Ziele des Gesetzgebers die damit einhergehenden Beeinträchtigungen grundrechtlich geschützter Rechtspositionen von genetischer Mutter und Kind rechtfertigen können. Besonderes Augenmerk liegt auf dem von Art. 6 Abs. 2 S. 1 GG geschützten Interesse von leiblichen Eltern und Kindern, die verfahrensrechtliche Möglichkeit zu erhalten, rechtlich einander zugeordnet zu werden. Dieses Interesse wird den Zielen des Gesetzgebers, der mit dem Anfechtungsausschluss die Rechte von Leihmüttern und Kindern zu schützen beabsichtigt, im Rahmen einer umfassenden Verhältnismäßigkeitsprüfung gegenübergestellt. In den Konstellationen der Eizell- und Embryospende tritt schwerpunkt­mäßig das Recht des Kindes auf Kenntnis der eigenen Abstammung in den Vordergrund und mit ihm die Frage, ob sich daraus eine Verpflichtung des Gesetzgebers ableiten lässt, den Tatbestand von § 1598a BGB so zu erweitern, dass die vermuteten genetischen Eltern für den Bereich der artifiziellen Reproduktion in den Kreis der Klärungsverpflichteten aufgenommen werden. Neben diesen Schwerpunkten werden viele weitere Probleme angesprochen. Im Ergebnis mündet die Arbeit in einen Vorschlag für die Legislative. T3 - Acta Iuridica Universitatis Potsdamiensis - 6 KW - Mutterschaftsanfechtung KW - Mutterschaftsfeststellung KW - Leihmutterschaft KW - Eizellspende KW - Embryospende Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-413843 SN - 978-3-86956-437-1 SN - 2199-9686 SN - 2199-9694 IS - 6 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - THES A1 - Ferrari, Camilla T1 - Comparative transcriptomic studies to predict gene function and investigate the evolution of diurnal regulation Y1 - 2019 ER - TY - THES A1 - Hördt, Michael T1 - Pflichtteilsrecht und EU-ErbVO T2 - Potsdamer Rechtswissenschaftliche Reihe ; 33 Y1 - 2019 SN - 978-3-7329-0508-9 PB - Frank & Timme CY - Berlin ER - TY - THES A1 - Beckmann, Jens T1 - Selbstverwaltung zwischen Management und »Communauté« BT - Arbeitskampf und Unternehmensentwicklung bei LIP in Besançon 1973-1987 T2 - Histoire ; 148 N2 - Die Beschäftigten des französischen Uhrenherstellers LIP machten 1973 europaweit Furore: Im Kampf gegen Entlassungen stellten sie Verhandlungsroutinen und Hierarchien infrage und nahmen Produktion und Verkauf von Armbanduhren in die eigene Hand. Wenige Jahre später gründeten die »LIPs« mehrere Produktionsgenossenschaften. Jens Beckmann untersucht diese Auseinandersetzungen von ihren Anfängen bis zum Arbeitsalltag in den 1980er Jahren. Er zeigt, welche Vorstellungen von Selbstverwaltung sich hier niederschlugen, und nimmt eine gründliche Kontextualisierung in Branche und Region vor – von der Revolte der 1968er Jahre bis zu Kurzarbeit und Sozialplänen. Y1 - 2019 SN - 978-3-8376-4581-1 PB - transcript CY - Bielefeld ER - TY - THES A1 - Mai, Udo T1 - La modalité et ses réalisations en français T2 - Potsdam Linguistic Investigations ; 26 N2 - L’auteur conçoit la modalité comme une catégorie sémantico-fonctionnelle, indépendante des éléments qui l’expriment et du niveau de la structure grammaticale dont ils relèvent. Pour définir la modalité, il tient compte également de ses caractéristiques structurelles ainsi que de phénomènes relevant de niveaux cognitifs plus hauts et plus bas. Cela permet de porter un regard critique sur les recherches antérieures, de développer un cadre théorique conciliant les différentes approches et d’analyser systématiquement les expressions de la modalité en français (verbes et adverbes modaux, modes verbaux etc.). L’interaction entre plusieurs éléments modaux dans le même énoncé peut déclencher trois types d’interaction et produit des phénomènes modaux particulièrement complexes. Y1 - 2019 SN - 978-3-631-73990-7 PB - Lang CY - Berlin ER - TY - THES A1 - Böhne, Sebastian T1 - Different degrees of formality T1 - Verschiedene Formalitätsgrade BT - an introduction to the concept and a demonstration of its usefulness BT - Vorstellung des Konzepts und Nachweis seiner Nützlichkeit N2 - In this thesis we introduce the concept of the degree of formality. It is directed against a dualistic point of view, which only distinguishes between formal and informal proofs. This dualistic attitude does not respect the differences between the argumentations classified as informal and it is unproductive because the individual potential of the respective argumentation styles cannot be appreciated and remains untapped. This thesis has two parts. In the first of them we analyse the concept of the degree of formality (including a discussion about the respective benefits for each degree) while in the second we demonstrate its usefulness in three case studies. In the first case study we will repair Haskell B. Curry's view of mathematics, which incidentally is of great importance in the first part of this thesis, in light of the different degrees of formality. In the second case study we delineate how awareness of the different degrees of formality can be used to help students to learn how to prove. Third, we will show how the advantages of proofs of different degrees of formality can be combined by the development of so called tactics having a medium degree of formality. Together the three case studies show that the degrees of formality provide a convincing solution to the problem of untapped potential. N2 - In dieser Dissertation stellen wir das Konzept der Formalitätsgrade vor, welches sich gegen eine dualistische Sichtweise richtet, die nur zwischen formalen und informalen Beweisen unterscheidet. Letztere Sichtweise spiegelt nämlich die Unterschiede zwischen den als informal klassifizierten Argumentationen nicht wieder und ist außerdem unproduktiv, weil sie nicht in der Lage ist, das individuelle Potential der jeweiligen Argumentationsstile wertzuschätzen und auszuschöpfen. Die Dissertation hat zwei Teile. Im ersten analysieren wir das Konzept der Formalitätsgrade (eine Diskussion über die Vorteile der jeweiligen Grade eingeschlossen), während wir im zweiten Teil die Nützlichkeit der Formalitätsgrade anhand von drei Fallbeispielen nachweisen. Im ersten von diesen werden wir Haskell B. Currys Sichtweise zur Mathematik, die nebenbei bemerkt von größter Wichtigkeit für den ersten Teil der Dissertation ist, mithilfe der verschiedenen Formalitätsgrade reparieren. Im zweiten Fallbeispiel zeigen wir auf, wie die Beachtung der verschiedenen Formalitätsgrade den Studenten dabei helfen kann, das Beweisen zu erlernen. Im letzten Fallbeispiel werden wir dann zeigen, wie die Vorteile von Beweisen verschiedener Formalitätsgrade durch die Anwendung sogenannter Taktiken mittleren Formalitätsgrades kombiniert werden können. Zusammen zeigen die drei Fallbeispiele, dass die Formalitätsgrade eine überzeugende Lösung für das Problem des ungenutzten Potentials darstellen. KW - argumentation KW - Coq KW - Curry KW - degree of formality KW - formalism KW - logic KW - mathematics education KW - philosophy of mathematics KW - proof KW - proof assistant KW - proof environment KW - tactic KW - Argumentation KW - Beweis KW - Beweisassistent KW - Beweisumgebung KW - Coq KW - Curry KW - Formalismus KW - Formalitätsgrad KW - Logik KW - Mathematikdidaktik KW - Mathematikphilosophie KW - Taktik Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-423795 N1 - CCS -> Applied computing -> Education -> Interactive learning environments CCS -> Theory of computation -> Logic CCS -> Computing methodologies -> Symbolic and algebraic manipulation -> Symbolic and algebraic algorithms -> Theorem proving algorithms ER - TY - THES A1 - Jadhav Sudam, Sagar T1 - Metabolic regulation and key genes of tomato secondary metabolism T1 - Stoffwechselregulation und Schlüsselgene des Sekundärstoffwechsels in Tomaten N2 - Domestication syndrome has resulted in the large loss of genetic variation of crop plants. Because of such genetic loss, productivity of various beneficial secondary (specialized) metabolites that protect against abiotic/biotic stresses, has been narrowed in many domesticated crops. Many key regulators or structural genes of secondary metabolic pathways in the domesticated as well as wild tomatoes are still largely unknown. In recent studies, metabolic quantitative trait loci (mQTL) analysis using the population of introgression lines (ILs), each containing a single introgression from Solanum pennellii (wild tomato) in the genetic background of domesticated tomato (M82, Solanum lycopersicum), has been used for investigation of metabolic regulation and key genes involved in both primary and secondary metabolism. In this thesis, three research projects, i) understanding of metabolic linkage between branched chain amino acids (BCAAs) and secondary metabolism using antisense lines of BCAAs metabolic genes, ii) investigation of novel key genes involved in tomato secondary metabolism and fruit ripening, iii) mapping of drought stress responsive mQTLs in tomato, are presented and discussed. In the first part, metabolic linkage between leucine and secondary metabolism is investigated by analyzing antisense lines of four key genes (ketol-acid reductoisomerase, KARI; dihydroxy-acid dehydratase, DHAD; isopropylmalate dehydratase, IPMD and branched chain aminotransferases1, BCAT1) found previously in mQTL of leucine contents. Obtained results indicate that KARI might be a rate limiting enzyme for iC5 acyl-sucrose synthesis in young leaf but not in red ripe fruits. By integrating obtained results with previous reports, inductive metabolic linkage between BCAAs and other secondary metabolic pathways at DHAD transcriptional levels in fruit is proposed. In the second part, candidate genes that are involved in secondary metabolism and fruit ripening in tomato were found by the approach of expression quantitative trait loci (eQTL) analysis. To predict functions of those candidate genes, functional validation by virus induced gene silencing and transient overexpression were performed. Results obtained by analyzing T0 overexpression and artificial miRNA lines for some of those candidates confirm their predicted functions, for example involved in fruit ripening (WD40, Solyc04g005020) and iC5 acyl-sucrose synthesis (P450, Solyc03g111940). In the third part, mapping of drought stress responsive mQTLs was performed using 57 S. pennellii ILs population. Evaluation of genetic architecture of mQTL analysis resulted in identifying drought responsive ILs (11-2, 8-3-1, 10-1-1 and 3-1). Location of well characterized regulators in these ILs helped to filter potential new key genes involved in drought stress tolerance. Obtained results suggests us our approaches could be viable for narrowing down potential candidates involved in creating interspecific variation in secondary metabolite content and at the level of fruit ripening. N2 - Das Domestikationssyndrom hat zu einem großen Verlust an genetischer Variation von Kulturpflanzen geführt. Aufgrund dieses genetischen Verlustes ist die Produktivität verschiedener nützlicher, sekundärer (spezialisierter) Metabolite, die gegen abiotische/biotische Belastungen schützen, in vielen domestizierten Nutzpflanzen eingeschränkt worden. Viele Schlüsselregulatoren oder Strukturgene des Sekundärstoffwechsels sind sowohl in den domestizierten als auch in den wilden Tomaten noch weitgehend unbekannt. In neueren Studien wurde die mQTL-Analyse (metabolic quantitative trait loci) durchgeführt, unter Verwendung der Solanum pennellii Introgressionslinienpopulation (ILs), um Stoffwechselregulation und Schlüsselgene zu untersuchen, die sowohl am Primär- als auch am Sekundärstoffwechsel beteiligt sind. In dieser Doktorarbeit werden drei Forschungsprojekte vorgestellt und diskutiert, i) Verständnis der metabolischen Verbindung zwischen verzweigtkettigen Aminosäuren (BCAAs branched-chain amino acids) und dem Sekundärstoffwechsel unter Verwendung von Antisense-Linien von metabolischen Genen der BCAAs, ii) Untersuchung neuer Schlüsselgene im Tomaten-Sekundärstoffwechsel und Fruchtreifung, iii ) Kartierung mQTLs in Tomaten, die auf Trockenstress ansprechen. Im ersten Teil wird die metabolische Verknüpfung zwischen Leucin und dem Sekundärmetabolismus untersucht, indem Antisense-Linien von vier Schlüsselgenen (Ketol-Säure-Reduktoisomerase, KARI; Dihydroxysäuredehydratase, DHAD; Isopropylmalatdehydratase, IPMD und verzweigtkettige Aminotransferasen1, BCAT1) untersucht werden, die in mQTLs für den Leucingehalt gefunden wurden. Die Ergebnisse weisen darauf hin, dass KARI ein geschwindigkeitslimitierendes Enzym für die iC5-Acyl-Saccharosesynthese in jungen Blättern, aber nicht in roten reifen Früchten sein könnte. Durch Integration der erhaltenen Ergebnisse mit früheren Berichten wird eine induktive metabolische Verbindung zwischen BCAAs und anderen sekundären Stoffwechselwegen auf DHAD-Transkriptionsebene in Früchten vorgeschlagen. Im zweiten Teil wurden Kandidatengene gefunden, die am sekundären Metabolismus und der Fruchtreife von Tomaten beteiligt sind, durch den Ansatz der eQTL-Analyse (expression QTL). Um die Funktionen dieser Kandidatengene vorherzusagen, wurde eine funktionelle Validierung durch virusinduziertes Gen-Silencing und transiente Überexpression durchgeführt. Ergebnisse, die durch Analyse von T0-Überexpressions- und künstlichen miRNA-Linien für einige dieser Kandidatengene erhalten wurden, bestätigen ihre vorhergesagten Funktionen, z. B. Beteiligt an Fruchtreifung (WD40, Solyc04g005020) und iC5-Acylsaccharosesynthese (P450, Solyc03g111940). Im dritten Teil wurde die Kartierung von auf Trockenstress ansprechenden mQTLs unter Verwendung von 57 S. pennellii-IL-Populationen durchgeführt. Die Evaluierung der genetischen Architektur der mQTL-Analyse führte zur Identifizierung von ILs, die auf Trockenheit ansprechen (11-2, 8-3-1, 10-1-1 und 3-1). Die Position gut charakterisierter Regulatoren in diesen ILs half dabei, potenzielle neue Schlüsselregulatoren, die an der Toleranz gegenüber Trockenstress beteiligt sind, heraus zu filtern. Die erhaltenen Ergebnisse legen nahe, dass unsere Ansätze geeignet sein könnten, potentielle Kandidatengene einzugrenzen, die interspezifische Unterschiede im Sekundärmetabolitengehalt verursachen. KW - metabolic regulation KW - expression Quantitative Trait Loci KW - metabolic Quantitative Trait Loci KW - branched chain amino acids KW - Introgression Lines KW - Stoffwechselregulation KW - verzweigtkettige Aminosäuren Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-424478 ER -