Les résultats de recherche pour :

Mise en place de marqueurs réfléchissants sur un grimpeur. Des caméras, disposées autour d'un prototype de mur d'escalade de vitesse miniaturisé, enregistrent la position de chaque marqueur et la restituent dans un modèle 3D. Ce dernier, permet de mesurer les mouvements du sportif et d'analyser ses performances en puissance et en force. Cette étude biomécanique, effectuée dans le cadre du projet PerfAnalytics (PPR), contribue à apporter une précision scientifique à l'analyse de la force, du…

Mise en place de marqueurs réfléchissants sur un grimpeur. Des caméras, disposées autour d'un prototype de mur d'escalade de vitesse miniaturisé, enregistrent la position de chaque marqueur et la restituent dans un modèle 3D. Ce dernier, permet de mesurer les mouvements du sportif et d'analyser ses performances en puissance et en force. Cette étude biomécanique, effectuée dans le cadre du projet PerfAnalytics (PPR), contribue à apporter une précision scientifique à l'analyse de la force, du…

Mise en place de marqueurs réfléchissants sur un grimpeur. Des caméras, disposées autour d'un prototype de mur d'escalade de vitesse miniaturisé, enregistrent la position de chaque marqueur et la restituent dans un modèle 3D. Ce dernier, permet de mesurer les mouvements du sportif et d'analyser ses performances en puissance et en force. Cette étude biomécanique, effectuée dans le cadre du projet PerfAnalytics (PPR), contribue à apporter une précision scientifique à l'analyse de la force, du…

Mesure des mouvements de traction d'un grimpeur et analyse de sa performance en puissance et en coordination. Les prises horizontales en bois sur lesquelles le grimpeur se suspend à la force de ses bras, permettent de mesurer la puissance musculaire avec laquelle il se propulse en hauteur. Les graduations servent de points de repères pour le grimpeur, afin d'avoir un objectif à atteindre. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant et…

Mesure des mouvements de traction d'un grimpeur et analyse de sa performance en puissance et en coordination. Les prises horizontales en bois sur lesquelles le grimpeur se suspend à la force de ses bras, permettent de mesurer la puissance musculaire avec laquelle il se propulse en hauteur. Les graduations servent de points de repères pour le grimpeur, afin d'avoir un objectif à atteindre. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant et…

Mesure des mouvements de traction d'un grimpeur et analyse de sa performance en puissance et en coordination. Les prises horizontales en bois sur lesquelles le grimpeur se suspend à la force de ses bras, permettent de mesurer la puissance musculaire avec laquelle il se propulse en hauteur. Les graduations servent de points de repères pour le grimpeur, afin d'avoir un objectif à atteindre. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant et…

Mesure des mouvements de traction d'un grimpeur et analyse de sa performance en puissance et en coordination. Les prises horizontales en bois sur lesquelles le grimpeur se suspend à la force de ses bras, permettent de mesurer la puissance musculaire avec laquelle il se propulse en hauteur. Les graduations servent de points de repères pour le grimpeur, afin d'avoir un objectif à atteindre. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant et…

Mesure des mouvements de traction d'un grimpeur et analyse de sa performance en puissance et en coordination. Les prises horizontales en bois sur lesquelles le grimpeur se suspend à la force de ses bras, permettent de mesurer la puissance musculaire avec laquelle il se propulse en hauteur. Les graduations servent de points de repères pour le grimpeur, afin d'avoir un objectif à atteindre. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant et…

Mesure des mouvements de traction d'un grimpeur et analyse de sa performance en puissance et en coordination. Les prises horizontales en bois sur lesquelles le grimpeur se suspend à la force de ses bras, permettent de mesurer la puissance musculaire avec laquelle il se propulse en hauteur. Les graduations servent de points de repères pour le grimpeur, afin d'avoir un objectif à atteindre. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant et…

Mesure des mouvements de traction d'un grimpeur et analyse de sa performance en puissance et en coordination. Les prises horizontales en bois sur lesquelles le grimpeur se suspend à la force de ses bras, permettent de mesurer la puissance musculaire avec laquelle il se propulse en hauteur. Les graduations servent de points de repères pour le grimpeur, afin d'avoir un objectif à atteindre. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant et…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force, visibles à droite. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité motrice, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force, visibles à droite. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité motrice, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force. Des caméras disposées autour enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité motrice, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de modèle pour l'installation d'une piste…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force, visibles à droite. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité motrice, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force. Des caméras disposées autour enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité motrice, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de modèle pour l'installation d'une piste…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force, visibles à droite. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité motrice, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Prise équipée de capteurs de force sur un prototype de mur d'escalade de vitesse miniaturisé. Les marqueurs réfléchissants présents sur les gants du grimpeur servent à enregistrer ses mouvements, tandis que cette prise spéciale mesure sa force. La combinaison de ces données permet l'étude de la capacité d'application de la force, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de modèle pour l'installation d'une piste équipée des mêmes instruments de…

Prise sur un prototype de mur d'escalade de vitesse miniaturisé. Les marqueurs réfléchissants présents sur les gants du grimpeur servent à enregistrer ses mouvements : des caméras disposées autour du mur enregistrent leur position et la restituent dans un modèle 3D. Ces données permettent de mesurer les mouvements du sportif et d'analyser ses performances en puissance et en force. Cette étude biomécanique, effectuée dans le cadre du projet PerfAnalytics (PPR), contribue à apporter une précision…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force, dont l'une d'elles est ici tenue par la main droite du sportif. Des caméras disposées autour enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité d'application de la force, de la coordination, du schéma mental et d'appui des…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force, dont l'une d'elles est ici tenue par la main droite du sportif. Des caméras disposées autour enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité d'application de la force, de la coordination, du schéma mental et d'appui des…

Étude du mouvement d'une grimpeuse sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur la sportive et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité d'application de la force, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Étude du mouvement d'une grimpeuse sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur la sportive et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité d'application de la force, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Étude du mouvement d'une grimpeuse sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur la sportive et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité d'application de la force, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Étude du mouvement d'une grimpeuse sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur la sportive et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité d'application de la force, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Mesure des mouvements de traction d'un grimpeur et analyse de sa performance en puissance et en coordination. Les prises horizontales en bois sur lesquelles le grimpeur se suspend à la force de ses bras, permettent de mesurer la puissance musculaire avec laquelle il se propulse en hauteur. Les graduations servent de points de repères pour le grimpeur, afin d'avoir un objectif à atteindre. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant et…

Étude du mouvement d'un grimpeur sur un prototype de mur d'escalade de vitesse miniaturisé. Ce mur est équipé de prises avec des capteurs de force, visibles à droite. Des caméras disposées autour du mur d'escalade enregistrent la position de chaque marqueur réfléchissant placé sur le grimpeur et la restituent dans un modèle 3D. La combinaison de ces données permet l'étude de la capacité motrice, de la coordination, du schéma mental et d'appui des grimpeurs. À terme, ce prototype servira de…

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Adeline Nazarenko directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.

Patricia Rousselle, Marc Antonini, Jacques Gierak et Claire Hellio sont les quatre lauréats de la médaille de l'innovation 2023 du CNRS. Créée depuis une dizaine d’années, cette distinction honore des recherches issues des laboratoires placés sous la tutelle du CNRS qui ont conduit à des innovations marquantes sur le plan technologique, économique, thérapeutique et social. La médaille leur sera remise le mardi 14 novembre prochain.

Patricia Rousselle, Marc Antonini, Jacques Gierak et Claire Hellio sont les quatre lauréats de la médaille de l'innovation 2023 du CNRS. Créée depuis une dizaine d’années, cette distinction honore des recherches issues des laboratoires placés sous la tutelle du CNRS qui ont conduit à des innovations marquantes sur le plan technologique, économique, thérapeutique et social. La médaille leur sera remise le mardi 14 novembre prochain.

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023. 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 un programme sûr en un programme exécutable contenant des bugs. Sandrine Blazy s’appuie sur la…

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…