Search results for:

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, 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…

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…

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…

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).

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).

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).

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…

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…

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…

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).

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.

Qualité des connexions dans le web des données. Invalidation de liens d’identité en utilisant de la détection de communautés dans le web des données.

Qualité des connexions dans le web des données. Invalidation de liens d’identité en utilisant de la détection de communautés dans le web des données.

Qualité des connexions dans le web des données. Invalidation de liens d’identité en utilisant de la détection de communautés dans le web des données.

Qualité des connexions dans le web des données. Invalidation de liens d’identité en utilisant de la détection de communautés dans le web des données.