Classical music has played a central role in German music education since at least the second half of the 20th century. However, in more recent music pedagogical discourse, classical music remains a controversial topic. But what do music teachers think about classical music as a subject for music education? This topic has not yet been systematically researched in German-speaking music education. In this qualitative-empirical study, eight semi-structured interviews were conducted to address the question of how music teachers perceive classical music in music education. The data was evaluated using the Grounded Theory Methodology. The theory developed from the study indicates that music teachers have varying objectives when using classical music in music education. However, they generally consider it unfamiliar to their students. To address this situation, music teachers develop various methods and strategies. These can be categorized into three approaches for dealing with the unfamiliarity of classical music: avoidance, reduction/relativization, and utilization. The study's findings are contextualized within the framework of foreignness theory, music didactics, and transformational educational theory. This dissertation contributes to the field of music education in classical music, laying the groundwork for further theoretical, empirical, and didactic research.

In der vorliegenden Dissertation mit dem Titel "Blickanalysen bei mentalen Rotationsaufgaben" wird eine Analyse der visuellen Verarbeitungsprozesse bei mentalen Rotationsaufgaben mittels Eye-Tracking-Technologie durchgeführt, um die zugrundeliegenden kognitiven Prozesse und Strategien, die bei der Lösung dieser Aufgaben angewandt werden, zu untersuchen. Ein Anliegen dieser Arbeit ist es, die Problemstellung zu adressieren, wie individuelle Unterschiede, insbesondere geschlechtsspezifische Differenzen in den Blickmustern, die visuelle Verarbeitung und Leistung bei mentalen Rotationsaufgaben beeinflussen. Hierzu wurden drei Studien durchgeführt, die nicht nur die Identifikation von Blickmustern und die Analyse der Leistungsunterschiede in Bezug auf Geschlecht umfassen, sondern auch die Korrelation zwischen Blickverhalten und Leistung untersuchen. Die Ergebnisse dieser Forschung bieten Einblicke in die Mechanismen der visuellen und kognitiven Verarbeitung bei mentalen Rotationsaufgaben und heben die Bedeutung des Eye-Tracking als Forschungsinstrument in der kognitiven Psychologie hervor, um ein umfassendes Verständnis der Einflussfaktoren auf räumliches Denken und Problemlösungsstrategien zu erlangen.

The biodegradable polymers polylactic acid (PLA) and polyhydroxybutyrate (PHB) produced from renewable raw materials were coated with hydrogenated amorphous carbon layers (a-C:H) at different deposition angles with various thicknesses as part of this thesis. Similar to conventional polymers, biopolymers often have unsuitable surface properties for industrial purposes, e.g. low hardness. For some applications, it is therefore necessary and advantageous to modify the surface properties of biopolymers while retaining the main properties of the substrate material. A suitable surface modification is the deposition of thin a-C:H layers. Their properties depend essentially on the sp² and sp³ hybridization ratio of the carbon atoms and the content of hydrogen atoms. The sp²/sp³ ratio was to be controlled in the present work by varying the coating geometry. Since coatings at 0°, directly in front of the plasma source, contain a higher percentage of sp³ and indirectly coated (180°) a higher amount of sp², it is shown in this work that it is possible to control the sp²/sp³ ratio. For this purpose, the samples are placed in front of the plasma source at angles of 0, 30, 60, 90, 120, 150 and 180° and coated for 2.5, 5.0, 7.5 and 10.0 minutes. For the angles 0°, the layer thicknesses were 25, 50, 75 and 100 nm. The a-C:H layers were all deposited using radio-frequency plasma-enhanced chemical vapor deposition and acetylene as C and H sources after being pretreated with an oxygen plasma for 10 minutes. Following the O₂ treatment and the a-C:H deposition, the surfaces are examined using macroscopic and microscopic measurement methods and the data is then analyzed. The surface morphology is recorded using scanning electron microscopy and atomic force microscopy. In addition, data on the stability of the layer and the surface roughness can be collected. Contact angle (CA) measurements are used to determine not only the wettability, but also the contact angle hysteresis by pumping the drop volume up and down. By measuring the CA with different liquids and comparing them, the surface free energy (SFE) and its polar and disperse components are determined. The changes in barrier properties are verified by water vapor transmission rate tests (WVTR). The chemical analysis of the surface is carried out on the one hand by Fourier transform infrared spectroscopy with specular reflection and on the other hand by synchrotron-supported techniques such as near-edge X-ray absorption fine structure and X-ray photoelectron spectroscopy. When analyzing the surfaces after the O₂ treatment, which was initially assumed to serve only to clean and activate the surface for the a-C:H coating, it was found that the changes were more drastic than originally assumed. For example, if PLA is treated at 0° for 10 minutes, the roughness increases fivefold. As the angle increases, it decreases again until it returns to the initial value at 180°. This can be recognized to a lesser extent with PHB at 30°. For both polymers, it can be shown that the polar fraction of the SFE increases. In the WVTR, a decrease in permeability can be observed for PLA and an increase in the initial value for PHB. The chemical surface analysis shows that the O₂ treatment has little effect on the surface bonds. Overall, it can be shown in this work that the O₂ treatment has an effect on the properties of the surface and cannot be regarded exclusively as a cleaning and activation process. With direct a-C:H coating (at 0°), a layer failure due to internal stress can be observed for both PLA and PHB. This also occurs with PHB at 30°, but to a lesser extent. Permeability of the polymers is reduced by 47% with a five-minute coating and the layer at 10.0 minutes continues to have this effect despite cracks appearing. The application of a-C:H layers shows a dominance of sp³ bonds for both polymer types with direct coating. This decreases with increasing angle and sp² bonds become dominant for indirect coatings. This result is similar for all coating thicknesses, only the angle at which the change of the dominant bond takes place is different. It is shown that it is possible to control the surface properties by an angle-dependent coating and thus to control the ratio sp²/sp³.

Degenerative changes in the spine as well as back pain can be considered a common ailment. Incorrect loading of the lumbar spine structures is often considered as one of the factors that can accelerate degenerative processes, leading to back pain. For example, a degenerative change could be the occurrence of spinal stenosis following spondylolisthesis. Surgical treatment of spinal stenosis mainly focuses on decompressing the spinal canal with or without additional fusion through dorsal spondylodesis. There are differing opinions on whether fusion along with decompression provides potential benefits to patients or represents an overtreatment. Both conventional therapies and surgical methods aim to restore a “healthy” (or at least pain-free) distribution of load. Surprisingly little is known about the interindividual variability of load distribution in “healthy” lumbar spines. Since medical imaging does not provide information on internal forces, computer simulation of individual patients could be a tool to gain a set of new decision criteria for these cases. The advantage lies in calculating the internal load distribution, which is not feasible in in-vivo studies, as measurements of internal forces in living subjects are ethically and partially technically unfeasible. In the present research, the forward dynamic approach is used to calculate load distribution in multi-body models of individual lumbar spines. The work is structured into three parts: (I) Load distribution is quantified depending on the individual curvature of the lumbar spine. (II) Confidence intervals of the instantaneous center of rotation over time are determined, with which the motion behavior of healthy lumbar spines can be described. (III) Lastly, the effects of decompression surgeries on the load distribution of lumbar spines are determined.

The goal of this PhD thesis is to investigate possibilities of using symbol elimination for solving problems over complex theories and analyze the applicability of such uniform approaches in different areas of application, such as verification, knowledge representation and graph theory. In the thesis we propose an approach to symbol elimination in complex theories that follows the general idea of combining hierarchical reasoning with symbol elimination in standard theories. We analyze how this general approach can be specialized and used in different areas of application. In the verification of parametric systems it is important to prove that certain safety properties hold. This can be done by showing that a property is an inductive invariant of the system, i.e. it holds in the initial state of the system and is invariant under updates of the system. Sometimes this is not the case for the condition itself, but for a stronger condition it is. In this thesis we propose a method for goal-directed invariant strengthening. In knowledge representation we often have to deal with huge ontologies. Combining two ontologies usually leads to new consequences, some of which may be false or undesired. We are interested in finding explanations for such unwanted consequences. For this we propose a method for computing interpolants in the description logics EL and EL⁺, based on a translation to the theory of semilattices with monotone operators and a certain form of interpolation in this theory. In wireless network theory one often deals with classes of geometric graphs in which the existence or non-existence of an edge between two vertices in a graph relies on properties on their distances to other nodes. One possibility to prove properties of those graphs or to analyze relations between the graph classes is to prove or disprove that one graph class is contained in the other. In this thesis we propose a method for checking inclusions between geometric graph classes.