http://axe-methodes-formelles.imag.fr/api.php?action=feedcontributions&feedformat=atom&user=Geneves 2026-06-08T02:32:28Z Contributions MediaWiki 1.39.17 http://axe-methodes-formelles.imag.fr/index.php?title=Accueil&diff=24 2019-01-10T15:15:16Z

<p>Geneves : /* Langages de haut niveau pour la science des données */</p> <hr /> <div><br /> ===[[Prospective pour l'evaluation de 2019]]===<br /> <br /> * Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)<br /> <br /> * Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.)<br /> <br /> * Informatique quantique<br /> <br /> * construction certifiée de systèmes<br /> <br /> * Langages de haut niveau typés pour la science des données<br /> <br /> <br /> ==== Explicabilité et accountability des systèmes embarqués et cyber-physiques ====<br /> <br /> Avec la complexité et l'autonomie croissantes des CPS les besoins d'accountability et d'explicabilité deviennent cruciaux : pour être socialement acceptables les comportements des CPS doivent être explicables. Ce besoin touche particulièrement les systèmes dont la prise de décisions est basée sur l'intelligence artificielle, mais il n'est pas limité à l'IA. Outre la sûreté, le respect - et la violation - de propriétés comme la sécurité et la vie privée doivent être rendus explicables. Cette explicabilité doit servir, en particulier, à départager les responsabilités juridiques entre acteurs en cas de dysfonctionnements des CPS.<br /> <br /> ==== Adaptation du numérique à la transition écologique ====<br /> <br /> Adaptation du numérique au défi majeur que constitue la transition écologique ou aux conséquences de notre échec à relever ce défi : méthodes pour mieux comprendre l'impact environnemental et sociétal du numérique, besoins accrus en résilience, nécessité de recréer des systèmes et des infrastructures économes en énergie, ressources, maintenance, etc.<br /> <br /> ==== Embedded IA ====<br /> <br /> &quot;Embedded IA&quot; et plus specifiquement &quot;embedded machine learning&quot;. On voit ainsi emerger des implementations FPGA et ASIC pour faire du ML et des CNN (convolutional neural networks), ainsi que du deploiement sur des multi-coeurs.<br /> <br /> ==== Langages de haut niveau typés pour la science des données ====<br /> <br /> Importance prépondérante de la préparation des données (nettoyage,<br /> requêtage, manipulation distribuée des données, etc.) dans la<br /> construction d'applications en intelligence artificielle. Construction de systèmes de types pour l'analyse de la manipulation de données. Construction de méthodes d'analyse et de compilation optimisante pour ces langages et en particulier pour le requêtage.<br /> <br /> == Démarrer avec MediaWiki ==<br /> * [//meta.wikimedia.org/wiki/Aide:Contenu Guide de l’utilisateur] pour plus d’informations sur l’utilisation de ce logiciel.<br /> * [//www.mediawiki.org/wiki/Manual:Configuration_settings Liste des paramètres de configuration]<br /> * [//www.mediawiki.org/wiki/Manual:FAQ/fr FAQ sur MediaWiki]<br /> * [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Liste de discussion sur les distributions de MediaWiki]</div>

Geneves http://axe-methodes-formelles.imag.fr/index.php?title=Accueil&diff=23 2019-01-10T15:15:03Z

<p>Geneves : /* Prospective pour l&#039;evaluation de 2019 */</p> <hr /> <div><br /> ===[[Prospective pour l'evaluation de 2019]]===<br /> <br /> * Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)<br /> <br /> * Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.)<br /> <br /> * Informatique quantique<br /> <br /> * construction certifiée de systèmes<br /> <br /> * Langages de haut niveau typés pour la science des données<br /> <br /> <br /> ==== Explicabilité et accountability des systèmes embarqués et cyber-physiques ====<br /> <br /> Avec la complexité et l'autonomie croissantes des CPS les besoins d'accountability et d'explicabilité deviennent cruciaux : pour être socialement acceptables les comportements des CPS doivent être explicables. Ce besoin touche particulièrement les systèmes dont la prise de décisions est basée sur l'intelligence artificielle, mais il n'est pas limité à l'IA. Outre la sûreté, le respect - et la violation - de propriétés comme la sécurité et la vie privée doivent être rendus explicables. Cette explicabilité doit servir, en particulier, à départager les responsabilités juridiques entre acteurs en cas de dysfonctionnements des CPS.<br /> <br /> ==== Adaptation du numérique à la transition écologique ====<br /> <br /> Adaptation du numérique au défi majeur que constitue la transition écologique ou aux conséquences de notre échec à relever ce défi : méthodes pour mieux comprendre l'impact environnemental et sociétal du numérique, besoins accrus en résilience, nécessité de recréer des systèmes et des infrastructures économes en énergie, ressources, maintenance, etc.<br /> <br /> ==== Embedded IA ====<br /> <br /> &quot;Embedded IA&quot; et plus specifiquement &quot;embedded machine learning&quot;. On voit ainsi emerger des implementations FPGA et ASIC pour faire du ML et des CNN (convolutional neural networks), ainsi que du deploiement sur des multi-coeurs.<br /> <br /> ==== Langages de haut niveau pour la science des données ====<br /> <br /> Importance prépondérante de la préparation des données (nettoyage,<br /> requêtage, manipulation distribuée des données, etc.) dans la<br /> construction d'applications en intelligence artificielle. Construction de systèmes de types pour l'analyse de la manipulation de données. Construction de méthodes d'analyse et de compilation optimisante pour ces langages et en particulier pour le requêtage.<br /> <br /> == Démarrer avec MediaWiki ==<br /> * [//meta.wikimedia.org/wiki/Aide:Contenu Guide de l’utilisateur] pour plus d’informations sur l’utilisation de ce logiciel.<br /> * [//www.mediawiki.org/wiki/Manual:Configuration_settings Liste des paramètres de configuration]<br /> * [//www.mediawiki.org/wiki/Manual:FAQ/fr FAQ sur MediaWiki]<br /> * [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Liste de discussion sur les distributions de MediaWiki]</div>

Geneves http://axe-methodes-formelles.imag.fr/index.php?title=Accueil&diff=22 2019-01-10T15:11:46Z

<p>Geneves : /* Prospective pour l&#039;evaluation de 2019 */</p> <hr /> <div><br /> ===[[Prospective pour l'evaluation de 2019]]===<br /> <br /> * Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)<br /> <br /> * Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.)<br /> <br /> * Informatique quantique<br /> <br /> * construction certifiée de systèmes<br /> <br /> * Langages de haut niveau pour la science des données<br /> <br /> <br /> ==== Explicabilité et accountability des systèmes embarqués et cyber-physiques ====<br /> <br /> Avec la complexité et l'autonomie croissantes des CPS les besoins d'accountability et d'explicabilité deviennent cruciaux : pour être socialement acceptables les comportements des CPS doivent être explicables. Ce besoin touche particulièrement les systèmes dont la prise de décisions est basée sur l'intelligence artificielle, mais il n'est pas limité à l'IA. Outre la sûreté, le respect - et la violation - de propriétés comme la sécurité et la vie privée doivent être rendus explicables. Cette explicabilité doit servir, en particulier, à départager les responsabilités juridiques entre acteurs en cas de dysfonctionnements des CPS.<br /> <br /> ==== Adaptation du numérique à la transition écologique ====<br /> <br /> Adaptation du numérique au défi majeur que constitue la transition écologique ou aux conséquences de notre échec à relever ce défi : méthodes pour mieux comprendre l'impact environnemental et sociétal du numérique, besoins accrus en résilience, nécessité de recréer des systèmes et des infrastructures économes en énergie, ressources, maintenance, etc.<br /> <br /> ==== Embedded IA ====<br /> <br /> &quot;Embedded IA&quot; et plus specifiquement &quot;embedded machine learning&quot;. On voit ainsi emerger des implementations FPGA et ASIC pour faire du ML et des CNN (convolutional neural networks), ainsi que du deploiement sur des multi-coeurs.<br /> <br /> ==== Langages de haut niveau pour la science des données ====<br /> <br /> Importance prépondérante de la préparation des données (nettoyage,<br /> requêtage, manipulation distribuée des données, etc.) dans la<br /> construction d'applications en intelligence artificielle. Construction de systèmes de types pour l'analyse de la manipulation de données. Construction de méthodes d'analyse et de compilation optimisante pour ces langages et en particulier pour le requêtage.<br /> <br /> == Démarrer avec MediaWiki ==<br /> * [//meta.wikimedia.org/wiki/Aide:Contenu Guide de l’utilisateur] pour plus d’informations sur l’utilisation de ce logiciel.<br /> * [//www.mediawiki.org/wiki/Manual:Configuration_settings Liste des paramètres de configuration]<br /> * [//www.mediawiki.org/wiki/Manual:FAQ/fr FAQ sur MediaWiki]<br /> * [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Liste de discussion sur les distributions de MediaWiki]</div>

Geneves http://axe-methodes-formelles.imag.fr/index.php?title=Accueil&diff=21 2019-01-10T15:11:23Z

<p>Geneves : /* Prospective pour l&#039;evaluation de 2019 */</p> <hr /> <div><br /> ===[[Prospective pour l'evaluation de 2019]]===<br /> <br /> * Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)<br /> <br /> * Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.)<br /> <br /> * Informatique quantique<br /> <br /> * construction certifiée de systèmes<br /> <br /> * Langages de haut niveau pour la science des données<br /> <br /> <br /> ==== Explicabilité et accountability des systèmes embarqués et cyber-physiques ====<br /> <br /> Avec la complexité et l'autonomie croissantes des CPS les besoins d'accountability et d'explicabilité deviennent cruciaux : pour être socialement acceptables les comportements des CPS doivent être explicables. Ce besoin touche particulièrement les systèmes dont la prise de décisions est basée sur l'intelligence artificielle, mais il n'est pas limité à l'IA. Outre la sûreté, le respect - et la violation - de propriétés comme la sécurité et la vie privée doivent être rendus explicables. Cette explicabilité doit servir, en particulier, à départager les responsabilités juridiques entre acteurs en cas de dysfonctionnements des CPS.<br /> <br /> ==== Adaptation du numérique à la transition écologique ====<br /> <br /> Adaptation du numérique au défi majeur que constitue la transition écologique ou aux conséquences de notre échec à relever ce défi : méthodes pour mieux comprendre l'impact environnemental et sociétal du numérique, besoins accrus en résilience, nécessité de recréer des systèmes et des infrastructures économes en énergie, ressources, maintenance, etc.<br /> <br /> ==== Embedded IA ====<br /> <br /> &quot;Embedded IA&quot; et plus specifiquement &quot;embedded machine learning&quot;. On voit ainsi emerger des implementations FPGA et ASIC pour faire du ML et des CNN (convolutional neural networks), ainsi que du deploiement sur des multi-coeurs.<br /> <br /> <br /> ==== Langages de haut niveau pour la science des données ====<br /> <br /> Importance prépondérante de la préparation des données (nettoyage,<br /> requêtage, manipulation distribuée des données, etc.) dans la<br /> construction d'applications en intelligence artificielle. Construction de systèmes de types pour l'analyse de la manipulation de données. Construction de méthodes d'analyse et de compilation optimisante pour ces langages et en particulier pour le requêtage.<br /> <br /> == Démarrer avec MediaWiki ==<br /> * [//meta.wikimedia.org/wiki/Aide:Contenu Guide de l’utilisateur] pour plus d’informations sur l’utilisation de ce logiciel.<br /> * [//www.mediawiki.org/wiki/Manual:Configuration_settings Liste des paramètres de configuration]<br /> * [//www.mediawiki.org/wiki/Manual:FAQ/fr FAQ sur MediaWiki]<br /> * [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Liste de discussion sur les distributions de MediaWiki]</div>

Geneves http://axe-methodes-formelles.imag.fr/index.php?title=Accueil&diff=20 2019-01-10T15:11:06Z

<p>Geneves : /* Langages de haut niveau pour la science des données */</p> <hr /> <div><br /> ===[[Prospective pour l'evaluation de 2019]]===<br /> <br /> * Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)<br /> <br /> * Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.)<br /> <br /> * Informatique quantique<br /> <br /> * construction certifiée de systèmes<br /> <br /> <br /> <br /> ==== Explicabilité et accountability des systèmes embarqués et cyber-physiques ====<br /> <br /> Avec la complexité et l'autonomie croissantes des CPS les besoins d'accountability et d'explicabilité deviennent cruciaux : pour être socialement acceptables les comportements des CPS doivent être explicables. Ce besoin touche particulièrement les systèmes dont la prise de décisions est basée sur l'intelligence artificielle, mais il n'est pas limité à l'IA. Outre la sûreté, le respect - et la violation - de propriétés comme la sécurité et la vie privée doivent être rendus explicables. Cette explicabilité doit servir, en particulier, à départager les responsabilités juridiques entre acteurs en cas de dysfonctionnements des CPS.<br /> <br /> ==== Adaptation du numérique à la transition écologique ====<br /> <br /> Adaptation du numérique au défi majeur que constitue la transition écologique ou aux conséquences de notre échec à relever ce défi : méthodes pour mieux comprendre l'impact environnemental et sociétal du numérique, besoins accrus en résilience, nécessité de recréer des systèmes et des infrastructures économes en énergie, ressources, maintenance, etc.<br /> <br /> ==== Embedded IA ====<br /> <br /> &quot;Embedded IA&quot; et plus specifiquement &quot;embedded machine learning&quot;. On voit ainsi emerger des implementations FPGA et ASIC pour faire du ML et des CNN (convolutional neural networks), ainsi que du deploiement sur des multi-coeurs.<br /> <br /> <br /> ==== Langages de haut niveau pour la science des données ====<br /> <br /> Importance prépondérante de la préparation des données (nettoyage,<br /> requêtage, manipulation distribuée des données, etc.) dans la<br /> construction d'applications en intelligence artificielle. Construction de systèmes de types pour l'analyse de la manipulation de données. Construction de méthodes d'analyse et de compilation optimisante pour ces langages et en particulier pour le requêtage.<br /> <br /> == Démarrer avec MediaWiki ==<br /> * [//meta.wikimedia.org/wiki/Aide:Contenu Guide de l’utilisateur] pour plus d’informations sur l’utilisation de ce logiciel.<br /> * [//www.mediawiki.org/wiki/Manual:Configuration_settings Liste des paramètres de configuration]<br /> * [//www.mediawiki.org/wiki/Manual:FAQ/fr FAQ sur MediaWiki]<br /> * [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Liste de discussion sur les distributions de MediaWiki]</div>

Geneves http://axe-methodes-formelles.imag.fr/index.php?title=Accueil&diff=19 2019-01-10T15:10:30Z

<p>Geneves : /* Prospective pour l&#039;evaluation de 2019 */</p> <hr /> <div><br /> ===[[Prospective pour l'evaluation de 2019]]===<br /> <br /> * Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)<br /> <br /> * Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.)<br /> <br /> * Informatique quantique<br /> <br /> * construction certifiée de systèmes<br /> <br /> <br /> <br /> ==== Explicabilité et accountability des systèmes embarqués et cyber-physiques ====<br /> <br /> Avec la complexité et l'autonomie croissantes des CPS les besoins d'accountability et d'explicabilité deviennent cruciaux : pour être socialement acceptables les comportements des CPS doivent être explicables. Ce besoin touche particulièrement les systèmes dont la prise de décisions est basée sur l'intelligence artificielle, mais il n'est pas limité à l'IA. Outre la sûreté, le respect - et la violation - de propriétés comme la sécurité et la vie privée doivent être rendus explicables. Cette explicabilité doit servir, en particulier, à départager les responsabilités juridiques entre acteurs en cas de dysfonctionnements des CPS.<br /> <br /> ==== Adaptation du numérique à la transition écologique ====<br /> <br /> Adaptation du numérique au défi majeur que constitue la transition écologique ou aux conséquences de notre échec à relever ce défi : méthodes pour mieux comprendre l'impact environnemental et sociétal du numérique, besoins accrus en résilience, nécessité de recréer des systèmes et des infrastructures économes en énergie, ressources, maintenance, etc.<br /> <br /> ==== Embedded IA ====<br /> <br /> &quot;Embedded IA&quot; et plus specifiquement &quot;embedded machine learning&quot;. On voit ainsi emerger des implementations FPGA et ASIC pour faire du ML et des CNN (convolutional neural networks), ainsi que du deploiement sur des multi-coeurs.<br /> <br /> <br /> ==== Langages de haut niveau pour la science des données ====<br /> <br /> Importance prépondérante de la préparation des données (nettoyage,<br /> requêtage, manipulation distribuée des données, etc.) dans la<br /> construction d'applications en intelligence artificielle. Construction de systèmes de types pour l'analyse de la manipulation de données. Construction de méthodes d'analyse et de compilation optimisante pour le requêtage.<br /> <br /> == Démarrer avec MediaWiki ==<br /> * [//meta.wikimedia.org/wiki/Aide:Contenu Guide de l’utilisateur] pour plus d’informations sur l’utilisation de ce logiciel.<br /> * [//www.mediawiki.org/wiki/Manual:Configuration_settings Liste des paramètres de configuration]<br /> * [//www.mediawiki.org/wiki/Manual:FAQ/fr FAQ sur MediaWiki]<br /> * [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce Liste de discussion sur les distributions de MediaWiki]</div>

Geneves