Les résultats de recherche pour :

Système robotique PUMAH (Pan-tilt Ultrasound Mid-Air Haptics) pour les interfaces haptiques sans contact, développé par l’Irisa. L’interface qui est montée sur ce système recrée la sensation de toucher à distance, grâce à un réseau de haut-parleurs à ultrasons qui font vibrer la peau de son utilisateur. Le système Pan-Tilt PUMAH est capable de déplacer et d’orienter cette tablette, pour suivre la main d'un utilisateur immergé dans la réalité virtuelle. Lorsque celui-ci touche un objet virtuel,…

Système robotique PUMAH (Pan-tilt Ultrasound Mid-Air Haptics) pour les interfaces haptiques sans contact, développé par l’Irisa. L’interface qui est montée sur ce système recrée la sensation de toucher à distance, grâce à un réseau de haut-parleurs à ultrasons qui font vibrer la peau de son utilisateur. Le système Pan-Tilt PUMAH est capable de déplacer et d’orienter cette tablette, pour suivre la main d'un utilisateur immergé dans la réalité virtuelle. Lorsque celui-ci touche un objet virtuel,…

Système robotique PUMAH (Pan-tilt Ultrasound Mid-Air Haptics) pour les interfaces haptiques sans contact, développé par l’Irisa. L’interface qui est montée sur ce système recrée la sensation de toucher à distance, grâce à un réseau de haut-parleurs à ultrasons qui font vibrer la peau de son utilisateur. Le système Pan-Tilt PUMAH est capable de déplacer et d’orienter cette tablette, pour suivre la main d'un utilisateur immergé dans la réalité virtuelle. Lorsque celui-ci touche un objet virtuel,…

Test du système robotique PUMAH (Pan-tilt Ultrasound Mid-Air Haptics) pour les interfaces haptiques sans contact, développé par l’Irisa. L’interface qui est montée sur ce système recrée la sensation de toucher à distance, grâce à un réseau de haut-parleurs à ultrasons qui font vibrer la peau de son utilisateur. Le système Pan-Tilt PUMAH est capable de déplacer et d’orienter cette tablette, pour suivre la main d'un scientifique en train d'interagir avec un modèle virtuel du système solaire…

Test du système robotique PUMAH (Pan-tilt Ultrasound Mid-Air Haptics) pour les interfaces haptiques sans contact, développé par l’Irisa. L’interface qui est montée sur ce système recrée la sensation de toucher à distance, grâce à un réseau de haut-parleurs à ultrasons qui font vibrer la peau de son utilisateur. Le système Pan-Tilt PUMAH est capable de déplacer et d’orienter cette tablette, pour suivre la main d'un scientifique en train d'interagir avec un modèle virtuel du système solaire…

Test d'H-Ring, une interface haptique portable développée par l’Irisa. H-Ring est capable de déformer localement la peau de son utilisateur, grâce à une ceinture actionnée par deux moteurs qui comprime ou étire la peau au bout de son doigt. En fournissant des sensations tactiles supplémentaires pendant l’interaction avec un objet réel, la recherche a montré que l'on peut modifier la perception physique de cet objet. Ainsi, en comprimant la peau au moment exact où l’utilisateur actionne le…

Test d'H-Ring, une interface haptique portable développée par l’Irisa. H-Ring est capable de déformer localement la peau de son utilisateur, grâce à une ceinture actionnée par deux moteurs qui comprime ou étire la peau au bout de son doigt. En fournissant des sensations tactiles supplémentaires pendant l’interaction avec un objet réel, la recherche a montré que l'on peut modifier la perception physique de cet objet. Ainsi, en comprimant la peau au moment exact où l’utilisateur actionne le…

Test d'H-Ring, une interface haptique portable développée par l’Irisa. H-Ring est capable de déformer localement la peau de son utilisateur, grâce à une ceinture actionnée par deux moteurs qui comprime ou étire la peau au bout de son doigt. En fournissant des sensations tactiles supplémentaires pendant l’interaction avec un objet réel, la recherche a montré que l'on peut modifier la perception physique de cet objet. Ainsi, en comprimant la peau au moment exact où l’utilisateur actionne le…

Test d'H-Ring, une interface haptique portable développée par l’Irisa. H-Ring est capable de déformer localement la peau de son utilisateur, grâce à une ceinture actionnée par deux moteurs qui comprime ou étire la peau au bout de son doigt. En fournissant des sensations tactiles supplémentaires pendant l’interaction avec un objet réel, la recherche a montré que l'on peut modifier la perception physique de cet objet. Ainsi, en comprimant la peau au moment exact où l’utilisateur appuie sur la…

Test d’une interface haptique portable développée à l’Irisa. Le système vibre afin de prévenir l’utilisateur qui le porte d’un danger imminent, comme par exemple lorsqu’un drone vole trop près de lui. Les technologies haptiques portables comme les bracelets vibrants sont des outils prometteurs de l’interaction humain-machine. Ils permettent de développer le travail collaboratif entre humains et robots, grâce à une communication efficace basée sur le sens du toucher plutôt que sur la parole…

Test d’une interface haptique portable développée à l’Irisa. Le système vibre afin de prévenir l’utilisateur qui le porte d’un danger imminent, comme par exemple lorsqu’un drone vole trop près de lui. Les technologies haptiques portables comme les bracelets vibrants sont des outils prometteurs de l’interaction humain-machine. Ils permettent de développer le travail collaboratif entre humains et robots, grâce à une communication efficace basée sur le sens du toucher plutôt que sur la parole…

Test d’une interface haptique portable développée à l'Irisa, grâce à la réalité virtuelle. Le scientifique qui porte ce bracelet vibrant utilise un déambulateur dans un environnement virtuel. Le bracelet vibre si sa position n'est pas bonne, afin de le prévenir d'un risque de chute.

Test d’une interface haptique portable développée à l'Irisa, grâce à la réalité virtuelle. Le scientifique qui porte ce bracelet vibrant utilise un déambulateur dans un environnement virtuel. Le bracelet vibre si sa position n'est pas bonne, afin de le prévenir d'un risque de chute.

Test d’une interface haptique portable développée à l'Irisa. Le scientifique qui porte ce bracelet vibrant réalise une opération chirurgicale sur un fantôme, en manipulant à distance un bras robotisé muni d'un scalpel. Le bracelet vibre si la lame n'est pas bien positionnée. Les technologies haptiques portables de ce type sont des outils prometteurs de l’interaction humain-machine. Ils permettent de développer le travail collaboratif entre humains et robots, grâce à une communication efficace…

Test d’une interface haptique portable développée à l'Irisa. Le scientifique qui porte ce bracelet vibrant réalise une opération chirurgicale sur un fantôme, en manipulant à distance un bras robotisé muni d'un scalpel. Le bracelet vibre si la lame n'est pas bien positionnée. Les technologies haptiques portables de ce type sont des outils prometteurs de l’interaction humain-machine. Ils permettent de développer le travail collaboratif entre humains et robots, grâce à une communication efficace…

Test d’une interface haptique portable développée à l'Irisa. Le scientifique qui porte ce bracelet vibrant réalise une opération chirurgicale sur un fantôme, en manipulant à distance un bras robotisé muni d'un scalpel. Le bracelet vibre si la lame n'est pas bien positionnée. Les technologies haptiques portables de ce type sont des outils prometteurs de l’interaction humain-machine. Ils permettent de développer le travail collaboratif entre humains et robots, grâce à une communication efficace…

Test d’une interface haptique portable développée à l'Irisa. Le scientifique qui porte ce bracelet vibrant réalise une opération chirurgicale sur un fantôme, en comanipulant un bras robotisé muni d'un scalpel. Le bracelet vibre si la lame n'est pas bien positionnée. Les technologies haptiques portables de ce type sont des outils prometteurs de l’interaction humain-machine. Ils permettent de développer le travail collaboratif entre humains et robots, grâce à une communication efficace basée sur…

Test d’une interface haptique portable développée à l'Irisa. Le scientifique qui porte ce bracelet vibrant réalise une opération chirurgicale sur un fantôme, en comanipulant un bras robotisé muni d'un scalpel. Le bracelet vibre si la lame n'est pas bien positionnée. Les technologies haptiques portables de ce type sont des outils prometteurs de l’interaction humain-machine. Ils permettent de développer le travail collaboratif entre humains et robots, grâce à une communication efficace basée sur…

Cartographie de la collaboration interurbaine dans un corpus de publications portant sur la Covid-19 publiées avant le 23 mars 2020 (199 documents). Dans ce réseau, les 137 aires d’origine des signataires de ces publications sont matérialisées par des cercles. L'intensité de la collaboration scientifique est soulignée par la taille des cercles et le nombre de liaisons avec d'autres villes. Ce graphique témoigne de la continuité d'une collaboration scientifique mondialisée, même dans le contexte…

Cartographie de la collaboration internationale dans un corpus de publications portant sur la Covid-19 publiées avant le 23 mars 2020 (199 documents). Dans ce réseau, les pays d'origine des signataires de ces publications sont matérialisés par des cercles. L'intensité de la collaboration scientifique est soulignée par la taille des cercles et le nombre de liaisons avec d'autres pays. Ce graphique témoigne de la continuité d'une collaboration scientifique mondialisée, même dans le contexte…

Ce paysage vient tout juste de naître mais il n’est pourtant pas nouveau. Il s’agit d’une modélisation numérique de l’écosystème du Bright Angel Trail, un sentier de randonnée situé dans le parc national Grand Canyon, en Arizona. À partir du terrain brut, d’informations sur l’environnement et de données biologiques, le système utilisé ici est capable de sélectionner automatiquement différentes espèces végétales et animales et de les placer à l’endroit le plus adapté afin de reconstituer un…

Edouard Pauwels, médaille de bronze du CNRS 2020, explique les résultats d'un article scientifique à un étudiant. Enseignant-chercheur en informatique et mathématiques, il étudie et développe des algorithmes d’optimisation numérique à l'Institut de recherche en informatique de Toulouse (IRIT). Plus précisément, il étudie les propriétés mathématiques d'algorithmes d'optimisation pour mieux les comprendre et en développe de nouveaux afin de mettre en œuvre plus efficacement des modèles d…

Edouard Pauwels, médaille de bronze du CNRS 2020, explique les résultats d'un article scientifique à un étudiant. Enseignant-chercheur en informatique et mathématiques, il étudie et développe des algorithmes d’optimisation numérique à l'Institut de recherche en informatique de Toulouse (IRIT). Plus précisément, il étudie les propriétés mathématiques d'algorithmes d'optimisation pour mieux les comprendre et en développe de nouveaux afin de mettre en œuvre plus efficacement des modèles d…

Edouard Pauwels, médaille de bronze du CNRS 2020, décrit les briques élémentaires d'un algorithme d'optimisation. Enseignant-chercheur en informatique et mathématiques, il étudie et développe des algorithmes d’optimisation numérique utilisés pour les statistiques et l'intelligence artificielle, à l'Institut de recherche en informatique de Toulouse (IRIT).

Edouard Pauwels, médaille de bronze du CNRS 2020, montre les résultats d'une expérience numérique. Il est enseignant-chercheur en informatique et mathématiques à l'Institut de recherche en informatique de Toulouse (IRIT). Spécialiste en optimisation numérique, il étudie le comportement d'algorithmes pour l'entraînement de réseaux de neurones profonds à la résolution automatique de tâches relevant de l’intelligence artificielle (IA). Un réseau de neurones profonds est une architecture…

Discussion autour d’une technique issue de la théorie des automates, pour la vérification de programmes informatiques.

Discussion autour d’une technique issue de la théorie des automates pour la vérification de programmes informatiques. La figure au premier plan décrit le comportement d'un algorithme de saturation. Les scientifiques souhaitent déterminer si un programme informatique peut au cours d'une exécution atteindre une configuration d'erreur. Pour cela ils calculent de proche en proche une représentation des états du programme depuis lesquels une configuration d'erreur peut être atteinte. Le principal…

Discussion autour d’une technique issue de la théorie des automates pour la vérification de programmes informatiques. La figure sur l'écran d'ordinateur décrit le principe général d'un algorithme. Partant d'un programme informatique écrit dans un langage autorisant de la récursion d'ordre supérieur (un paradigme présent dans tous les langages de programmation moderne) et d'une spécification que le programme doit vérifier, cet algorithme construit un nouveau programme informatique qui raffine le…

Discussion autour d’une technique issue de la théorie des automates pour la vérification de programmes informatiques. La figure sur l'écran d'ordinateur décrit le principe général d'un algorithme. Partant d'un programme informatique écrit dans un langage autorisant de la récursion d'ordre supérieur (un paradigme présent dans tous les langages de programmation moderne) et d'une spécification que le programme doit vérifier, cet algorithme construit un nouveau programme informatique qui raffine le…

Olivier Serre, chercheur au pôle "Automates et applications" de l’Institut de recherche en informatique fondamentale (IRIF). Depuis septembre 2018, il est chargé de mission "Informatique théorique et algorithmes" à l’Institut des sciences de l’information et de leurs interactions (INS2I) du CNRS. Depuis janvier 2018, il est directeur adjoint de la Fondation Sciences mathématiques de Paris (FSMP).

Séance de réflexion, étape dans le développement d'une théorie de la complexité des langages réguliers d'arbres. L'informatique théorique étudie le lien entre les problèmes à résoudre et la capacité calculatoire nécessaire à leur résolution. Ce questionnement peut être décliné dans de nombreux contextes.

Séance de réflexion, étape dans le développement d'une théorie de la complexité des langages réguliers d'arbres. L'informatique théorique étudie le lien entre les problèmes à résoudre et la capacité calculatoire nécessaire à leur résolution. Ce questionnement peut être décliné dans de nombreux contextes.

Séance de réflexion, étape dans le développement d'une théorie de la complexité des langages réguliers d'arbres. L'informatique théorique étudie le lien entre les problèmes à résoudre et la capacité calculatoire nécessaire à leur résolution. Ce questionnement peut être décliné dans de nombreux contextes.

Séance de réflexion, étape dans le développement d'une théorie de la complexité des langages réguliers d'arbres. L'informatique théorique étudie le lien entre les problèmes à résoudre et la capacité calculatoire nécessaire à leur résolution. Ce questionnement peut être décliné dans de nombreux contextes.

Gestionnaire administratif et financier de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

La responsable de la gestion financière et le gestionnaire administratif et financier au secrétariat de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

La responsable de la gestion financière et le gestionnaire administratif et financier au secrétariat de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

La responsable de la gestion financière et le gestionnaire administratif et financier au secrétariat de l’Institut de recherche en informatique fondamentale (IRIF). Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

Visualisation d'un tracelet de longueur trois dans un système de réécriture catégorique. Les tracelets sont les porteurs intrinsèques d'informations causales dans les systèmes de réécriture tels que les systèmes de réaction chimique, les modèles de réseaux sociaux ou les grammaires pour générer des structures combinatoires. Une étape de transformation individuelle dans un système de réécriture consiste en un état initial (généralement une forme de structure graphique), une règle de réécriture …

Visulalisation d’un pavage du plan périodique par des structures fractales. Un pavage du plan par un jeu de tuiles est un assemblage de ces tuiles qui recouvre tout le plan sans créer de chevauchements. L’étude des pavages a de nombreuses applications au sein de l’informatique théorique, par exemple en faisant en sorte qu'ils calculent, et au-delà, avec l'étude des quasi-cristaux. Sur cette photo, la structure fractale qui pave périodiquement le plan, appelée "twindragon" ou dragon de Davis…

Visualisation d’un pavage du plan périodique par des structures fractales. Un pavage du plan par un jeu de tuiles est un assemblage de ces tuiles qui recouvre tout le plan sans créer de chevauchements. L’étude des pavages a de nombreuses applications au sein de l’informatique théorique, par exemple en faisant en sorte qu'ils calculent, et au-delà, avec l'étude des quasi-cristaux. Ici, la structure fractale qui pave périodiquement le plan, appelée "twindragon" ou dragon de Davis-Knuth, présente…

Visualisation d’un pavage du plan périodique par des structures fractales. Un pavage du plan par un jeu de tuiles est un assemblage de ces tuiles qui recouvre tout le plan sans créer de chevauchements. L’étude des pavages a de nombreuses applications au sein de l’informatique théorique, par exemple en faisant en sorte qu'ils calculent, et au-delà, avec l'étude des quasi-cristaux. Ici, la structure fractale qui pave périodiquement le plan, appelée "twindragon" ou dragon de Davis-Knuth, présente…

Automate cellulaire de Ledrappier à partir d'une suite de faible discrépance. Un automate cellulaire est une transformation spécifique, dite locale, où l'évolution de chaque cellule dépend uniquement de sa valeur et de celles de ses voisines. Un des plus simples est celui introduit par Ledrappier où la nouvelle valeur est la somme de la valeur de la cellule et de celle de sa voisine à droite. Sur l'image, la somme est faite modulo 2 pour garder un ensemble fini de valeurs possibles, c'est-à…

Figure représentant la suite de Champernowne affichée sur un ordinateur et automate cellulaire de Ledrappier projeté au second plan. En mathématiques, la constante de Champernowne C10 est un nombre réel transcendant dont l’expansion décimale a des propriétés importantes. La suite de ses chiffres a la propriété que toutes les séquences finies possibles de chiffres consécutifs de même longueur apparaissent avec la même fréquence. Au second plan, un automate cellulaire de Ledrappier à partir d'une…

Suite de Champernowne et automate cellulaire de Ledrappier. Sur l'écran, une figure représente la suite de Champernowne. En mathématiques, la constante de Champernowne C10 est un nombre réel transcendant dont l’expansion décimale a des propriétés importantes. La suite de ses chiffres a la propriété que toutes les séquences finies possibles de chiffres consécutifs de même longueur apparaissent avec la même fréquence. Au second plan, un automate cellulaire de Ledrappier à partir d'une suite de…

Suite de Champernowne et automate cellulaire de Ledrappier. Sur l'écran, une figure représente la suite de Champernowne. En mathématiques, la constante de Champernowne C10 est un nombre réel transcendant dont l’expansion décimale a des propriétés importantes. La suite de ses chiffres a la propriété que toutes les séquences finies possibles de chiffres consécutifs de même longueur apparaissent avec la même fréquence. Au second plan, un automate cellulaire de Ledrappier à partir d'une suite de…

"Planar exact clique". Cette construction montre une notion de perfection pour la classe des graphes planaires : le plus petit nombre de sommets d’un graphe de maille impaire 2k+1, pour lequel il y a un homomorphisme de chaque graphe planaire de maille impaire 2k+1, est égal au nombre maximum de sommets, reliés par paires par des chemins de longueurs impaires et au plus de 2k-1.

Limite de coloration fractionnelle. Il s'agit ici de trouver les moyens potentiels pour mettre en relation des graphes planaires de maille impaire 7 avec le graphe de Petersen à droite, en utilisant des relations spéciales de graphes planaires sans triangle avec le graphe de Clebsch.

Limite de coloration fractionnelle. Il s'agit ici de trouver les moyens potentiels pour mettre en relation des graphes planaires de maille impaire 7 avec le graphe de Petersen à droite, en utilisant des relations spéciales de graphes planaires sans triangle avec le graphe de Clebsch.

Limite de coloration fractionnelle. Il s'agit ici de trouver les moyens potentiels pour mettre en relation des graphes planaires de maille impaire 7 avec le graphe de Petersen à droite, en utilisant des relations spéciales de graphes planaires sans triangle avec le graphe de Clebsch.