Topology via enriched categories

Having as a starting point the characterization of probabilistic metric spaces as enriched categories over the quantale , conditions that allow the generalization of results relating Cauchy sequences, convergence of sequences, adjunctions of V-distributors and its representability are established. Equivalence between L-completeness and L-injectivity is also established. L-completeness is characterized via the Yoneda embedding, and injectivity is related with exponentiability. Another kind of completeness is considered and the formal ball model is analyzed.

Livre de l'ordre de Saint-Michel, comprenant.

Contient : 1 « Acte par lequel le roi LOUIS XI constitue, crée et ordonne un « ordre de fraternité de chevaliers, ou amyable compaignie de certain nombre de chevaliers, lequel ordre » il déclare vouloir « estre nommé l'ordre de Saint-Michel en et soubz la forme, condicion, status, ordonnances et articles » énoncés dans ledit acte. « Donné en nostre chastel d'Amboise, le premier jour d'aoust, l'an de grace mil CCCC soixante neuf et de nostre regne le IXe » ; 2 « Les lectres du roy... LOYS » XI « de l'adjunction et status, ordonnances, constitutions et institution de l'office de prevost, maistre des serimonies de l'ordre » de S. Michel « faictes après l'institution dudit ordre, pour le seur entretenement d'icelly, s'ensuyvent... Donné au Plessis du Parc les Tours, le XXIIe jour de decembre, l'an de grace mil CCCC soixante seize et de nostre regne le seiziesme »

« Livre de l'ordre du très crestien roy de France Loys XIe, à l'honneur de sainct Michel ».

Contient : 1 « Table des chapitres » ; 2 Lettres du roi LOUIS XI, créant et constituant l'ordre de St-Michel. Amboise, 1er août 1469 ; 3 « Les lectres du roy de l'adjunction et status, ordonnances, constitutions et institution de l'office de prevost maistre des serimonies de l'ordre, faictes apres l'institution dudit ordre, pour le seur entretenement d'iceluy ». Plessis-du-Parc-lès-Tours, 22 décembre 1476

Mathematical Morphology on Hypergraphs Using Vertex-Hyperedge Correspondence

The focus of this paper is to develop computationally efficient mathematical morphology operators on hypergraphs. To this aim we consider lattice structures on hypergraphs on which we build morphological operators. We develop a pair of dual adjunctions between the vertex set and the hyperedge set of a hypergraph , by defining a vertex-hyperedge correspondence. This allows us to recover the classical notion of a dilation/erosion of a subset of vertices and to extend it to subhypergraphs of . This paper also studies the concept of morphological adjunction on hypergraphs for which both the input and the output are hypergraphs

Sheaves, local homeomorphisms and local sets as Hilbert locale modules

We give a thorough account of the various equivalent notions for \sheaf" on a locale, namely the separated and complete presheaves, the local home- omorphisms, and the local sets, and to provide a new approach based on quantale modules whereby we see that sheaves can be identi¯ed with certain Hilbert modules in the sense of Paseka. This formulation provides us with an interesting category that has immediate meaningful relations to those of sheaves, local homeomorphisms and local sets. The concept of B-set (local set over the locale B) present in [3] is seen as a simetric idempotent matrix with entries on B, and a map of B-sets as de¯ned in [8] is shown to be also a matrix satisfying some conditions. This gives us useful tools that permit the algebraic manipulation of B-sets. The main result is to show that the existing notions of \sheaf" on a locale B are also equivalent to a new concept what we call a Hilbert module with an Hilbert base. These modules are the projective modules since they are the image of a free module by a idempotent automorphism On the ¯rst chapter, we recall some well known results about partially ordered sets and lattices. On chapter two we introduce the category of Sup-lattices, and the cate- gory of locales, Loc. We describe the adjunction between this category and the category Top of topological spaces whose restriction to spacial locales give us a duality between this category and the category of sober spaces. We ¯nish this chapter with the de¯nitions of module over a quantale and Hilbert Module. Chapter three concerns with various equivalent notions namely: sheaves of sets, local homeomorphisms and local sets (projection matrices with entries on a locale). We ¯nish giving a direct algebraic proof that each local set is isomorphic to a complete local set, whose rows correspond to the singletons. On chapter four we de¯ne B-locale, study open maps and local homeo- morphims. The main new result is on the ¯fth chapter where we de¯ne the Hilbert modules and Hilbert modules with an Hilbert and show this latter concept is equivalent to the previous notions of sheaf over a locale.

Cliticização pronominal nas cantigas religiosas galego-portuguesas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Entwicklung eines pharmakologischen Modells zur Prüfung immuntherapeutischer Antikörper mit dreidimensionalen Tumorzellkulturen in vitro

In den letzten Jahren hat die Tumorbehandlung mit immunologischen Präparaten an Bedeutung gewonnen. Der allgemeine Ablauf der Testung eines Arzneimittelkandidaten sieht vor, zunächst in Zellkulturversuchen und Tierversuchen Wirkweise und Sicherheit, sowie voraussichtliche Abbauwege und mögliche Gefahren so beurteilen zu können, dass sie für einen Einsatz im Menschen in Frage kommen. Zur präklinischen in vitro-Testung werden dabei in der Regel Monolayer-Zellkulturen oder Einzelzellsuspensionen eingesetzt. Der Einsatz von 3D-Zellkulturmodellen, welche den Aufbau von Mikrometastasen oder intervaskuläre Areale in Tumoren exakter widerspiegeln, führt zu wesentlich besseren Voraussagen bezüglich der klinischen Wirksamkeit neuer Präparate. Das Ziel dieser Arbeit war daher die Entwicklung und Anwendung eines neuen 3D-Zellkulturbasierten Systems zur Testung trifunktionaler bispezifischer Antikörper für die Tumorbehandlung, welches sich auch auf andere vergleichbare Präparate übertragen lässt.rnIn meiner Arbeit konnte ich mehrere humane Tumorzelllinien definieren, mit denen es gelang, stabile Co-Kulturen von Multi Cellular Tumour Spheroids (MCTS) mit Peripheral Blood Mononuclear Cells (PBMC) in miniaturisierten Spinner-Flaschen zu etablieren. Spinner-Flaschen, in denen die im Kulturmedium befindlichen Immunzellen, MCTS und Therapeutika ständig frei zirkulieren, sind besonders für eine wirklichkeitsnahe Nachbildung der in vivo-Simulation mit disseminierten Tumorzellen oder mit malignem Aszites geeignet. Diese Art der Kultivierung erlaubte Beobachtungszeiten von ≥20 Tagen für eine große Bandbreite Analysemethoden. Zu den mit dem erstellten Protokoll standardmäßig durchführbaren Analysemethoden zählen unter anderem immunhistochemische Färbungen an Sphäroid-Gefrierschnitten, Vitalitätstest, Untersuchung der Plattierungs-Effizienz, Bestimmung der Sphäroidvolumina, Zytokinbestimmungen aus dem Medienüberstand mit Cytokine Bead Arrays, PCR-Analysen immunzellspezifischer Antigene, sowie durchflusszytometrische Analysen. Diese Methodenkombination erlaubt einen sehr detaillierten Einblick in die Wirkweise und Effizienz neuer Immuntherapeutika aus verschiedensten Blickwinkeln und stellt ein reproduzierbares Testsystem zur präklinischen Testung von Immuntherapeutika dar, das zukünftig als Bindeglied zwischen Monolayer-Zellkulturen und klinischen Prüfungen einen festen Platz einnehmen könnte.rnMit dem beschriebenen 3D-Zellkultur-System wurden in der vorliegenden Arbeit die trifunktionalen bispezifischen Antikörper catumaxomab (unter dem Handelsnamen Removab® für die Behandlung maligner Ascites zugelassen) und ertumaxomab (derzeit in klinischen Prüfungen) hinsichtlich ihrer Wirkweise untersucht. Die Antikörper besitzen im Gegensatz zu herkömmlichen monoklonalen Antikörpern zwei verschiedene Bindungsarme, einer gegen CD3 auf T-Zellen, der zweite gegen EpCAM respektive Her2/neu - beides weit verbreitete Tumorantigene - gerichtet. An ihrem Fc-Teil besitzen sie eine dritte Bindungskapazität, über welche sie an Fcγ RI, -IIa und -III positive akzessorische Zellen binden. Diese Kombination ermöglicht theoretisch die Ausbildung eines Tri-Zell-Komplexes aus T-Zelle, Tumorzelle und akzessorischer Zelle. Dies stellt eine wirkungsvolle Therapieoption unter Ausnutzung der körpereigenen, immunologischen Abwehr dar. rnIm Rahmen dieser Arbeit wurde gezeigt, dass beide Antikörper eine Größenreduktion der Sphäroide mit den entsprechenden Tumorantigenen in gleichem Maße bewirkten und die Plattierungseffizienz durch ertumaxomab dosisabhängig reduziert wurde. Mit dem erstellten Testsystem konnte der Wirkmechanismus von catumaxomab auf Sphäroide der Zelllinie FaDu (Kopf-Hals-Plattenepithelkarzinom) detaillierter gezeigt werden: catumaxomab wirkte dosisabhängig auf die Reduktion der Sphäroidvolumina und die zunehmende Infiltration von CD45+ Zellen, die als T-, NK- und/oder dendritische Zellen identifiziert wurden. Des Weiteren rief die catumaxomab-Gabe eine verstärkte Ausschüttung der Zytokine IL-2, IFN-γ und TNF-α hervor. Diese Ergebnisse sprechen dafür, dass catumaxomab die zelluläre Immunantwort aktiviert.rnDie Standard-Tumorbehandlung beinhaltet die Gabe von Chemotherapeutika. Oft werden dafür Zytostatika mit dem unerwünschten Nebeneffekt auch gesunde proliferierende Zellen anzugreifen verwendet. Dies kann prinzipiell auch die Wirksamkeit der Antikörper-Therapie beeinflussen. Aus diesem Grund wurden in dieser Arbeit zusätzlich vergleichende Kombinations-Versuche mit catumaxomab und einem gängigen Zytostatikum - Cisplatin - durchgeführt. Mit Untersuchungen der Sphäroidvolumina, Vitalitätstests und Plattierungseffizienz konnte gezeigt werden, dass die Wirkung von catumaxomab bei gleichzeitiger Anwendung beider Therapeutika aufrecht erhalten bleibt und diese sogar additiv verstärkt wird. Eine Kombinationstherapie im Menschen ist daher denkbar.rnrn

Model categories

The purpose of this thesis is to present some fundamental results about model categories, and to give some examples of categories that can be equipped with a model structure.

Sistema de contagem com morfologia matemática fuzzy

Mathematical Morphology presents a systematic approach to extract geometric features of binary images, using morphological operators that transform the original image into another by means of a third image called structuring element and came out in 1960 by researchers Jean Serra and George Matheron. Fuzzy mathematical morphology extends the operators towards grayscale and color images and was initially proposed by Goetherian using fuzzy logic. Using this approach it is possible to make a study of fuzzy connectives, which allows some scope for analysis for the construction of morphological operators and their applicability in image processing. In this paper, we propose the development of morphological operators fuzzy using the R-implications for aid and improve image processing, and then to build a system with these operators to count the spores mycorrhizal fungi and red blood cells. It was used as the hypothetical-deductive methodologies for the part formal and incremental-iterative for the experimental part. These operators were applied in digital and microscopic images. The conjunctions and implications of fuzzy morphology mathematical reasoning will be used in order to choose the best adjunction to be applied depending on the problem being approached, i.e., we will use automorphisms on the implications and observe their influence on segmenting images and then on their processing. In order to validate the developed system, it was applied to counting problems in microscopic images, extending to pathological images. It was noted that for the computation of spores the best operator was the erosion of Gödel. It developed three groups of morphological operators fuzzy, Lukasiewicz, And Godel Goguen that can have a variety applications