TY  - THES
A1  - Köhler, Steffen
T1  - "Unsere Rettung ist der Tod, aber nicht dieser."  Kafka in eschatologischer Perspektive
T1  - "Death will save us, but not this one."  Kafka in eschatological perspective
N2  - In Kafkas Werk steht der Tod mit im Mittelpunkt. Die Darstellung des Sterbens ist nicht ein Teilaspekt seines Werkes. - Auf eine phänomenologische Beschreibung, wie bei Kafka gestorben wird, folgt eine Ausweitung auf Themen, die sowohl bei Kafka, als auch in der Geistesgeschichte mit dem Tod zusammenhängen: Freiheit, Erkenntnis, Zeit. Theologische Motive der Eschatologie, die Kafka direkt benennt (Christus, Herr, Messias, Erbsünde, Gericht) werden entlang dem Todesproblem gedeutet und auf ihre theologische Konsistenz geprüft.
N2  - One of the main subjects of Kafka's work is death. - Following the description of how to dye in Kafka's scriptures are the themes connected with death, not only at Kafka, but also in philosophical sense: Freedom, revelation, time. Other theological subjects of escathology, which are mentioned by Kafka (Christ, Lord, Messiah), are proved by the aspect of death and their theological consistency.
KW  - Kafka
KW  - Franz
KW  - Eschatologie
KW  - Kafka
KW  - Eschatologie
KW  - Philosophie
KW  - Theologie
KW  - Erbsünde
KW  - Tod
KW  - Kafka
KW  - escathology
KW  - theology
KW  - philosophy
KW  - death
Y1  - 2001
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-203
ER  - 
TY  - THES
A1  - Schuh, Kai
T1  - Erzeugung und Analyse NF-ATp-defizienter Mäuse
T1  - Generation and Analysis of NF-ATp-deficient Mice
N2  - Ziel dieser Arbeit war es, NF-AT1-Gen-defiziente Mauslinien zu erzeugen und die Folgen dieser genetischen Manipulation in vivo zu untersuchen. Die Untersuchung sollte die durch die Gendefizienz erwarteten Mängel während der Entwicklung (Embryogenese) und, im Besonderen, die Auswirkungen auf das Immunsytem und die Entwicklung und Differenzierung der T-Zellen aufzeigen. Zur Untersuchung der genomischen Organisation des Maus-NF-AT1-Gens wurde eine genomische l-Phagen-DNA-Bibliothek "gescreent" (durchgeführt von Dr. E. Jankevics, Universität von Riga, Lettland), die entsprechenden l-Phagen, die das NF-AT1-Gen enthielten, isoliert und die DNA präpariert. Nach Analyse der klonierten Phagen (Subklonierung und Sequenzierung) wurde eine Restriktionskarte der entsprechenden Bereiche erstellt und der "targeting-vector" erstellt. Der "targeting-vector" wurde durch Elektroporation in embryonale Stammzellen (ES-Zellen) eingebracht und die Integration in das Genom ("Homologe Rekombination") durch Southern Blotting- bzw. PCR-Analyse untersucht. Manipulierte ES-Zellklone wurden in C57Bl/6-Blastozysten injiziert, diese in scheinschwangere Ammentiere transferiert und die Nachkommen nach Geburt anhand der Fellfarben klassifiziert. Nachkommen mit einem hohen Anteil hellen Fells wurden mit C57 Bl/6-Tieren verpaart und die Integration des manipulierten Zellklons in die Keimbahn wurde anhand der wildtypischen Fellfarbe und Genotypisierung nachgewiesen. Bezüglich des manipulierten NF-ATp-Gens heterozygote F1-Tiere wurden miteinander verpaart, um eine homozygote NF-ATp-defiziente Mäuse zu erhalten. Die Deletion des NF-ATp-Proteins wurde durch in Western-Blotting-Experimenten und EMSAs ("electrophoretic mobility shift assays") nachgewiesen. Die NF-ATp-/--Tiere zeigten keine augenscheinlichen Veränderungen während der Entwicklung und, bei jungen Tieren, keine offensichtlichen Veränderungen bei der Entwicklung des Immunsystems. In älteren Tieren (> 6 Wochen) war eine Hyperproliferation der Zellen des Immunsystems zu beobachten, was mit einer Splenomegalie, einer verstärkten Bildung von Keimzentren in lymphatischen Organen, vergrößerten Lymphknoten und einer verlangsamten Involution des Thymus einherging. Weitergehende Untersuchungen der Ursache dieser hyperproliferativen Erkrankung offenbarten eine verminderte klonale Deletion nach Aktivierung. Die Ursachen dieses überraschenden Effekts sind wahrscheinlich vielfältig, da NF-AT-Faktoren an der Regulation der Expression vieler Gene beteiligt sind, u.a. des Apoptose-assoziierten CD95-Liganden. Da sich bezüglich der IL-2-Expression keine Unterschiede zwischen NF-ATp-defizienten Tieren und Kontrollen zeigten, jedoch eine erhöhte IL-2-Konzentration im Medium kultivierter NF-ATp-defizienter T-Zellen beobachtet wurde, wurde die Bindung von NF-ATp an putative NF-AT-Bindungssequenzen des CD25-Promotors, die transkriptionelle Aktivierung des Promotors mittels Luciferase-Assays und die Expression der IL-2R-alpha-Kette (CD25) untersucht. Es konnte gezeigt werden, daß (1.) NF-ATp an zwei Regionen des CD25-Promotors bindet, (2.) der CD25-Promotor durch NF-ATp transkriptionell stark stimuliert wird und (3.) T-Zellen NF-ATp-defizienter Tiere nach Stimulation eine verminderte CD25-Expression zeigen. In NF-ATp-defizienten Tieren war die Expression von CD25 moderat reduziert, was eine Erklärung für den abgeschwächten Phänotyp dieser Tiere - im Vergleich zu IL-2- oder CD25-defizienten Tieren - sein kann. Die hyperproliferativen Erkrankungen dieser verschiedenen Mauslinien weisen auf eine Beteiligung der NF-AT-/IL-2-/IL-2R-Signalwege nicht nur während der T-Zell-Aktivierung hin, sondern auch auf eine Beteiligung an Signalwegen, die zur anschließenden Inaktivierung und Apoptose der T-Lymphozyten nötig sind.
N2  - Aim of this work was the generation of NF-ATp-deficient mice and to investigate the effects of this genetic manipulation in vivo. The investigation included observation of defects during embryogenesis and, in particular, effects on development and differentiation of T cells of the immune system. To characterize the genomic organisation of the NF-ATp gene, a genomic DNA library was screened (done by E. Jankevics, PhD, University of Riga, Latvia), the NF-ATp gene containing phages isolated and analyzed (subcloning and sequencing). A restriction map was made, necessary for construction of the targeting vector. The targeting vector was brought into E14.1 embryonic stem cells by electroporation and integration through "homologous recombination" was confirmed by Southern blotting and PCR analysis. Successfully manipulated ES cell clones were injected in C57 Bl/6 blastocystes, injected blastocystes transferred into pseudo-pregnant foster mice, and the offsprings classified according to coat colour. Offsprings showing a high level of fair coat colour were mated to C57Bl/6 inbreed animals, integration of the manipulated cell clone into germline was verified by wild-type coat colour and genotyping. Heterozygous animals were crossbred to obtain homozygous NF-ATp-deficient animals. Loss of NF-ATp protein was confirmed in Western blotting assays and EMSAs. NF-ATp-deficient mice showed no obvious changes in embryogenesis and no differences in the development of the immune system. Older Animals (> 6 weeks) developed a hyperproliverative disorder of lymphatic cells going along with splenomegalie, enlarged lymph nodes and retarted involution of the thymus. Further investigations revealed a normal activation but reduced clonal deletion of T cells after activation. This may be due to different causes, since NF-AT factors are involved in the regulation of many genes, e.g. the apoptosis-associated CD95 ligand. Phenotypical similarities with interleukin 2- (IL-2) or IL-2 receptor- (IL-2R) deficient mice and, in contrast, the observation of elevated IL-2 levels in supernatants of cultivated NF-ATp-deficient T cells, suggested a role of NF-ATp in the regulation of the IL-2/IL-2R system. Since no difference in IL-2 expression between NF-ATp-/--mice and controls was observed, binding of NF-ATp to putative NF-AT concensus sequences of the CD25 (IL-2R alpha chain) promoter, transcriptional activation by NF-ATp, and expression of CD25 were investigated. It was demonstrated that (1) NF-ATp binds to two regions of the CD25 promoter, (2) that NF-ATp is a stimulator of the CD25 promoter, and (3) T cells of NF-ATp-deficient mice display a decreased expression of CD25 after stimulation, compared to wild-type controls. The expression of CD25 is moderately decreased in NF-ATp-deficient mice, proposing an explanation for the "weak phenotype" of NF-ATp-/--mice, compared to IL-2- or IL2R-deficient mice. The hyperprolifertive disorders of these different mouse lines are pointing towards a participation of NF-AT-/IL-2-/IL-2R signaling not only in activation of T cells, but also in pathways necessary for subsequent inactivation.
KW  - Maus
KW  - Induzierte Mutation
KW  - T-Lymphozyt
KW  - T-Zellen
KW  - NF-AT
KW  - knock-out
KW  - Mäuse
KW  - T cells
KW  - NF-AT
KW  - knock-out
KW  - mice
Y1  - 2001
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-117
ER  - 
TY  - THES
A1  - Lamatsch, Dunja
T1  - Molekulargenetische und zytogenetische Untersuchungen zur paternalen Introgression beim gynogenetischen Amazonenkärpfling, Poecilia formosa
T1  - Molecular and cytogenetic analysis of paternal introgression in the gynogenetic Amazon molly, Poecilia formosa
N2  - Die Frage nach der Entstehung und Beibehaltung von sexueller Reproduktion nimmt in der Biologie eine zentrale Stellung ein. Dazu werden seit langem die Vor- und Nachteile asexueller Fortpflanzung diskutiert, da man sich von einer vergleichenden Betrachtungsweise wichtige Aufschlüsse erwartet. Dem kurzfristigen Vorteil der schnelleren Vermehrung stehen langfristige Nachteile entgegen: Aufgrund fehlender genetischer Rekombinationsprozesse können sich schädliche Mutationen im Laufe der Generationen anhäufen ("Muller’s ratchet"), und schnelle Anpassung an eine veränderte Umwelt oder neue Abwehrstrategien gegen Parasiten werden erschwert. Der Amazonenkärpfling, Poecilia formosa, stellt einen Organismus dar, dessen Fortpflanzung in Folge eines interspezifischen Hybridisierungsereignisses vom üblichen bisexuellen Muster abweicht: Es treten normalerweise nur Weibchen auf, die sich gynogenetisch vermehren. Hierbei werden die unreduzierten diploiden Eizellen durch Spermien sympatrisch vorkommender sexueller Wirtsmännchen nahe verwandter Arten (P. latipinna oder P. mexicana) stimuliert, um eine parthenogenetische Entwicklung der Embryonen zu initiieren. Es findet keine Karyogamie statt, so daß die Nachkommen in der Regel untereinander und mit ihren Müttern genetisch identisch (klonal) sind. Molekularbiologische Untersuchungen ergaben jedoch, daß P. formosa wesentlich älter ist, als dies auf der Basis von "Muller’s ratchet" zu erwarten war. Eine mögliche Erklärung dafür wäre, daß in seltenen Fällen väterliches Erbmaterial an die Nachkommen weitergegeben werden kann (paternale Introgression). Sowohl in natürlichen Lebensräumen als auch unter Laborbedingungen konnten nur zwei Formen paternaler Introgression identifiziert werden: Kommt es aufgrund von Karyogamie zu einer tatsächlichen Befruchtung der diploiden Oozyte durch das haploide Spermium entstehen triploide Individuen. In anderen Fällen verbleiben nach der Aktivierung durch das artfremde Spermium nur geringe DNA-Mengen in der Oozyte, die in den Kern aufgenommen werden und im Karyotyp als überzählige Chromosomen, sog. Mikrochromosomen, zu identifizieren sind. Die beiden Formen paternaler Introgression können jedoch auch kombiniert vorliegen. In diesen Fällen entwickelten sich die Individuen überraschenderweise zu phänotypischen Männchen. Die vorliegenden Ergebnisse über paternale Introgression können zur Aufklärung der Frage beitragen, warum P. formosa und andere asexuelle Organismen offenbar länger überlebten, als vorhergesagt. Im Gegensatz zu den bisherigen Annahmen könnte es sich bei spermienabhängiger Parthenogenese nicht etwa nur um eine unvollkommene Parthenogenese handeln, sondern um einen gut angepaßten Fortpflanzungsmodus, der die Vorteile von asexueller mit denen sexueller Fortpflanzung kombiniert.
N2  - One of the greatest challenges in evolutionary biology is explaining the widespread occurrence of sexual reproduction and the associated process of genetic recombination. Comparing the advantages and disadvantages of sexual and asexual reproduction is expected to give major insights to that "queen of questions". Whereas asexual females have the short term advantage of producing twice as many daughters as sexual females, they are also expected to suffer from long-term constraints: Due to the absence of genetic recombination, asexuals are prone to accumulate deleterious mutations (Muller´s ratchet), and adaptation to changing environments or the escape from parasite load will be aggravated. The Amazon molly, P. formosa, resembles an organism which shows an alternative reproductive mode to the ubiquitous bisexual reproduction. Being an all-female species due to interspecific hybridization, it reproduces gynogenetically: Unreduced diploid eggs are only activated by sperm of males of closely related sympatric species. Without karyogamy the oocytes develop parthenogenetically leading to genetically identical (clonal) offspring. Molecular phylogenetic data suggest that P. formosa might have survived longer than predicted by Muller´s ratchet. To explain this paradox, two phenomena which have been observed in natural populations as well as in laboratory broods are taken into consideration: Triploidy and occurrence of microchromosomes as a consequence of paternal introgression. Triploidy results from the successful insemination of the unreduced diploid eggs with haploid host sperm and subsequent karyogamy, whereas microchromosomes are small supernumerary chromosomes that seem to be the left over of the enzymatic machinery which normally clears the egg from the sperm nucleus after activation has occurred. Both forms of paternal introgression may also occur in combination. Surprisingly, these individuals developed spontaneously into males. The results on paternal introgression obtained here can contribute to answer the question why P. formosa as well as other unisexual vertebrates survived longer than predicted. Contradictory to common knowledge, gynogenesis might not be an imperfect parthenogenesis but a well adapted reproductive mode combining the advantages of asexual and sexual reproduction.
KW  - Amazon Molly
KW  - Introgression
KW  - Jungfernzeugung
KW  - lebendgebärende Zahnkarpfen
KW  - Gynogenese
KW  - spermienabhängige Parthenogenese
KW  - B-Chromosomen
KW  - Polyploidie
KW  - livebearing poeciliid
KW  - sperm-dependent parthenogenesis
KW  - gynogenesis
KW  - B chromosomes
KW  - polyploidy
Y1  - 2001
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-108
ER  - 
TY  - THES
A1  - Reith, Steffen
T1  - Generalized Satisfiability Problems
T1  - Verallgemeinerte Erfüllbarkeitsprobleme
N2  - In the last 40 years, complexity theory has grown to a rich and powerful field in theoretical computer science. The main task of complexity theory is the classification of problems with respect to their consumption of resources (e.g., running time or required memory). To study the computational complexity (i.e., consumption of resources) of problems, similar problems are grouped into so called complexity classes. During the systematic study of numerous problems of practical relevance, no efficient algorithm for a great number of studied problems was found. Moreover, it was unclear whether such algorithms exist. A major breakthrough in this situation was the introduction of the complexity classes P and NP and the identification of hardest problems in NP. These hardest problems of NP are nowadays known as NP-complete problems. One prominent example of an NP-complete problem is the satisfiability problem of propositional formulas (SAT). Here we get a propositional formula as an input and it must be decided whether an assignment for the propositional variables exists, such that this assignment satisfies the given formula. The intensive study of NP led to numerous related classes, e.g., the classes of the polynomial-time hierarchy PH, P, #P, PP, NL, L and #L. During the study of these classes, problems related to propositional formulas were often identified to be complete problems for these classes. Hence some questions arise: Why is SAT so hard to solve? Are there modifications of SAT which are complete for other well-known complexity classes? In the context of these questions a result by E. Post is extremely useful. He identified and characterized all classes of Boolean functions being closed under superposition. It is possible to study problems which are connected to generalized propositional logic by using this result, which was done in this thesis. Hence, many different problems connected to propositional logic were studied and classified with respect to their computational complexity, clearing the borderline between easy and hard problems.
N2  - In den letzten 40 Jahren hat sich die Komplexitätstheorie zu einem reichen und mächtigen Gebiet innerhalb der theoretischen Informatik entwickelt. Dabei ist die hauptsächliche Aufgabenstellung der Komplexitätstheorie die Klassifikation von Problemen bezüglich des Bedarfs von Rechenzeit oder Speicherplatz zu ihrer Lösung. Um die Komplexität von Problemen (d.h. den Bedarf von Resourcen) einzuordnen, werden Probleme mit ähnlichem Ressourcenbedarf in gleiche sogenannte Komplexitätsklassen einsortiert. Bei der systematischen Untersuchung einer Vielzahl von praktisch relevanten Problemen wurden jedoch keine effizienten Algorithmen für viele der untersuchten Probleme gefunden und es ist unklar, ob solche Algorithmen überhaupt existieren. Ein Durchbruch bei der Untersuchung dieser Problematik war die Einführung der Komplexitätsklassen P und NP und die Identifizierung von schwersten Problemen in NP. Diese schwierigsten Probleme von NP sind heute als sogenannte NP-vollständige Probleme bekannt. Ein prominentes Beispiel für ein NP-vollständiges Problem ist das Erfüllbarkeitsproblem für aussagenlogische Formeln (SAT). Hier ist eine aussagenlogische Formel als Eingabe gegeben und es muss bestimmt werden, ob eine Belegung der Wahrheitswertevariablen existiert, so dass diese Belegung die gegebene Formel erfüllt. Das intensive Studium der Klasse NP führte zu einer Vielzahl von anderen Komplexitätsklassen, wie z.B. die der Polynomialzeithierarchie PH, P, #P, PP, NL, L oder #L. Beim Studium dieser Klassen wurden sehr oft Probleme im Zusammenhang mit aussagenlogischen Formeln als schwierigste (vollständige) Probleme für diese Klassen identifiziert. Deshalb stellt sich folgende Frage: Welche Eigenschaften des Erfüllbarkeitsproblems SAT bewirken, dass es eines der schwersten Probleme der Klasse NP ist? Gibt es Einschränkungen oder Verallgemeinerungen des Erfüllbarkeitsproblems, die vollständig für andere bekannte Komplexitätsklassen sind? Im Zusammenhang mit solchen Fragestellungen ist ein Ergebnis von E. Post von extremem Nutzen. Er identifizierte und charakterisierte alle Klassen von Booleschen Funktionen, die unter Superposition abgeschlossen sind. Mit Hilfe dieses Resultats ist es möglich, Probleme im Zusammenhang mit verallgemeinerten Aussagenlogiken zu studieren, was in der vorliegenden Arbeit durchgeführt wurde. Dabei wurde eine Vielzahl von verschiedenen Problemen, die in Zusammenhang mit der Aussagenlogik stehen, studiert und bezüglich ihrer Komplexität klassifiziert. Dadurch wird die Grenzlinie zwischen einfach lösbaren Problemen und schweren Problemen sichtbar.
KW  - Erfüllbarkeitsproblem
KW  - Komplexitätstheorie
KW  - Boolesche Funktionen
KW  - Isomorphie
KW  - abgeschlossene Klassen
KW  - Zählprobleme
KW  - Computational complexity
KW  - Boolean functions
KW  - Boolean isomorphism
KW  - Boolean equivalence
KW  - Dichotomy
KW  - counting problems
Y1  - 2001
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-74
ER  -