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…

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…

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…

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…

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses. L’équipe Empenn développe des algorithmes de tractographie permettant de reconstruire ces fibres nerveuses. Cela peut servir à étudier la connectivité cérébrale et rechercher d’éventuels biomarqueurs d’imagerie spécifiques d’une pathologie cérébrale.

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses. L’équipe Empenn développe des algorithmes de tractographie permettant de reconstruire ces fibres nerveuses. Cela peut servir à étudier la connectivité cérébrale et rechercher d’éventuels biomarqueurs d’imagerie spécifiques d’une pathologie cérébrale.

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses. L’équipe Empenn développe des algorithmes de tractographie permettant de reconstruire ces fibres nerveuses. Cela peut servir à étudier la connectivité cérébrale et rechercher d’éventuels biomarqueurs d’imagerie spécifiques d’une pathologie cérébrale.

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses.

L’IRM de diffusion est une modalité d’IRM qui permet d’estimer la direction de diffusion des molécules d’eau, ce qui donne une indication sur la direction principale des fibres nerveuses.

L’Électroencéphalographie (EEG) mesure l’activité électrique du cerveau. L’équipe Empenn de l'Institut de recherche en informatique et systèmes aléatoires (IRISA) utilise cette modalité, couplée à l’IRM, pour élaborer des protocoles de neurofeedback. Il s’agit de montrer à un sujet un stimulus relié, en temps réel, à son activité cérébrale. L’équipe Empenn étudie l’apport de ces protocoles à la rééducation motrice après un accident vasculaire cérébral (AVC), ainsi qu’au traitement de la…

L'IRM fonctionnelle permet de visualiser les zones du cerveau actives pendant une tâche de représentation spatiale (mesure par IRM).

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Visualisation de résultats d'assemblages de génomes. À partir de l'ADN prélevé de cellules d'organismes vivants, les séquenceurs sont capables de "lire" le contenu de l'ADN et de le retranscrire sous forme de fichiers textuels. Cependant les séquenceurs ne sont capables de lire que des fragments d'ADN de petite taille : quelques centaines ou milliers de caractères alors que les génomes contiennent jusqu'à plusieurs milliards de caractères. Heureusement ces "lectures" se chevauchent, et, à la…

Incorporation d'ADN sur une "flowcell" d'un séquenceur MinION. Après un pré-traitement bio-chimique, l'ADN a été extrait des séquences de l'organisme dont il est issu, dupliqué et découpé en fragments. Il est ensuite déposé sur une plaque d'un séquenceur MinION. Cette plaque dispose de "nanopores" (trou d'environ 2 nanomètres de diamètre) dans lesquels passent les fragments d'ADN. Lorsque l'ADN passe à travers le pore, les bases d'ADN sont détectées par un courant électrique qui est ensuite…

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

MANDJET, la plateforme de démonstration et d'expérimentation de gestion de l’énergie par les réseaux électriques intelligents (dits smart grid), développée sur le site de Rennes. Elle est constituée de panneaux solaires, d'un régulateur de charge de batteries hébergé dans un abri bois dans lequel sont garés un scooter, un vélo et une trottinette électriques. L’installation autonome de production d’électricité à partir de panneaux solaires photovoltaïques permet de générer de l’électricité grâce…

Un mur végétal a été fabriqué, en projet avec le collège du Querpon à Val d’Anast, suivant la méthodologie des Fablabs. Il peut être reproduit par chacun grâce à une documentation libre, accessible en ligne. Hormis le côté opérationnel (arrosage automatique), il fait office de plateforme de tests pour la massification de l’Internet des objets : déploiement de capteurs, autoconfiguration et autopositionnement en combinant les données des capteurs environnants.

Un mur végétal a été fabriqué, en projet avec le collège du Querpon à Val d’Anast, suivant la méthodologie des Fablabs. Il peut être reproduit par chacun grâce à une documentation libre, accessible en ligne. Hormis le côté opérationnel (arrosage automatique), il fait office de plateforme de tests pour la massification de l’Internet des objets : déploiement de capteurs, autoconfiguration et autopositionnement en combinant les données des capteurs environnants.