This paper challenges two basic assumptions connected with the traditional analysis of consonants in Khoisan languages. A different approach to these issues, which can do away with two major typological anomalies of Khoisan phoneme systems under the traditional view, is presented.

Das Finden einer Erklärung für eine gegebene Menge von Daten oder Evidenzen wird als abduktives Schließen bezeichnet (Josephson & Josephson, 1994). Eine Vielzahl von Aufgaben lässt sich demnach als Abduktion charakterisieren, darunter beispielsweise medizinische Diagnose, die Suche nach Fehlern in technischen Systemen oder auch wissenschaftliches Entdecken (z.B. Charniak & McDermott, 1985). Für viele dieser Aufgaben ist der Umgang mit Anomalien von besonderer Bedeutung. Eine Anomalie ist im einfachsten Falle eine neue Evidenz, die einer bisherigen Erklärung für Daten widerspricht. Vor allem im Bereich des wissenschaftlichen Entdeckens weist eine Vielzahl von Studien darauf hin, wie wichtig das Erkennen und Lösen von Anomalien für erfolgreiches Problemlösen ist (vgl. Kuhn, 1962; Chinn & Brewer, 1998; Alberdi, Sleeman & Korpi, 2000). Die meisten Theorien abduktiven Schließens berücksichtigen die Bedeutung von Anomalien dagegen nur unzureichend (vgl. Klahr & Dunbar, 1988; Thagrad, 1989). Allerdings bietet das Modell von Johnson und Krems (2001, Krems & Johnson, 1995) einen spezifischen Mechanismus zur Anomalieresolution: Im Falle zweier sich widersprechender Evidenzen wird für beide Evidenzen eine Alternativerklärung konstruiert. Anschließend werden diese gegeneinander abgewogen. Indes wurde dieser Mechanismus bislang noch nicht empirisch belegt. Ziel der vorliegenden Arbeit war es einerseits zu klären, ob sich empirische Belege für den postulierten Mechanismus zur Anomalieresolution von Johnson und Krems (2001) finden lassen und andererseits zu prüfen, welche Einflussfaktoren und Strategien die Resolution von Anomalien beeinflussen. Es fand sich, dass abstrakte Ausgangshypothesen die Resolution von Anomalien erleichtern. Widersprach eine Anomalie einer abstrakten Ausgangserklärung, so lösten die Versuchsteilnehmer in Experiment 1 die Aufgaben häufiger, als bei einer konkreten Ausgangshypothese. In Experiment 2 zeigte sich zudem, dass bei einer abstrakten Ausgangshypothese weniger Experimente durchgeführt werden mussten um die Aufgabe korrekt zu lösen, dass häufiger spezifische Hypothesentests durchgeführt wurden und die Aufgaben auch schneller gelöst werden konnten. Unabhängig von der Ausgangshypothese testeten erfolgreiche Versuchsteilnehmer bevorzugt spezifische Hypothesen während hypothesenfreie Experimente dazu dienten, neue Hypothesen zu generieren. Demnach lösten die Probanden die Aufgaben durch Anwendung einer Mischstrategie, indem sie sowohl hypothesengestützt als auch hypothesenfrei nach neuen Daten suchten. Eine Einteilung der Versuchsteilnehmer in Theoretiker und Empiristen (Klahr & Dunbar, 1988) war dagegen nicht möglich. Das Ergebnis wurde in Anlehnung an Befunde von Smith et al. (1991) dahingehend interpretiert, dass eine solche Mischstrategie dabei hilft, die Komplexität der abduktiven Aufgabe zu reduzieren. Nicht bestätigt werden konnte in den Experimenten 2 und 3 die Modellvorhersage von Johnson und Krems (2001), dass die Versuchspersonen zwei Alternativerklärungen für die widersprechenden Evidenzen generieren um diese anschließend gegeneinander abzuwägen. Es wurde von den Probanden nur eine Alternativerklärung generiert, in Abhängigkeit davon, ob die an der Anomalie beteiligten Evidenzen kontextsensitiv oder kontextfrei erklärbar waren. Unter kontextsensitiven Evidenzen versteht man solche Evidenzen, die zu ihrer Erklärung auf andere Evidenzen angewiesen sind. Dagegen können kontextfrei erklärbare Evidenzen unmittelbar und ohne Einbeziehung des Kontextes erklärt werden. War eine kontextsensitive Evidenz an der Anomalie beteiligt, entweder als anomalieauslösende Evidenz oder als widersprochene Evidenz, so wurde immer diese alternativ erklärt. Waren dagegen beide an der Anomalie beteiligten Evidenzen kontextfrei erklärbar, so wurde nur für die anomalieauslösende Evidenz eine Alternativerklärung generiert. Zusammenfassend belegen die Ergebnisse der vorliegenden Arbeit die Bedeutung unterschiedlicher Hypothesentypen bei der Anomalieresolution. Abstrakte Ausgangshypothesen erleichtern nach Anomalieeintritt den Wechsel zu alternativen Hypothesen. Ist an der Anomalie eine kontextsensitive Evidenz beteiligt, wird diese bevorzugt alternativ erklärt. Im anderen Falle wird immer die anomalieauslösende Evidenz alternativ erklärt. Weiterhin zeigen die Ergebnisse, dass im Gegensatz zu dem von Johnson und Krems postulierten Mechanismus, menschliche Problemlöser bei der Anomalieresolution keine Optimierungs-strategie anwenden, sondern minimumsorientiert nach nur einer Alternativ-erklärung suchen und anschließend die Suche abbrechen (vgl. Gigerenzer & Selten, 2000). Dagegen fand sich als bevorzugte Strategie erfolgreicher Problem-löser das Testen spezifischer Hypothesen sowie hypothesenfreie Experimente zur Generierung von neuen Hypothesen.

The correction of software failures tends to be very cost-intensive because their debugging is an often time-consuming development activity. During this activity, developers largely attempt to understand what causes failures: Starting with a test case that reproduces the observable failure they have to follow failure causes on the infection chain back to the root cause (defect). This idealized procedure requires deep knowledge of the system and its behavior because failures and defects can be far apart from each other. Unfortunately, common debugging tools are inadequate for systematically investigating such infection chains in detail. Thus, developers have to rely primarily on their intuition and the localization of failure causes is not time-efficient. To prevent debugging by disorganized trial and error, experienced developers apply the scientific method and its systematic hypothesis-testing. However, even when using the scientific method, the search for failure causes can still be a laborious task. First, lacking expertise about the system makes it hard to understand incorrect behavior and to create reasonable hypotheses. Second, contemporary debugging approaches provide no or only partial support for the scientific method. In this dissertation, we present test-driven fault navigation as a debugging guide for localizing reproducible failures with the scientific method. Based on the analysis of passing and failing test cases, we reveal anomalies and integrate them into a breadth-first search that leads developers to defects. This systematic search consists of four specific navigation techniques that together support the creation, evaluation, and refinement of failure cause hypotheses for the scientific method. First, structure navigation localizes suspicious system parts and restricts the initial search space. Second, team navigation recommends experienced developers for helping with failures. Third, behavior navigation allows developers to follow emphasized infection chains back to root causes. Fourth, state navigation identifies corrupted state and reveals parts of the infection chain automatically. We implement test-driven fault navigation in our Path Tools framework for the Squeak/Smalltalk development environment and limit its computation cost with the help of our incremental dynamic analysis. This lightweight dynamic analysis ensures an immediate debugging experience with our tools by splitting the run-time overhead over multiple test runs depending on developers’ needs. Hence, our test-driven fault navigation in combination with our incremental dynamic analysis answers important questions in a short time: where to start debugging, who understands failure causes best, what happened before failures, and which state properties are infected. / Die Beseitigung von Softwarefehlern kann sehr kostenintensiv sein, da die Suche nach der Fehlerursache meist sehr lange dauert. Während der Fehlersuche versuchen Entwickler vor allem die Ursache für den Fehler zu verstehen: Angefangen mit einem Testfall, welcher den sichtbaren Fehler reproduziert, folgen sie den Fehlerursachen entlang der Infektionskette bis hin zum ursprünglichen Defekt. Dieses idealisierte Vorgehen benötigt ein grundlegendes Verständnis über das Systemverhalten, da Fehler und Defekt sehr weit auseinander liegen können. Bedauerlicherweise bieten jedoch gebräuchliche Entwicklungswerkzeuge wenig Unterstützung, um solche Infektionsketten detailliert zu untersuchen. Dementsprechend müssen Entwickler primär auf ihr Gespür vertrauen, so dass die Lokalisierung von Fehlerursachen sehr viel Zeit in Anspruch nehmen kann. Um ein willkürliches Vorgehen zu verhindern, verwenden erfahrene Entwickler deshalb die wissenschaftliche Methode, um systematisch Hypothesen über Fehlerursachen zu prüfen. Jedoch kann auch noch mittels der wissenschaftlichen Methode die Suche nach Fehlerursachen sehr mühsam sein, da passende Hypothesen meist manuell und ohne die systematische Hilfe von Werkzeugen aufgestellt werden müssen. Diese Dissertation präsentiert die test-getriebene Fehlernavigation als einen zusammenhängenden Wegweiser zur Beseitigung von reproduzierbaren Fehlern mit Hilfe der wissenschaftlichen Methode. Basierend auf der Analyse von funktionierenden und fehlschlagenden Testfällen werden Anomalien aufgedeckt und in eine Breitensuche integriert, um Entwickler zum Defekt zu führen. Diese systematische Suche besteht aus vier spezifischen Navigationstechniken, welche zusammen die Erstellung, Evaluierung und Verfeinerung von Hypothesen für die wissenschaftliche Methode unterstützen. Erstens grenzt die Strukturnavigation verdächtige Systemteile und den initialen Suchraum ein. Zweitens empfiehlt die Team-Navigation erfahrene Entwickler zur Behebung von Fehlern. Drittens erlaubt es die Verhaltensnavigation Entwicklern, die hervorgehobene Infektionskette eines fehl- schlagenden Testfalls zurückzuverfolgen. Viertens identifiziert die Zustandsnavigation fehlerhafte Zustände, um automatisch Teile der Infektionskette offenzulegen. Alle vier Navigationen wurden innerhalb des Path Tools Framework für die Squeak/Smalltalk Entwicklungsumgebung implementiert. Dabei bauen alle Werkzeuge auf die inkrementelle dynamische Analyse, welche die Berechnungskosten über mehrere Testdurchläufe abhängig von den Bedürfnissen des Nutzers aufteilt und somit schnelle Ergebnisse während der Fehlersuche liefert. Folglich können wichtige Fragen in kurzer Zeit beantwortet werden: Wo wird mit der Fehlersuche begonnen? Wer versteht Fehlerursachen am Besten? Was passierte bevor der Fehler auftrat? Welche Programmzustände sind betroffen?

Die perturbative Quantenfeldtheorie ist das am weitesten entwickelte Modell, zur präzisen Analyse vieler verschiedener physikalischer Phänomene. Das Standardwerkzeug der perturbativen QFT sind Feynman-Diagramme. Bei Rechnungen bis zu einer Schleife ist aber auch der Wärmekern eine mächtige Technik. Um in der QFT, über die Störungstheorie hinauszugehen ist Symmetrie von großer Bedeutung. Insbesondere die konforme Symmetrie schränkt die Korrelatoren stark ein. In dieser Arbeit wird sie mit der Average Null Energy Condition (ANEC) kombiniert, um die Hofman-Maldacena-Schranken für die Anomaliekoeffizienten in vier Dimensionen abzuleiten. Im Folgenden untersuchen wir verschiedene Probleme der perturbativen Quantenfeldtheorie. Zunächst studieren wir die Weyl-Anomalie für einen nicht-konformen freien Skalar in einer vierdimensionalen gekrümmten Raumzeit. Wir verstehen die Definition der Anomalie diagrammatisch ohne klassische Symmetrie und wir interpretieren die bekannte Wärmekernberechnung präzise. Dann untersuchen wir Eichtheorien mit höheren Ableitungen in sechs Dimensionen. Diese sind natürliche Kandidaten, um perturbativ nicht-unitäre konforme Theorien zu konstruieren. Die Berechnung erfolgt mit der Wärmekernmethode und wir leiten den allgemeinen Ausdruck des, zuvor nicht Bekannten, relevanten Koeffizienten her. Supersymmetrie sowie das Hinzufügen des Yang-Mills-Terms werden ebenfalls berücksichtigt. Schließlich beginnen wir die Untersuchung der Implikationen der ANEC auf nicht-konforme Feldtheorien, angefangen mit dem selbst-wechselwirkenden Skalar in vier Dimensionen. Der Energiefluss eines Zustands mit einer einzelnen Feldeinfügung wird berechnet. Ausgehend von den perturbativen Euklidischen Korrelatoren im Impulsraum konstruieren wir die relevante Wightman-Funktion, um den Energiefluss auszuwerten. Die Berechnung ist kompliziert, aber wir erhalten das erwartete Ergebnis und eröffnen so die Möglichkeit, interessantere Zustände zu untersuchen. / Perturbative quantum field theory is our most developed framework to accurately analyse many physical phenomena. The standard tool is Feynman diagrams, but at one-loop the heat kernel is also a powerful technique. It is however difficult to go beyond perturbation theory, and symmetry is a key factor. In particular, conformal symmetry strongly restricts the correlators, and have been combined with the average null energy condition (ANEC) to derive the Hofman-Maldacena bounds on the anomaly coefficients in four dimensions. In this thesis we study different problems in perturbative quantum field theory. First, we study the Weyl anomaly for a non-conformal free scalar in a four-dimensional curved spacetime. We diagrammatically understand the definition of the anomaly without classical symmetry, and we precisely interpret the well-known heat kernel calculation. Then, we study higher-derivative gauge theories in six dimensions. These theories are the natural candidate to perturbatively construct non-unitary conformal theories. The calculation is done with the heat kernel method and we derive the general expression of the relevant coefficient, which was previously unknown. Supersymmetry or the addition of a Yang-Mills term are also considered. Finally, we initiate the study of the consequence of the ANEC on non-conformal field theories with the example of the self-interacting scalar in four dimensions. The energy flux of a state with a single field insertion is computed. Starting from the perturbative momentum-space Euclidean correlators, we construct the relevant Wightman function to evaluate the energy flux. The calculation is considerably complicated, but we recover the expected result, opening the possibility of studying more interesting states.

Das Finden einer Erklärung für eine gegebene Menge von Daten oder Evidenzen wird als abduktives Schließen bezeichnet (Josephson & Josephson, 1994). Eine Vielzahl von Aufgaben lässt sich demnach als Abduktion charakterisieren, darunter beispielsweise medizinische Diagnose, die Suche nach Fehlern in technischen Systemen oder auch wissenschaftliches Entdecken (z.B. Charniak & McDermott, 1985). Für viele dieser Aufgaben ist der Umgang mit Anomalien von besonderer Bedeutung. Eine Anomalie ist im einfachsten Falle eine neue Evidenz, die einer bisherigen Erklärung für Daten widerspricht. Vor allem im Bereich des wissenschaftlichen Entdeckens weist eine Vielzahl von Studien darauf hin, wie wichtig das Erkennen und Lösen von Anomalien für erfolgreiches Problemlösen ist (vgl. Kuhn, 1962; Chinn & Brewer, 1998; Alberdi, Sleeman & Korpi, 2000). Die meisten Theorien abduktiven Schließens berücksichtigen die Bedeutung von Anomalien dagegen nur unzureichend (vgl. Klahr & Dunbar, 1988; Thagrad, 1989). Allerdings bietet das Modell von Johnson und Krems (2001, Krems & Johnson, 1995) einen spezifischen Mechanismus zur Anomalieresolution: Im Falle zweier sich widersprechender Evidenzen wird für beide Evidenzen eine Alternativerklärung konstruiert. Anschließend werden diese gegeneinander abgewogen. Indes wurde dieser Mechanismus bislang noch nicht empirisch belegt. Ziel der vorliegenden Arbeit war es einerseits zu klären, ob sich empirische Belege für den postulierten Mechanismus zur Anomalieresolution von Johnson und Krems (2001) finden lassen und andererseits zu prüfen, welche Einflussfaktoren und Strategien die Resolution von Anomalien beeinflussen. Es fand sich, dass abstrakte Ausgangshypothesen die Resolution von Anomalien erleichtern. Widersprach eine Anomalie einer abstrakten Ausgangserklärung, so lösten die Versuchsteilnehmer in Experiment 1 die Aufgaben häufiger, als bei einer konkreten Ausgangshypothese. In Experiment 2 zeigte sich zudem, dass bei einer abstrakten Ausgangshypothese weniger Experimente durchgeführt werden mussten um die Aufgabe korrekt zu lösen, dass häufiger spezifische Hypothesentests durchgeführt wurden und die Aufgaben auch schneller gelöst werden konnten. Unabhängig von der Ausgangshypothese testeten erfolgreiche Versuchsteilnehmer bevorzugt spezifische Hypothesen während hypothesenfreie Experimente dazu dienten, neue Hypothesen zu generieren. Demnach lösten die Probanden die Aufgaben durch Anwendung einer Mischstrategie, indem sie sowohl hypothesengestützt als auch hypothesenfrei nach neuen Daten suchten. Eine Einteilung der Versuchsteilnehmer in Theoretiker und Empiristen (Klahr & Dunbar, 1988) war dagegen nicht möglich. Das Ergebnis wurde in Anlehnung an Befunde von Smith et al. (1991) dahingehend interpretiert, dass eine solche Mischstrategie dabei hilft, die Komplexität der abduktiven Aufgabe zu reduzieren. Nicht bestätigt werden konnte in den Experimenten 2 und 3 die Modellvorhersage von Johnson und Krems (2001), dass die Versuchspersonen zwei Alternativerklärungen für die widersprechenden Evidenzen generieren um diese anschließend gegeneinander abzuwägen. Es wurde von den Probanden nur eine Alternativerklärung generiert, in Abhängigkeit davon, ob die an der Anomalie beteiligten Evidenzen kontextsensitiv oder kontextfrei erklärbar waren. Unter kontextsensitiven Evidenzen versteht man solche Evidenzen, die zu ihrer Erklärung auf andere Evidenzen angewiesen sind. Dagegen können kontextfrei erklärbare Evidenzen unmittelbar und ohne Einbeziehung des Kontextes erklärt werden. War eine kontextsensitive Evidenz an der Anomalie beteiligt, entweder als anomalieauslösende Evidenz oder als widersprochene Evidenz, so wurde immer diese alternativ erklärt. Waren dagegen beide an der Anomalie beteiligten Evidenzen kontextfrei erklärbar, so wurde nur für die anomalieauslösende Evidenz eine Alternativerklärung generiert. Zusammenfassend belegen die Ergebnisse der vorliegenden Arbeit die Bedeutung unterschiedlicher Hypothesentypen bei der Anomalieresolution. Abstrakte Ausgangshypothesen erleichtern nach Anomalieeintritt den Wechsel zu alternativen Hypothesen. Ist an der Anomalie eine kontextsensitive Evidenz beteiligt, wird diese bevorzugt alternativ erklärt. Im anderen Falle wird immer die anomalieauslösende Evidenz alternativ erklärt. Weiterhin zeigen die Ergebnisse, dass im Gegensatz zu dem von Johnson und Krems postulierten Mechanismus, menschliche Problemlöser bei der Anomalieresolution keine Optimierungs-strategie anwenden, sondern minimumsorientiert nach nur einer Alternativ-erklärung suchen und anschließend die Suche abbrechen (vgl. Gigerenzer & Selten, 2000). Dagegen fand sich als bevorzugte Strategie erfolgreicher Problem-löser das Testen spezifischer Hypothesen sowie hypothesenfreie Experimente zur Generierung von neuen Hypothesen.

Die weltweit mehr als 7500 Amphibienarten sind durch anthropogene Ursachen wie Habitatzerstörung, Krankheitsverbreitung, Klimawandel und Umweltverschmutzung in ihrem Bestand bedroht. Einige der Ursachen sind kaum erforscht, so die Verschmutzung aquatischer Ökosysteme durch endokrine Disruptoren (EDs), Substanzen, die mit dem Hormonsystem interagieren. Ausgehend von neuen molekularen Markern, welche die Ermittlung des genetischen Geschlechts erstmals bei einigen Hyliden und Bufoniden erlauben, wurde in der vorliegenden Arbeit auf die Wirkung des synthetischen Östrogens 17α- Ethinylestradiol (EE2)und des Weichmachers Bisphenol A (BPA) fokussiert. Für drei Bufonidenarten wurde zunächst die Geschlechtsgebundenheit von Mikrosatelliten getestet und ein XX/XY-System nachgewiesen. Diese und bereits etablierte Marker wurden anschließend in ein neu entwickeltes Versuchsdesign für ED-Studien integriert: Nach gleichzeitiger Aufzucht von Modell- (Xenopus laevis) und Nicht-Modell-Arten (Hyla arborea, Bufo viridis) unter EE2- bzw. BPA- Exposition wurde das genetische Geschlecht bestimmt und mit dem anatomisch und histologisch ermittelten phänotypischen Geschlecht erglichen. Die drei Anuren zeigten starke Empfindlichkeitsunterschiede gegenüber beiden EDs. Umweltrelevante Konzentrationen beeinflussten die somatische Entwicklung und führten zu artspezifischen Gonaden-Fehlbildungen. EE2 bewirkte zahlreiche partielle und komplette Geschlechtsumwandlungen, mit stärkeren Effekten bei X. laevis. Diese Arbeit zeigt somit, dass bereits niedrige EE2- und BPA-Konzentrationen zu starken Schädigungen führen können und die Substanzen aufgrund ihrer erheblichen aquatischen Präsenz als ernstzunehmende Faktoren der Amphibienkrise anzusehen sind. Die Ermittlung des genetischen Geschlechts wird als wichtig eingestuft, um verlässliche Aussagen über ED-Effekte zu treffen. Zudem sollten an der Modell-Art X. laevis gewonnene Erkenntnisse nicht vorbehaltlos auf andere Amphibienarten extrapoliert werden. / The more than 7500 known amphibian species are globally threatened, mainly due to anthropogenic causes like habitat destruction, dispersing diseases, climate change and environmental pollution. Some of the causes are barely investigated, e.g. the pollution of aquatic ecosystems with endocrine disrupting compounds (EDCs), substances that interfere with the hormone system. Based on new molecular markers, for the first time allowing genetic sexing in some hylids and bufonids, this thesis focused on the effects of the synthetic estrogen 7α-ethinylestradiol(EE2) and the plasticizer bisphenol A (BPA). Initially, several microsatellite markers were tested for sex-linkage in three bufonid species, and an XX/XY system could be revealed. Subsequently, these and other established markers were integrated into a newly developed experimental design for EDC-research: after simultaneous exposure of model (Xenopus laevis) and non-model species (Hyla arborea, Bufo viridis) to EE2 or BPA, metamorphs were genetically sexed. Anatomically and histologically determined phenotypic sexes were directly compared with the genetic sex of each individual. The three anurans showed striking differences in their susceptibilities in both EDCexperiments. Environmentally relevant concentrations affected the somatic development and led to species-specific gonadal anomalies. In addition, EE2 provoked high numbers of mixed sex and completely sex-reversed individuals, with more pronounced effects in X. laevis than in the two non-model species. This work shows that low concentrations of EE2 and BPA lead to severe damages. Due to their widespread presence in the aquatic environment, these substances might contribute to the worldwide amphibian crisis. To produce reliable results in EDC-studies, genetic sexing is considered important. Furthermore, findings gained with the model species X. laevis should not unreservedly be extrapolated to other amphibian species.