• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 97
  • 51
  • 20
  • Tagged with
  • 171
  • 171
  • 171
  • 148
  • 140
  • 140
  • 130
  • 128
  • 124
  • 32
  • 25
  • 20
  • 19
  • 19
  • 19
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
141

Intégration de l’utilisateur au contrôle d’accès : du processus cloisonné à l’interface homme-machine de confiance / Involving the end user in access control : from confined processes to trusted human-computer interface

Salaün, Mickaël 02 March 2018 (has links)
Cette thèse souhaite fournir des outils pour qu’un utilisateur puisse contribuer activement à la sécurité de son usage d’un système informatique. Les activités de sensibilités différentes d’un utilisateur nécessitent tout d’abord d’être cloisonnées dans des domaines dédiés, par un contrôle d’accès s’ajustant aux besoins de l’utilisateur. Afin de conserver ce cloisonnement, celui-ci doit être en mesure d’identifier de manière fiable les domaines avec lesquels il interagit, à partir de l’interface de sa machine. Dans une première partie, nous proposons un nouveau mécanisme de cloisonnement qui peut s’adapter de manière transparente aux changements d’activité de l’utilisateur, sans altérer le fonctionnement des contrôles d’accès existants, ni dégrader la sécurité du système. Nous en décrivons une première implémentation, nommée StemJail, basée sur les espaces de noms de Linux. Nous améliorons ce cloisonnement en proposant un nouveau module de sécurité Linux, baptisé Landlock, utilisable sans nécessiter de privilèges. Dans un second temps, nous identifions et modélisons les propriétés de sécurité d’une interface homme-machine (IHM) nécessaires à la compréhension fiable et sûre du système par l’utilisateur. En particulier, il s’agit d’établir un lien entre les entités avec lesquelles l’utilisateur pense communiquer, et celles avec lesquelles il communique vraiment. Cette modélisation permet d’évaluer l’impact de la compromission de certains composants d’IHM et d’aider à l’évaluation d’une architecture donnée. / This thesis aims to provide end users with tools enhancing the security of the system they use. First, user activities of different sensitivities require to be confined in dedicated domains by an access control fitting the user’s needs. Next, in order to maintain this confinement, users must be able to reliably identify the domains they interact with, from their machine’s interface. In the first part, we present a new confinement mechanism that seamlessly adapts to user activity changes, without altering the behavior of existing access controls nor degrading the security of the system. We also describe a first implementation named StemJail, based on Linux namespaces. We improve this confinement tool by creating a new Linux security module named Landlock which can be used without requiring privileges. In a second step, we identify and model the security properties a human-computer interface (HCI) requires for the reliable and secure understanding of the system by the user. Precisely, the goal is to establish a link between the entities with which the users think they communicate, and those with which they actually communicate. This model enables to evaluate the impact of HCI components jeopardization and helps assessing a given architecture.
142

Synthèse - Reproduction - Perception des Sons Instrumentaux et Environnementaux : Application au Design Sonore / Synthesis - Reproduction - Perception of Musical and Environmental Sounds. Application to Sound Design

Misdariis, Nicolas 11 December 2014 (has links)
Ce mémoire présente une composition d’études et de travaux de recherche orientés autour de trois grandes thématiques : la synthèse, la reproduction et la perception des sons, en considérant à la fois les sons de nature musicale mais aussi environnementale. Il vise en outre un champ d’application, le design sonore, qui implique globalement la création intentionnelle de sons du quotidien. La structure du document est conçu selon un schéma relativement uniforme et comporte, pour chaque partie, une présentation générale de la thématique apportant des éléments théoriques et des données relatives à l’état de l’art, suivie de développements spécifiques permettant de converger vers les sujets d’étude propres à chaque thème – explicitement, formalisme modal dans la synthèse par modélisation physique, pour la partie "Synthèse" ; mesure et contrôle de la directivité des instruments de musique, pour la partie "Reproduction" ; timbre et identification des sources sonores, pour la partie "Perception"– puis d’une présentation détaillée des travaux personnels relatifs à chacun des sujets, le cas échéant, sous la forme d’un article publié. Ces divers éléments de connaissance et d’expérience propose donc une contribution personnelle et originale, volontairement inscrite dans un cadre de recherche élargi, pluridisciplinaire et appliqué. / This dissertation presents a composition of studies and research works articulated around three main topics : synthesis, reproduction and perception of sounds, considering both musical and environmental sounds. Moreover, it focuses on an application field, the sound design, that globally involves the conception of intentional everyday sounds. The document is based on a rather uniform structure and contains, for each part, a general presentation of the topic which brings theoretical elements together with an overview of the state-of-the-art, followed by more precise developments in order to focus on the specific matters related to each topic – in detail, modal formalism in sound synthesis by physical modeling, for the "Synthesis" section ; measurement and control of musical instruments directivity, for the "Reproduction" section ; timbre and sound sources identification, for the "Perception" section – and then followed by a detailed presentation of the personal works related to each matter, in some cases, in the form of published papers. Then, these several elements of knowledge and experience offer a personal and original contribution, deliberately put in a broad, multidisciplinary and applied framework.
143

Interprétation interactive de documents structurés : application à la rétroconversion de plans d'architecture manuscrits

Ghorbel, Achraf 11 December 2012 (has links) (PDF)
Cette thèse entre dans le cadre de projet ANR-Mobisketch (http://mobisketch.irisa.fr/). Ce projet vise à élaborer une solution logicielle générique orientée stylo pour la réalisation de documents techniques : schémas, plans... L'objectif est d'aboutir à un continuum entre un document technique sous sa forme papier et ce même document sous sa forme numérique interprétée. Ce continuum nécessite deux analyseurs cohérents : un pour la phase de reconnaissance et un autre pour la composition/édition. Nous nous sommes intéressés dans cette thèse à l'analyseur pour la reconnaissance de documents. Le but de nos travaux était d'élaborer une approche interactive, générique et incrémentale. L'originalité de notre méthode de reconnaissance, nommée IMISketch, est la sollicitation de l'utilisateur durant la phase d'analyse. En effet, le processus d'analyse est capable de solliciter l'utilisateur s'il rencontre des cas d'ambigüités. Deux cas d'ambigüité peuvent se présenter : l'ambigüité structurelle et l'ambigüité de forme. L'ambigüité structurelle est levée par le système d'analyse quand il hésite entre deux segmentations différentes pour interpréter un symbole. Par exemple, dans un plan d'architecture, une ambigüité structurelle peut être levée pour trouver la bonne segmentation des primitives entre un mur et un ouvrant (porte, fenêtre, etc.). L'ambigüité de forme est levée s'il existe plusieurs hypothèses concurrentes pour étiqueter un symbole, par exemple une ambigüité entre une porte et une fenêtre. L'intégration de l'utilisateur dans la boucle de reconnaissance évite une correction a posteriori fastidieuse des erreurs de reconnaissance tout en permettant d'avoir un système auto-évolutif au fur et à mesure de l'analyse. Le processus de reconnaissance est basé sur une séparation de l'analyseur et des connaissances liées au type de document à reconnaître. Les connaissances structurelles a priori du document sont exprimées à travers un langage visuel grammatical basé sur l'écriture de règles de production. L'application de chaque règle est quantifiée par l'attribution d'un score à chaque hypothèse sous tendue par une branche de l'arbre d'analyse. La description grammaticale ainsi produite permet de piloter l'analyseur. Notre analyseur à base de règles est capable de mettre en concurrence des hypothèses possibles d'interprétation, afin de solliciter l'utilisateur lorsque c'est nécessaire. De plus, afin de limiter la combinatoire, l'analyseur se base sur un contexte local de recherche. Nous avons également mis en place un processus d'exploration hybride original, guidé par la description grammaticale, qui permet d'accélérer localement l'analyse tout en limitant le risque de réaliser une fausse interprétation. Notre méthode interactive a été validée sur les plans d'architecture dessinés à main levée. Ces plans sont composés de murs, de trois types d'ouvrants et d'une dizaine de classes de mobilier. Ces travaux montrent que la sollicitation de l'utilisateur permet d'améliorer la qualité de reconnaissance des documents.
144

Le Has(Art) et la néce(Cité) - Une approche (auto-)poïétique des systèmes complexes

Hutzler, Guillaume 16 June 2011 (has links) (PDF)
Les systèmes complexes, naturels et artificiels, ont reçu récemment une attention renouvelée : les systèmes naturels, notamment biologiques, du fait de la nécessité de les appréhender dans une démarche systémique ; les systèmes artificiels, du fait de la dématérialisation de l'ordinateur amorcée avec l'informatique ubiquitaire. L'art, de son côté, explore depuis toujours le détournement des dernières avancées scientifiques et technologiques pour la création d'oeuvres singulières. Le travail mené depuis dix ans se situe à la croisée de ces chemins, dans le cadre unificateur des systèmes multi-agents. Je me suis intéressé plus particulièrement à l'interaction homme-machine dans le contexte de l'informatique ambiante, dans l'idée d'une construction automatique et d'une régulation dynamique de systèmes d'interaction. Ce travail est alimenté par la recherche menée dans le cadre de la simulation à base d'agents, aussi bien du point de vue des concepts et outils développés, que du point de vue de l'inspiration tirée des mécanismes d'auto-organisation et de régulation des systèmes étudiés. L'art fournit quant à lui un cadre expérimental original par la mise en scène métaphorique, dans des performances numériques interactives, des situations étudiées.
145

Données multimodales pour l'analyse d'image

Guillaumin, Matthieu 27 September 2010 (has links) (PDF)
La présente thèse s'intéresse à l'utilisation de méta-données textuelles pour l'analyse d'image. Nous cherchons à utiliser ces informations additionelles comme supervision faible pour l'apprentissage de modèles de reconnaissance visuelle. Nous avons observé un récent et grandissant intérêt pour les méthodes capables d'exploiter ce type de données car celles-ci peuvent potentiellement supprimer le besoin d'annotations manuelles, qui sont coûteuses en temps et en ressources. Nous concentrons nos efforts sur deux types de données visuelles associées à des informations textuelles. Tout d'abord, nous utilisons des images de dépêches qui sont accompagnées de légendes descriptives pour s'attaquer à plusieurs problèmes liés à la reconnaissance de visages. Parmi ces problèmes, la vérification de visages est la tâche consistant à décider si deux images représentent la même personne, et le nommage de visages cherche à associer les visages d'une base de données à leur noms corrects. Ensuite, nous explorons des modèles pour prédire automatiquement les labels pertinents pour des images, un problème connu sous le nom d'annotation automatique d'image. Ces modèles peuvent aussi être utilisés pour effectuer des recherches d'images à partir de mots-clés. Nous étudions enfin un scénario d'apprentissage multimodal semi-supervisé pour la catégorisation d'image. Dans ce cadre de travail, les labels sont supposés présents pour les données d'apprentissage, qu'elles soient manuellement annotées ou non, et absentes des données de test. Nos travaux se basent sur l'observation que la plupart de ces problèmes peuvent être résolus si des mesures de similarité parfaitement adaptées sont utilisées. Nous proposons donc de nouvelles approches qui combinent apprentissage de distance, modèles par plus proches voisins et méthodes par graphes pour apprendre, à partir de données visuelles et textuelles, des similarités visuelles spécifiques à chaque problème. Dans le cas des visages, nos similarités se concentrent sur l'identité des individus tandis que, pour les images, elles concernent des concepts sémantiques plus généraux. Expérimentalement, nos approches obtiennent des performances à l'état de l'art sur plusieurs bases de données complexes. Pour les deux types de données considérés, nous montrons clairement que l'apprentissage bénéficie de l'information textuelle supplémentaire résultant en l'amélioration de la performance des systèmes de reconnaissance visuelle.
146

La représentation de la confiance dans l'activité collective. Application à la coordination de l'activité de chantier de construction / Representation of trust in collective activity. Application to the coordination of the building construction activity

Guerriero, Annie 09 April 2009 (has links)
L’activité de chantier se caractérise par un mode de production in situ. Dès lors, nombreux sont les dysfonctionnements qui peuvent apparaître. La coordination du chantier repose sur un mélange subtil entre interactions implicites et explicites, où l’organisation prend de multiples configurations (hiérarchique, adhocratique ou transversale), et où la qualité du processus collectif repose sur l’autonomie et le sens des responsabilités de chacun des intervenants. Nous faisons l’hypothèse qu’un tel contexte est largement fondé sur la notion de confiance, car celle-ci a la capacité de réduire la perception du risque et de permettre l’action dans un environnement incertain. En conséquence, nous suggérons un rapprochement entre les outils d’assistance à la coordination et la notion de confiance, et nous proposons une nouvelle approche du pilotage de l’activité collective à partir de la représentation de la confiance. Ce travail de doctorat se structure autour de la notion de « confiance dans le bon déroulement de l’activité ». Notre méthode consiste d’abord en l’identification des divers critères de confiance, consolidés par une étude de terrain. Puis, nous établissons un modèle mathématique destiné à évaluer cette confiance à partir des informations issues d’un contexte de coopération. Sur base de ces éléments, s’en suit la proposition d’un prototype dénommé Bat’iTrust. La navigation au sein de ce prototype est guidée par un tableau de bord centré sur le concept de confiance. Enfin, la validation de cette proposition repose sur des enquêtes et une phase d’expérimentation qui nous ont permis de confronter nos résultats à des sujets expérimentaux représentatifs du domaine / The building construction is an “on-site” production activity. Therefore numerous dysfunctions can appear during the activity. The coordination of building construction depends on a subtle combination between explicit vs. implicit interactions, where organization takes various forms (i.e. hierarchic, adhocratic and transversal). Quality of the collective process is thus largely dependent on autonomy capability and responsibility sharing of each of the involved actors. Our hypothesis is that such a collective context is mainly based on the notion of trust. Indeed trust has the capability to reduce the perception of risk and to enable action in uncertain environments. Consequently, we suggest applying trust notion to the issue of design of cooperation support tools, towards a new vision of collective activity management based on trust representation. This Ph.D. research introduces the notion of “trust in the good progress of the activity”. Our methodology consists firstly in identifying the various trust criterions that we validate through a terrain survey. Secondly we establish a mathematical model aiming at evaluating trust level based on cooperation context information. Then the proposition suggests a prototype tool, called Bat’iTrust. User-navigation inside the prototype is guided by a dashboard view centred on the trust concept. Finally the validation is assessed through both surveys and an experimentation stage. These ones allow us to confront our results to experimenters subjects representative of the construction domain
147

Développement d’un pilote de fabrication automatisée de photo-composites semi-ouvrés (pré-imprégnés) / Development of an automated prototype of manufacturing of semi-finished photo-composites (prepregs)

Shanwan, Anwar 11 September 2014 (has links)
Les véhicules de demain, (2020), devront diminuer leurs émissions globales de CO2 de 30% selon les directives européennes. Une solution qui apparait aujourd’hui comme inévitable est la substitution des métaux présents dans les châssis de véhicules par des matériaux composites plus légers et tout aussi performants. Pour généraliser cette approche à tout le secteur automobile, un temps court de fabrication des pièces est exigé pour satisfaire les cadences de production allant jusqu’à 1000 véhicules par jour. La production automatisée et robotisée de ces matériaux, basée sur la technologie de photo-polymérisation au moyen de rayonnements UV, répond à ces exigences. Le procédé de fabrication élaboré se décompose en deux phases : une phase de fabrication automatisée de pré-imprégnés (prépregs), produits semi-finis, et une phase de mise en forme et d’obtention du produit final (composite UV). La première étape consiste en l’imprégnation d’un renfort fibreux sec par une résine liquide photo-polymérisable, puis l’irradiation de celle-ci par des rayonnements UV, de manière à ce que la résine ne soit pas totalement polymérisée. On obtient alors un prépreg collant. La seconde étape de fabrication impose que les pré-imprégnés soient conditionnés parfaitement sous forme de bobines pour qu’ils soient intégrés dans un dispositif robotisé de dépose. D’où la nécessité de concevoir et de réaliser une machine automatisée de production des pré-imprégnés (objet de cette thèse). Cette machine a nécessité une automatisation se caractérisant par l'utilisation d'outils d'instrumentation et de pilotage modernes (servomoteurs Brushless, IHM, capteurs, …). Les essais réalisés sur cette machine ont permis de réaliser des premiers prépregs, dont les résultats ont conduit à des pistes de réflexion pour approfondir l'automatisation de la machine en vue d'améliorer le procédé de fabrication de ces prépregs. / The overall CO2 emission of the future vehicles, (2020), must be reduced by 30%, according to European directives. A solution that seems inevitable nowadays is the substitution of metals present in the vehicle chassis by lighter and equally efficient composite-materials. To generalize this approach throughout the automotive sector, a short manufacturing time of these materials is required to meet the high required production rates, of up to 1000 vehicles per day. The automated and robotic production of these materials, depending on the photo polymerization technology by UV radiation, meets these requirements. The developed automated manufacturing process consists of two phases: the phase of automated manufacturing of semi-finished composite (prepreg), and the phase of shaping and obtaining the final composite (UV composite). The first phase depends on the impregnation of fibrous reinforcement with a photo-polymerizable and liquid resin, then, on the partial irradiation of impregnated reinforcement with UV rays, in such a way that the resin is not completely cured. Thereby, a tacky prepreg is obtained. The second phase of automated manufacturing process requires that the prepregs must be perfectly reeled up in a form of coils, so that they can be incorporated in a robotic lay-up placement head. Hence, the need to design and produce a machine of automated prepreg production (subject of this thesis) is absolutely necessary. This machine requires automation, characterized by the use of modern instrumentations and control tools (Brushless Servo, Human–computer interface HCI, sensors...). The tests performed by this machine have enabled the production of the first prepregs, of which the results led to further approaches to develop the automation of this machine in order to improve the prepregs manufacturing process.
148

Modélisation, création et évaluation de ux de terminologies et de terminologies d'interface : application à la production d'examens complémentaires de biologie et d'imagerie médicale.

Griffon, Nicolas 25 October 2013 (has links) (PDF)
Les intérêts théoriques, cliniques et économiques, de l'informatisation des prescriptions au sein des établissements de santé sont nombreux : diminution du nombre de prescriptions, amélioration de leur pertinence clinique, diminution des erreurs médicales... Ces béné ces restent théoriques car l'informatisation des prescriptions est, en pratique, confrontée à de nombreux problèmes, parmi lesquels les problèmes d'interopérabilité et d'utilisabilité des solutions logicielles. L'utilisation de terminologies d'interface au sein de ux de terminologies permettrait de dépasser ces problèmes. L'objectif principal de ce travail était de modéliser et développer ces ux de terminologies pour la production d'examens de biologie et d'imagerie médicale puis d'en évaluer les béné ces en termes d'interopérabilité et d'utilisabilité. Des techniques d'analyse des processus ont permis d'aboutir à une modélisation des ux de terminologies qui semble commune à de nombreux domaines. La création des ux proprement dits repose sur des terminologies d'interface, éditées pour l'occasion, et des référentiels nationaux ou internationaux reconnus. Pour l'évaluation, des méthodes spéci- ques mises au point lors du travail d'intégration d'une terminologie d'interface iconique au sein d'un moteur de recherche de recommandations médicales et d'un dossier médical, ont été appliquées. Les ux de terminologies créés induisaient d'importantes pertes d'information entre les di érents systèmes d'information. En imagerie, la terminologie d'interface de prescription était signi cativement plus simple à utiliser que les autres terminologies, une telle di érence n'a pas été mise en évidence dans le domaine de la biologie. Si les ux de terminologies ne sont pas encore fonctionnels, les terminologies d'interface, elles, sont disponibles pour tout établissement de santé ou éditeur de logiciels et devraient faciliter la mise en place de logiciels d'aide à la prescription.
149

Synthèse - Reproduction - Perception des Sons Instrumentaux et Environnementaux : Application au Design Sonore / Synthesis - Reproduction - Perception of Musical and Environmental Sounds. Application to Sound Design

Misdariis, Nicolas 11 December 2014 (has links)
Ce mémoire présente une composition d’études et de travaux de recherche orientés autour de trois grandes thématiques : la synthèse, la reproduction et la perception des sons, en considérant à la fois les sons de nature musicale mais aussi environnementale. Il vise en outre un champ d’application, le design sonore, qui implique globalement la création intentionnelle de sons du quotidien. La structure du document est conçu selon un schéma relativement uniforme et comporte, pour chaque partie, une présentation générale de la thématique apportant des éléments théoriques et des données relatives à l’état de l’art, suivie de développements spécifiques permettant de converger vers les sujets d’étude propres à chaque thème – explicitement, formalisme modal dans la synthèse par modélisation physique, pour la partie "Synthèse" ; mesure et contrôle de la directivité des instruments de musique, pour la partie "Reproduction" ; timbre et identification des sources sonores, pour la partie "Perception"– puis d’une présentation détaillée des travaux personnels relatifs à chacun des sujets, le cas échéant, sous la forme d’un article publié. Ces divers éléments de connaissance et d’expérience propose donc une contribution personnelle et originale, volontairement inscrite dans un cadre de recherche élargi, pluridisciplinaire et appliqué. / This dissertation presents a composition of studies and research works articulated around three main topics : synthesis, reproduction and perception of sounds, considering both musical and environmental sounds. Moreover, it focuses on an application field, the sound design, that globally involves the conception of intentional everyday sounds. The document is based on a rather uniform structure and contains, for each part, a general presentation of the topic which brings theoretical elements together with an overview of the state-of-the-art, followed by more precise developments in order to focus on the specific matters related to each topic – in detail, modal formalism in sound synthesis by physical modeling, for the "Synthesis" section ; measurement and control of musical instruments directivity, for the "Reproduction" section ; timbre and sound sources identification, for the "Perception" section – and then followed by a detailed presentation of the personal works related to each matter, in some cases, in the form of published papers. Then, these several elements of knowledge and experience offer a personal and original contribution, deliberately put in a broad, multidisciplinary and applied framework.
150

Analyse exploratoire de flots de liens pour la détection d'événements

Heymann, Sébastien 03 December 2013 (has links) (PDF)
Un flot de liens représente une trace de l'activité d'un système complexe au cours du temps, où un lien apparaît lorsque deux entités du système entrent en interaction ; l'ensemble des entités et des liens forme un graphe. Ces traces constituent depuis quelques années des jeux de données stratégiques dans l'analyse de l'activité de systèmes complexes à grande échelle, impliquant des millions d'entités : réseaux de téléphone mobiles, réseaux sociaux, ou encore Internet. Cette thèse porte sur l'analyse exploratoire des flots de liens, en particulier sur la caractérisation de leur dynamique et l'identification d'anomalies au cours du temps (événements). Nous proposons un cadre exploratoire sans hypothèse sur les données, faisant appel à l'analyse statistique et à la visualisation. Les événements détectés sont statistiquement significatifs et nous proposons une méthode pour valider leur pertinence. Nous illustrons enfin notre méthodologie sur l'évolution du réseau social en ligne Github, où des centaines de milliers de développeurs collaborent sur des projets de logiciel.

Page generated in 0.0931 seconds