La segmentation est un processus visant à extraire des objets présents dans une image. La plupart des méthodes de segmentation développées jusqu'à présent sont dévolues à une classe d'images particulière (photo satellite, image IRM, etc.). De plus l'information colorimétrique contenue dans les images est insuffisamment prise en compte. Le but de ce travail est de remédier à ces deux limitations. Nous proposons deux méthodes permettant d'extraire des informations pertinentes à partir d'ensembles de couleurs. Nous proposons de plus plusieurs méthodes de segmentation basés sur les cartes planaires et sur une représentation des régions par frontières inter-pixels. Ces méthodes sont très générales et utilisent un environnement de programmation permettant de développer rapidement des logiciels de segmentation.

L'objet de cette thèse est l'étude de la parallélisation d'algorithmes du calcul scientifique et<br />leur implémentation sur des ordinateurs parallèles à mémoire partagée et sur des réseaux systoliques.<br /> Un accent particulier est mis sur l'obtention de résultats de complexité. La thèse est organisée autour<br /> d'articles et textes de conférences qui sont analysés et discutés dans une première partie de façon à <br />permettre de replacer les problèmes traités dans leur contexte.<br />Dans le premier chapitre, nous présentons les principaux résultats théoriques concernant <br />l'étude de complexité des algorithmes parallèles, ainsi qu'une description critique de l'architecture <br />de référence, qui est une machine de type MIMD à mémoire partagée. Le chapitre suivant est dédie" à <br />l'ensemble des résultats de complexité concernant les algorithmes de diagonalisation et <br />l'élimination de Gauss, il a pour but d'illustrer la méthodologie. Il existe en tout dix écritures possibles de la méthode de Gauss, qui conduisent principalement à deux grandes classes de graphes de précédente, conceptuellement différents : les graphes de type "glouton" et ceux du type "2 pas".<br />Ces types de graphes se rencontrent d'une manière plus générale dans d'autres problèmes <br />d'algèbre linéaire et même dans certaines méthodes non numériques de la théorie des graphes. <br />Nous développons les résultats de complexité concernant ces deux types de graphes sur les exemples<br /> les plus courant (versions kji et kij de Gauss en parallèle), puis nous montrons comment adapter<br /> l'étude en prenant en compte t'es temps de communication entre tes processeurs, ce qui rend le modèle<br /> théorique plus réaliste.<br />Le chapitre 6 est consacré aux architectures systoliques. Le problème du chemin algébrique permet <br />d'unifier plusieurs problèmes informatiques. Nous présentons un réseau résolvant ce problème en Sn-2 <br />pas sur un réseau de taille n(n+l ). De plus, quelques modifications permettent de calculer des projections<br /> en filtrage adaptatif en vu d'obtenir une solution en temps réel pour le traitement numérique des signaux.<br />Avant de conclure, nous présentons des résultats complémentaires de parallélisation effective sur d'autres<br /> types d'architectures : l'étude de l'algorithme du gradient conjugué sur des super calculateurs <br />(CRAY-XMP et IBM 3090-VF).

Cette thèse est consacrée à la catégorification d'invariants polynomiaux d'entrelacs et de graphes. Pour tout entier strictement positif n, Khovanov et Rozansky ont introduit en 2004 une homologie bigraduée d'entrelacs, ainsi qu'une homologie de graphes planaires. Etant donné n, leur homologie d'entrelacs catégorifie la n-ième spécialisation du polynôme d'entrelacs HOMFLYPT et leur homologie de graphes planaires catégorifie un polynôme de graphes associé. <br /><br />Dans cette thèse, on étudie ces homologies et on généralise leur construction en introduisant une graduation supplémentaire. Tout d'abord, on généralise une formule de Jaeger pour les polynômes d'entrelacs aux polynômes de graphes planaires, ainsi qu'à l'homologie de graphes planaires; on étend ensuite l'homologie d'entrelacs de Khovanov-Rozansky aux graphes plongés. Puis on construit une homologie trigraduée d'entrelacs. Cette homologie recouvre l'homologie bigraduée d'entrelacs de Khovanov et Rozansky. Enfin, on donne des exemples, des applications et des généralisations de l'homologie trigraduée d'entrelacs. On développe des outils d'algèbre homologique qui permettent de calculer explicitement l'homologie trigraduée d'entrelacs pour des exemples et on considère des déformations de l'homologie trigraduée d'entrelacs.

.

Ce travail présente l'étude d'une structure de données qui s'efface d'allier souplesse de représentation et de traitement lors de la traduction automatique. On montre la formalisation de la structure (un réseau) et de ses notions principales (sous-structures, ordres, etc), puis on passe a l'analyse de quelques transformations de la structure. On décrit l'implémentation d'un prototype réduit programme en PROLOG et enfin on donne des algorithmes pour une programmation plus efficace de prototype

.

Le modèle multigraphe. Les principales étapes et l'objectif du processus de conception de systèmes de bases de données. La transformation d'un ensemble de relations en une structure réseau de type SOCRATE ou CODASYL. La mise en œuvre à partir du modèle multigraphe du processus de transformation d'un ensemble de relation en une structure réseau en termes de SGDB actuels.

.

.

Les entreprises se focalisent de plus en plus sur les aspects organisationnels qui leur permettent de se structurer en processus complexes. ainsi, de nouveaux besoins apparaissent pour mieux définnir, coordonner et contrôler les équipes et les activités coopératives. L'objet de cette étude est la définition d'un cadre qui permette d'assister le travail coopératif en apportant aux acteurs une aide à la coopération et à l'activité de groupe. La définition de ce cadre s'inspire de la démarche d'amélioration de processus du CMM (Capability Maturity Model), repris par l'ISO 15504 (ISO SPICE). L'approche est décomposée en 4 axes qui correspondent aux actions progressives à mettre en oeuvre pour définir une organisation adéquate des activités coopératives. L'axe 1 concerne la structuration des activités : analyse des dépendances entre activités, regroupement et/ou décomposition en tâches, planification des groupes de travail. L'axe 2 concerne la caractérisation des activités en fonction des interactions dans les groupes de travail : définition des rôles interactionnels et gestion des interfaces entre groupes de travail. L'axe 3 concerne l'évaluation d'une organisation de travail en fonction du nombre d'itérations entre activités : estimation des durées, charges et coûts. L'axe 4 concerne l'optimisation d'une organisation de travail en fonction des résultats d'évaluation : mise en œuvre de différentes solutions d'organisation et d'exécution des activités. Des méthodes principalement issues de la théorie des graphes et des techniques de partitionnement et d'évaluation de performance sont proposées en support dans chaque axe. Un outil logiciel mettant en œuvre ces propositions a été développé. Il permet d'analyser, de décomposer et d'évaluer des processus complexes, ce qui en fait un support efficace pour l'aide à la décision en management, le contrôle dynamique des processus coopératifs, pour la définition et la reconfiguration d'architecture informatique ...