20240020_0001
Open media modal

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…

Photo
20240020_0001
Déambulation dans la cathédrale Notre-Dame de Paris après restauration grâce à la réalité virtuelle
20240020_0002
Open media modal

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…

Photo
20240020_0002
Déambulation dans la numérisation de Notre-Dame de Paris avant l'incendie, dans la réalité virtuelle
20240020_0003
Open media modal

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…

Photo
20240020_0003
Manipulation d’un vestige de poutre calcinée de la cathédrale Notre-Dame de Paris grâce à la réalité virtuelle
20240020_0004
Open media modal

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…

Photo
20240020_0004
Manipulation d’un vestige de poutre calcinée de la cathédrale Notre-Dame de Paris grâce à la réalité virtuelle
Open media modal

Uniquement disponible pour exploitation non commerciale

La réalité virtuelle se met au service de la science. La cathédrale Notre-Dame de Paris a été entièrement numérisée par les chercheurs du CNRS, qui peuvent désormais s'immerger dans le double virtuel de l'édifice. A la Cité de l'architecture et du patrimoine, à Paris, grâce au Téléport conçu par Dassault Systèmes, les scientifiques accèdent à des matériaux désormais détruits ou à des parties inaccessibles de la cathédrale.

Vidéo
7920
Notre-Dame de Paris et son double virtuel
20230095_0003
Open media modal

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…

Photo
20230095_0003
Vérification d'une preuve mathématique par ordinateur par Sandrine Blazy, médaille d'argent du CNRS 2023
20230095_0004
Open media modal

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…

Photo
20230095_0004
Vérification d'une preuve mathématique par ordinateur par Sandrine Blazy, médaille d'argent du CNRS 2023
20230095_0005
Open media modal

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…

Photo
20230095_0005
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0006
Open media modal

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…

Photo
20230095_0006
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0007
Open media modal

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…

Photo
20230095_0007
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0008
Open media modal

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…

Photo
20230095_0008
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0001
Open media modal

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…

Photo
20230095_0001
Sandrine Blazy, médaille d'argent du CNRS 2023, prépare une preuve mathématique vérifiée par ordinateur
20230082_0015
Open media modal

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…

Photo
20230082_0015
Marc Antonini, médaille de l'innovation du CNRS 2023, et deux collaborateurs, cofondateurs de la start-up Cintoo
20230082_0016
Open media modal

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…

Photo
20230082_0016
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0017
Open media modal

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…

Photo
20230082_0017
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0018
Open media modal

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…

Photo
20230082_0018
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0019
Open media modal

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…

Photo
20230082_0019
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0020
Open media modal

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…

Photo
20230082_0020
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
20230082_0021
Open media modal

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…

Photo
20230082_0021
Marc Antonini, médaille de l'innovation du CNRS 2023 et une collaboratrice cofondatrice de la start-up Pearcode
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait d'Adrien Guénard, Médaille de cristal 2023 du CNRS, responsable technique de la plateforme Creativ'Lab robotique et Systèmes cyber-physiques du Laboratoire lorrain de recherche en informatique et ses applications (Loria). À son arrivée au Loria en 2018, Adrien Guénard crée le Creativ'Lab dont il est désormais le responsable technique. Cette plateforme fait rapidement office de vitrine aux expertises du laboratoire sur des problématiques allant des interactions humain-machine à…

Vidéo
7967
Médaille de cristal 2023 : Adrien Guénard, ingénieur en informatique
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait de Sandrine Blazy, médaille d'argent du CNRS 2023, professeure à l'université de Rennes, membre de l'Institut de recherche en informatique et systèmes aléatoires, spécialiste de sciences du logiciel. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs. Sa contribution se concentre sur les outils informatiques qui permettent à un programme écrit de devenir exécutable : les compilateurs. Traditionnellement, ces outils indispensables ne sont pas…

Vidéo
7800
Médaille d'Argent 2023 : Sandrine Blazy, enseignante-chercheuse en sciences du logiciel
20220104_0101
Open media modal

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.

Photo
20220104_0101
Traitement des données de mesure acquises dans une des chambres anéchoïques de la plateforme M2ARS
20220104_0102
Open media modal

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.

Photo
20220104_0102
Traitement des données de mesure acquises dans une des chambres anéchoïques de la plateforme M2ARS
20220145_0008
Open media modal

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Photo
20220145_0008
Diagramme espace-temps d’un automate cellulaire captif
20220145_0009
Open media modal

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Photo
20220145_0009
Diagramme espace-temps d’un automate cellulaire captif
20220145_0010
Open media modal

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Photo
20220145_0010
Diagramme espace-temps d’un automate cellulaire captif
20220145_0013
Open media modal

Graphe des relations d'inclusion entre des motifs structurels d’ARN. Les motifs structurels d'ARN sont des petites parties de structures tertiaires d'ARN qui sont récurrentes, c'est-à-dire qui sont présentes dans plusieurs molécules d'ARN, parfois de familles fonctionnelles différentes. Chacun des sommets du graphe représente un motif structurel, et chacune des arêtes représente une relation d'inclusion entre deux motifs. La représentation groupe ensemble les motifs qui se ressemblent le plus…

Photo
20220145_0013
Graphe des relations d'inclusion entre des motifs structurels d’ARN
20220145_0011
Open media modal

Graphe des relations d'inclusion entre des motifs structurels d’ARN. Les motifs structurels d'ARN sont des petites parties de structures tertiaires d'ARN qui sont récurrentes, c'est-à-dire qui sont présentes dans plusieurs molécules d'ARN, parfois de familles fonctionnelles différentes. Chacun des sommets du graphe représente un motif structurel, et chacune des arêtes représente une relation d'inclusion entre deux motifs. La représentation groupe ensemble les motifs qui se ressemblent le plus…

Photo
20220145_0011
Graphe des relations d'inclusion entre des motifs structurels d’ARN
20220145_0012
Open media modal

Graphe des relations d'inclusion entre des motifs structurels d’ARN. Les motifs structurels d'ARN sont des petites parties de structures tertiaires d'ARN qui sont récurrentes, c'est-à-dire qui sont présentes dans plusieurs molécules d'ARN, parfois de familles fonctionnelles différentes. Chacun des sommets du graphe représente un motif structurel, et chacune des arêtes représente une relation d'inclusion entre deux motifs. La représentation groupe ensemble les motifs qui se ressemblent le plus…

Photo
20220145_0012
Graphe des relations d'inclusion entre des motifs structurels d’ARN
20220145_0007
Open media modal

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Photo
20220145_0007
Diagramme espace-temps d’un automate cellulaire captif
20220145_0014
Open media modal

Simulation des premières phases de cicatrisation : formation de fibrilles de fibrinogène. Les fibrilles s’associeront ensuite pour faire une plaque, qui formera un caillot de sang. Cette simulation montre l'évolution dans le temps des concentrations des différents réactifs, ainsi que la formation des assemblages moléculaires.

Photo
20220145_0014
Simulation des premières phases de cicatrisation : formation de fibrilles de fibrinogène
20220145_0027
Open media modal

Le projet Arts-Sciences CO/DA, en collaboration avec Yves Candau (SFU, Canada), portait sur l’intégration de technologies numériques en danse contemporaine. Il s’agit de l’expérimentation d’une forme d’improvisation impliquant la danse et le "live coding" (ou programmation à la volée) des interactions entre les mouvements d’un danseur et la synthèse sonore. Au cours du projet, l’équipe a développé un logiciel open-source dédié et a établi une pratique d’improvisation qui contribue aux…

Photo
20220145_0027
Recherche en art et science sur l’interaction entre le mouvement et le son pour l’improvisation en danse
20220145_0028
Open media modal

Le projet Arts-Sciences CO/DA, en collaboration avec Yves Candau (SFU, Canada), portait sur l’intégration de technologies numériques en danse contemporaine. Il s’agit de l’expérimentation d’une forme d’improvisation impliquant la danse et le "live coding" (ou programmation à la volée) des interactions entre les mouvements d’un danseur et la synthèse sonore. Au cours du projet, l’équipe a développé un logiciel open-source dédié et a établi une pratique d’improvisation qui contribue aux…

Photo
20220145_0028
Recherche en art et science sur l’interaction entre le mouvement et le son pour l’improvisation en danse
20220145_0029
Open media modal

Le projet Arts-Sciences CO/DA, en collaboration avec Yves Candau (SFU, Canada), portait sur l’intégration de technologies numériques en danse contemporaine. Il s’agit de l’expérimentation d’une forme d’improvisation impliquant la danse et le "live coding" (ou programmation à la volée) des interactions entre les mouvements d’un danseur et la synthèse sonore. Au cours du projet, l’équipe a développé un logiciel open-source dédié et a établi une pratique d’improvisation qui contribue aux…

Photo
20220145_0029
Recherche en art et science sur l’interaction entre le mouvement et le son pour l’improvisation en danse
20220145_0030
Open media modal

Cette Interface tangible est un modèle physique augmenté de capteurs électroniques. Comme un Lego moléculaire, il est possible de construire sa molécule et de modifier sa conformation 3D, à partir de composants moléculaires ou atomiques physiques, imprimés à l'aide d'une imprimante 3D. Un réseau de capteurs embarqués dans ces composants, sans contact, sans fil et autonomes, permet de reconstruire en temps réel durant la manipulation, sans souris, sans clavier, de manière transparente, son…

Photo
20220145_0030
Interface tangible moléculaire modulaire articulée sans fil et sans marqueurs
20220145_0031
Open media modal

Cette Interface tangible est un modèle physique augmenté de capteurs électroniques. Comme un Lego moléculaire, il est possible de construire sa molécule et de modifier sa conformation 3D, à partir de composants moléculaires ou atomiques physiques, imprimés à l'aide d'une imprimante 3D. Un réseau de capteurs embarqués dans ces composants, sans contact, sans fil et autonomes, permet de reconstruire en temps réel durant la manipulation, sans souris, sans clavier, de manière transparente, son…

Photo
20220145_0031
Interface tangible moléculaire modulaire articulée sans fil et sans marqueurs
20220145_0032
Open media modal

Exploration de données météorologiques en réalité augmentée. La température et la force du vent (vélocité) sont représentées en réalité augmentée. Les données sont de nature différente : le vent sont des vecteurs et la température est à deux dimensions, ce qui permet de les représenter dans un même espace et d’interagir sur ces données.

Photo
20220145_0032
Exploration de données météorologiques en réalité augmentée

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.