Enjeu majeur de santé publique, les maladies chroniques nécessitent souvent une approche multidisciplinaire et des contacts multiples entre le patient et le système de soins. La maîtrise de ce parcours, la trajectoire de soins, est un gage de qualité des soins, qualité de vie et d'efficience médico-économique. Pour maîtriser les trajectoires de soins, il faut les connaître. Or, à ce jour en France, aucun système d'information en santé à grande échelle n'est conçu pour décrire les trajectoires de soins, encore moins d'en établir une typologie. Malgré tout, d'énormes quantités de données sont produites chaque année par le système de soins. Dans ce travail, nous proposons un système d'analyse et de représentation des trajectoires de soins à partir de données récoltées à l'origine pour d'autres utilisations. Ce système est fondé sur l'Analyse Formelle de Concepts (AFC), une méthode de classification conceptuelle capable de découvrir des liens naturels dans les données d'un tableau binaire et de les représenter sous forme de treillis de concepts. Nous montrons les apports de l'AFC dans la compréhension du fonctionnement du système de soins et les perspectives en termes d'exploration des réseaux sociaux en général. Par ailleurs, nous étudions, combinons et comparons deux mesures d'intérêt pour réduire la complexité des grands treillis et sélectionner les connaissances les plus pertinentes : la stabilité et le support d'un concept. Dans un parallèle avec la recherche de motifs fréquents simple et séquentiels, nous proposons une méthode de classification non supervisée des trajectoires de soins qui présente d'intéressantes capacités de visualisation et d'interprétabilité.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Cette thèse porte sur l'exploitation des connaissances de domaine dans un processus de découvertes de sources de données biologiques sur le Web. Tout d'abord, des ensembles de métadonnées sont utilisés pour décrire le contenu et la qualité des sources de données. Ensuite, en s'appuyant sur ces métadonnées, les sources sont organisées dans un treillis de concepts en fonction de leurs caractéristiques communes. Le treillis de concepts constitue le support de la découverte de sources de données qui s'effectue de deux manières différentes et complémentaires : par navigation et par interrogation. Dans les deux cas la découverte de sources de données peut être guidée par des connaissances du domaine. Lors d'une découverte de sources de données par navigation, les connaissances sont utilisées soit pour réduire l'espace de recherche soit pour orienter la navigation vers des concepts sectionnés. Lors d'une découverte de sources de données par interrogation, les connaissances du domaine sont soit exprimées sous la forme de préférences entre métadonnées dans la requête soit utilisées pour l'enrichissement (ou reformulation) de la requête. Pour assurer une prise en compte des connaissances du domaine plus fidèle, nous avons introduit les treillis de concepts multivalués. L'organisation des sources de données sous la forme d'un treillis de concepts multivalués permet de contrôler la taille de l'espace de recherche et d'augmenter la flexibilité et les performances du processus de découverte dans ses deux modes. La navigation peut être effectuée dans des treillis de différents niveaux de spécialisation avec la possibilité d'effectuer des zooms dynamiques permettant le passage d'un treillis à l'autre. L'interrogation bénéficie d'une augmentation de l'expressivité dans les requêtes. / This thesis deals with knowledge-based biological data sources discovery. First, domain ontologies are used for encoding metadata describing the content of biological data sources. Then the data sources are organized into a concept lattice according to their common metadata. The data source discovery process can be performed either by navigation into the obtained concept lattice or by defining queries to be inserted into the concept lattice. In both cases, domain knowledge can be used to guide the discovery. In the case of navigation, domain knowledge is used to reduce the search space and/or to guide the navigation to some concepts rather than others. In the case of querying, domain knowledge is used to express preferences between the query keywords or to refine the query. In order to take more advantage of domain knowledge, we introduce many-valued concept lattices. Several many-valued concept lattices with different levels of precision can be built from the data sources metadata set based on domain knowledge. The use of such many-valued concept lattices allows to improve the discovery process in its both forms. In the case of navigation, it is possible to consider more than one lattice and to dynamically switch from one lattice to another in a zooming operation. In the case of querying, more complex expressive queries can be defined and inserted into the many-valued concept lattice.

Nous considérons un problème d'ordonnancement à une machine avec dates de fin impératives et nous cherchons caractériser l'ensemble des solutions optimales, sans les énumérer. Nous supposons que les travaux sont numérotés selon la règle EDD et que cette séquence est réalisable. La méthode consiste à utiliser le treillis des permutations et d'associer à la permutation maximale du treillis la séquence EDD. Afin de caractériser beaucoup de solutions, nous cherchons une séquence réalisable aussi loin que possible de cette séquence. La distance utilisée est le niveau de la séquence dans le treillis, qui doit être minimum (le plus bas possible). Cette nouvelle fonction objectif est étudiée. Quelques cas particuliers polynomiaux sont identifiés, mais la complexité du problème général reste ouverte. Quelques méthodes de résolution, polynomiales et exponentielles, sont proposées et évaluées. Le niveau de la séquence étant en rapport avec la position des travaux dans la séquence, de nouvelles fonctions objectifs en rapport avec les positions des travaux sont identifiées et étudiées. Le problème de la minimisation de la somme pondérée des positions des travaux est prouvé fortement NP-difficile. Quelques cas particuliers sont étudiés et des méthodes de résolution proposées et évaluées. / We consider a single machine scheduling problem with deadlines and we want to characterise the set of optimal solutions, without enumerating them. We assume that jobs are numbered in EDD order and that this sequence is feasible. The key idea is to use the lattice of permutations and to associate to the supremum permutation the EDD sequence. In order to characterize a lot of solutions, we search for a feasible sequence, as far as possible to the supremum. The distance is the level of the sequence in the lattice, which has to be minimum. This new objective function is investigated. Some polynomially particular cases are identified, but the complexity of the general case problem remains open. Some resolution methods, polynomial and exponential, are proposed and evaluated. The level of the sequence being related to the positions of jobs in the sequence, new objective functions related to the jobs positions are identified and studied. The problem of minimizing the total weighted positions of jobs is proved to be strongly NP-hard. Some particular cases are investigated, resolution methods are also proposed and evaluated.

La technologie de fabrication additive métal fil permet la fabrication de structures filaires complexes en 3 dimensions. Ce système se base sur l'utilisation d'un procédé de soudage qui va permettre le dépôt de la matière. Ce dernier est embarqué sur un bras robotique qui permettra de déplacer la torche de soudage aux positions désirées. Pour fabriquer de grandes structures filaires, le dépôt s'effectue point par point. L'utilisation d'un procédé de soudage induit des fluctuations sur le dépôt. Pour être adaptable facilement, deux aspects doivent être pris en compte. Premièrement, une instrumentation doit être embarquée. Un contrôle local sur la géométrie déposée doit être utilisé pour atteindre les formes finales désirées. Deuxièmement, certaines stratégies de dépôt doivent êtres implémentées pour piloter notre système dans les intersections de branches. Pour atteindre ces deux objectifs, un slicer adaptatif et modulaire, ainsi qu'un système de supervision et de contrôle du système ont été développés pour permettre l'implémentation du contrôle. Cela permet, si une erreur apparait, de changer la position de notre système de dépôt. Pour obtenir la géométrie désirée, notre système de supervision et de contrôle doit pouvoir : (i) effectuer un slicing de la géométrie à la volée lors de la fabrication avec un pas variable pour pouvoir prendre en compte les variations du procédé de dépôt et (ii) gérer les stratégies de dépôt au niveau des intersections pour décider des paramètres procédés et des trajectoires à employer. / Wire Arc Additive Manufacturing (WAAM) has the possibility to build metallic structures in 3D space. WAAM system is based on welding process to deposit metallic material and on a robot that moves the welding torch to add material at a given position. For large skeleton structures, it was chosen to deposit material point by point. Welding process induces fluctuations.To be fully scalable, two main features must be taken into account. First, monitoring of the process is necessary. Local control on the geometry of the deposition must be used to reach the final shape. Secondly, some deposition strategies must be implemented to manage branch intersections. To reach these two objectives, anadaptive and modular slicer and a process manager have been developed in order to implement this control. It allows us, if an error occurs during the deposition, to change the position of the effector or the process parameters. To obtain the desired geometry, the CAM software have to be able to, (i) do a slicing during the additive process of the part with a variable deposit height in order to take into account variation of the deposition process and (ii) manage the deposition strategy at intersection to output the position of the torch.

L'ensemble de toutes les congruences d'une algèbre, ordonné par inclusion, est un treillis algébrique (Birkhoff), ses éléments compacts sont les congruences finiment engendrées ; elles forment un demi-treillis. Un demi-treillis est relevable dans une variété V s'il est isomorphe au demi-treillis des congruences compactes d'une algébre de V. Les travaux de Wehrung sur CLP, ainsi que ceux de Ploščica, illustrent que même pour une variété d'algèbres facile à décrire, comme la variété de tous les treillis, ou une variété finiment engendrée, la caractérisation des demi-treillis relevables est difficile. Le point critique entre deux variétés V et W est le plus petit cardinal d'un demi-treillis relevable dans V mais pas dans W.<br /><br />Nous introduisons un outil, de nature catégorique, donnant des liens entre les relèvements de diagrammes de demi-treillis et les relèvements de demi-treillis dans une variété donnée. Nous montrons que si V et W sont des variétés finiment engendrées de treillis telles que W ne relève pas tous les demi-treillis relevés par V, alors le point critique entre V et W est soit fini, soit un aleph d'indice fini. Nous trouvons deux variétés finiment engendrées de treillis modulaires dont le point critique est aleph un, ce qui infirme une conjecture posée par Tůma et Wehrung.<br /><br />Nous prouvons, en utilisant la théorie des anneaux réguliers de von Neumann et la théorie du monoïde de dimension d'un treillis, que le point critique entre des variétés engendrées par des treillis de sous-espaces vectoriels d'espaces vectoriels de même dimension finie sur des corps finis est au moins aleph 2. Nous prouvons l'égalité pour les dimensions 2 et 3.

Etude de l'algèbre des relations en vue d'applications aux bases de données. Choix d'une formalisation générale; opérations de projection, recopie-projection, produit. Etude d'une décomposition simple et d'une décomposition généralisée

La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines). On donne les solutions des équations de domaines dans des domaines universels, en utilisant le formalisme des connexions de Galois. Ensuite, on aborde le probleme de la satisfaction des axiomes qui font partie de la définition des types abstraits génériques, en présentant ainsi une sémantique pour ce nouveau concept des langages de programmation

DANS MON TRAVAIL DE THESE JE M'INTERESSE A LA MODELISATION GEOMETRIQUE, MECANIQUE ET NUMERIQUE DU MYOCARDE. LA PARTIE GEOMETRIQUE CONSISTE A VERIFIER UNE CONJECTURE SELON LAQUELLE LES FIBRES MYOCARDIQUES COURENT COMME DES GEODESIQUES SUR DES SURFACES EMBOITEES. POUR CELA, LES TRAJECTOIRES ET LES SURFACES DE FIBRES ONT ETE IDENTIFIEES. DANS LA PARTIE MECANIQUE, NOUS AVONS ETABLI UNE NOUVELLE LOI DE COMPORTEMENT MACROSCOPIQUE DU MYOCARDE PAR UNE TECHNIQUE D'HOMOGENEISATION DISCRETE A PARTIR DE LA DESCRIPTION MICROSCOPIQUE DE L'ARRANGEMENT DES CELLULES CARDIAQUES ET DE LEUR COMPORTEMENT MECANIQUE INDIVIDUEL. CETTE LOI DE COMPORTEMENT PREND EN COMPTE LA STRUCTURE FIBREUSE. DE PLUS, NOUS AVONS APPLIQUE NOTRE METHODE D'HOMOGENEISATION AUX NANOTUBES DE CARBONE.