Die „donor lymphocyte infusion“ (DLI) stellt eine wirksame Therapieoption für ein Rezidiv bei Patienten mit akuter myeloischer Leukämie (AML) nach allogener Stammzelltransplantation (SZT) dar. Jedoch ist die DLI oft mit einer „graft-versus-host disease” (GvHD) assoziiert, die auf einer proinflammatorischen, gegen den Empfänger gerichteten T-Zell-vermittelten Immunantwort beruht. Eine Strategie, den „graft-versus-leukemia” (GvL)-Effekt zu steigern und dabei das Risiko einer GvHD zu mindern, besteht in dem adoptiven Transfer hoch-avider CD8+ T-Zell-Klone, welche selektiv AML-assoziierte Antigene erkennen. Daher bestand das Ziel dieser Arbeit darin, eine neue Strategie zur Generierung hoch-avider CD8+ T-Zell-Klone, welche die Leukämie-assoziierten Antigene (LAAs) Wilms‘-Tumor-Antigen 1 (WT1), Proteinase 3 (PR3), Nucleophosmin 1 (NPM1) und Survivin als attraktive Ziele für spezifische Immuntherapien erkennen, zu entwickeln. Zunächst wurden mithilfe der innovativen Streptamer-Technologie die Frequenzen von CD8+ T-Zellen mit Reaktivität gegen WT1, PR3, NPM1 und Survivin im peripheren Blut von 10 gesunden HLA-A*02:01+ Spendern analysiert. Auf diese Weise konnten jedoch nur sehr geringe bis keine detektierbaren Frequenzen LAA-spezifischer CD8+ T-Lymphozyten nachgewiesen werden. Diese Beobachtungen führten zu dem Schluss, dass AML-Peptid-spezifische CD8+ T-Zellen im Gegensatz zu Virus-spezifischen T-Zellen aufgrund deutlich geringerer Frequenzen nicht direkt aus dem peripheren Blut isoliert werden können. Daher erfolgte die in vitro-Expansion der CD8+ T-Zellen mithilfe von autologen Monozyten-abgeleiteten dendritischen Zellen (MoDCs). DCs sind als professionelle Antigen-präsentierende Zellen in der Lage, Effektorzellen des adaptiven Immunsystems zu stimulieren sowie deren Expansion zu induzieren. Im Rahmen dieser Arbeit wurde ein geeignetes Protokoll für die Generierung von Fast-MoDCs etabliert. Diese zeichneten sich durch die ausgeprägte Expression kostimulatorischer und Antigen-präsentierender Moleküle, die Sekretion großer Mengen des proinflammatorischen Zytokins IL-12 sowie ein effizientes stimulatorisches Potenzial gegenüber CD4+ T-Zellen aus. Erneute Frequenzanalysen nach zweimaliger in vitro-Stimulation mit Peptid-beladenen Fast-MoDCs mittels ELISpot ergaben einen Anstieg der Frequenzen AML-Peptid-spezifischer CD8+ T-Zellen, insbesondere von WT1126-spezifischen CD8+ T-Zellen. Daraufhin erfolgte die Anreicherung der stimulierten CD8+ T-Zellen mit Spezifität für die vier untersuchten LAAs WT1, PR3, NPM1 und Survivin mittels Streptamer-Technologie. Dabei erzielte die Anreicherung WT1126-spezifischer CD8+ T-Lymphozyten deutlich höhere Reinheiten als die von CD8+ T-Zellen mit Reaktivität gegen die Peptide PR1169, NPM1283,mut A/D und Survivin95. Aus diesem Grund wurden die weiteren Untersuchungen auf WT1126 als das bisher vielversprechendste der untersuchten Peptide begrenzt. CD8+ T-Zellen von drei gesunden Spendern wurden mit bestrahlten T2-Zellen und Fast-MoDCs, welche mit dem HLA-A*02:01-restringierten Peptid WT1126 beladen waren, stimuliert. Anschließend erfolgte die Anreicherung WT1126-spezifischer CD8+ T-Zellen mittels Streptamer-Technologie. Bereits nach einmaliger Stimulation kam es zu einer deutlichen Anreicherung WT1126-spezifischer CD8+ T-Zellen, welche effektiv in der Lage waren, Peptid-beladene Zielzellen zu lysieren. Jedoch konnte nach zweimaliger Stimulation nochmals eine deutliche Steigerung in Reinheit und Ausbeute erzielt werden. Die angereicherten Zellen wurden als Effektor-Gedächtnis-T-Zellen charakterisiert. Ausgehend von den Streptamer-isolierten CD8+ T-Zellen eines Spenders erfolgte die Generierung WT1126-spezifischer CD8+ T-Zell-Klone. Im Rahmen der Klonierung wurden 32 WT1126-spezifische CD8+ T-Zell-Klone generiert. Drei vielversprechende Klone wurden genauer hinsichtlich ihrer funktionellen Eigenschaften charakterisiert. Diese exprimierten hoch-avide T-Zell-Rezeptoren und zeigten einen heterogenen Phänotyp von zentralen Gedächtnis-T-Zellen hin zu terminal differenzierten Effektor-Gedächtnis-T-Zellen. Zudem führten sie zu einer effizienten Lyse der HLA-A*02:01+ und WT1+ Zelllinien T2 und SET-2. Darüber hinaus wurde demonstriert, dass die untersuchten Klone auch HLA-A*02:01- und WT1-exprimierende primäre Blasten von AML-Patienten effektiv lysieren. Diese Ergebnisse zeigen, dass die Streptamer-basierte Anreicherung stimulierter Tumorpeptid-spezifischer CD8+ T-Zellen vor anschließender Klonierung eine geeignete Strategie für die Generierung hoch-avider CD8+ T-Zell-Klone mit anti-tumoraler Aktivität darstellt. So generierte CD8+ T-Zell-Klone mit Reaktivität gegen AML-assoziierte Antigene können für die Entwicklung neuer immuntherapeutischer Strategien zur Therapie eines Rezidivs bei AML-Patienten nach allogener SZT verwendet werden.

Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG-geförderten) Allianz- bzw. Nationallizenz frei zugänglich.

The aim of this paper is to show how Formal Concept Analysis can be used for the bene t of clone theory. More precisely, we show how a recently developed duality theory for clones can be used to dualize clones over bounded lattices into the framework of Formal Concept Analysis, where they can be investigated with techniques very di erent from those that universal algebraists are usually armed with. We also illustrate this approach with some small examples.

Habil.-Schr. Univ. Frankfurt (Main), 2007.

This thesis is focused on the design of remote data transmission equipment, without access to mains power. The device will measure the voltage of the gas pipeline and send this information to the operator for processing. Analysis of today's technologies for long-distance transmission and based on the selected technology, the device will be designed. According to selected components, its power supply will be designed with the aim of long-term functionality and continuous operation.

Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG-geförderten) Allianz- bzw. Nationallizenz frei zugänglich.

Implication is a logical connective corresponding to the rule of causality "if ... then ...". Implications allow one to organize knowledge of some field of application in an intuitive and convenient manner. This thesis explores possibilities of automatic construction of all valid implications (implicative theory) in a given field. As the main method for constructing implicative theories a robust active learning technique called Attribute Exploration was used. Attribute Exploration extracts knowledge from existing data and offers a possibility of refining this knowledge via providing counter-examples. In frames of the project implicative theories were constructed automatically for two mathematical domains: algebraic identities and parametrically expressible functions. This goal was achieved thanks both pragmatical approach of Attribute Exploration and discoveries in respective fields of application. The two diverse application fields favourably illustrate different possible usage patterns of Attribute Exploration for automatic construction of implicative theories.

In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categories. This leads us to a Galois connection that coincides with the classical case from universal algebra if the underlying category is the category of sets, but remains applicable no matter how the category is changed. In analogy to the situation in universal algebra, we characterize the Galois closed classes by local closures of clones of operations and local closures of what we will introduce as clones of (generalized) relations. Since the approach is built on purely category-theoretic properties, we will also discuss the dualization of our notions.

In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categories. This leads us to a Galois connection that coincides with the classical case from universal algebra if the underlying category is the category of sets, but remains applicable no matter how the category is changed. In analogy to the situation in universal algebra, we characterize the Galois closed classes by local closures of clones of operations and local closures of what we will introduce as clones of (generalized) relations. Since the approach is built on purely category-theoretic properties, we will also discuss the dualization of our notions.

gekürzte Fassung: Coalgebren wurden sowohl in der Mathematik (seit den 70er Jahren) als auch in der theoretischen Informatik (seit den 90er Jahren) untersucht. In der Mathematik sind Coalgebren dual zu universellen Algebren definiert. Sie bestehen aus einer Trägermenge A zusammen mit Cofunktionen ? : A ? , die A in die n-fache disjunkte Vereinigung von sich selbst abbilden. Das Ziel der Forschung ist hier vor allem, duale Versionen von Definitionen und Resultaten aus der universellen Algebra für die Welt der Coalgebren zu finden. Die theoretische Informatik betrachtet Coalgebren von kategorieller Seite aus. Für einen gegebenen Funktor F : C ? C sind Coalgebren als Paare (S,"alpha") definiert, wobei S ein Objekt von C und "alpha" : S ? F(S) ein Morphismus in C ist. Somit stellt der obige Ansatz mit Cofunktionen einen Spezialfall dar. Begriffe wie Homomorphismus oder Bisimularität lassen sich auf einfache Weise ausdrücken und handhaben. Solche Coalgebren modellieren eine große Anzahl von dynamischen Systemen. Das liefert eine kanonische und vereinheitlichende Sicht auf diese Systeme. Die vorliegende Dissertation führt beide genannten Forschungsrichtungen der Coalgebren weiter: Teil I beschäftigt sich mit "klassischen" Coalgebren, also solchen, wie sie in der universellen Algebra untersucht werden. Insbesondere wird das Verhältnis zur Klontheorie erforscht. Teil II der Arbeit widmet sich dem kategoriellen Ansatz aus der theoretischen Informatik. Von speziellem Interesse ist hier die Anwendung von Coalgebren zur Spezifikation von Systemen. Coalgebren und Klontheorie In der universellen Algebra spielen Systeme von Funktionen eine bedeutende Rolle, u.a. in der Klontheorie. Dort betrachtet man Funktionen auf einer festen gegebenen Grundmenge. Klone von Funktionen sind Mengen von Funktionen, die alle Projektionen enthalten und die gegen Superposition (d.h. Einsetzen) abgeschlossen sind. Extern lassen sich diese Klone als Galois-abgeschlossene Mengengzgl. der Galois-Verbindung zwischen Funktionen und Relationen darstellen. Diese Galois-Verbindung wird durch die Eigenschaft einer Funktion induziert, eine Relation zu bewahren. Dual zu Klonen von Funktionen wurde von B. Csákány auch Klone von Cofunktionen untersucht. Folglich stellt sich die Frage, ob solche Klone ebenfalls mittels einer geeigneten Galois-Verbindung charakterisiert werden können. Die vorliegende Arbeit führt zunächst den Begriff von Corelationen ein. Es wird auf kanonische Weise definiert, was es heißt, daß eine Cofunktion eine Corelation bewahrt. Dies mündet in einer Galois-Theorie, deren Galois-abgeschlossene Mengen von Cofunktionen tatsächlich genau die Klone von Cofunktionen sind. Überdies entsprechen die Galois-abgeschlossenen Mengen von Corelationen genau den Klonen von Corelationen. Die Galois-Theorien von Funktionen und Relationen einerseits und Cofunktionen und Corelationen anderseits sind sich sehr ähnlich. Das wirft die Frage auf, welche Voraussetzungen allgemein nötig sind, um solche und ähnliche Galois-Theorien aufzustellen und die entsprechenden Galois-abgeschlossenen Mengen zu charakterisieren. Das Ergebnis ist eine Metatheorie, bei der die Gemeinsamkeiten in den Charakterisierungen der Galois-abgeschlossenen Mengen herausgearbeitet sind. Bereits bekannte Galois-Theorien erweisen sich als Spezialfälle dieser Metatheorie, und zwar die Galois-Theorien von partiellen Funktionen und Relationen, von mehrwertigen Funktionen und Relationen und von einstelligen Funktionen und Relationen....