Search results for:

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…

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Les sciences du logiciel pour maîtriser la complexité du logiciel tout au long de son cycle de vie, de sa conception à son implémentation, construction, validation et vérification, déploiement et maintenance. L’équipe DiverSE développe des outils et méthodes pour maîtriser les langages, les architectures, la variabilité, la co-évolution, le test et le déploiement de systèmes logiciels complexes.

Montage qui permet de tester la rigidité d'une très fine couche de molécules formée à la surface de l'eau. Pour cela, un aimant est déposé sur la surface de l'eau contenue dans une coupelle blanche au centre du montage et les deux bobines cuivrées latérales le font osciller sur lui-même. Les mouvements de l'aimant sont suivis par la réflexion d'un faisceau lumineux, ce qui nécessite un réglage précis, et ils sont enregistrés et analysés par un logiciel. Les courbes visualisées sur l'écran d…

Conception d'une application mobile dont l’objectif est de changer les comportements et l'attitude de patients lombalgiques. L'application BACK-4P propose des interactions et des contenus personnalisés en fonction de 4 profils de patients qui ont été identifiés par classification automatique : séances d’activité physique, quizz connaissances, exercice de méditation pour la douleur et conseils ergothérapeutiques. En fonction du profil, l'application réorganise les activités proposées en priorité…

Conception d'une application mobile dont l’objectif est de changer les comportements et l'attitude de patients lombalgiques. L'application BACK-4P propose des interactions et des contenus personnalisés en fonction de 4 profils de patients qui ont été identifiés par classification automatique : séances d’activité physique, quizz connaissances, exercice de méditation pour la douleur et conseils ergothérapeutiques. En fonction du profil, l'application réorganise les activités proposées en priorité…

Agent de recrutement virtuel pour entraîner les étudiants aux entretiens d’embauche. Le projet My Automated Conversation coacH (MACH) a été développé en coopération avec le Massachusetts Institute of Technology (MIT). Il intègre la plateforme d'agents expressifs MARC développée au Laboratoire interdisciplinaire des sciences du numérique (LISN). MACH a obtenu un prix du meilleur article à la conférence internationale UBICOMP.

Projet de recherche nouvelles pratiques RH : assistante virtuelle RH, réalisé par la société Davi un partenaire industriel qui développe des assistants virtuels dans des domaines variés : tourisme, banque. Sacha conduit des entretiens de pré-qualification (première prise de contact avec un entretien virtuel en plus du CV pour avoir un second niveau de lecture) et d’entraînement pour des candidats. Ce projet nourrit le développement d’un produit qui va être commercialisé : RECRUITROOM.

Ajout de comportements sociaux à une conseillère touristique virtuelle. L'objectif est d'ajouter des comportements sociaux émotionnels à une conseillère touristique virtuelle. Notamment l’ajout de comportements d’intimité dans le verbal et le non verbal de l’agent virtuel, l'expression de l’authenticité, de la positivité, de la compréhension mutuelle. Les utilisateurs perçoivent ainsi l’intimité exprimée de l’agent et sont eux-mêmes plus intimes.

Ajout de comportements sociaux à une conseillère touristique virtuelle. L'objectif est d'ajouter des comportements sociaux émotionnels à une conseillère touristique virtuelle. Notamment l’ajout de comportements d’intimité dans le verbal et le non verbal de l’agent virtuel, l'expression de l’authenticité, de la positivité, de la compréhension mutuelle. Les utilisateurs perçoivent ainsi l’intimité exprimée de l’agent et sont eux-mêmes plus intimes.

Ajout de comportements sociaux à une conseillère touristique virtuelle. L'objectif est d'ajouter des comportements sociaux émotionnels à une conseillère touristique virtuelle. Notamment l’ajout de comportements d’intimité dans le verbal et le non verbal de l’agent virtuel, l'expression de l’authenticité, de la positivité, de la compréhension mutuelle. Les utilisateurs perçoivent ainsi l’intimité exprimée de l’agent et sont eux-mêmes plus intimes.

Quatre doctorants de l'Institut de recherche en informatique fondamentale (IRIF) partagent leur sujet de recherche. Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données,…

Quatre doctorants de l'Institut de recherche en informatique fondamentale (IRIF) partagent leur sujet de recherche. Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données,…

Quatre doctorants de l'Institut de recherche en informatique fondamentale (IRIF) partagent leur sujet de recherche. Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données,…

Quatre doctorants de l'Institut de recherche en informatique fondamentale (IRIF) partagent leur sujet de recherche. Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données,…

Quatre doctorants de l'Institut de recherche en informatique fondamentale (IRIF) partagent leur sujet de recherche. Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données,…

Cartographie de la collaboration interurbaine dans un corpus de publications portant sur la Covid-19 publiées avant le 23 mars 2020 (199 documents). Dans ce réseau, les 137 aires d’origine des signataires de ces publications sont matérialisées par des cercles. L'intensité de la collaboration scientifique est soulignée par la taille des cercles et le nombre de liaisons avec d'autres villes. Ce graphique témoigne de la continuité d'une collaboration scientifique mondialisée, même dans le contexte…

Cartographie de la collaboration internationale dans un corpus de publications portant sur la Covid-19 publiées avant le 23 mars 2020 (199 documents). Dans ce réseau, les pays d'origine des signataires de ces publications sont matérialisés par des cercles. L'intensité de la collaboration scientifique est soulignée par la taille des cercles et le nombre de liaisons avec d'autres pays. Ce graphique témoigne de la continuité d'une collaboration scientifique mondialisée, même dans le contexte…

Spatialisation de modèles 3D des claveaux de l’arc doubleau de la nef effondré dans la cathédrale Notre-Dame de Paris, après l'incendie du 15 avril 2019. Ces modèles 3D sont issus de la numérisation des claveaux par la startup Mercurio en novembre 2020. Les claveaux sont spatialisés sur le nuage de points 3D issu des campagnes de relevé lasergrammétrique menées par le groupement d'entreprises GEA - LIFE 3D pour le compte de l'entreprise Le Bras Frères après l’incendie de 2019. Cette capture est…

Restitution 3D de l’arc doubleau de la nef effondré de Notre-Dame de Paris, vu à travers la zone effondrée des voûtes de la nef de la cathédrale après l'incendie du 15 avril 2019. Ce modèle 3D a été réalisé par le laboratoire MAP à partir des campagnes de relevé lasergrammétrique menées par Andrew Tallon (Vassar College) entre 2006 et 2012 et des photographies prises par Didier Groux (A-BIME) avant incendie. La restitution est spatialisée sur le nuage de points 3D issu du relevé…

Restitution 3D de l’arc doubleau de la nef effondré de Notre-Dame de Paris, vu à travers la zone effondrée des voûtes de la nef de la cathédrale après l'incendie du 15 avril 2019. Ce modèle 3D a été réalisé par le laboratoire MAP à partir des campagnes de relevé lasergrammétrique menées par Andrew Tallon (Vassar College) entre 2006 et 2012 et des photographies prises par Didier Groux (A-BIME) avant incendie. La restitution est spatialisée sur le nuage de points 3D issu du relevé…

Projection d’une photographie orientée sur le nuage de points 3D des décombres effondrés dans la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019, réalisé par le groupe de travail (GT) "Données numérique" à partir des photographies acquises par l’entreprise Art Graphique & Patrimoine pour la DRAC Ile-de-France en 2019. Les claveaux de l’arc doubleau de la nef effondré ont été spatialisés et annotés via la plateforme Aïoli, à partir des informations d’identification établies…

Projection d’une photographie orientée sur le nuage de points 3D de l’arc doubleau de la nef effondré dans la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019, acquise par l’entreprise STI pour la DRAC Ile-de-France en 2010. Ces photographies sont spatialisées sur le nuage de points 3D issu du relevé lasergrammétrique mené par le laboratoire MIS en juillet 2020. Cette capture est issue de l’environnement de visualisation interactive 3D développé par le laboratoire MAP dans le…

Nuage de points 3D des décombres vus à travers la zone effondrée des voûtes de la nef de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019, réalisé par le groupe de travail (GT) "Données numériques" à partir des photographies acquises par l’entreprise Art Graphique & Patrimoine pour la DRAC Ile-de-France en 2019. Celui-ci est superposé au nuage de points 3D (en couleurs) issu du relevé lasergrammétrique menée par le laboratoire MIS en juillet 2020. Les claveaux de l’arc…

Nuage de points 3D des décombres vus à travers la zone effondrée des voûtes de la nef de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019, réalisé par le groupe de travail (GT) "Données numériques" à partir des photographies acquises par l’entreprise Art Graphique & Patrimoine pour la DRAC Ile-de-France en 2019. Celui-ci est superposé au nuage de points 3D (en couleurs) issu du relevé lasergrammétrique menée par le laboratoire MIS en juillet 2020. Les claveaux de l’arc…

Nuage de points 3D des décombres effondrés dans la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019, réalisé par le groupe de travail (GT) "Données numériques" à partir des photographies acquises par l’entreprise Art Graphique & Patrimoine pour la DRAC Ile-de-France en 2019. Le nuage de points 3D (de couleur bleue) est issu des campagnes de relevé lasergrammétrique menées par Andrew Tallon (Vassar College) entre 2006 et 2012. Celui-ci est superposé au nuage de points 3D (en…

Restitution 3D des charpentes disparues au niveau de l’extrados des voûtes du chœur de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019. Cette restitution a été réalisée par le laboratoire MAP à partir de documents de Rémi Fromont et Cédric Trentesaux et des campagnes de relevés lasergrammétriques menées avant l'incendie de 2019 par Andrew Tallon (Vassar College) entre 2006 et 2012, par Art Graphique & Patrimoine en 2014 et le groupement d'entreprises GEA - Life 3D pour…

Restitution 3D des charpentes disparues vues à travers la zone effondrée de la croisée du transept de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019. Cette restitution a été réalisée par le laboratoire MAP à partir de documents de Rémi Fromont et Cédric Trentesaux et des campagnes de relevés lasergrammétriques menées avant l'incendie de 2019 par Andrew Tallon (Vassar College) entre 2006 et 2012, par Art Graphique & Patrimoine en 2014 et le groupement d'entreprises GEA …

Restitution 3D des charpentes disparues vues à travers les zones effondrées de la croisée du transept et des voûtes de la nef et du chœur de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019. Cette restitution a été réalisée par le laboratoire MAP à partir de documents de Rémi Fromont et Cédric Trentesaux et des campagnes de relevés lasergrammétriques menées avant l'incendie de 2019 par Andrew Tallon (Vassar College) entre 2006 et 2012, par Art Graphique & Patrimoine en…

Restitution 3D des charpentes disparues vues à travers les zones effondrées des voûtes de la nef et du chœur de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019. Cette restitution a été réalisée par le laboratoire MAP à partir de documents de Rémi Fromont et Cédric Trentesaux et des campagnes de relevés lasergrammétriques menées avant l'incendie de 2019 par Andrew Tallon (Vassar College) entre 2006 et 2012, par Art Graphique & Patrimoine en 2014 et le groupement d…

Restitution 3D des charpentes disparues sur le nuage de point 3D de la face sud de la cathédrale Notre-Dame de Paris après l’incendie du 15 avril 2019. Cette restitution a été réalisée par le laboratoire MAP à partir de documents de Rémi Fromont et Cédric Trentesaux et des campagnes de relevés lasergrammétriques menées avant l'incendie de 2019 par Andrew Tallon (Vassar College) entre 2006 et 2012, par Art Graphique & Patrimoine en 2014 et le groupement d'entreprises GEA - Life 3D pour le…

Restitution 3D des charpentes disparues vues à travers la zone effondrée de la croisée du transept de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019. Cette restitution a été réalisée par le laboratoire MAP à partir de documents de Rémi Fromont et Cédric Trentesaux et des campagnes de relevés lasergrammétriques menées avant l'incendie de 2019 par Andrew Tallon (Vassar College) entre 2006 et 2012, par Art Graphique & Patrimoine en 2014 et le groupement d'entreprises GEA -…

Restitution 3D des charpentes disparues vues à travers la zone effondrée de la croisée du transept de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019. Cette restitution a été réalisée par le laboratoire MAP à partir de documents de Rémi Fromont et Cédric Trentesaux et des campagnes de relevés lasergrammétriques menées avant l'incendie de 2019 par Andrew Tallon (Vassar College) entre 2006 et 2012, par Art Graphique & Patrimoine en 2014 et le groupement d'entreprises GEA -…

Restitution 3D des charpentes disparues vues à travers les zones effondrées de la croisée du transept et des voûtes de la nef et du chœur de la cathédrale Notre-Dame de Paris après l'incendie du 15 avril 2019. Cette restitution a été réalisée par le laboratoire MAP à partir de documents de Rémi Fromont et Cédric Trentesaux et des campagnes de relevés lasergrammétriques menées avant l'incendie de 2019 par Andrew Tallon (Vassar College) entre 2006 et 2012, par Art Graphique & Patrimoine en…