Ce mémoire de thèse traite de la mise en correspondance d'images pour des applications de vision stéréoscopique ou de stabilisation d'images de caméras vidéo. Les méthodes de mise en correspondance reposent généralement sur l'utilisation de points d'intérêt dans les images, c'est-à-dire de points qui présentent de fortes discontinuités d'intensité lumineuse. Nous présentons tout d'abord un nouveau descripteur de points d'intérêt, obtenu au moyen d'un fi ltre anisotropique rotatif qui délivre en chaque point d'intérêt une signature mono-dimensionnelle basée sur un gradient d'intensité. Invariant à la rotation par construction, ce descripteur possède de très bonnes propriétés de robustesse et de discrimination. Nous proposons ensuite une nouvelle méthode d'appariement invariante aux transformations euclidiennes et affines. Cette méthode exploite la corrélation des signatures sous l'hypothèse de faibles déformations, et dé finit une mesure de distance nécessaire à l'appariement de points. Les résultats obtenus sur des images difficiles laissent envisager des prolongements prometteurs à cette méthode.

La mise en correspondance d'images multimodales est devenue un axe de recherche essentiel en traitement d'images quels que soient les domaines d'applications. Dans le cadre médical, de nombreuses modalités d'imagerie permettent d'explorer l'organisme mais la grande diversité des phénomènes physiques mis en jeu implique que les organes seront analysés selon des points de vue très différents, spécifiques à chacune des modalités. La fusion d'images multimodales permet de palier cette difficulté en exploitant la complémentarité des différentes modalités pour extraire des données nouvelles par la juxtaposition des données initiales et faisant ainsi de la mise en correspondance un élément d'analyse incontournable. La présente étude est orientée sur la recalage et la mise en correspondance de données issues de systèmes d'imageries projective et tomographique d'angiographie cérébrale. L'angiographie par rayons X (2D) est la référence actuelle pour l'étude des vaisseaux intracrâniens mais elle souffre d'un manque de flexibilité et d'absence d'informations tridimensionnelles. Le recalage et la mise en correspondance de cette modalité avec l'Imagerie par Résonance Magnétique permet, d'une part de compléter les données de l'image radiologique et, d'autre part, de valider les innovations technologiques apportées aux dernières générations d'imageurs. La méthode proposée se base sur un recalage automatique et rigide entre les deux modalités. L'originalité de l'approche réside en l'absence de marqueurs ou référentiels externes, basant ainsi le recalage uniquement sur les caractéristiques anatomiques individuelles. Les retombées médicales de ce travail sont multiples tant dans le domaine diagnostique que thérapeutique. A titres d'exemples, une information fine et précise de la vascularisation peut se révéler être décisive dans un cadre neurochirurgical et la mise en correspondance d'images acquises à des instants différents permet un suivi plus objectif d'une pathologie.

Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curry-Howard fournit des termes de preuves aux aspects calculatoires et équipés de théories équationnelles, i.e. des notions de normalisation et d'équivalence. Cette thèse contribue à étendre son cadre à des formalismes (comme le calcul des séquents) appropriés à des considérations d'ordre logique comme la recherche de preuve, à des systèmes expressifs dépassant la logique propositionnelle comme des théories des types, et aux raisonnements classiques plutôt qu'intuitionistes.<br />La première partie est intitulée Termes de Preuve pour la Logique Intuitioniste Implicationnelle, avec des contributions en déduction naturelle et calcul des séquents, normalisation et élimination des coupures, sémantiques en appel par nom et par valeur. En particulier elle introduit des calculs de termes de preuve pour le calcul des séquents depth-bounded G4 et la déduction naturelle multiplicative. Cette dernière donne lieu à un calcul de substitutions explicites avec affaiblissements et contractions, qui raffine la beta-réduction.<br />La deuxième partie, intitulée Théorie des Types en Calcul des Séquents, développe une théorie des Pure Type Sequent Calculi, équivalents aux Systèmes de Types Purs mais mieux adaptés à la recherche de preuve.<br />La troisième partie, intitulée Vers la Logique Classique, étudie des approches à la Théorie des Types classique. Elle développe un calcul des séquents pour une version classique du Système Fomega. Une approche à la question de l'équivalence de preuves classiques consiste à calculer les représentants canoniques de preuves équivalentes dans le cadre du Calcul des Structures.

Texte abrégé et remanié de: Diss.--Philosophische Fakultät--Humboldt-Universität zu Berlin, 2000. / Bibliogr. p. 197-202.

Ce mémoire s'intéresse au quotidien des soldats soviétiques qui ont combattu sur le front de l'Est entre 1941 et 1945 et consiste en une analyse de leurs correspondances personnelles. Sur un tel sujet, une historiographie non négligeable nous précède. Cette recherche s'inspire donc des travaux d'Omer Bartov et de ses successeurs sur le phénomène de la « barbarisation » sur le front de l'Est, de différentes études abordant la réalité du soldat au front et la vie quotidienne au temps de Staline ainsi que d'ouvrages exploitant comme sources de base des correspondances ou des récits personnels. En mettant de l'avant une approche sociale de la guerre, ce travail vise à faire la lumière sur les conditions physiques et psychologiques dans lesquelles Ivan, le soldat soviétique moyen, a évolué, tout en évaluant à quel point il fut « brutalisé » par son expérience au front et quel fut le rôle de l'idéologie du régime en place dans ce processus. Notre utilisation du cadre d'analyse de Bartov, appliqué à notre corpus, vise à valider si les trois facteurs de « brutalisation » des soldats d'Hitler avancés par cet historien (les conditions du front, les antécédents sociaux et éducationnels et l'endoctrinement des troupes) peuvent également expliquer la « brutalisation » des soldats de Staline pendant cette période. En étudiant les propos des soldats qui abordent leur alimentation, leur hygiène, leurs conditions de travail et la logistique au front, nous sommes amenés à réduire l'importance accordée aux conditions physiques du front de l'Est dans le processus de « brutalisation » des troupes par rapport au cas allemand. Alors que les écrits de ces combattants au sujet du moral au front, de leurs inquiétudes liées à leurs proches ainsi que de leur état psychologique général renforcent l'idée d'une forte politisation de la vie quotidienne en URSS avant même le début du conflit, qui a eu pour effet de rendre ces hommes encore plus perméables à la propagande de guerre. Aussi, en analysant les calques du discours de la propagande soviétique, les représentations de l'ennemi ainsi que les traces de « brutalisation » présentes dans les correspondances étudiées, il est possible de démontrer le rôle crucial de l'endoctrinement idéologique. Finalement, la présence d'une spirale de violence, liée au désir de vengeance face aux crimes commis par les envahisseurs dès le début du conflit, explique également le comportement excessivement violent de ces militaires soviétiques, tant envers les soldats allemands que les civils, lorsqu'ils firent leur entrée en Allemagne en 1945. L'intérêt de cette recherche réside dans le fait qu'elle constitue un apport à un des débats fondamentaux du champ d'études, surtout sur le plan de la critique de sources importantes, mais mal exploitées, puisqu'elle permet, entre autres, de définir le profil idéologique d'un échantillon représentatif de millions de Soviétiques appelés sous les drapeaux durant le second conflit mondial. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Histoire, URSS, Deuxième Guerre mondiale, Front de l'Est, Armée rouge, Soldat, Correspondances, Conditions sociales, Idéologie.

Ma recherche vise, d’une part, à appréhender le phénomène de la publication des correspondances des « poilus » (les soldats français de la Première Guerre mondiale) et d’autre part, à déterminer leur rôle dans la mémoire collective de la Grande Guerre. Précédé d’un bilan historiographique, mon travail se divise en trois chapitres autour de trois thèmes principaux, la correspondance, l’édition et la mémoire. Le premier chapitre met en contexte la production des lettres et identifie les facteurs l’influençant. Le deuxième chapitre se penche sur les buts éditoriaux des publications de correspondances et sur leur transformation au fil des époques. Finalement, le dernier chapitre analyse la place de ces publications dans le cadre de la commémoration de la Grande Guerre. La recherche va au-delà de l’analyse des lettres et s’intéresse davantage aux desseins éditoriaux des recueils. Les sources utilisées sont des ouvrages collectifs publiant des lettres de poilus, édités entre 1922 (La dernière lettre) et 2006 (Paroles de Verdun). / My research aims to address the phenomenon of the publication of the “poilus” correspondences (French soldiers of the First World War) and to determine their role in the collective memory of the Great War. Preceded by a historiographic review, my work is divided into three chapters around three main themes, correspondences, publishing and memory. The first chapter puts into context the production of letters and identifies the factors influencing it. The second chapter considers the leading goals of publishing correspondences and their transformation over time. Finally, the last chapter analyzes the need for these publications for commemoration of the Great War. Research goes beyond the analysis of letters and focuses on the leading intentions of the editions. The sources used are anthologies of the “poilus” letters, published between 1922 (La dernière lettre) and 2006 (Paroles de Verdun).

Cette recherche tente d'étudier les effets de l'intégrationpédagogique des technologies de l'information et de lacommunication (TIC) sur l'acquisition de la compétencetextuelle à court terme chez des étudiants palestiniens enlicence de FLE de l'Université An-Najah. Il s'agit de fairedécouvrir les potentialités de ces technologies et demettre en place un dispositif de correspondance en ligneentre natifs et non-natifs permettant d'intégrer despratiques pédagogiques nouvelles au contexte palestinien.Ceci donne accès à l'écriture dans une situation decommunication interactive, sociale et motivante au moyend'outils de communication et de ressources en ligne(correcteurs, traducteurs, moteurs de recherche, etc.).L'objectif est d'améliorer les compétences micro- etmacro-structurelles nécessaires à la rédaction d'un textecohérent et cohésif correspondant au niveau B1+ duCECR.Dans cette recherche, nous avons adopté une perspectivesystémique dans une recherche-action afin de mieuxcomprendre les relations qu'entretient l'intégration destechnologies avec les changements de pratiquespédagogiques dans l'établissement d'accueil. Nous avonsdonc mené une étude approfondie du terrain et uneanalyse de plusieurs textes produits par notre échantillondans le cadre de l'expérimentation afin de mesurer lesapports et les enjeux qu'entraîne le recours à l'utilisationdes TIC. Les résultats montrent une progression au niveaumicro-structurel (notamment sur le plan sémantique etmorphosyntaxique) ainsi qu'une légère amélioration de lacompétence macro-structurelle (notamment enponctuation).

Dans le travail coopératif les experts sont amenés à utiliser des ressources sémantiques. Ces ressources sont en général représentées à l'aide de concepts et de relations et peuvent être modélisées sous forme d'ontologies. Chaque expert dans un domaine d'application utilise fréquemment une ou plusieurs ressources sémantiques et peut également avoir accès à d'autres ressources sémantiques mises à disposition par ses partenaires. Ces ressources sont hétérogènes entre elles à différents niveaux ce qui rend difficile l'interopérabilité syntaxique, structurelle et sémantique. Ce travail de thèse met l'accent sur l'interopérabilité sémantique des ressources sémantiques. Nous proposons une méthodologie semi-automatique pour aider à la découverte de correspondances sémantiques entre concepts de ressources sémantiques différentes. Pour réaliser ce travail, nous transformons ces ressources sémantiques en OWL-DL, afin d'utiliser les services de moteurs d'inférences fondés sur les logiques de description. Nous proposons aussi un procédé pour créer des équivalences entre relations de ressources sémantiques différentes, appelé unification de relations, et qui vise à découvrir d'autres correspondances sémantiques. Les résultats de ce travail ont été testés à l'aide d'un prototype. L'application a été réalisée avec des ressources sémantiques issues du secteur européen de la construction. Pour aider à l'évaluation des correspondances sémantiques, nous proposons aussi une modélisation des connaissances du domaine à l'aide de la logique floue.

L'abordage prédominant de la compréhension de l'enfance se fait par le truchement de différents récits qui contiennent le lieu de l'incomplétude, de l'ingénuité, de la beauté absolue, de la bonté, parmi d'autres prérogatives qui définissent ce lieu. Il faut penser à la problématisation de ces conceptions dès le début, puisqu‟elles sont répetées dans les différents contextes et milieux sociaux qui enveloppent l'enfance, cela nous renvoie à un mouvement qui embrouille nos “premières” vérités et nous pousse, non seulement à savoir ce qu'est l'enfance, mais plus que cela, à penser l'enfance comme une chose encore inconnue. Tous les efforts faits pour fixer l'enfance dans une seule conception s'avèrent être un exercice d‟enfermement, ou alors se résument à des efforts qui mettent en valeur une règle, une position-de-sujet, installant des territoires, ceux-là même qui prétentent enfermer toute l'idée, l'emprisonne toute en s'enfermant en elle-même. Il est temps de comprendre que ce mot enfance s'éparpille en plusieurs sens, en une énigme d'ailleurs suivie d'infins glissements conceptuels. C'est ainsi que, supposer que l'enfance peut s'exprimer dans une expérience, me pousse parfois à penser qu'il y a possibilité de concevoir une enfance hors du langage, c'est-à-dire, dans ce glissement continu de l‟expérience dans et par le langage, (et) qu'il est possible de trouver une enfance-expérience qui fait des agencements dans le soin de nous-mêmes. Donc, la perspective d‟une enfance m'invite à penser au monde par ses irrégularités ses précarités, ses contingencements, bref, cela exige que j'envisage un autre champ du discours, c‟est-à-dire, ce champ qui se fait par ce qui fuit, ce qui resiste, par une force vitale de liberté qui nous amène à nous pencher sur nous- mêmes. Et tant que dimension de l'inattendu, l'imprévu de cette enfance glisse en nous le doute et l'incertitude comme possibilités de connaître ce qu'on ne connaît pas encore, de savoir ce qu'on ne sait pas, mais, surtout de prendre une position devant les choses du monde, qui nous place dans notre simple humanité. Cette simple humanité qui nous envoie à tout faire et à rien faire. / A perspectiva predominante de captura da infância marcou e vem marcando as diferentes narrativas que pressupõe o lugar de incompletude, ingenuidade, beleza irrestrita, bondade, entre tantos outros atributos que definem este lugar. Problematizar essas concepções de início, repetidas nos diferentes contextos e práticas sociais que envolvem a infância, nos remete a um movimento que desarranja nossas „primeiras‟ verdades e nos instiga, mais do que saber o que é a infância, pensá-la como algo ainda por nós desconhecido. Vemos que toda tentativa de fixar a infância em uma única designação constitui-se num exercício em encerrar, em sobrepor um valor, uma norma, uma posição-de-sujeito que institui territórios, que pretensiosamente designa a si toda a palavra aprisionando-a e aprisionando-se à ela. Perceber que essa palavra eclode em múltiplos sentidos, desdobra-se num enigma seguido por infinitos deslizamentos conceituais. Portanto, supor que a infância, por vezes, poderá expressar-se numa experiência, me provoca saber se existe a possibilidade de uma infância fora da linguagem e se nesse deslizamento contínuo de se experenciar na e pela linguagem, poderá residir uma infância-experiência que nos agencia um modo de cuidado de nós mesmos. Essa infância me convida a pensar o mundo por suas irregularidades, precariedades, contingencionalidades, por fim , me exige lidar com um outro campo discursivo, esse que se faz por aquilo que vaza, por aquilo que resiste, por uma força vital de liberdade que nos interpela a pensarmos sobre nós mesmos. Como dimensão do inesperado, a imprevisibilidade desta infância nos instala a dúvida e a incerteza como possibilidade de conhecer o que ainda não conhecemos, de saber o que ainda não sabemos, mas, sobretudo, de assumirmos uma postura diante das coisas do mundo, que nos coloque no lugar de nossa mera humanidade, a de que nem tudo e com tudo podemos.

Depuis 1955, date à laquelle Robert Baldick a publié The Life of J. K. Huysmans, traduit en français en 1958, aucune biographie scientifique de l’auteur d’À rebours n’a été produite. En un peu plus d’un demi-siècle de recherches, l’information sur le sujet s’est considérablement développée. Pierre Lambert, mort en 1969, a légué sa collection de documents huysmansiens à la bibliothèque de l’Arsenal. Des inédits ont été retrouvés, des lettres notamment. La recherche sur Huysmans dispose aujourd’hui d’une documentation très riche, notamment de la correspondance générale classée et saisie, ouvrant la perspective d’une nouvelle biographie, mieux informée.Huysmans a vécu cinquante-neuf ans, de 1848 à 1907. Ma thèse couvre la première moitié de sa vie. Elle s’articule autour de deux volumes complémentaires : un essai de biographie, conduisant le lecteur de la naissance de l’écrivain au jour de ses trente ans ; une édition de sa correspondance, de sa première lettre connue, un placet adressé au ministère de l’Intérieur en 1866, à une lettre envoyée à son principal correspondant du moment, Théodore Hannon, à la fin de novembre 1878. Huysmans pratique largement et délibérément l’autobiographie romancée, ce qui rend délicat le travail du biographe, mais l’enrichit de tous les récits de vie livrés par l’écrivain lui-même. / Since the 1955 publication of Robert Baldick’s The Life of J-K Huysmans, translated into French in 1958, no scientific biography of the author of À Rebours has been produced. In a little over half a century of research, however, information on this subject has grown considerably. Pierre Lambert, who died in 1969, bequeathed his collection of documents to the Bibliothèque de l’Arsenal. Unedited texts have been unearthed, letters notably. Research on Huysmans has as its disposal today a rich variety of documentation, notably a classified correspondence, and this opens up the opportunity for a new, better-informed biography.Huysmans lived for fifty-nine years, from 1848 to 1907. My thesis covers the first half of his life. It is comprised of two complementary volumes: a biographical essay, leading the reader from Huysmans’s birth to his thirtieth birthday, and an edition of his correspondence from his first known letter, a petition addressed to the Ministry of the Interior in 1866 to a letter sent to his major correspondent of the time, Théodore Hannon, at the end of November 1878. Huysmans practised deliberately and carefully a kind of novelistic autobiography, which perhaps complicates the task of the biographer, but nonetheless also enriches it with all the life-stories delivered by the writer himself.