Les résultats de recherche pour :

Déambulation dans la chapelle axiale de la cathédrale Notre-Dame de Paris restaurée après l’incendie de 2019, grâce au Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris. Les représentations tridimensionnelles de la cathédrale comme celle-ci ont été élaborées dans le cadre du chantier scientifique. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les scientifiques d'étudier le patrimoine, en complément du travail en…

Déambulation au sein des 1 milliard 400 millions de points de la numérisation de la cathédrale Notre-Dame de Paris, effectuée par Andrew Tallon dans les années 2010, grâce au Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris. Les représentations tridimensionnelles de la cathédrale comme celle-ci ont été élaborées dans le cadre du chantier scientifique qui a suivi l'incendie de 2019. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles…

Manipulation d’un vestige de poutre calcinée numérisé pour valider sa localisation sur l’extrados des voutes de la cathédrale Notre-Dame de Paris après l'incendie de 2019, grâce au Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris. Les représentations tridimensionnelles de la cathédrale comme celle-ci ont été élaborées dans le cadre du chantier scientifique. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les…

Manipulation d’un vestige de poutre calcinée numérisé pour valider sa localisation sur l’extrados des voutes de la cathédrale Notre-Dame de Paris après l'incendie de 2019, grâce au Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris. Les représentations tridimensionnelles de la cathédrale comme celle-ci ont été élaborées dans le cadre du chantier scientifique. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les…

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, en discussion avec Leonardo Hidd Fonteles et Anis Meftah devant un écran affichant la plateforme Cintoo Cloud, développée par la start-up Cintoo qu’ils ont cofondée. Elle se consacre à la visualisation et la diffusion de nuages de points 3D issus de scanners terrestres et aéroportés pour le travail collaboratif dans l’industrie et la construction. Expert en compression de données, Marc Antonini dirige l’équipe MediaCoding du…

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, dont les atouts sont présentés à l’écran : un stockage durable, garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, dont les atouts sont présentés à l’écran : un stockage durable, garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, dont les atouts sont présentés à l’écran : un stockage durable, garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode, réfléchissent à la problématique de compression de données et leur stockage. PearCode propose aux organisations désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, durable et garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, dont les atouts sont présentés à l’écran : un stockage durable, garantissant l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini…

Marc Antonini, lauréat de la médaille de l'innovation du CNRS 2023, et une collaboratrice, cofondatrice de la start-up Pearcode. Cette start-up propose aux organisations privées et publiques désireuses d’archiver leurs données numériques une solution de stockage moléculaire à faible émission de carbone utilisant l’ADN synthétique, qui garantit la durabilité du stockage, l’intégrité et la sécurité des données. Expert en compression de données, Marc Antonini dirige l’équipe MediaCoding du…

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Avant d'entamer une preuve mathématique (une démonstration) vérifiée par ordinateur, Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, réfléchit aux grandes lignes de la démonstration et aux principes de raisonnement à appliquer. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement…

Scientifiques immergés dans une représentation numérique tridimensionnelle à taille réelle de la cathédrale Notre-Dame de Paris, dans le Téléport de la Cité de l'architecture et du patrimoine, à Paris. Elle est réalisée à partir de représentations tridimensionnelles de la cathédrale élaborées dans le cadre du chantier scientifique qui a suivi l'incendie de 2019. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les scientifiques d'étudier le patrimoine, en…

Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris, qui permet de collaborer dans des représentations numériques tridimensionnelles à taille réelle de la cathédrale Notre-Dame de Paris produites par le chantier scientifique du CNRS / Ministère de la Culture. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les scientifiques d'étudier le patrimoine, en complément du travail en laboratoire. Grâce aux outils développés…

Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris, qui permet de collaborer dans des représentations numériques tridimensionnelles à taille réelle de la cathédrale Notre-Dame de Paris produites par le chantier scientifique du CNRS / Ministère de la Culture. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les scientifiques d'étudier le patrimoine, en complément du travail en laboratoire. Grâce aux outils développés…

Téléport conçu par Dassault Systèmes à la Cité de l'architecture et du patrimoine, à Paris, qui permet de collaborer dans des représentations numériques tridimensionnelles à taille réelle de la cathédrale Notre-Dame de Paris produites par le chantier scientifique du CNRS / Ministère de la Culture. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les scientifiques d'étudier le patrimoine, en complément du travail en laboratoire. Grâce aux outils développés…

Scientifiques immergés dans une représentation numérique tridimensionnelle à taille réelle de la cathédrale Notre-Dame de Paris, dans le Téléport de la Cité de l'architecture et du patrimoine, à Paris. Elle est réalisée à partir de représentations tridimensionnelles de la cathédrale élaborées dans le cadre du chantier scientifique qui a suivi l'incendie de 2019. La réalité virtuelle collective à l’échelle 1/1 apporte de nouvelles possibilités pour les scientifiques d'étudier le patrimoine, en…

Les systèmes industriels sont devenus une cible de choix pour les attaquants depuis plus d'une dizaine d'années. L'interconnexion des sites industriels, via Internet et le développement d'automates connectés, a pour conséquence une augmentation de la surface d'attaque de ces systèmes. La plateforme IIOT4.0 développée sur le site de Rennes permet aux chercheurs de reproduire l'architecture réseau qui est typiquement utilisée dans un contexte industriel. Un modèle réduit de chaîne de production…

Les systèmes industriels sont devenus une cible de choix pour les attaquants depuis plus d'une dizaine d'années. L'interconnexion des sites industriels, via Internet et le développement d'automates connectés, a pour conséquence une augmentation de la surface d'attaque de ces systèmes. La plateforme IIOT4.0 développée sur le site de Rennes permet aux chercheurs de reproduire l'architecture réseau qui est typiquement utilisée dans un contexte industriel. Un modèle réduit de chaîne de production…

Les systèmes industriels sont devenus une cible de choix pour les attaquants depuis plus d'une dizaine d'années. L'interconnexion des sites industriels, via Internet et le développement d'automates connectés, a pour conséquence une augmentation de la surface d'attaque de ces systèmes. La plateforme IIOT4.0 développée sur le site de Rennes permet aux chercheurs de reproduire l'architecture réseau qui est typiquement utilisée dans un contexte industriel. Un modèle réduit de chaîne de production…

Traitement des données de mesure acquises dans une des chambres anéchoïques de la plateforme M2ARS (Manufacturing measurement analysis of radiating systems). Cet ensemble d'outils informatiques sert à la caractérisation du champ électromagnétique émis par les dispositifs rayonnants. Il est ainsi possible de calculer le champ en des positions arbitraires, afin de déterminer si l'antenne possède les propriétés en rayonnement requises et éventuellement de réaliser un diagnostic.

Traitement des données de mesure acquises dans une des chambres anéchoïques de la plateforme M2ARS (Manufacturing measurement analysis of radiating systems). Cet ensemble d'outils informatiques sert à la caractérisation du champ électromagnétique émis par les dispositifs rayonnants. Il est ainsi possible de calculer le champ en des positions arbitraires, afin de déterminer si l'antenne possède les propriétés en rayonnement requises et éventuellement de réaliser un diagnostic.

Eye tracking pour l’analyse de la détection du changement dans une image pour les personnes atteintes de troubles neuro-développementaux. L'eye-tracking est une technique permettant de suivre la direction du regard. Dans cette expérience, l'eye-tracking est utilisé pour fournir des informations sur la manière dont des adultes et des adolescents avec des troubles neuro-développementaux (autisme, trouble du déficit de l'attention avec ou sans hyperactivité) gèrent leur attention visuelle lorsqu…

Eye tracking pour l’analyse de la détection du changement dans une image pour les personnes atteintes de troubles neuro-développementaux. L'eye-tracking est une technique permettant de suivre la direction du regard. Dans cette expérience, l'eye-tracking est utilisé pour fournir des informations sur la manière dont des adultes et des adolescents avec des troubles neuro-développementaux (autisme, trouble du déficit de l'attention avec ou sans hyperactivité) gèrent leur attention visuelle lorsqu…

Conception d'une application mobile dont l’objectif est de changer les comportements et l'attitude de patients lombalgiques. L'application BACK-4P propose des interactions et des contenus personnalisés en fonction de 4 profils de patients qui ont été identifiés par classification automatique : séances d’activité physique, quizz connaissances, exercice de méditation pour la douleur et conseils ergothérapeutiques. En fonction du profil, l'application réorganise les activités proposées en priorité…

Conception d'une application mobile dont l’objectif est de changer les comportements et l'attitude de patients lombalgiques. L'application BACK-4P propose des interactions et des contenus personnalisés en fonction de 4 profils de patients qui ont été identifiés par classification automatique : séances d’activité physique, quizz connaissances, exercice de méditation pour la douleur et conseils ergothérapeutiques. En fonction du profil, l'application réorganise les activités proposées en priorité…

Environnement virtuel pour la formation à la gestion de crise. Le projet VICTEAMS avait pour objectif de proposer des modèles pour la création d’environnements virtuels peuplés de personnages virtuels autonomes (PVA) destinés à former des leaders d’équipes médicales qui doivent gérer des situations de crise dans des environnements socio-techniques complexes (par exemple, gestion d’attentats ou de catastrophes environnementales). L'équipe interdisciplinaire réunissait des informaticiens, des…

Environnement virtuel pour la formation à la gestion de crise. Le projet VICTEAMS avait pour objectif de proposer des modèles pour la création d’environnements virtuels peuplés de personnages virtuels autonomes (PVA) destinés à former des leaders d’équipes médicales qui doivent gérer des situations de crise dans des environnements socio-techniques complexes (par exemple, gestion d’attentats ou de catastrophes environnementales). L'équipe interdisciplinaire réunissait des informaticiens, des…

Visualisation de données géospatiales complexes et dynamiques sur un mur d'image ultra-haute résolution. Ce type de mur permet l'affichage et la manipulation interactive de grandes quantités de données. Lors d’une revue de design industriel, l’application ShapeCompare permet à plusieurs collaborateurs de générer de nombreuses variations d’un modèle de CAO et de les explorer sur un mur d’écrans grâce à des interactions tactiles. Un collaborateur peut également s’immerger en réalité virtuelle…

Visualisation de données géospatiales complexes et dynamiques sur un mur d'image ultra-haute résolution. Ce type de mur permet l'affichage et la manipulation interactive de grandes quantités de données. Lors d’une revue de design industriel, l’application ShapeCompare permet à plusieurs collaborateurs de générer de nombreuses variations d’un modèle de CAO et de les explorer sur un mur d’écrans grâce à des interactions tactiles. Un collaborateur peut également s’immerger en réalité virtuelle…

Visualisation de données géospatiales complexes et dynamiques sur un mur d'image ultra-haute résolution. Ce type de mur permet l'affichage et la manipulation interactive de grandes quantités de données. Lors d’une revue de design industriel, l’application ShapeCompare permet à plusieurs collaborateurs de générer de nombreuses variations d’un modèle de CAO et de les explorer sur un mur d’écrans grâce à des interactions tactiles. Un collaborateur peut également s’immerger en réalité virtuelle…

Visualisation de données géospatiales complexes et dynamiques sur un mur d'image ultra-haute résolution. Ce type de mur permet l'affichage et la manipulation interactive de grandes quantités de données. Lors d’une revue de design industriel, l’application ShapeCompare permet à plusieurs collaborateurs de générer de nombreuses variations d’un modèle de CAO et de les explorer sur un mur d’écrans grâce à des interactions tactiles. Un collaborateur peut également s’immerger en réalité virtuelle…

Visualisation de données géospatiales complexes et dynamiques sur un mur d'image ultra-haute résolution. Ce type de mur permet l'affichage et la manipulation interactive de grandes quantités de données. Lors d’une revue de design industriel, l’application ShapeCompare permet à plusieurs collaborateurs de générer de nombreuses variations d’un modèle de CAO et de les explorer sur un mur d’écrans grâce à des interactions tactiles. Un collaborateur peut également s’immerger en réalité virtuelle…

Partenariat humain-machine pour la création collaborative de "mood boards". SemanticCollage permet de créer des "mood boards" de manière interactive et collaborative avec un système d’IA. Les utilisateurs peuvent effectuer des recherches avec n'importe quelle combinaison d'images et de texte. Le système analyse leur sémantique et renvoie de nouvelles images et des mots-clés associés, que l'utilisateur peut ajouter au mood board ou ajuster pour une nouvelle recherche.

Navigation interactive dans une collection de portraits avec l'application GlobeViz. Ce projet art et sciences a été réalisé en réponse à une commande du LUMEN de l'Université Paris-Saclay pour présenter de manière ludique et interactive une collection de plus de 100 portraits de doctorants réalisés par le photographe Didier Goupy. GlobeViz affiche les portraits sur un globe qui tourne. À intervalles aléatoires, un portrait "s'envole" et s'affiche en plein écran. L'interface tactile permet de…

Navigation interactive dans une collection de portraits avec l'application GlobeViz. Ce projet art et sciences a été réalisé en réponse à une commande du LUMEN de l'Université Paris-Saclay pour présenter de manière ludique et interactive une collection de plus de 100 portraits de doctorants réalisés par le photographe Didier Goupy. GlobeViz affiche les portraits sur un globe qui tourne. À intervalles aléatoires, un portrait "s'envole" et s'affiche en plein écran. L'interface tactile permet de…

Agent de recrutement virtuel pour entraîner les étudiants aux entretiens d’embauche. Le projet My Automated Conversation coacH (MACH) a été développé en coopération avec le Massachusetts Institute of Technology (MIT). Il intègre la plateforme d'agents expressifs MARC développée au Laboratoire interdisciplinaire des sciences du numérique (LISN). MACH a obtenu un prix du meilleur article à la conférence internationale UBICOMP.