Résultats de votre recherche
XAI pour les modèles de boîte noire utilisant des méthodes formelles basées sur la logique et l'optimisation combinatoire – FORM-XAI
Le projet FORM-XAI répond à la nécessité croissante d'interprétabilité dans le domaine de l'intelligence artificielle (IA), particulièrement dans les secteurs critiques comme la santé, la finance et le transport. Les modèles complexes, tels que les réseaux de neurones profonds, bien qu'efficaces, so
World Wide Web of Plankton Image Curation – WWW.PIC
En sciences de l'environnement, des questions habituelles sont: combien d'organismes sont présents dans un environnement donné? Quelle est leur diversité? Est-ce que cela change dans le temps? L'imagerie numérique peut aider à répondre à ces questions, en particulier sous l'eau, où l'observation dir
Workflow Data Management as a Service pour des Applications Multi-Site – OverFlow
Alors que nous entrons dans le monde de Big Data, le traitement mono-site devient insuffisant: les applications scientifiques à grande échelle ne peuvent plus être logés dans un seul centre de données. Les workflows sont la parfaite illustration de ces applications orientées données. Ils décrivent l
Web Sémantique des Objets Contraints – CoSWoT
L’Internet des Objets connecte des objets tels des capteurs, actionneurs avec leur voisinage. La puissance toujours croissante de ces objets permet d’imaginer de nouvelles architectures les traitant comme des citoyens de première classe. On peut imaginer de nouvelles applications en e-agriculture, b
Weaving knowledge together for healthy and resilient aquatic socio-ecosystems: towards a methodological and modelling framework – WaterWeave
Due to their complex and interconnected nature and the multiple demands placed on them by human activities, trade-offs may arise in the provision of ecosystem services by aquatic ecosystems and sometimes these services may not meet their demand. These tensions are exacerbated by climate changes and
WAter & Air QuAlity monitoring for Smart VegeTAL Infrastructures in cities – WAQATALI
La durabilité des villes d’aujourd’hui et de demain ne peut s’abstraire d’une végétalisation cohérente de l’espace urbain et d’une planification intelligente via des outils d’aide à la décision. Le laboratoire commun Waqatali s'inscrit dans cette dynamique en combinant l’internet des objets, l’intel
Vérification et Conception de Systèmes Cyber-Physiques – VEDECY
Le projet VEDECY est un projet de recherche fondamentale pour le développement d'approches algorithmiques de vérification et conception de systèmes cyber-physiques. Les systèmes cyber-physiques résultent de l'intégration de systèmes informatisés et de processus physiques : des calculateurs embarqués
Vérification Formelle de Composants Distribués – PiCoq
L'utilisation croissante de systèmes informatiques rend nécessaire une analyse rigoureuse de leurs propriétés, pour spécifier et prouver des garanties sur leurs comportements. De nombreux systèmes étant distribués ou reconfigurables, leur complexité les rend quasiment impossibles à analyser direc
Véhicule Electrique, Econome en Energie et Autonome – V3EA
La transition vers les véhicules électriques (VE) est déjà bien engagée. Les technologies telles que les moteurs électriques, l'électronique de puissance, les batteries et les systèmes de freinage régénératif, se développent rapidement. Cependant, les principaux verrous sont l’autonomie, la durée de
