Les résultats de recherche pour :

Robot nageur dans un bassin, lors d’une étude des mécanismes propulsif et résistif chez le nageur expert. Son bras robotisé permet de modéliser les mouvements de la nage de manière reproductible et de varier précisément les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie par image de particules) est utilisée pour étudier les tourbillons autour…

Mesure PIV de la vitesse des tourbillons dans l’eau causés par les mouvements du bras robotisé d’un robot nageur, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Le robot permet de modéliser les mouvements de la nage de manière reproductible et de varier les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie…

Mesure PIV de la vitesse des tourbillons dans l’eau causés par les mouvements du bras robotisé d’un robot nageur, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Le robot permet de modéliser les mouvements de la nage de manière reproductible et de varier les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie…

Bras d’un robot nageur dans un bassin, au milieu des particules en suspension utilisées pour l’imagerie PIV, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Le robot permet de modéliser les mouvements de la nage de manière reproductible et de varier les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie par…

Mesure PIV de la vitesse des tourbillons dans l’eau causés par les mouvements du bras robotisé d’un robot nageur, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Le robot permet de modéliser les mouvements de la nage de manière reproductible et de varier les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie…

Robot nageur dans un bassin, devant une caméra haute résolution utilisées pour l’imagerie PIV, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Son bras robotisé permet de modéliser les mouvements de la nage de manière reproductible et de varier précisément les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV …

Bras d’un robot nageur dans un bassin, au milieu des particules en suspension utilisées pour l’imagerie PIV, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Le robot permet de modéliser les mouvements de la nage de manière reproductible et de varier les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie par…

Robot nageur dans un bassin, au milieu des particules en suspension utilisées pour l’imagerie PIV, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Le robot permet de modéliser les mouvements de la nage de manière reproductible et de varier les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie par image de…

Robot nageur dans un bassin, lors d’une étude des mécanismes propulsif et résistif chez le nageur expert. Son bras robotisé permet de modéliser les mouvements de la nage de manière reproductible et de varier précisément les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie par image de particules) est utilisée pour étudier les tourbillons autour…

Robot nageur dans un bassin, devant une caméra haute résolution utilisée pour l’imagerie PIV, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Son bras robotisé permet de modéliser les mouvements de la nage de manière reproductible et de varier précisément les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV (vélocimétrie…

Synchronisation des caméras haute résolution et du laser haute puissance (sur le chariot orange) utilisés pour l’imagerie PIV, dans le cadre d’une étude des mécanismes propulsif et résistif chez le nageur expert. Le robot permet de modéliser les mouvements de la nage de manière reproductible et de varier les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis que l’imagerie tomographique PIV …

Gestion du robot nageur utilisé lors d’une étude des mécanismes propulsif et résistif chez le nageur expert. Le scientifique contrôle le moment précis où la caméra haute résolution (au premier plan), utilisée pour l’imagerie PIV, est déclenchée. Le robot permet de modéliser les mouvements de la nage de manière reproductible et de varier les paramètres (vitesse d’avancement, de rotation du bras, angle d’attaque, etc.). Durant la nage, les capteurs du robot réalisent des mesures de force tandis…

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…

Le robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la plateforme…

Œil du robot humanoïde Neachy. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la…

Le robot humanoïde Neachy saisissant un objet. Sa tête expressive affiche un sourire. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier…

La main du robot humanoïde Neachy tenant un objet. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En…

Tête expressive du robot humanoïde Neachy affichant un sourire. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision…

Tête expressive du robot humanoïde Neachy sans expression faciale. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de…

La main du robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la…

Scientifique serrant la main du robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain…

Manipulation du robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la…

Contact visuel avec le robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En…

Manipulation du robot humanoïde Neachy. Il est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision chez l’humain. En robotique, la…

Le robot humanoïde Neachy donnant un objet à un scientifique. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision…

Le robot humanoïde Neachy donnant un objet à un scientifique. Ce robot est utilisé pour étudier les comportements autonomes et sociaux dans un cadre interdisciplinaire entre neuroscience et robotique. Ces recherches neurorobotiques combinent expérimentation et modélisation, et s’intéressent particulièrement aux processus décisionnels. En neuroscience, la plateforme permet de mettre en place des expériences où l’on fait interagir des participants avec Neachy pour étudier la prise de décision…

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…