Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Cette thèse contient essentiellement deux chapitres principaux qui ont en commun de porter sur ce que l'on appelle en géométrie de Poisson les chemins cotangents. Dans le premier chapitre, nous introduisons pour chaque hamiltonien, un lagrangien sur les chemins à valeurs dans l'espace cotangent dont les points stationnaires indiquent si le champ de bivecteur est de Poisson ou au moins définit une distribution intégrable - une classe de champs de bivecteurs qui généralise les structures de Poisson tordus que nous étudions en détail. Nous traitons dans le deuxième chapitre d'un autre résultat classique à propos des chemins cotangents, dû à Klimčík, Strobl et étudiée par Cattaneo et Felder. Un bivecteur sur une variété $M$ est de Poisson si et seulement si l'ensemble $C_pi$ des chemins cotangents pour $pi$ est co"{i}sotrope dans la variété symplectique des chemins à valeurs dans $T^*M$. Notre but dans le deuxième chapitre est de reprendre la caractérisation des bivecteurs de Poisson, en travaillant avec des fonctions locales sur l'ensemble des chemins lisses, pour lesquels l'utilisation d'une variété de Banach peut être évitée. Ceci permet d'étendre au cas périodique / In this thesis, we study cotangents paths. In chapter 1 we introduce for every Hamiltonian a Lagrangian on paths valued in the cotangent space whose stationary points projects onto Hamiltonian vector fields. We show that the remaining components of those stationary points tell whether the bivector field is Poisson or at least defines an integrable distribution - a class of bivector fields generalizing twisted Poisson structures that we study in detail. In chapter 2, we establish a local function version of a result due to Klimčík and Strobl then Cattaneo and Felder claiming that a bivector field on a manifold $M$ is Poisson if and only if cotangent paths form a coisotropic submabifold of the infinite dimensional symplectic manifold of paths valued in $T^*M$. Our purpose in chapter 2 is to prove this result without using the Banach manifold setting used by Cattaneo and Felder, which fails in the periodic case because cotangent loops do not form a Banach sub-manifold. Instead, we use local functions on the path space, a point of view that allows to speak of a coisotropic set

La spécification de requêtes est généralement une tâche difficile pour les utilisateurs non-experts. Le problème devient encore plus difficile quand les utilisateurs ont besoin d'interroger des bases de données de grande taille et donc difficiles à visualiser. Le schéma pourrait aider à cette spécification, mais celui-ci manque souvent ou est incomplet quand les données viennent de sources hétérogènes. Dans cette thèse, nous abordons le problème de la spécification de requêtes pour les utilisateurs non-experts. Nous identifions deux approches pour attaquer ce problème : apprendre les requêtes à partir d'exemples ou transformer les données dans un format plus facilement interrogeable par l'utilisateur. Nos contributions suivent ces deux directions et concernent trois modèles de données parmi les plus populaires : XML, relationnel et orienté graphe. Cette thèse comprend deux parties, consacrées à (i) la définition et la transformation de schémas, et (ii) l'apprentissage de schémas et de requêtes. Dans la première partie, nous définissons des formalismes de schémas pour les documents XML non-ordonnés et nous analysons leurs propriétés computationnelles; nous étudions également la complexité du problème d'échange de données entre une source relationnelle et une cible orientée graphe. Dans la deuxième partie, nous étudions le problème de l'apprentissage à partir d'exemples pour les schémas XML proposés dans la première partie, ainsi que pour les requêtes de jointures relationnelles et les requêtes de chemins sur les graphes. Nous proposons notamment un scénario interactif qui permet d'aider des utilisateurs non-experts à définir des requêtes dans ces deux classes. / Specifying a database query using a formal query language is typically a challenging task for non-expert users. In the context of big data, this problem becomes even harder because it requires the users to deal with database instances of large size and hence difficult to visualize. Such instances usually lack a schema to help the users specify their queries, or have an incomplete schema as they come from disparate data sources. In this thesis, we address the problem of query specification for non-expert users. We identify two possible approaches for tackling this problem: learning queries from examples and translating the data in a format that the user finds easier to query. Our contributions are aligned with these two complementary directions and span over three of the most popular data models: XML, relational, and graph. This thesis consists of two parts, dedicated to (i) schema definition and translation, and to (ii) learning schemas and queries. In the first part, we define schema formalisms for unordered XML and we analyze their computational properties; we also study the complexity of the data exchange problem in the setting of a relational source and a graph target database. In the second part, we investigate the problem of learning from examples the schemas for unordered XML proposed in the first part, as well as relational join queries and path queries on graph databases. The interactive scenario that we propose for these two classes of queries is immediately applicable to assisting non-expert users in the process of query specification.

La segmentation des structures vasculaires dans les images médicales est une étape complexe mais fondamentale pour l'aide au diagnostic et au traitement. Dans ce contexte, les techniques de traitement d'images facilitent la tâche des experts médicaux en minimisant les interactions manuelles tout en réduisant la variabilité inter-opérateurs. Nous présentons tout d'abord un état de l'art des méthodes de segmentation vasculaire 3D organisé suivant trois axes: modèles géométriques et d'apparence, primitives extraites des images et schémas d'extraction. Nos travaux se focalisent sur une problématique particulièrement complexe, la segmentation des artères coronaires en imagerie tomodensitométrique 3D. Nous proposons un modèle géométrique axial, évalué dans l'image grâce à une primitive fondée sur le flux de gradient à fort pouvoir discriminant et faible coût calculatoire. Nous dérivons ensuite un modèle bayésien récursif appris de façon non paramétrique sur une base de segmentations manuelles. Nous proposons enfin deux schémas d'extraction. Le premier met en œuvre une procédure d'optimisation discrète sur graphe fondée sur la propagation de chemins minimaux 4D (position spatiale 3D de l'axe vasculaire plus rayon associé). Il exploite une nouvelle métrique cumulative dérivée de notre modèle bayésien. Notre deuxième schéma repose sur une approche de suivi stochastique par méthode de Monte-Carlo séquentielle estimant la distribution a posteriori de notre modèle bayésien. Une attention particulière est donnée à la robustesse et l'efficacité calculatoire de nos algorithmes. Ceux-ci sont évalués qualitativement et quantitativement sur une base de données cliniques de grande taille.

Le test structurel est généralement limité aux test unitaires et basé sur une définition claire de la couverture du code. En particulier, le critère tous-les-chemins, qui requiert au moins un cas de test par chemin faisable, est reconnu comme offrant un haut niveau de confiance dans les test effectués. Ce document traite des difficultés de l'utilisation de ce type de test sur des fonctions composées d'appels à d'autres fonctions. Pour limiter l'explosion combinatoire du nombre de chemins résultant d'un traitement "inlining", nous choisissons d'abstraire les fonctions appelées par leurs spécifications. Nous incluons les informations fonctionnelles des fonctions appelées aux informations structurelles de la fonction appelante données sous forme de graphe de flot de contrôle. Cette représentation fonctionnelle et structurelle peut être vue comme une extension du CFG classique ce qui nous permet de définir de nouveaux critères de couverture assurant le maintien de la couverture complète de la fonction appelante tout en limitant au maximum le nombre de cas de test nécessaires.

Ce travail de thèse propose quelques applications du formalisme des plus courts chemins à la segmentation de structures anatomiques dans des images médicales issues de modalités diverses.

Diss.--Universität München, 1991. / Bibliogr. p. 578-672.

Texte remanié de: Thèse de doctorat--Science politique--Paris--Institut d'études politiques, 2005. Titre de soutenance : La naissance d'une coordination syndicale européenne : les mobilisations sociales dans le secteur des transports ferroviaires et routiers. / Bibliogr. p. 283-293.