Diversity of lithologic components at Meridiani Planum, Mars: Insights from Mössbauer spectroscopic investigations

The two Mars Exploration Rovers (MER), Spirit and Opportunity, landed on the Martian surface in January 2004 and have since collected a wealth of information about their landing sites. As part of their payload, the miniaturised Mössbauer spectrometer MIMOS II contributes to the success of the mission by identifying Iron-bearing minerals and by determining Iron oxidation states in them. The basis of this work is the data set obtained at Opportunity’s landing site at Meridiani Planum. A portion of this data set is evaluated with different methods, with the aim to thoroughly characterize lithologic components at Meridiani Planum and possible relations between them.rnMIMOS II is able to measure Mössbauer spectra at different energies simultaneously, bearing information from different sampling depths of the investigated target. The ability of depth-selective Mössbauer spectroscopy to characterize weathered surface layers is illustrated through its application to two suitable rock targets that were investigated on Mars. In both cases, an enhanced concentration of Iron oxides at the rock surface was detected, pointing to a low degree of aqueous alteration. rnThe mineral hematite (α-Fe2O3) is present in the matrix of outcrop rocks and in spherules weathering from the outcrop. Simultaneous fitting of Mössbauer spectra was applied to data sets obtained on both target types to characterize the hematite component in detail. This approach reveals that two hematite populations are present, both in the outcrop matrix as well as in spherules. The hematite component with a comparably high degree of crystallinity and/or chemical purity is present in the outcrop matrix. The investigation of hematite at Meridiani Planum has shown that simultaneous fitting is a suitable and useful method to evaluate a large, correlated set of Mössbauer spectra.rnOpportunity encountered loose, cm-sized rocks along its traverse. Based on their composition and texture, these “cobbles” can be divided into three different groups. Outcrop fragments are impact-derived ejecta from local outcrop rocks. Cobbles of meteoritic origin contain the minerals kamacite (Fe,Ni) and troilite (FeS) and exhibit high Ni contents. Melt-bearing impact breccias bear similarities to local outcrop rocks and basaltic soil, with a phase composition and texture consistent with a formation scenario involving partial melting and inclusion of small, bright outcrop clasts. rnIron meteorites on the Martian surface experience weathering through the presence of even trace amounts of water due to their metallic nature. Opportunity encountered and investigated four Iron meteorites, which exhibit evidence for physical and chemical weathering. Discontinuous coatings contain Iron oxides, pointing to the influence of limited amounts of water. rnA terrestrial analogue site for Meridiani Planum is the Rio Tinto basin in south-west Spain. With its deposits of sulfate- and iron-oxide-bearing minerals, the region provides an adequate test bed for instrumentation for future Mars missions. In-situ investigations at Rio Tinto were carried out with a special focus on the combined use of Mössbauer spectroscopy with MIMOS II and Raman spectroscopy with a field-portable instrument. The results demonstrate that the two instruments provide complementary information about investigated samples.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Software tools and efficient algorithms for the feature detection, feature tracking, event localization, and visualization of large sets of atmospheric data

Data sets describing the state of the earth's atmosphere are of great importance in the atmospheric sciences. Over the last decades, the quality and sheer amount of the available data increased significantly, resulting in a rising demand for new tools capable of handling and analysing these large, multidimensional sets of atmospheric data. The interdisciplinary work presented in this thesis covers the development and the application of practical software tools and efficient algorithms from the field of computer science, aiming at the goal of enabling atmospheric scientists to analyse and to gain new insights from these large data sets. For this purpose, our tools combine novel techniques with well-established methods from different areas such as scientific visualization and data segmentation. In this thesis, three practical tools are presented. Two of these tools are software systems (Insight and IWAL) for different types of processing and interactive visualization of data, the third tool is an efficient algorithm for data segmentation implemented as part of Insight.Insight is a toolkit for the interactive, three-dimensional visualization and processing of large sets of atmospheric data, originally developed as a testing environment for the novel segmentation algorithm. It provides a dynamic system for combining at runtime data from different sources, a variety of different data processing algorithms, and several visualization techniques. Its modular architecture and flexible scripting support led to additional applications of the software, from which two examples are presented: the usage of Insight as a WMS (web map service) server, and the automatic production of a sequence of images for the visualization of cyclone simulations. The core application of Insight is the provision of the novel segmentation algorithm for the efficient detection and tracking of 3D features in large sets of atmospheric data, as well as for the precise localization of the occurring genesis, lysis, merging and splitting events. Data segmentation usually leads to a significant reduction of the size of the considered data. This enables a practical visualization of the data, statistical analyses of the features and their events, and the manual or automatic detection of interesting situations for subsequent detailed investigation. The concepts of the novel algorithm, its technical realization, and several extensions for avoiding under- and over-segmentation are discussed. As example applications, this thesis covers the setup and the results of the segmentation of upper-tropospheric jet streams and cyclones as full 3D objects. Finally, IWAL is presented, which is a web application for providing an easy interactive access to meteorological data visualizations, primarily aimed at students. As a web application, the needs to retrieve all input data sets and to install and handle complex visualization tools on a local machine are avoided. The main challenge in the provision of customizable visualizations to large numbers of simultaneous users was to find an acceptable trade-off between the available visualization options and the performance of the application. Besides the implementational details, benchmarks and the results of a user survey are presented.

Molekulare Grundlagen der Immunkontrolle des murinen Cytomegalovirus in Gegenwart viruskodierter Immunevasine

Die Kontrolle der Infektion mit dem humanen Cytomegalovirus (HCMV) wird primär durch antivirale CD8 T-Zellen vermittelt. Während der Koevolution zwischen Virus und Wirt wurden Immunevasionsmechanismen entwickelt, die direkt die Expression der Peptid-MHC-Klasse-I-Komplexe an der Zelloberfläche beeinflussen und es dem Virus ermöglichen, der Immunkontrolle des Wirtes zu entkommen. Da HCMV und das murine CMV (mCMV) zum Teil analoge Strategien zur Modulation des MHC-Klasse-I-Antigen-Präsentationswegs entwickelt haben, wurde in der vorliegenden Arbeit auf das experimentelle Modell mit mCMV zurückgegriffen. Die für die Immunevasion verantwortlichen Genprodukte m04/gp34, m06/gp48 und m152/gp40 werden aufgrund ihres regulatorischen Einflusses auf die Antigenpräsentation als vRAPs (viral regulators of antigen presentation) bezeichnet. Diese interferieren mit dem Transport Peptid-beladener MHC-Klasse-I-Moleküle und reduzieren in ihrer konzertierten Wirkung die Präsentation viraler Peptide an der Zelloberfläche.rnDie Transplantation hämatopoietischer Zellen nach Immunoablation stellt eine etablierte Therapieform bei malignen hämatologischen Erkrankungen dar. Zwischen Immunoablation und der Rekonstitution des Immunsystems sind die Empfänger der transferierten Zellen stark immunsupprimiert und anfällig für eine CMV-Erkrankung bei Reaktivierung des Virus. Neben der Gabe antiviraler Medikamente ist der adoptive Transfer antiviraler CD8 T-Zellen eine vielversprechende Therapiemöglichkeit, um reaktivierende CMV zu kontrollieren, bis das körpereigene Immunsystem wieder funktionsfähig ist. Obwohl im murinen Modell sehr wohl etabliert, stellen im humanen System die eingeschränkte Wirkung und die Notwendigkeit der konsequenten Gabe hoher Zellzahlen gewisse logistische Schwierigkeiten dar, welche die Methode bisher von der klinischen Routine ausschließen.rnDas murine Modell sagte eine Rolle von IFN-γ voraus, da Depletion dieses Zytokins zu einer verminderten Schutzwirkung gegen die mCMV-Infektion führt.rnIm ersten Teil dieser Arbeit sollte ein möglicher inhibitorischer Effekt von m04 auf m152 untersucht werden, der bei der Rekombinanten Δm06W beobachtet wurde. Mit neu generierten Viren (Δm06L1+2) konnte dieser Effekt allerdings nicht bestätigt werden. Bei Δm06W fehlte jedoch eine höher N-glykosylierte Isoform des m152-Proteins. Um zu untersuchen, ob die N-Glykosylierung von m152 für seine Funktion notwendig ist, wurde ein rekombinantes Virus generiert, das in Folge einer Deletion aller 3 N-Glykosylierungssequenzen nur eine nicht-glykosylierte Isoform des m152-Proteins bilden kann. In Übereinstimmung mit der zwischenzeitlich publizierten Kristallstruktur das Komplexes von m152 und dem Liganden RAE-1 des aktivierenden NK-Zellrezeptors NKG2D konnte erstmals gezeigt werden, dass die Funktionen von m152 in der adaptiven und in der angeborenen Immunität auch von der nicht N-glykosylierten Isoform wahrgenommen werden können.rnIm zweiten Teil der Arbeit sollte mit Hilfe eines Sets an vRAP Deletionsmutanten der Einfluss von IFN γ auf die einzeln oder in Kombination exprimierten vRAPs untersucht werden. Es zeigte sich, dass Vorbehandlung der Zellen mit IFN-γ die Antigenprozessierung nach Infektion stark erhöht und die vRAPs dann nicht mehr in der Lage sind, die Präsentation aller Peptid-beladener MHC-Klasse-I-Komplexe zu verhindern. Des Weiteren konnte gezeigt werden, dass vorher nicht-schützende CD8 T-Zellen Schutz vermitteln können, wenn das Gewebe der Rezipienten konstitutiv mit IFN-γ versorgt wird. Die zusätzliche Gabe von IFN-γ stellt daher eine vielversprechende Möglichkeit dar, den adoptiven Transfer als Therapie in der klinischen Routine einzusetzen.