Este trabalho, utilizando-se de metodologia colaborativa, apresenta estudo exploratório sobre saberes informacionais de alunos ingressantes do curso de Biblioteconomia, da Escola de Comunicações e Artes da Universidade de São Paulo, que cursaram a disciplina \"Fundamentos de Biblioteconomia, Documentação e Ciência da Informação no primeiro semestre de 2008. O estudo constou de acompanhamento da preparação e da apresentação de seminários pelos grupos de alunos. A pesquisa permitiu verificar que a maioria dos estudantes possui domínio de alguns saberes informacionais, mas que, em geral, estes não orgânica e suficientemente desenvolvidos, tendo em vista exigências da construção de conhecimentos acadêmicos solidamente fundamentados. Além de concluir sobre a importância do apoio dado pelo pesquisador/mediador ao grupo, o trabalho concluiu também que os saberes informacionais são de ordem relacional e sua apropriação envolve, em permanente e complexa dinâmica, não apenas habilidades e competências, mas especialmente atitudes e valores frente ao conhecimento. / This research utilizes a collaborative methodology to present an exploratory study about information knowledge of students enrolling in the biblioteconomy course at the School of Comunication an Arts (Escola de Comunicações de Artes) of the University of São Paulo and who had already studied the discipline \"The Fundamentals of Biblioteconomy, Documentation and Information Science\" (Fundamentos de Biblioteconomia, Documentação e Ciência da Informação) during the first semester of 2008. The research consisted in monitoring the preparation and presentation of seminary by the students groups. The research permitted the verification that most students had some informational knowledge dominance, but in general, the knowledge is not actively and sufficiently developed, considering the requirements of construction of solidy founded academic knowledge. Besides concluding about the importance of the support offered to the group by the researcher/facilitator, on the other hand, it also concludes that informational knowledge is relational and its appropriation, in permanent and complex dynamic, not only involves abilities and competencies, but also the overall knowledge attitudes and values.

La planification automatique des traitements de radiothérapie n´ecessite un calcul très rapide de la dose délivrée au patient. Nous proposons de réaliser ce calcul en segmentant le fantôme du patient en mailles homogènes, et en associant aux mailles des projections vers des distributions précalculées en milieux homogènes, ainsi que des pondérations gérant les hétérogénéités. Le calcul de dose se fait en deux étapes. La première étape concerne les mailles : les projections et pondérations y sont paramétrées en fonction de critères physiques et géométriques. La seconde étape concerne les voxels : la dose y est calculée en évaluant les fonctions préalablement associées à leur maille. Cette méthode est très rapide, notamment quand le nombre de points d'intérêt est limité (quelques centaines), les résultats étant dans ce cas obtenus en moins d'une seconde. Avec de telles performances, la planification automatique des traitements de radiothérapie devient parfaitement envisageable.

La fusion d'informations est une discipline dont on retrouve des applications dès lors qu'il est nécessaire de regrouper des informations potentiellement imprécises ou incertaines. Initialement réalisée de façon mentale, la fusion d'informations nécessite à présent une mise en œuvre sur un support d'exécution informatisé, dénommé système de fusion, dont les évolutions technologiques ont guidée la répartition des ressources selon des contraintes géographiques, physiques et de sécurité. Cette thèse présente une étude du contrôle des systèmes répartis de fusion d'informations. Elle propose notamment un système de contrôle capable d'adapter l'utilisation des ressources disponibles au processus de fusion (PF) mis en œuvre, assez générique pour permettre l'expression des modèles de fusion basés sur des graphes de flot de données. Cinq tâches de contrôle sont dédiées à l'accomplissement d'un sous-objectif: la recherche d'une répartition des éléments du PF, le déploiement effectif d'un PF sur un ensemble variable de ressources réparties, l'analyse des performances du système, la surveillance du système pour détecter l'ajout de ressources,ou les occurrences d'erreurs et le déclanchement d'une modification de la répartition, soit pour en améliorer les performances, soit pour maintenir l'exécution du processus. L'ensemble du système de contrôle tire profit des ressources réparties par un mécanisme bio-inspiré, dans lequel la place de chaque agent est guidée par sa puissance de calcul. A titre expérimental, un système de fusion d'informations nommé eZFusion, implémentant les tâches de déploiement et d'analyse des performances, a été réalisé sur un réseau de plate-formes OSGI.

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 ontologies de domaine sont utilisées pour représenter un ensemble de connaissances qui reflètent le contenu et la qualité des sources de données. Ensuite, en s'appuyant sur ces connaissances, les sources sont organisées dans un treillis de concepts en fonction de leurs caractéristiques communes. Le treillis de concept constitue le support de la découverte qui peut être effectuée de deux manières différentes et complémentaires : par navigation et par interrogation. Dans les deux cas la découverte peut être guidée par des connaissances de domaines. Lors d'une découverte par navigation, les connaissances sont utilisées soit pour réduire l'espace de recherche soit pour orienter la navigation vers des concepts plutôt que d'autres. Lors d'une découverte par interrogation les connaissances de domaine sont soit exprimées sous la forme de préférences entre mots clés dans la requête soit utilisées pour l'enrichissement (ou reformulation) de la requête. Pour assurer une meilleure prise en compte des connaissances de domaine nous avons introduit les treillis de concepts multivalués. L'organisation des sources 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 précision 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.

Notre travail de recherche concerne l'étude du diagnostic à base de modèles pour les systèmes temporisés et pour une sous-classe de systèmes dynamiques hybrides. Nous avons d'abord développé une méthode de diagnostic basée sur la compilation hors-ligne d'un diagnostiqueur à partir du modèle automate temporisé du système à diagnostiquer. Une méthode systématique permettant la vérification de la diagnosticabilité du modèle utilisé est ensuite donnée. Nous avons ensuite proposé une méthode de diagnostic pour une sous-classe de systèmes dynamiques hybrides modélisés par des automates hybrides rectangulaires. Cette méthode repose sur l'utilisation d'une procédure de diagnostic en-ligne qui estime l'état courant du système ainsi que les occurrences des défauts non-observables. Enfin, nous avons proposé une méthode de vérification de la diagnosticabilité du langage temporisé accepté par un automate hybride rectangulaire vérifiant les hypothèses considérées dans notre travail.

Cette thèse d'informatique s'inscrit dans le domaine de la recherche d'information (RI). Elle a pour objet la création d'un modèle de recherche utilisant les graphes pour en exploiter la structure pour la détection de similarités entre les documents textuels d'une collection donnée et une requête utilisateur en vue d'améliorer le processus de recherche d'information. Ces similarités sont dites « structurelles » et nous montrons qu'elles apportent un gain d'information bénéfique par rapport aux seules similarités directes. Le rapport de thèse est structuré en cinq chapitres. Le premier chapitre présente un état de l'art sur la comparaison et les notions connexes que sont la distance et la similarité. Le deuxième chapitre présente les concepts clés de la RI, notamment l'indexation des documents, leur comparaison, et l'évaluation des classements retournés. Le troisième chapitre est consacré à la théorie des graphes et introduit les notations et notions liées à la représentation par graphe. Le quatrième chapitre présente pas à pas la construction de notre modèle pour la RI, puis, le cinquième chapitre décrit son application dans différents cas de figure, ainsi que son évaluation sur différentes collections et sa comparaison à d'autres approches.

Avec les espaces de finitude, Ehrhard a exhibé une sémantique de la logique linéaire contenant une opération de différentiation. Dans ce cadre, l'interprétation des formules est décomposable en séries de Taylor. Cette étude a engendré des syntaxes différentielles. Cette thèse de sémantique dénotationnelle prolonge ce travail par une exploration de sémantiques vectorielles de la logique linéaire, et contribue à l'étude sémantique et syntaxique de la formule de Taylor. La première partie aborde la sémantique. Nous présentons l'interprétation des constructions de la logique linéaire dans les espaces vectoriels munis d'une topologie linéarisée, les espaces de Lefschetz. Nous définissons une notion intrinsèque d'espaces de finitude, les espaces de Lefschetz finitaires. Nous caractérisons les espaces de Lefschetz réflexifs complets à l'aide de bornologies linéaires. Enfin, nous montrons que la décomposition de Taylor reste valide dans ces espaces. La seconde partie porte sur les syntaxes différentielles. La formule de Taylor syntaxique traduit un terme en une superposition de termes différentiels qui sont autant de possibilités d'exécutions. Comme l'ont montré Ehrhard et Regnier, les termes issus de cette traduction vérifient une relation de cohérence. Nous introduisons une sémantique totale qui capture cette relation. Puis, nous construisons une extension vectorielle du lambda-calcul, le calcul barycentrique, interprété par cette sémantique totale. Enfin, dans le cadre des réseaux différentiels, nous présentons un algorithme non déterministe qui permet de décider si un ensemble fini de réseaux différentiels provient de la traduction d'un réseau de la logique linéaire par la formule de Taylor syntaxique.

Le développement des réseaux sans fil et des dispositifs mobiles (ordinateurs portables, PDA communicants, capteurs, etc.) constaté ces dernières années entraine de profondes mutations des applications et des services proposés aux utilisateurs. Nous entrons aujourd'hui dans l'ère de l'informatique pervasive avec pour enjeu de proposer des services et de rendre les données disponibles n'importe où et n'importe quand. Le système d'information n'échappe pas à cette évolution et devient lui aussi pervasif. L'information y est stockée partout, dans différents formats et sur différents types de terminaux interconnectés. Notre travail se concentre sur les problèmes liés à l'accès aux données dans les systèmes d'information pervasifs. Ces systèmes, dits « ambiants », évoluent dans un contexte particulièrement dynamique du fait de la mobilité des utilisateurs et des sources de données qui peuvent apparaître et disparaître à tout moment. Les techniques traditionnellement utilisées pour accéder aux données, dans les bases de données réparties ou les systèmes pair-à-pair par exemple, sont ainsi totalement remises en cause. En effet, la mobilité des sources de données et les possibles déconnexions rendent impossibles la gestion et l'exploitation d'un schéma de placement décrivant la localisation des différentes sources de données accessibles. Dans ce contexte, nous proposons donc de nouvelles techniques d'accès dédiées aux systèmes d'information pervasifs. Plus précisément, nos contributions concernent : - Un modèle d'évaluation et d'optimisation de requêtes dans les environnements pair-à-pair hybrides, associant terminaux mobiles et serveurs fixes, adapté à la mobilité des terminaux et à leurs ressources restreintes (e.g., énergie) - Des techniques de partage d'informations dans les environnements pair-à-pair mobiles, où plus aucune infrastructure fixe n'est exploitable et où les échanges de données reposent sur des interactions directes entre les terminaux. Ces travaux ont été appliqués au contexte de la communication inter-véhicules. - Enfin, notre dernière contribution concerne la proposition de mécanismes d'auto-adaptation permettant à un évaluateur de requêtes de se reconfigurer dynamiquement en fonction des changements de contexte (e.g., connectivité, mobilité, autonomie, etc.), particulièrement fréquents dans les systèmes pervasifs. Nos travaux ont été réalisés dans le cadre de différents projets et ont conduit à la soutenance de plusieurs thèses de doctorat et masters recherche.

Les travaux présentés dans cette thèse s'inscrivent dans la cadre de la planification de trajectoires optimales en présence d'obstacles pour des robots mobiles de type voiture et pour des robots à pattes. Le modèle de robot de type voiture étudié est celui de Dubins. Il s'agit grossièrement d'une voiture se déplaçant en marche avant uniquement et dont le rayon de braquage est minoré par 1. Nous avons considéré le problème du calcul d'une enveloppe convexe de courbure bornée d'un ensemble S de points du plan, c'est-à-dire d'un ensemble contenant S et dont le bord est de courbure bornée et de périmètre minimal. Nous montrons que si le rayon du plus petit disque contenant S est supérieur à 1, une telle enveloppe est unique. Nous montrons que le calcul d'une enveloppe convexe de courbure bornée se ramène à un problème d'optimisation convexe ou à la résolution d'un ensemble de systèmes algébriques. Nous proposons également un algorithme exact polynomial pour le calcul de trajectoires optimales en longueur lorsque le robot se déplace en présence d'obstacles dont les bords sont de courbure bornée et constitués de segments de droite et d'arcs de cercle. De tels obstacles peuvent être obtenu comme enveloppes convexes de courbure bornée d'obstacles polygonaux. L'algorithme calcule un graphe et recherche un plus court chemin dans ce graphe. Le calcul de ce graphe est effectué grâce à des techniques de géométrie algorithmique et par la résolution de systèmes algébriques dont nous montrons, à l'aide de résultants, qu'ils ont un nombre fini de solutions. Nous avons également étudié le problème de la planification de trajectoires pour des robots à pattes dont le corps est ponctuel et dont toutes les pattes sont attachées au même point. Les pattes du robot ont une longueur bornée et ne sont autorisées à se poser que dans certaines régions polygonales du plan. Nous présentons un algorithme quasi optimal pour le calcul de l'ensemble des positions du corps du robot en équilibre stable. Par une transformation judicieuse, nous nous ramenons au calcul de l'espace libre d'un robot de la forme d'un demi disque se déplaçant en présence d'obstacles.

L'essor des technologies sans fil, offre aujourd'hui de nouvelles perspectives dans le domaine des télécommunications. L'évolution récente de moyens de communications sans fill permet la manipulation de l'information à travers des unités de calculs portables qui ont des caractéristiques particulières (une faible capacité de stockage, une source d'énergie autonome...) et accèdent au réseau à travers une interface de communication sans fill. Un réseau mobile ad hoc consiste en une grande population relativement dense d'unités mobiles qui se déplacent dans un environnement quelconque et dont le seul moyen de communication est l'utilisation des interfaces sans fil. Du coté des réseaux ad hoc on trouve également les réseaux des capteurs avec des propriétés particulières. Les capteurs sont des dispositifs ayant les particularités suivantes : (1) capacité de capturer des données relatives à l'environnement où ils sont physiquement placés et les convertir en signaux électriques. Les données récupérées peuvent être de nature différente et la manière d'obtenir ces données est susceptible de varier. (2) capacité d'effectuer un traitement sur ces données récupérées (3) capacité d'échanger ces données avec d'autres dispositifs ou unités mobiles. Contrairement aux réseaux basés sur la communication cellulaire : aucune administration centralisée n'est disponible ; ce sont les hôtes mobiles elles-mêmes qui, forment d'une manière ad hoc une interface du réseau. Aucune supposition ou limitation n'est faite sur la taille du réseau ; le réseau peut contenir des centaines ou des milliers d'unités mobiles. Étant donné les propriétés de ces réseaux le routage devient alors un dé et nécessite une restructuration de ses différentes composantes qui sont le routage (ou adressage), le positionnement, l'acheminement des messages entre noeuds communicants. Durant cette thèse nous nous sommes intéressés implicitement au routage en proposant une structure hiérarchique ou structure en clusters de façon à simuler une sorte de dorsale constituée de noeuds ou terminaux plus adaptés que d'autres. La mise en place de cette structure se base sur les paramètres du réseau en question. La dorsale ainsi constituée permet un routage hiérarchique qui allège considérablement les tables de routage des noeuds. Nous avons proposé une approche de localisation sans GPS, L-Libre qui vise à procurer une information de position à l'ensemble des noeuds du réseau. Cette information de position est vitale pour les protocoles de routage géographiques mais aussi pour les réseaux de capteurs où l'on a souvent bien besoin de connaître la source (les capteurs origines) des informations reçues, ce qui est d'ailleurs le cas de notre algorithme de poursuite de cible tracking) proposé dans cette thèse. Nous nous sommes également intéressé à un mode de transmission d'information appelé geocasting (ou diffusion géographique) qui consiste à transmettre des informations avec garantie de livraison non pas à l'ensemble des unités du réseau mais à un groupe particulier de noeuds situés dans une région d'intérêt communément appelé région multicast. Un autre point important est la connectivité des noeuds. La mobilité des noeuds est souvent source de déconnexion du réseau en des ensembles disjoints connexes. Notre algorithme de maintenance de connectivité vise à déterminer les noeuds qui peuvent être à l'origine de ce problème afin d'adapter leurs comportements. Et finalement, nous avons considéré une architecture virtuelle de réseau de capteurs anonymes dans laquelle certains clusters peuvent être vides. Les capteurs étant des dispositifs de capacités très limitées il devient alors indispensable de trouver une approche permettant d'organiser ou de faire collaborer à moindre coût ces capteurs dans un but bien précis. Le noeud sink (ou noeud puits) est le seul équipement qui dispose d'assez d'énergie et de puissance de transmission pour atteindre l'ensemble des capteurs répartis dans la région d'intérêt. Une stratégie de gestion de ou des antennes du noeud sink nous a permis de proposer une méthode de localisation sans inonder le réseau par échange de messages d'informations de position. Il nous a également permis d'esquisser une structure en grappes offrant un support de routage simple et efficace. Les données ainsi recueillies par les capteurs peuvent être acheminées selon un modèle de communication centralisé ou distribué défini à l'avance par le sink.