Refine
Year of publication
- 2020 (233) (remove)
Document Type
- Doctoral Thesis (233) (remove)
Is part of the Bibliography
- yes (233) (remove)
Keywords
- Maschinelles Lernen (3)
- diffusion (3)
- Anden (2)
- Andes (2)
- Arktis (2)
- Boden (2)
- Chemometrie (2)
- Datenassimilation (2)
- Diffusion (2)
- Digitalisierung (2)
Institute
- Institut für Biochemie und Biologie (31)
- Institut für Physik und Astronomie (31)
- Institut für Geowissenschaften (24)
- Institut für Chemie (22)
- Öffentliches Recht (11)
- Hasso-Plattner-Institut für Digital Engineering GmbH (9)
- Institut für Anglistik und Amerikanistik (9)
- Institut für Ernährungswissenschaft (8)
- Institut für Umweltwissenschaften und Geographie (8)
- Department Psychologie (7)
- Fachgruppe Betriebswirtschaftslehre (6)
- Historisches Institut (6)
- Bürgerliches Recht (5)
- Department Erziehungswissenschaft (5)
- Sozialwissenschaften (5)
- Strafrecht (5)
- Fachgruppe Politik- & Verwaltungswissenschaft (4)
- Institut für Jüdische Studien und Religionswissenschaft (4)
- Institut für Künste und Medien (4)
- Institut für Mathematik (4)
- Extern (3)
- Institut für Romanistik (3)
- Wirtschaftswissenschaften (3)
- Department Linguistik (2)
- Department Sport- und Gesundheitswissenschaften (2)
- Institut für Informatik und Computational Science (2)
- Institut für Philosophie (2)
- Strukturbereich Bildungswissenschaften (2)
- Department Musik und Kunst (1)
- Fachgruppe Soziologie (1)
- Fachgruppe Volkswirtschaftslehre (1)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (1)
- Institut für Germanistik (1)
- Institut für Religionswissenschaft (1)
- Philosophische Fakultät (1)
- Strukturbereich Kognitionswissenschaften (1)
- Syntax, Morphology & Variability (1)
Matthias Walden
(2020)
Matthias Walden (1927–1984) war einer der Vertreter eines politischen Neuanfangs im Journalismus in Deutschland nach 1945. Im Kern seines politischen Denkens stand die Verteidigung der liberalen Demokratie, deren ideellen Gehalt Walden sowohl durch eine personelle Kontinuität in der Bundesrepublik Deutschland zum Nationalsozialismus als auch durch die von ihm als Anbiederung empfundene Neue Ostpolitik und den gesellschaftlichen Protest der 1960er und 1970er Jahre in Gefahr sah.
Als profilierter Leitartikler wurde er vor allem für den Verlag Axel Springer zu einem intellektuellen Impulsgeber. Walden war überzeugt, Diktaturen und totalitäre Gesellschaftsentwürfe sähen immer nur so aus, als wären sie für die Ewigkeit gemacht. Im Kalten Krieg gab ihm gerade die Unmenschlichkeit der kommunistischen Regime die Gewissheit, dass diese einst verschwinden würden.
Nils Lange legt mit seiner intellektuellen Biographie von Matthias Walden die erste umfassende Arbeit über diesen streitbaren Journalisten vor. Er arbeitet sowohl die politischen als auch die ideengeschichtlichen Ursprünge von Waldens Denken heraus.
‘The Territorialities of U.S. Imperialisms’ sets into relation U.S. imperial and Indigenous conceptions of territoriality as articulated in U.S. legal texts and Indigenous life writing in the 19th century. It analyzes the ways in which U.S. legal texts as “legal fictions” narratively press to affirm the United States’ territorial sovereignty and coherence in spite of its reliance on a variety of imperial practices that flexibly disconnect and (re)connect U.S. sovereignty, jurisdiction and territory.
At the same time, the book acknowledges Indigenous life writing as legal texts in their own right and with full juridical force, which aim to highlight the heterogeneity of U.S. national territory both from their individual perspectives and in conversation with these legal fictions. Through this, the book’s analysis contributes to a more nuanced understanding of the coloniality of U.S. legal fictions, while highlighting territoriality as a key concept in the fashioning of the narrative of U.S. imperialism.
To meet the demands of a growing world population while reducing carbon dioxide (CO2) emissions, it is necessary to capture CO2 and convert it into value-added compounds. In recent years, metabolic engineering of microbes has gained strong momentum as a strategy for the production of valuable chemicals. As common microbial feedstocks like glucose directly compete with human consumption, the one carbon (C1) compound formate was suggested as an alternative feedstock. Formate can be easily produced by various means including electrochemical reduction of CO2 and could serve as a feedstock for microbial production, hence presenting a novel entry point for CO2 to the biosphere and a storage option for excess electricity. Compared to the gaseous molecule CO2, formate is a highly soluble compound that can be easily handled and stored. It can serve as a carbon and energy source for natural formatotrophs, but these microbes are difficult to cultivate and engineer. In this work, I present the results of several projects that aim to establish efficient formatotrophic growth of E. coli – which cannot naturally grow on formate – via synthetic formate assimilation pathways. In the first study, I establish a workflow for growth-coupled metabolic engineering of E. coli. I demonstrate this approach by presenting an engineering scheme for the PFL-threonine cycle, a synthetic pathway for anaerobic formate assimilation in E. coli. The described methods are intended to create a standardized toolbox for engineers that aim to establish novel metabolic routes in E. coli and related organisms. The second chapter presents a study on the catalytic efficiency of C1-oxidizing enzymes in vivo. As formatotrophic growth requires generation of both energy and biomass from formate, the engineered E. coli strains need to be equipped with a highly efficient formate dehydrogenase, which provides reduction equivalents and ATP for formate assimilation. I engineered a strain that cannot generate reducing power and energy for cellular growth, when fed on acetate. Under this condition, the strain depends on the introduction of an enzymatic system for NADH regeneration, which could further produce ATP via oxidative phosphorylation. I show that the strain presents a valuable testing platform for C1-oxidizing enzymes by testing different NAD-dependent formate and methanol dehydrogenases in the energy auxotroph strain. Using this platform, several candidate enzymes with high in vivo activity, were identified and characterized as potential energy-generating systems for synthetic formatotrophic or methylotrophic growth in E. coli. In the third chapter, I present the establishment of the serine threonine cycle (STC) – a synthetic formate assimilation pathway – in E. coli. In this pathway, formate is assimilated via formate tetrahydrofolate ligase (FtfL) from Methylobacterium extorquens (M. extorquens). The carbon from formate is attached to glycine to produce serine, which is converted into pyruvate entering central metabolism. Via the natural threonine synthesis and cleavage route, glycine is regenerated and acetyl-CoA is produced as the pathway product. I engineered several selection strains that depend on different STC modules for growth and determined key enzymes that enable high flux through threonine synthesis and cleavage. I could show that expression of an auxiliary formate dehydrogenase was required to achieve growth via threonine synthesis and cleavage on pyruvate. By overexpressing most of the pathway enzymes from the genome, and applying adaptive laboratory evolution, growth on glycine and formate was achieved, indicating the activity of the complete cycle. The fourth chapter shows the establishment of the reductive glycine pathway (rGP) – a short, linear formate assimilation route – in E. coli. As in the STC, formate is assimilated via M. extorquens FtfL. The C1 from formate is condensed with CO2 via the reverse reaction of the glycine cleavage system to produce glycine. Another carbon from formate is attached to glycine to form serine, which is assimilated into central metabolism via pyruvate. The engineered E. coli strain, expressing most of the pathway genes from the genome, can grow via the rGP with formate or methanol as a sole carbon and energy source.
Das Ziel der vorliegenden Dissertation war es herauszuarbeiten, ob Nachhaltigkeitsbewusstsein den Konsum von Luxusgütern beeinflusst und ob verschiedene Moderatoren einen Einfluss auf diesen Zusammenhang ausüben. Das Nachhaltigkeitsbewusstsein wurde dabei basierend auf dem von Balderjahn et al. (2013) entwickelten Consciousness-for-sustainable-consumption-Modell durch die ökologische, soziale und die ökonomische Nachhaltigkeit sowie ergänzend durch das Tierschutzbewusstsein und Bewusstsein für lokale Produktion repräsentiert. Als Moderatoren dienten das Streben nach sozialer Anerkennung und Prestige, Materialismus, Hedonismus und Traditionsbewusstsein. Für die Aufdeckung möglicher Zusammenhänge zwischen den verschiedenen Dimensionen der Nachhaltigkeit und Luxuskonsum wurde eine Prädiktorenanalyse durchgeführt. Moderatorenanalysen offenbarten zusätzlich, ob ein Einfluss der verschiedenen Moderatoren auf die einzelnen Zusammenhänge vorlag. Die Untersuchung zeigte, dass jeweils das Umweltbewusstsein, das Bewusstsein für genügsamen Konsum sowie das Bewusstsein für schuldenfreien Konsum als Teil der ökonomischen Nachhaltigkeit und das Tierschutzbewusstsein einen Einfluss auf den Luxuskonsum ausüben. Darüber hinaus konnten insgesamt sieben Einflüsse durch die verschiedenen Moderatorvariablen auf die unterschiedlichen Zusammenhänge zwischen den Nachhaltigkeitsdimensionen und Luxuskonsum aufgedeckt werden.
With populations growing worldwide and climate change threatening food production there is an urgent need to find ways to ensure food security. Increasing carbon fixation rate in plants is a promising approach to boost crop yields. The carbon-fixing enzyme Rubisco catalyzes, beside the carboxylation reaction, also an oxygenation reaction that generates glycolate-2P, which needs to be recycled via a metabolic route termed photorespiration. Photorespiration dissipates energy and most importantly releases previously fixed CO2, thus significantly lowering carbon fixation rate and yield. Engineering plants to omit photorespiratory CO2 release is the goal of the FutureAgriculture consortium and this thesis is part of this collaboration. The consortium aims to establish alternative glycolate-2P recycling routes that do not release CO2. Ultimately, they are expected to increase carbon fixation rates and crop yields. Natural and novel reactions, which require enzyme engineering, were considered in the pathway design process. Here I describe the engineering of two pathways, the arabinose-5P and the erythrulose shunt. They were designed to recycle glycolate-2P via glycolaldehyde into a sugar phosphate and thereby reassimilate glycolate-2P to the Calvin cycle. I used Escherichia coli gene deletion strains to validate and characterize the activity of both synthetic shunts. The strains’ auxotrophies can be alleviated by the activity of the synthetic route, thus providing a direct way to select for pathway activity. I introduced all pathway components to these dedicated selection strains and discovered inhibitions, limitations and metabolic cross talk interfering with pathway activity. After resolving these issues, I was able to show the in vivo activity of all pathway components and combine them into functional modules.. Specifically, I demonstrate the activity of a new-to-nature module of glycolate reduction to glycolaldehyde. Also, I successfully show a new glycolaldehyde assimilation route via arabinose-5P to ribulose-5P. In addition, all necessary enzymes for glycolaldehyde assimilation via L-erythrulose were shown to be active and an L-threitol assimilation route via L-erythrulose was established in E. coli. On their own, these findings demonstrate the power of using an easily engineerable microbe to test novel pathways; combined, they will form the basis for implementing photorespiration bypasses in plants.
Die Entwicklung einer Theorie zur schulischen Inklusion ist das zentrale Thema der Dissertation. Die Autorin nutzt empirische Analysen zur Umsetzung inklusiven Lernens sowie Daten zu sonderpädagogischen Förderschwerpunkten an inklusiven Grundschulen für die Erarbeitung von Bedingungen und Formen eines inklusiven Schulsystems. Empirische Daten zur Umsetzung inklusiver Bildung liegen aus vielen Bundesländern vor, es fehlte jedoch eine forschungsleitende Theorie zur Einordnung und Analyse der Daten. Jennifer Lambrecht hat diese Theorie auf Grundlage der Systemtheorie Luhmanns entwickelt. Sie differenziert zwischen Schulsystemen und verortet unterschiedliche Inklusionsverständnisse. Im Ergebnis entwickelt sie fünf Thesen zur schulischen Inklusion im allgemeinen Schulsystem und im Sonderschulsystem. Die Dissertation, die ein hochaktuelles Thema der empirischen Bildungsforschung behandelt, regt zum Mit- und Nachdenken an und generiert neue, interessante Forschungsfragen.
Fiktion und Wirklichkeit
(2020)
TrainTrap
(2020)
Der zentralasiatische Naturraum, wie er sich uns heute präsentiert, ist das Ergebnis eines Zusammenwirkens vieler verschiedener Faktoren über Jahrmillionen hinweg. Im aktuellen Kontext des Klimawandels zeigt sich jedoch, wie stark sich Stoffflüsse auch kurzfristig ändern und dabei das Gesicht der Landschaft verwandeln können. Die Gobi-Wüste in der Inneren Mongolei (China), als Teil der gleichnamigen Trockenregionen Nordwestchinas, ist aufgrund der Ausgestaltung ihrer landschaftsprägenden Elemente sowie ihrer Landschaftsdynamik, im Zusammenhang mit der Lage zum Tibet-Plateau, in den Fokus der klimageschichtlichen Grundlagenforschung gerückt. Als großes Langzeitarchiv unterschiedlichster fluvialer, lakustriner und äolischer Sedimente stellt sie eine bedeutende Lokalität zur Rekonstruktion von lokalen und regionalen Stoffflüssen dar.. Andererseits ist die Gobi-Wüste zugleich auch eine bedeutende Quelle für den überregionalen Staubtransport, da sie aufgrund der klimatischen Bedingungen insbesondere der Erosion durch Ausblasung preisgegeben wird. Vor diesem Hintergrund erfolgten zwischen 2011 und 2014, im Rahmen des BMBF-Verbundprogramms WTZ Zentralasien – Monsundynamik & Geoökosysteme (Förderkennzeichen 03G0814), mehrere deutsch-chinesische Expeditionen in das Ejina-Becken (Innere Mongolei) und das Qilian Shan-Vorland. Im Zuge dieser Expeditionen wurden für eine Bestimmung potenzieller Sedimentquellen erstmals zahlreiche Oberflächenproben aus dem gesamten Einzugsgebiet des Heihe (schwarzer Fluss) gesammelt. Zudem wurden mit zwei Bohrungen im inneren des Ejina-Beckens, ergänzende Sedimentbohrkerne zum bestehenden Bohrkern D100 (siehe Wünnemann (2005)) abgeteuft, um weit reichende, ergänzende Informationen zur Landschaftsgeschichte und zum überregionalen Sedimenttransfer zu erhalten. Gegenstand und Ziel der vorliegenden Doktorarbeit ist die sedimentologisch-mineralogische Charakterisierung des Untersuchungsgebietes in Bezug auf potenzielle Sedimentquellen und Stoffflüsse des Ejina-Beckens sowie die Rekonstruktion der Ablagerungsgeschichte eines dort erbohrten, 19m langen Sedimentbohrkerns (GN100). Schwerpunkt ist hierbei die Klärung der Sedimentherkunft innerhalb des Bohrkerns sowie die Ausweisung von Herkunftssignalen und möglichen Sedimentquellen bzw. Sedimenttransportpfaden. Die methodische Herangehensweise basiert auf einem Multi-Proxy-Ansatz zur Charakterisierung der klastischen Sedimentfazies anhand von Geländebeobachtungen, lithologisch-granulometrischen und mineralogisch-geochemischen Analysen sowie statistischen Verfahren. Für die mineralogischen Untersuchungen der Sedimente wurde eine neue, rasterelektronenmikroskopische Methode zur automatisierten Partikelanalyse genutzt und den traditionellen Methoden gegenübergestellt. Die synoptische Betrachtung der granulometrischen, geochemischen und mineralogischen Befunde der Oberflächensedimente ergibt für das Untersuchungsgebiet ein logisches Kaskadenmodell mit immer wiederkehrenden Prozessbereichen und ähnlichen Prozesssignalen. Die umfangreichen granulometrischen Analysen deuten dabei auf abnehmende Korngrößen mit zunehmender Entfernung vom Qilian Shan hin und ermöglichen die Identifizierung von vier texturellen Signalen: den fluvialen Sanden, den Dünensanden, den Stillwassersedimenten und Stäuben. Diese Ergebnisse können als Interpretationsgrundlage für die Korngrößenanalysen des Bohrkerns genutzt werden. Somit ist es möglich, die Ablagerungsgeschichte der Bohrkernsedimente zu rekonstruieren und in Verbindung mit eigenen und literaturbasierten Datierungen in einen Gesamtkontext einzuhängen. Für das Untersuchungsgebiet werden somit vier Ablagerungsphasen ausgewiesen, die bis in die Zeit des letzten glazialen Maximums (LGM) zurückreichen. Während dieser Ablagerungsphasen kam es im Zuge unterschiedlicher Aktivitäts- und Stabilitätsphasen zu einer kontinuierlichen Progradation und Überprägung des Schwemmfächers. Eine besonders aktive Phase kann zwischen 8 ka und 4 ka BP festgestellt werden, während der es aufgrund zunehmender fluvialer Aktivitäten zu einer deutlich verstärkten Schwemmfächerdynamik gekommen zu sein scheint. In den Abschnitten davor und danach waren es vor allem äolische Prozesse, die zu einer Überprägung des Schwemmfächers geführt haben. Hinsichtlich der mineralogischen Herkunftssignale gibt es eine große Variabilität. Dies spiegelt die enorme Heterogenität der Geologie des Untersuchungsgebietes wider, wodurch die räumlichen Signale nicht sehr stark ausgeprägt sind. Dennoch, können für das Einzugsgebiet drei größere Bereiche deklariert werden, die als Herkunftsgebiet in Frage kommen. Das östliche Qilian Shan Vorland zeichnet sich dabei durch deutlich höhere Chloritgehalte als primäre Quelle für die Sedimente im Ejina-Becken aus. Sie unterscheiden sich insbesondere durch stark divergierende Chloritgehalte in der Tonmineral- und Gesamtmineralfraktion, was das östliche Qilian Shan Vorland als primäre Quelle für die Sedimente im Ejina-Becken auszeichnet. Dies steht in Zusammenhang mit den Grünschiefern, Ophioliten und Serpentiniten in diesem Bereich. Geochemisch deutet vor allem das Cr/Rb-Verhältnis eine große Variabilität innerhalb des Einzugsgebietes an. Auch hier ist es das östliche Vorland, welches aufgrund seines hohen Anteils an mafischen Gesteinen reich an Chromiten und Spinellen ist und sich somit vom restlichen Untersuchungsgebiet abhebt. Die zeitliche aber auch die generelle Variabilität der Sedimentherkunft lässt sich in den Bohrkernsedimenten nicht so deutlich nachzeichnen. Die mineralogisch-sedimentologischen Eigenschaften der erbohrten klastischen Sedimente zeugen zwar von zwischenzeitlichen Änderungen bei der Sedimentherkunft, diese sind jedoch nicht so deutlich ausgeprägt, wie es die Quellsignale in den Oberflächensedimenten vermuten lassen. Ein Grund dafür scheint die starke Vermischung unterschiedlichster Sedimente während des Transportes zu sein. Die Kombination der Korngrößenergebnisse mit den Befunden der Gesamt- und Schwermineralogie deuten darauf hin, dass es zwischenzeitlich eine Phase mit überwiegend äolischen Prozessen gegeben hat, die mit einem Sedimenteintrag aus dem westlichen Bei Shan in Verbindung stehen. Neben der Zunahme ultrastabiler Schwerminerale wie Zirkon und Granat und der Abnahme opaker Schwerminerale, weisen vor allem die heutigen Verhältnisse darauf hin. Der Vergleich der traditionellen Schwermineralanalyse mit der Computer-Controlled-Scanning-Electron-Microscopy (kurz: CCSEM), die eine automatisierte Partikelauswertung der Proben ermöglicht, zeigt den deutlichen Vorteil der modernen Analysemethode. Neben einem zeitlichen Vorteil, den man durch die automatisierte Abarbeitung der vorbereiteten Proben erlangen kann, steht vor allem die deutlich größere statistische Signifikanz des Ergebnisses im Vordergrund. Zudem können mit dieser Methode auch chemische Varietäten einiger Schwerminerale bestimmt werden, die eine noch feinere Klassifizierung und sicherere Aussagen zu einer möglichen Sedimentherkunft ermöglichen. Damit ergeben sich außerdem verbesserte Aussagen zu Zusammensetzungen und Entstehungsprozessen der abgelagerten Sedimente. Die Studie verdeutlicht, dass die Sedimentherkunft innerhalb des Untersuchungsgebietes sowie die ablaufenden Prozesse zum Teil stark von lokalen Gegebenheiten abhängen. Die Heterogenität der Geologie und die Größe des Einzugsgebietes sowie die daraus resultierende Komplexität der Sedimentgenese, machen exakte Zuordnungen zu klar definierten Sedimentquellen sehr schwer. Dennoch zeigen die Ergebnisse, dass die Sedimentzufuhr in das Ejina-Becken in erster Linie durch fluviale klastische Sedimente des Heihe aus dem Qilian Shan erfolgt sein muss. Die Untersuchungsergebnisse zeigen jedoch ebenso die Notwendigkeit einer ergänzenden Bearbeitung angrenzender Untersuchungsgebiete, wie beispielsweise den Gobi-Altai im Norden oder den Beishan im Westen, sowie die Verdichtung der Oberflächenbeprobung zur feineren Auflösung von lokalen Sedimentquellen.
Due to continuously intensifying human usage of the marine environment worldwide ranging cetaceans face an increasing number of threats. Besides whaling, overfishing and by-catch, new technical developments increase the water and noise pollution, which can negatively affect marine species. Cetaceans are especially prone to these influences, being at the top of the food chain and therefore accumulating toxins and contaminants. Furthermore, they are extremely noise sensitive due to their highly developed hearing sense and echolocation ability. As a result, several cetacean species were brought to extinction during the last century or are now classified as critically endangered. This work focuses on two odontocetes. It applies and compares different molecular methods for inference of population status and adaptation, with implications for conservation. The worldwide distributed sperm whale (Physeter macrocephalus) shows a matrilineal population structure with predominant male dispersal. A recently stranded group of male sperm whales provided a unique opportunity to investigate male grouping for the first time. Based on the mitochondrial control region, I was able to infer that male bachelor groups comprise multiple matrilines, hence derive from different social groups, and that they represent the genetic variability of the entire North Atlantic. The harbor porpoise (Phocoena phocoena) occurs only in the northern hemisphere. By being small and occurring mostly in coastal habitats it is especially prone to human disturbance. Since some subspecies and subpopulations are critically endangered, it is important to generate and provide genetic markers with high resolution to facilitate population assignment and subsequent protection measurements. Here, I provide the first harbour porpoise whole genome, in high quality and including a draft annotation. Using it for mapping ddRAD seq data, I identify genome wide SNPs and, together with a fragment of the mitochondrial control region, inferred the population structure of its North Atlantic distribution range. The Belt Sea harbors a distinct subpopulation oppose to the North Atlantic, with a transition zone in the Kattegat. Within the North Atlantic I could detect subtle genetic differentiation between western (Canada-Iceland) and eastern (North Sea) regions, with support for a German North Sea breading ground around the Isle of Sylt. Further, I was able to detect six outlier loci which show isolation by distance across the investigated sampling areas. In employing different markers, I could show that single maker systems as well as genome wide data can unravel new information about population affinities of odontocetes. Genome wide data can facilitate investigation of adaptations and evolutionary history of the species and its populations. Moreover, they facilitate population genetic investigations, providing a high resolution, and hence allowing for detection of subtle population structuring especially important for highly mobile cetaceans.
With rising complexity of today's software and hardware systems and the hypothesized increase in autonomous, intelligent, and self-* systems, developing correct systems remains an important challenge. Testing, although an important part of the development and maintainance process, cannot usually establish the definite correctness of a software or hardware system - especially when systems have arbitrarily large or infinite state spaces or an infinite number of initial states. This is where formal verification comes in: given a representation of the system in question in a formal framework, verification approaches and tools can be used to establish the system's adherence to its similarly formalized specification, and to complement testing.
One such formal framework is the field of graphs and graph transformation systems. Both are powerful formalisms with well-established foundations and ongoing research that can be used to describe complex hardware or software systems with varying degrees of abstraction. Since their inception in the 1970s, graph transformation systems have continuously evolved; related research spans extensions of expressive power, graph algorithms, and their implementation, application scenarios, or verification approaches, to name just a few topics.
This thesis focuses on a verification approach for graph transformation systems called k-inductive invariant checking, which is an extension of previous work on 1-inductive invariant checking. Instead of exhaustively computing a system's state space, which is a common approach in model checking, 1-inductive invariant checking symbolically analyzes graph transformation rules - i.e. system behavior - in order to draw conclusions with respect to the validity of graph constraints in the system's state space. The approach is based on an inductive argument: if a system's initial state satisfies a graph constraint and if all rules preserve that constraint's validity, we can conclude the constraint's validity in the system's entire state space - without having to compute it.
However, inductive invariant checking also comes with a specific drawback: the locality of graph transformation rules leads to a lack of context information during the symbolic analysis of potential rule applications. This thesis argues that this lack of context can be partly addressed by using k-induction instead of 1-induction. A k-inductive invariant is a graph constraint whose validity in a path of k-1 rule applications implies its validity after any subsequent rule application - as opposed to a 1-inductive invariant where only one rule application is taken into account. Considering a path of transformations then accumulates more context of the graph rules' applications.
As such, this thesis extends existing research and implementation on 1-inductive invariant checking for graph transformation systems to k-induction. In addition, it proposes a technique to perform the base case of the inductive argument in a symbolic fashion, which allows verification of systems with an infinite set of initial states. Both k-inductive invariant checking and its base case are described in formal terms. Based on that, this thesis formulates theorems and constructions to apply this general verification approach for typed graph transformation systems and nested graph constraints - and to formally prove the approach's correctness.
Since unrestricted graph constraints may lead to non-termination or impracticably high execution times given a hypothetical implementation, this thesis also presents a restricted verification approach, which limits the form of graph transformation systems and graph constraints. It is formalized, proven correct, and its procedures terminate by construction. This restricted approach has been implemented in an automated tool and has been evaluated with respect to its applicability to test cases, its performance, and its degree of completeness.
"How Wenzel and Cassie were wrong" – this was the eye-catching title of an article published by Lichao Gao and Thomas McCarthy in 2007, in which fundamental interpretations of wetting behavior were put into question. The authors initiated a discussion on a subject, which had been generally accepted a long time ago and they showed that wetting phenomena were not as fully understood as imagined. Similarly, this thesis tries to put a focus on certain aspects of liquid wetting, which so far have been widely neglected in terms of interpretation and experimental proof. While the effect of surface roughness on the macroscopically observed wetting behavior is commonly and reliably interpreted according to the well-known models of Wenzel and Cassie/Baxter, the size-scale of the structures responsible for the surface's rough texture has not been of further interest. Analogously, the limits of these models have not been described and exploited. Thus, the question arises, what will happen when the size of surface structures is reduced to the size of the contacting liquid molecules itself? Are common methods still valid or can deviations from macroscopic behavior be observed?
This thesis wants to create a starting point regarding these questions. In order to investigate the effect of smallest-scale surface structures on liquid wetting, a suitable model system is developed by means of self-assembled monolayer (SAM) formation from (fluoro)organic thiols of differing lengths of the alkyl chain. Surface topographies are created which rely on size differences of several Ångströms and exhibit surprising wetting behavior depending on the choice of the individual precursor system. Thus, contact angles are experimentally detected, which deviate considerably from theoretical calculations based on Wenzel and Cassie/Baxter models and confirm that sub-nm surface topographies affect wetting. Moreover, experimentally determined wetting properties are found to correlate well to an assumed scale-dependent surface tension of the contacting liquid. This behavior has already been described for scattering experiments taking into account capillary waves on the liquid surface induced by temperature and had been predicted earlier by theoretical calculations.
However, the investigation of model surfaces requires the provision of suitable precursor molecules, which are not commercially available and opens up a door to the exotic chemistry of fluoro-organic materials. During the course of this work, the synthesis of long-chain precursors is examined with a particular focus put on oligomerically pure semi-fluorinated n-alkyl thiols and n-alkyl trichlorosilanes. For this, general protocols for the syntheses of the desired compounds are developed and product mixtures are assayed to be separated into fractions of individual chain lengths by fluorous-phase high-performance liquid chromatography (F-HPLC).
The transition from model systems to technically more relevant surfaces and applications is initiated through the deposition of SAMs from long-chain fluorinated n-alkyl trichlorosilanes. Depositions are accomplished by a vapor-phase deposition process conducted on a pilot-scale set-up, which enables the exact control of relevant process parameters. Thus, the influence of varying deposition conditions on the properties of the final coating is examined and analyzed for the most important parameters. The strongest effect is observed for the partial pressure of reactive water vapor, which directly controls the extent of precursor hydrolysis during the deposition process. Experimental results propose that the formation of ordered monolayers rely on the amount of hydrolyzed silanol species present in the deposition system irrespective of the exact grade of hydrolysis. However, at increased amounts of species which are able to form cross-linked molecules due to condensation reactions, films deteriorate in quality. This effect is assumed to be caused by the introduction of defects within the film and the adsorption of cross linked agglomerates. Deposition conditions are also investigated for chain extended precursor species and reveal distinct differences caused by chain elongation.
This thesis is concerned with Data Assimilation, the process of combining model predictions with observations. So called filters are of special interest. One is inter- ested in computing the probability distribution of the state of a physical process in the future, given (possibly) imperfect measurements. This is done using Bayes’ rule. The first part focuses on hybrid filters, that bridge between the two main groups of filters: ensemble Kalman filters (EnKF) and particle filters. The first are a group of very stable and computationally cheap algorithms, but they request certain strong assumptions. Particle filters on the other hand are more generally applicable, but computationally expensive and as such not always suitable for high dimensional systems. Therefore it exists a need to combine both groups to benefit from the advantages of each. This can be achieved by splitting the likelihood function, when assimilating a new observation and treating one part of it with an EnKF and the other part with a particle filter.
The second part of this thesis deals with the application of Data Assimilation to multi-scale models and the problems that arise from that. One of the main areas of application for Data Assimilation techniques is predicting the development of oceans and the atmosphere. These processes involve several scales and often balance rela- tions between the state variables. The use of Data Assimilation procedures most often violates relations of that kind, which leads to unrealistic and non-physical pre- dictions of the future development of the process eventually. This work discusses the inclusion of a post-processing step after each assimilation step, in which a minimi- sation problem is solved, which penalises the imbalance. This method is tested on four different models, two Hamiltonian systems and two spatially extended models, which adds even more difficulties.
Orogenic peridotites represent portions of upper subcontinental mantle now incorporated in mountain belts. They often contain layers, lenses and irregular bodies of pyroxenite and eclogite. The origin of this heterogeneity and the nature of these layers is still debated but it is likely to involve processes such as transient melts coming from the crust or the mantle and segregating in magma conduits, crust-mantle interaction, upwelling of the asthenosphere and metasomatism. All these processes occur in the lithospheric mantle and are often related with the subduction of crustal rocks to mantle depths. In fact, during subduction, fluids and melts are released from the slab and can interact with the overlying mantle, making the study of deep melts in this environment crucial to understand mantle heterogeneity and crust-mantle interaction. The aim of this thesis is precisely to better constrain how such processes take place studying directly the melt trapped as primary inclusions in pyroxenites and eclogites. The Bohemian Massif, crystalline core of the Variscan belt, is targeted for these purposes because it contains orogenic peridotites with layers of pyroxenite and eclogite and other mafic rocks enclosed in felsic high pressure and ultra-high pressure crustal rocks. Within this Massif mafic rocks from two areas have been selected: the garnet clinopyroxenite in orogenic peridotite of the Granulitgebirge and the ultra-high pressure eclogite in the diamond-bearing gneisses of the Erzgebirge. In both areas primary melt inclusions were recognized in the garnet, ranging in size between 2-25 µm and with different degrees of crystallization, from glassy to polycrystalline. They have been investigated with Micro Raman spectroscopy and EDS mapping and the mineral assemblage is kumdykolite, phlogopite, quartz, kokchetavite, phase with a main Raman peak at 430 cm-1, phase with a main Raman peak at 412 cm-1, white mica and calcite with some variability in relative abundance depending on the case study. In the Granulitgebirge osumilite and pyroxene are also present, whereas calcite is one of the main phases in the Erzgebirge. The presence of glass and the mineral assemblage in the nanogranitoids suggest that they were former droplets of melt trapped in the garnet while it was growing. Glassy inclusions and re-homogenized nanogranitoids show a silicate melt that is granitic, hydrous, high in alkalis and weakly peraluminous. The melt is also enriched in both case studies in Cs, Pb, Rb, U, Th, Li and B suggesting the involvement of crustal component, i.e. white mica (main carrier of Cs, Pb, Rb, Li and B), and a fluid (Cs, Th and U) in the melt producing reaction. The whole rock in both cases mainly consists of garnet and clinopyroxene with, in Erzgebirge samples, the additional presence of quartz both in the matrix and as a polycrystalline inclusion in the garnet. The latter is interpreted as a quartz pseudomorph after coesite and occurs in the same microstructural position as the melt inclusions. Both rock types show a crustal and subduction zone signature with garnet and clinopyroxene in equilibrium. Melt was likely present during the metamorphic peak of the rock, as it occurs in garnet.
Our data suggest that the processes most likely responsible for the formation of the investigated rocks in both areas is a metasomatic reaction between a melt produced in the crust and mafic layers formerly located in the mantle wedge for the Granulitgebirge and in the subducted continental crust itself in the Erzgebirge. Thus metasomatism in the first case took place in the mantle overlying the slab, whereas in the second case metasomatism took place in the continental crust that already contained, before subduction, mafic layers. Moreover, the presence of former coesite in the same microstructural position of the melt inclusions in the Erzgebirge garnets suggest that metasomatism took place at ultra-high pressure conditions.
Summarizing, in this thesis we provide new insights into the geodynamic evolution of the Bohemian Massif based on the study of melt inclusions in garnet in two different mafic rock types, combining the direct microstructural and geochemical investigation of the inclusions with the whole-rock and mineral geochemistry. We report for the first time data, directly extracted from natural rocks, on the metasomatic melt responsible for the metasomatism of several areas of the Bohemian Massif. Besides the two locations here investigated, belonging to the Saxothuringian Zone, a signature similar to the investigated melt is clearly visible in pyroxenite and peridotite of the T-7 borehole (again Saxothuringian Zone) and the durbachite suite located in the Moldanubian Zone.