Les consommables (médicaments, poches nutritives, ...) et les matériels à usage unique (instruments de suture, seringues, gants, ...) constituent un des flux les plus important en fréquence et en valeur dans les établissements hospitaliers. La maîtriser de leur approvisionnement vis-à-vis des besoins des services hospitaliers, définit un enjeu de sécurité des patients et de contrôle des coûts issus de leur stockage ainsi que de leur péremption. La problématique rencontrée pose plusieurs questions d'ordre stratégique. Comment peut-on dimensionner les flux des activités d'une pharmacie d'hôpital ? L'organisation actuelle de la chaîne et des zones de stockages des produits pharmaceutiques est-elle conforme aux meilleures pratiques dans le secteur hospitalier ? Dans la négative, quelle organisation doit-on chercher ? La gestion des approvisionnements et des stocks à la pharmacie d'établissement ainsi que dans les services de soins, est-elle optimale ? Pour répondre à ces questions dans le cadre de notre mémoire de thèse, nous avons structuré notre travail en deux parties. La recherche d'une méthodologie d'investigation basée sur un état des connaissances, et sur application sur la pharmacie d'établissement du CHU de la Croix-Rousse. Ces travaux nous ont permis de démontrer que des méthodes d'analyse et outils de résolution issus du manufacturier peuvent être appliqués au domaine hospitalier.

In this thesis, we focus on "structural information" in computer graphics, that is the information concerning the structure of 3D objects or scenes. More specifically, we define structural information as a two-scale notion, namely the object and the scene levels and propose a way of structuring 3D Geometry at both levels using the information of symmetry and instancing. In the first part of this thesis, we propose an original method to structure the geometry at the object level based on the information of symmetry. Inspired by the work on principal component analysis, we introduce for this purpose the generalized moment functions of a 3D shape. From the symmetry information that we have computed on the objects of the scene, we present in the second part of this thesis an approach to represent an unstructured 3D scene as a hierarchy of instances adapted to common tasks such as rendering or geometry editing.

La détection de piéton est un problème récurrent depuis de nombreuses années. La principale confrontation est liée à la grande variabilité du piéton en échelle, posture et apparence. Un algorithme efficace de reconnaissance de formes doit donc être capable d'affronter ces difficultés. En particulier, le choix d'une représentation pertinente et discriminante est un sujet difficile à résoudre. Dans notrre cas, nous avons envisagé deux approches. La première consiste à représenter la forme d'un objet à l'aide de graphes étiquetés. Selon les étiquettes apportées, le graphe possède en effet des propriétés intéressantes pour résoudre les problèmes de variabilité de taille et de posture. Cette méthode nécessite cependant une segmentation rigoureuse au préalable. Nous avons ensuite étudié une représentation constituée d'histogrammes locaux d'orientation de gradient. Cette méthode présente des résultats intéressants par ses capacités de généralisation. L'application de cette méthode sur des images infrarouges complètes nécessite cependant une fonction permettant d'extraire des fenêtres dans l'image afin d'analyser leur contenu et vérifier ainsi la présence ou non de piétons. La deuxième étape du processus de reconnaissance de formes concerne l'analyse de la représentation des données. Nous utilisons pour cela le classifieur Support Vector Machine bâti, entre autres, sur une fonction noyau calculant le produit scalaire entre les données support et la donnée évaluée. Dans le cas des graphes, nous utilisons une formulation de noyau de graphes calculé sur des "sacs de chemins". Le but consiste à extraire un ensemble de chemins de chaque graphe puis de comparer les chemins entre eux et combiner les comparaisons pour obtenir le noyau final. Pour analyser les histogrammes de gradient, nous avons étudié différentes formulations permettant d'obtenir les meilleures performances avec cette représentation qui peut être assimilée à une distribution de probabilités.

Cette thèse étudie comment l'intégration du calcul dans les démonstrations peut les simplifier. Nous nous intéressons pour cela à la déduction modulo et à la surdéduction, deux formalismes proches dans lesquels le calcul est incorporé dans les démonstrations via un système de réécriture. Pour améliorer la recherche mécanisée de démonstration, nous considérons trois critères de simplicité.<br /><br />L'admissibilité des coupures permet de restreindre l'espace de recherche des démonstrations, mais elle n'est pas toujours assurée en déduction modulo. Nous définissons une procédure qui complète le système de réécriture pour, au final, admettre les coupures. Au passage, nous montrons comment transformer toute théorie pour l'intégrer à la partie calculatoire des démonstrations.<br /><br />Nous montrons ensuite comment la déduction modulo permet de réduire arbitrairement la taille des démonstrations, en transférant des étapes de déduction dans le calcul. En particulier, nous appliquons ceci à l'arithmétique d'ordre supérieur pour démontrer que les réductions de taille qui sont possibles en augmentant l'ordre dans lequel on se place disparaissent si on travaille en déduction modulo. <br /><br />Suite à ce dernier résultat, nous avons recherchés quels sont les systèmes d'ordre supérieur pouvant être simulés au premier ordre, en déduction modulo. Nous nous sommes intéressés aux systèmes de type purs et nous montrons comment ils peuvent être encodés en surdéduction, ce qui offre de nouvelles perspectives concernant leur normalisation et la recherche de démonstration dans ceux-ci. Nous développons également une méthodologie qui permet d'utiliser la surdéduction pour spécifier des systèmes de déduction.

Le cadre de ce travail est l'étude coordonnée de lois de contrôle et d'ordonnancement. Le premier objectif est de proposer et évaluer une approche de contrôle de la dégradation de la Qualité de Contrôle (QdC) par rejet sélectif d'instances de tâches ou de messages selon le<br />modèle (m,k)-firm. Plus particulièrement, nous avons étudié l'impact de distribution de rejets sur la QdC d'une boucle de contrôle et, sur la base des résultats obtenus, nous avons spécifié une méthode de co-conception permettant de déterminer les paramètres (gain) optimaux de la loi de contrôle et les paramètres de la contrainte (m,k)-firm spécifiant le rejet sélectif d'instances. Cette proposition a été validée sur modèles à l'aide de techniques analytiques, par simulation ainsi que grâce à des expérimentations. Notre deuxième objectif est d'étudier le problème de l'ordonnancement d'un ensemble de tâches temps réel réalisant chacune les algorithmes de contrôle dans une application centralisée évolutive. Nous proposons un mécanisme d'ordonnancement qui ajuste en ligne les contraintes<br />(m,k)-firm des tâches suivant la configuration courante de l'application de manière à ce qu'un critère reflétant la performance globale de l'application soit optimal à tout instant.

L'instrumentation de la supervision passe par la compréhension de son utilité et de sa faisabilité. Les indicateurs fournissent au tuteur des informations lui permettant de réguler les activités d'apprentissage au niveau Cognitif, Pédagogique, Social et Technique. Cette thèse se propose de répondre aux questions portant sur l'identification des types d'indicateurs utiles à chaque rôle de régulation du tuteur et sur la proposition d'une méthodologie permettant de réutiliser un ensemble d'indicateurs, de ces types, dans un environnement de supervision.<br />Le modèle CAS de supervision propose une taxonomie permettant au tuteur d'avoir une perception de l'activité d'apprentissage. Une enquête auprès de tuteurs en ligne a montré que les indicateurs Cognitifs permettent de jouer des rôles pédagogique et cognitif, les indicateurs Sociaux le rôle social. L'utilité des indicateurs d'Activité (Parcours et Technique) n'en est pas clairement ressortie. L'enquête révèle également un besoin de personnalisation de la supervision. <br />A la problématique d'instrumentation de la réutilisation, nous répondons en proposant un formalisme de Patron d'Indicateur Réutilisable qui permet de capitaliser les savoir-faire en terme de définition d'indicateur, ainsi qu'une Architecture Multi-Agent Ouverte permettant de les réutiliser dans de nouveaux contextes de supervision. Ces savoir-faire, modélisés en termes de fonction, peuvent dans l'architecture proposée se déployer et se combiner pour informer le tuteur sur l'activité d'apprentissage. Les opérations d'Agrégation et de Composition sont définies sur les fonctions «indicateur». L'environnement EM-AGIIR, implémentant l'architecture proposée est ouvert, évolutif et permet au tuteur de personnaliser son activité de supervision. Un ensemble d'indicateurs sur les traces du projet MATES du réseau européen Kaleidoscope y ont été réutilisés.

L'arbitrage est une étape essentielle du processus de gestion de l'évolution d'une organisation et de son système d'information, en particulier lors des études d'Urbanisme du SI. Le but de la méthode NENO est de fournir une assistance aux décideurs lors de la réalisation d'arbitrages dans ce contexte. L'arbitrage induit un processus de priorisation qui s'applique à de très grands ensembles d'exigences. Les approches de priorisation classiques en « requirement engineering » sont toutes confrontées à un problème de scalabilité lié au fait qu'elles considèrent les exigences individuellement. La multiplicité des alternatives et des critères de décisions présentés aux décideurs ne permet pas l'application des techniques classiques.<br />La méthode NENO consiste au contraire à regrouper les exigences (représentées sous la forme de buts fonctionnels) de manière à offrir qu'un nombre restreint d'alternatives aux décideurs. Ces regroupements effectués sont conformes aux dépendances entre buts, et s'exercent à différents niveaux d'abstraction. Conformément à la pratique au sein des organisations, les critères de décisions sont représentés sous la forme d'objectifs métiers que celles-ci doivent atteindre à moyen et long terme. Les buts sont individuellement évalués par des experts métier quant à leur faculté à satisfaire tout ou partie des objectifs métiers. Le recueil des évaluations est participatif, progressif et qualitatif. Un ensemble d'algorithmes permet de transposer et agréger les évaluations qualitatives en résultats quantitatifs dans le but de présenter les résultats sous la forme de priorités.

La nature de sources d'information évolue, et les documents numériques<br />traditionnels ” plats ” ne contenant que du texte s'enrichissent d'information<br />structurelle et multimédia. Cette ´évolution est accélérée par l'expansion du<br />Web, et les documents semi-structurés de type XML (eXtensible Markup Language)<br />tendent à former la majorité des documents numériques mis à disposition<br />des utilisateurs. Le développement d'outils automatisés permettant un<br />accès efficace à ce nouveau type d'information numérique apparaît comme une<br />nécessité. Afin de valoriser au mieux l'ensemble des informations disponibles,<br />les méthodes existantes de Recherche d'Information (RI) doivent être adaptées.<br />L'information structurelle des documents peut en effet servir à affiner le concept<br />de granule documentaire. Le but pour les Systèmes de Recherche d'Information<br />(SRI) est alors de retrouver des unités d'information (et non plus de documents)<br />pertinentes à des requêtes utilisateur. Afin de répondre à cette problématique<br />fondamentale, de nouveaux modèles prenant en compte l'information structurelle<br />des documents, tant au niveau de l'indexation, de l'interrogation que de<br />la recherche doivent être construits.<br />L'objectif de nos travaux est de proposer un modèle permettant d'effectuer des<br />recherches flexibles dans des corpus de document semi-structurés. Ceci nous<br />a conduit à proposer le mod`ele XFIRM (XML Flexible Information Retrieval<br />Model ) reposant sur : (i) Un modèle de représentation des donn´ees générique,<br />permettant de modéliser des documents possédant des structures différentes ;<br />(ii) Un langage de requête flexible, permettant à l'utilisateur d'exprimer son<br />besoin selon divers degrés de précision, en exprimant ou non des conditions<br />sur la structure des documents ; (iii) Un modèle de recherche bas´ee sur une<br />m´ethode de propagation de la pertinence. Ce modèle a pour but de trouver les<br />unités d'information les plus exhaustives et spécifiques répondant à une requête<br />utilisateur, que celle-ci contienne ou non des conditions de structure. Les documents<br />semi-structurés peuvent être représentés sous forme arborescente, et<br />le but est alors de trouver les sous-arbres de taille minimale répondant à la<br />requête. Les recherches sur le contenu seul des documents sont effectuées en<br />prenant en compte les importances diverses des feuilles des sous-arbres, et en<br />plaçant ces derniers dans leur contexte, c'est à dire, en tenant compte de la<br />pertinence du document. Les recherches portant à la fois sur le contenu et la<br />structure des documents sont effectuées grâce à plusieurs propagations de pertinence<br />dans l'arbre du document, et ce afin d'effectuer une correspondance<br />vague entre l'arbre du document et l'arbre de la requête.<br />L'´evaluation de notre modèle, grâce au prototype que nous avons d´eveloppé,<br />montre l'intérêt de nos propositions, que ce soit pour effectuer des recherches<br />sur le contenu seul des documents que sur le contenu et la structure.

Ce travail présente des contributions théoriques et pratiques à la théorie des codages symboliques de systèmes dynamiques. Les applications concernent différents champs mathématiques et la modélisation en biologie moléculaire. Le but est d'illustrer comment des méthodes de discrétisation de systèmes dynamiques et une approche algorithmique permettent d'exploiter au mieux les connaissances disponibles sur le système, même partielles. Un premier objectif est d'exhiber des informations au sujet d'une dynamique que l'on connaît explicitement et les traduire en propriétés concrètes. Un deuxième objectif est de produire de la connaissance sur une dynamique ou un modèle lorsqu'on ne le connaît pas explicitement.Dans ce document, ces deux questions sont abordées sur deux grandes classes de systèmes dynamiques. <br /><br />Les premiers systèmes considérés sont des automorphismes et des translations sur un tore. Inspirés par les cas unidimensionnels (beta-numération, étude des suites sturmiennes), la question principale qui se pose est de trouver un domaine fondamental pour le tore dans lequel les trajectoires de la dynamique considérée se codent par des systèmes symboliques simples. Dans le cas où l'automorphisme du tore considéré admet une unique direction dilatante (le cas Pisot), un bon candidat pour ces partitions est donné par un domaine dont la base est fractale, introduit par G. Rauzy dans les années 1980. Nous décrivons comment une approche décidable pour décrire le bord fractal du domaine et ses propriétés de pavage, permet de s'assurer qu'il s'agit d'un domaine adéquat pour un codage du l'automorphisme. La description du bord du domaine permet de décrire ses propriétés topologiques, et de les exploiter dans les différents domaines d'informatique théorique où les automorphismes et les additions sur un tore apparaissent. Ainsi, en théorie des nombres, nous nous appuyons sur la topologie du domaine pour caractériser les propriétés des développements finis ou purement périodiques de rationnels en base non entière. En géométrie discrète, ces propriétés s'interprètent en termes de conditions pour l'engendrement de plans discrets par des méthodes itératives. <br /><br />La deuxième classe de systèmes concerne les systèmes dynamiques de grande échelle en biologie moléculaire. Il s'avère que les données et les connaissances sur les modèles de régulations transcriptionnelles dans une cellule sont souvent trop partielles pour leur appliquer les méthodes usuellement utilisées pour la modélisation de systèmes expérimentaux. Dans ce document, nous discutons d'un formalisme (inspiré par la dynamique) qui permet d'interpréter les observations en biologie moléculaire, pour aider à la correction de modèles, et, dans le futur, à la mise en place de plans expérimentaux. Au vu de la qualité des données, les aspects dynamiques sont alors remplacés par des considérations sur les déplacements d'états stationnaires, et analyser les données revient à formaliser puis résoudre des contraintes portant sur des ensembles discrets. Nous montrons ainsi comment aborder les notions de corrections de modèles et de diagnostic de réseaux grande échelle.

Le cadre général de nos travaux porte sur la recherche d'information (RI), domaine déjà ancien (début des années 60), qui n'a cessé d'évoluer dans le but de rationaliser le processus complexe permettant l'identification, au sein de volumes de plus en plus importants d'informations, celles qui sont potentiellement intéressantes pour l'utilisateur. Cette évolution a été tout d'abord marquée par l'ère, plus connue sous le nom de RI orientée-système, des approches formelles et modèles théoriques permettant l'accès à l'information, assujetties à des méthodologies d'évaluation de leur efficacité. Un des courants de recherche ayant marqué l'ère suivante, est véhiculé par la vision de la RI orientée contexte, qui a essentiellement recentré la conception des SRI autour de l'utilisateur et de son environnement. Les travaux ont se sont alors particulièrement intéressés à l'interprétation du besoin en information dans le cadre d'une tâche ou d'une situation, de l'interdépendance des éléments de l'environnement de l'utilisateur et leur impact sur sa perception de la pertinence. Nos travaux s'inscrivent précisément dans le courant de cette évolution de la RI orientée système vers la RI contextuelle, visant l'adaptation du processus de recherche d'information pour des utilisateurs spécifiques. Cette spécificité porte d'une part sur l'utilisateur, qui est au centre de l'activité de recherche d'information et d'autre part sur le contexte de cette activité, caractérisé par des dimensions relevant de choix que nous avons effectués. Nos contributions portent sur deux principaux volets. Le premier volet concerne la spécification et formalisation d'un modèle adaptatif/contextuel (marqué par l'évolution de nos objectifs) d'accès à l'information, plus précisément de type texte. Ces travaux se déclinent par des investigations diverses, focalisées sur la clarification et formalisation des besoins en information de l'utilisateur, de la modélisation du contexte de recherche puis de son intégration dans le modèle d'accès à l'information. Ensuite, comme un modèle n'est viable que lorsqu'il est reconnu efficace selon des normes et méthodologies d'évaluation reconnues, nous nous sommes intéressés, dans un second volet, à la définition d'un cadre d'évaluation permettant la validation de nos contributions dans le domaine.