MASTERPIECEPorté par : Seifeddine BEN ELGHALI
Du : 01/01/2023 au 01/07/2026
FlexCHESSPorté par : Seifeddine BEN ELGHALI
Du : 01/12/2022 au 01/12/2025
Résumé :
The large scale integration of renewable energy sources (RES) has introduced a new operating paradigm. Renewable energy sources are
characterized by uncertainty and volatility. Moreover, overloading of transmission and distribution feeders have become more frequent.
The curtailment of renewable power generation has thus increased, contradicting the goals for high shares of RES. A valuable solution
to these challenges is the introduction of flexibility from flexible resources and loads. In this context, FlexCHESS project proposes
cutting-edge solutions based on digital twin concept, Virtual energy storage systems (VESS) and Distributed Ledger Technology (DLT)
to revolutionize the existing practices. Based on the aggregation of Connected Hybrid Energy Storage System (CHESS), FlexCHESS
improves the grid stability while increasing the profitability of its installations by guaranteeing various ancillary services at the distribution
and transmission network levels. FlexCHESS will also ensure the highest level of interoperability of the proposed solutions and enhance
the innovation capacity and competitiveness of SMEs and Startups in Europe by unlocking access to meaningful information and
co-creating new business opportunities. This will be achieved by the appropriate promoting of open innovation and making smart
technologies an asset for intelligent business. In order to validate and evaluate the proposed solutions, five pilot sites demonstrations
with diverse assets in different European countries are planned. The aggregation and optimization of different resources will be extended
to take into account not only electrical energy storage systems (ESS), but also multi-ESSs. Thus, FlexCHESS project will define
different scenarios allowing to evaluate the performances and flexibility capability of CHESS. FlexCHESS project Consortium gathers
3 universities, 2 large companies, 3DSOs, 4 SMEs, and 2 NGO.
VPP4ISLANDSPorté par : Seifeddine BEN ELGHALI
Du : 01/09/2020 au 01/03/2024
SCISSORPorté par : Christophe GONZALES
Du : 01/01/2020 au 01/01/2022
MADEin4Porté par : Mustapha OULADSINE
Du : 01/04/2019 au 01/04/2022
Résumé :
To address the scientific and industrial challenges highly specialized academic and industrial partners are part of the
consortium. They will have a link via the RTO’s or semiconductor equipment companies to exploit the results. The
semiconductor equipment companies have direct links to the IDM’s, which are after all their customers. In addition,
they have strong links with the RTO’s as IMEC, both in terms of shared development projects but also as commercial
customers. The role of IMEC is crucial in the value chain of the consortium: they conduct research on metrology
instruments and methods and provide test-samples of beyond state-of-the-art process technologies. This enables the
hybrid metrology activities. In addition, they provide a main link between the consortium and other IDM’s in the
field such as Intel and TSMC, giving insight into the most advanced developments in the field. TNO’s role, although
also an RTO, is somewhat different in this project, where they concentrate on the research and development of
specific techniques. In this project, TNO will support metrology OEMs with contamination control expertise. The
global network of the project partners and R&D staff involved will support MADEin4.
The institutes have the necessary global spanning network of partners, large numbers of staff and scientific
publications to disseminate and exploit the developed metrology and characterization technology the industrial
partners play a critical role in making the novel productivity technology of MADEin4 project available to the endusers.
The significant involvement of both research institutes and industry ensures viable routes to commercialize
MADEin4 technology. At the end of the project the metrology suppliers, with the help of the other consortium
partners, will have developed and evaluated techniques and methods to measure and characterize new generations
of semiconductor processes and devices all the way down to the 5nm technology nodes, MM and MtM applications,
and will know which techniques provide valuable results worth to commercialize and to produce in new generation
tool.
En savoir plus... GIASPorté par : Herve GLOTIN
Du : 01/04/2019 au 01/07/2022
PRODUCTIVE 4.0Porté par : Guillaume GRATONMustapha OULADSINE
Du : 01/04/2017 au 01/04/2020
Résumé :
Opening the gates to the digital future
Productive4.0 is an ambitious holistic innovation project, meant to open the doors to the potentials of Digital Industry and to maintain a leadership position of the industries in Europe. All partners involved will work on creating the capability to efficiently design and integrate hardware and software of Internet of Things (IoT) devices. Linking the real with the digital world takes more than just adding software to the hardware.
covering the entire product lifecycle
En savoir plus... iMARECULTUREPorté par : Pierre DRAP
Du : 01/11/2016 au 01/11/2019
Résumé :
Objectives
Objective 1: Study and analyze the ship routes of the classical and Hellenistic period through the re-use and spatial analysis from open GIS maritime data, ocean and weather data.
Objective 2: Study of existing data and digitizing about ancient ships, amphorae and anchors to create corresponding 3D libraries.
Objective 3: Digital narratives, media content and storytelling will accompany each ship and underwater archaeological site.
Objective 4: Study, analysis and modelling of the wreck site formation processes in order to feed the virtual reality applications as well as the serious game of underwater excavation with real or realistic data.
Objective 5: Study and analysis of the 3D models of the ships by naval experts in order to obtain knowledge about their buoyancy, Data will be used as input to the seafaring serious game and the storytelling.
Objective 6: The 3D amphorae library will be used as input to the 3D automatic recognition and localization of amphorae, in shipwreck sites. Automatic extraction of different types of amphorae present on the site, will help automatic the process of importing more shipwreck sites on the u-excavation serious game.
Objective 7: Development of two serious games: (i) a Seafaring game where the player will choose a ship loaded with merchandise and will navigate it over the recovered routes and (ii) an U-excavation game where the player will have to surface finds excavating a realistic but randomly re-generated underwater archaeological site.
Objective 8: Research over enhanced immersive VR experience for interactive u-visits in real underwater sites, such as Mazotos shipwreck, Baiae archaeological site and Xlendi shipwreck.
Objective 9: Research will be carried out for an underwater AR tablet, which will support several aspects of an underwater actual visit. The implementation will be done in Baiae (MBAC) submerged archaeological site. The tablet will be used as a visual digital guide, where the diver could get additional information about specific archaeological objects or structures, and marine life during the dive, hence personalizing the experience.
Objective 10: Deliver online available 3D models for3D printing at home for creating handicraft toys and puzzles of amphorae and ancient ships in scale in order to enhance hands on experience, as supported by personalized 3D printing.
En savoir plus... ECOST MEETING IC1302 - 22-23/02/2016Porté par : Omar BOUCELMA
Du : 01/02/2016 au 01/03/2016
SEE4CPorté par : Stephane AYACHE
Du : 01/01/2016 au 01/07/2017
Résumé :
SpatiotEmporal ForEcasting: Coopetition to meet Current Cross-modal Challenges
MFC_DEPLOYPorté par : Rachid OUTBIB
Du : 01/04/2024 au 01/10/2027
QuaSyPorté par : Karoliina LEHTINEN
Du : 01/03/2024 au 01/03/2028
MENACESPorté par : Isabel DEMONGODIN
Du : 06/02/2023 au 06/02/2027
SITIPorté par : Frédéric FLOUVAT
Du : 06/02/2023 au 06/02/2027
ASDMODPorté par : Severine DUBUISSON
Du : 16/01/2023 au 16/01/2027
SargAlertPorté par : Audrey MINGHELLI-ROMAN
Du : 01/01/2023 au 01/01/2027
DisQCPorté par : Giuseppe DI MOLFETTA
Du : 01/10/2022 au 01/04/2026
SELEXINI Coord.Porté par : Carlos RAMISCH
Du : 01/04/2022 au 01/01/2027
Résumé :
Semantic LEXicon Induction for Interpretable and robuste text processing
SYLVANIA / PorteurPorté par : Herve GLOTIN
Du : 03/01/2022 au 03/01/2026
Résumé :
Edge Artificial Intelligence for Accurate Large Scale Biodiversity Surveys
ROV-ChasseurPorté par : Thanh Phuong NGUYEN
Du : 01/01/2022 au 01/01/2025
Résumé :
Apprentissage faiblement supervisé et modèles profonds efficaces déployés sur un ROV pour la détection et la classification des objets sous-marins.
CAMUDIPorté par : Paul VILLOUTREIX
Du : 01/01/2022 au 01/04/2025
Résumé :
INTÉGRATION DES DONNÉES MULTIMODALES EN BIOMÉDECINE
ANR RECONFIDURABLE Porté par : Lyes BENYOUCEF
Du : 01/10/2021 au 01/10/2026
LAMBDACOMBPorté par : Luigi SANTOCANALE
Du : 01/10/2021 au 01/10/2025
Résumé :
Le projet "LambdaComb" ayant pour objet "une expédition cartographique entre le lambda-calcul, la logique et la combinatoire".
MACOMIC Porté par : Abdellah FOURTASSI
Du : 01/10/2021 au 01/04/2025
Résumé :
Cognition Education Formation
SoundBrainSemPorté par : Thierry ARTIERES
Du : 01/10/2021 au 01/10/2025
Résumé :
Représentation of naatural sounds in the human brain : Transforming acoustics into the semantics of sound sources in the environment
REVITALISE Coord.Porté par : Magalie OCHS
Du : 01/10/2021 au 01/11/2025
Résumé :
Formation virtuelle des compétences comportementales pour la prise de parole en public
RECIPROGPorté par : Luigi SANTOCANALE
Du : 01/10/2021 au 01/12/2025
Résumé :
Le projet "RECIPROG" ayant pour objet "Raisonner avec des preuves circulaires pour la programmation".
TRANSDEVPorté par : Paul VILLOUTREIX
Du : 01/10/2021 au 01/10/2025
Résumé :
PRÉCISION DE LA TRANSCRIPTION AU COURS DU DEVELOPPEMENT : LE PROBLEME DES GENES EMBOITES
DIAMELEX Coord.Porté par : Djamal MERAD
Du : 01/06/2021 au 01/06/2025
Résumé :
Aide au DIAgnostic de MElanome par l'EXemple
TERRA-FORMAPorté par : Herve GLOTIN
Du : 01/05/2021 au 01/05/2029
Résumé :
Equipements structurants pour la recherche/EQUIPEX+
TAUDoSPorté par : Thierry ARTIERES
Du : 01/04/2021 au 01/04/2025
Résumé :
Theory and Algorithms for the Understanding of Deep learning on Sequential data
DUCATPorté par : Jeremie CHALOPIN
Du : 15/03/2021 au 15/03/2025
Résumé :
Distributed Network Computong through the lens of Combinatorial Topology
COHERENCE 4DPorté par : Jean-Luc MARI
Du : 01/10/2020 au 01/04/2025
Résumé :
Modélisation, visualisation et inreaction de maquettes numériques 4D interfacées aux systèmes physiques
MASSAL'IA Coord.Porté par : Djamal HABETChu min LI
Du : 01/09/2020 au 01/09/2025
Résumé :
Raisonnement propositionel pour l'optimisation à grande échelle. Application à la mobilité via les énergies propres.
DYVERSEPorté par : Pierre CLAIRAMBAULT
Du : 01/01/2020 au 01/07/2025
ACTIVIS Coord.Porté par : Severine DUBUISSON
Du : 01/10/2019 au 01/07/2025
PRESAGE / PorteurPorté par : Adeline PAIEMENT
Du : 01/09/2021 au 01/09/2024
Résumé :
PREdicting Solar Activity using machine learning on heteroGEneous data
APPRENTISPorté par : Isabel DEMONGODIN
Du : 01/05/2021 au 01/05/2023
DEAL Coord.Porté par : Zhongliang LI
Du : 01/04/2021 au 01/09/2022
Résumé :
Durability enhancement of fuel cell electric vehicles by exploring multi level learning based control
Amélioration de la durabilité des véhicules électriques à pile à combustible en explorant le contrôle basé sur l'apprentissage à plusieurs niveaux – DEAL
MIMPorté par : Ricard MARXER
Du : 01/10/2020 au 01/10/2024
ADSILPorté par : Herve GLOTIN
Du : 01/06/2020 au 01/12/2024
Résumé :
Cette chaire ouvre le paradigme "ADvanced Submarine Intelligent Listening". Elle est portée par H. Glotin, membre honoraire IUF, et ses 3 collègues LIS à Toulon experts en Deep Learning et acoustique / bioacoustique. Cette équipe avait notamment sur projet connexe reçu Y. Lecun en 2013 et lancé des travaux avec S. Mallat. Cette chaire est la continuité de plusieurs années de travaux IA en acoustique sous-marine. L'équipe est renforcée par un 5ieme expert en acoustique et deep learning à Nancy INRIA, et par un expert en HPC acoustique sous marine et un expert en HPC et optimisation pour les problèmes d'assimilation de masses de données. La chaire pour son volet recherche porte sur 3 Taches liées: T1: propagation et apprentissage / accélération de modèle physique par DNN; T2 Classification et localisation jointe par fusion de traits hétérogènes; T3 optimisation d'efforts distribuées sur une flottilles de drones acoustiques. Les formations L M et D existantes et dans 5 ans seront impactées par ADSIL du fait de l’équipe enseignante porteuse. Enfin la Chaire est soutenue par deux industriels, déjà en lien étroit avec des applications bioacoustiques et ou de la marine nationale / défense. Ainsi le projet est dual avec des innovations théoriques et des validations opérationnelles en mer.
FORESEAPorté par : Audrey MINGHELLI-ROMAN
Du : 01/01/2020 au 01/01/2024
QuantML Coord.Porté par : Hachem KADRI
Du : 01/11/2019 au 01/11/2023
Résumé :
Apprentissage automatique quantique :fondements théoriques et algorithmes
UnLIR / PorteurPorté par : Ronan SICRE
Du : 01/10/2019 au 01/10/2023
Résumé :
Apprentissage non super visé de représentation pour la reconnaissance visuelle
ARCHIVALPorté par : Frederic BECHET
Du : 01/10/2019 au 01/10/2023
Résumé :
Valorisation d'archives multimédia : compréhension automatique multimodal du langage pour de nouvelles interfaces intelligentes de médiation et de transmission des savoirs
QualiHealthPorté par : Noel NOVELLI
Du : 01/02/2019 au 01/08/2024
Résumé :
Les activités des établissements hospitaliers comme les activités de recherche
scientifique des instituts de sciences de la vie produisent quotidiennement
une quantité d’information considérable. Ces données sont précieuses pour
améliorer la qualité des soins et peuvent jouer un rôle essentiel en
recherche clinique. Cependant, la collecte de telles données est souvent
réalisée par des outils variés et des processus d’acquisition de données
aux degrés de fiabilité variables. Les données, qui se trouvent ainsi
dispersées dans des sources hétérogènes, souffrent de problèmes aigus de
qualité qui nuisent à leur exploitation à des fins de recherche.
Les problèmes classiques de qualité, comme les données erronées ou
manquantes, sont observables mais d’autres problèmes plus subtils
surgissent lors de l’intégration, notamment quand un nouvel usage est visé
dans un contexte autre que celui initialement prévu. De plus, les
distributions statistiques des données peuvent évoluer dans le temps, ce
qui conduit à la présence d'aberrations (data-glitches) qui peuvent induire
de graves erreurs d’interprétation.
A ce jour, aucun système n’est capable d’assister les cliniciens et les
chercheurs dans leurs activités en prenant en compte la qualité des
données. L’absence d’indicateurs de qualité limite considérablement
l’exploitation des données de santé pour la recherche translationnelle.
Nous soutenons que des analyses bien plus riches et des interactions bien
plus fertiles entre recherche clinique et pré-clinique seraient possibles
si les données disponibles étaient annotées par des indicateurs de qualité
qui seraient ensuite exploités lors de l'interrogation et l’analyse des
données existantes.
En savoir plus... CoPainsPorté par : Magalie OCHS
Du : 31/12/2018 au 31/12/2023
Résumé :
L'objectif général du projet CoPains est de développer un agent artificiel qui soit capable de : (i) inférer les états cognitif et affectif de l'utilisateur humain à partir de ses comportements observables, (ii) persuader l'utilisateur à croire quelque chose ou à se comporter d'une certaine manière, et (iii) interagir avec l'utilisateur d'une façon multimodale par expressions textuelles, expressions faciales et gestes. Les application envisagées sont dans les domaines de l'assistance aux personnes âgées et de la nutrition : un système artificiel, comme un agent conversationnel animé (ECA), pour s'occuper de la santé et du bien être de l'utilisateur. Afin d'atteindre son objectif, CoPains exploitera à la fois des approches théoriques et empiriques en combinant, d'une façon innovante, l'analyse basée sur les corpus avec les méthodes formels développés dans le domaine de l'IA. Ceci inclut la logique, la planification, l'analyse des sentiments et la fouille de donnés.
En savoir plus... SMILESPorté par : Herve GLOTIN
Du : 01/10/2018 au 01/10/2022
FANs Coord.Porté par : Sylvain SENé
Du : 01/10/2018 au 01/01/2024
Résumé :
Fondements des réseaux d'automates (booléens)
Les systèmes d'interaction sont de mieux en mieux compris comme des processus informatiques. Aux fondements de ceux-ci, les interactions et la dynamique se combinent de manière fascinante. De notre connaissance de tels processus dépendra notre compréhension des systèmes réels, omniprésents en physique, en biologie, dans notre vie quotidienne.
L'objectif de FANs est précisément de développer la connaissance sur les réseaux d’automates (RA) qui constituent un modèle abstrait de référence de tels systèmes, au travers d'études fondamentales et profondes sur les caractéristiques des processus informatiques qui les gouvernent. Autrement dit, FANs vise à « augmenter la théorie des RA », au moyen d'approches issues de l'informatique fondamentale. Notre motivation vient : 1) du fait que nous pensons que l'informatique fondamentale fournit un cadre approprié pour traiter de tels réseaux, 2) de notre intérêt pour les réseaux réels, qui nous pousse à étudier les RA per se plutôt que comme des outils de modélisation. En effet, nous sommes convaincus que cette approche constructive et innovante (un retour aux fondamentaux) est parfaitement adaptée pour trouver des lois générales, indispensables pour comprendre les systèmes réels.
Malgré la simplicité (délibérée) des RA, ceux-ci peuvent en même temps simuler une machine de Turing en espace constant, capturer la manière naturelle de concevoir les interactions et modéliser leur dynamique telle qu'observée dans les réseaux réels. Cependant, bien que ce modèle ait été introduit dans les années 1940, l'état de l'art force le constat d'une forme de paradoxe entre l'intérêt donné aux RA du point de vue applicatif et les actuelles faiblesses du point de vue théorique. Or, il semble essentiel de réduire ce paradoxe en développant cette théorie pour renouveler les retombées applicatives. En ce sens, FANs appelle à un retour aux racines de la théorie des RA, en s'attachant aux problèmes de dynamique, de complexité et de calculabilité.
FANs propose d'étudier la dynamique des RA en portant une attention particulière sur le concept de simulation intrinsèque. Bien que déjà largement étudié dans le cadre des automates cellulaires, des pavages et de l’auto-assemblage, le concept de simulation intrinsèque ne l’a jamais été en profondeur dans le contexte des RA. Or, il est central pour comprendre les fondements des transmissions d’information et des calculs opérés dans les systèmes dynamiques discrets. Ainsi, FANs propose de développer ce concept innovant afin de comprendre la complexité dynamique et calculatoire des RA. Par ailleurs, un autre objectif de FANs est d'établir des relations formelles entre les caractéristiques statiques (i.e., leurs graphes d’interaction et leurs fonctions locales de transition) et dynamiques (i.e., leur graphe de transition) des RA, en s'attachant en particulier aux liens entre les cycles d'interaction et les attracteurs et leurs bassins. Ici, nous proposons de mener des travaux mêlant théorie des systèmes dynamiques et combinatoire, en améliorant la borne existante du nombre de points fixes des RA admettant un graphe d’interaction donné. Pour ce faire, nous considérerons l’influence des cycles négatifs, ce qui n’a jamais été fait jusque là. Nous poursuivrons ces travaux en initiant des études de comptage d’attracteurs complexes, qui dépendent fortement des modes de mise à jour. Ceux-ci organisent les mises à jour dans le temps discret, et leur influence sera également étudiée pour mieux comprendre les relations causales des dynamiques des RA. À plus long terme, ces développements permettront également de mieux appréhender les problèmes de synthèse et de composition dans ces réseaux, qui ont des portées applicatives réelles en biologie, sur les questions actuellement clés de modularité fonctionnelle des réseaux de régulation et de reprogrammation cellulaire.
En savoir plus... TICKTACPorté par : Benjamin MONMEGE
Du : 01/10/2018 au 01/09/2023
Résumé :
Techniques et outils efficaces pour la vérification et synthèse des systèmes temps-réels.
La ve?rification formelle, et en particulier le model checking, vise a? assurer la correction des syste?mes critiques. Pour de nombreux syste?mes temps-re?els, la correction concerne non seulement le calcul exact des valeurs de sortie, mais aussi de mesures quantitatives comme le temps d'exe?cution et la consommation d'e?nergie. Les automates temporise?s sont un formalisme standard pour mode?liser des syste?mes avec des contraintes de temps, qui bénéficie d'algorithmes et d'outils de vérification efficaces. Le premier objectif de ce projet est de surmonter certains verrous pour passer a? l'e?chelle dans la ve?rification et la synthe?se des automates temporise?s, en e?tudiant de nouveaux algorithmes, des spe?cifications plus riches, et de nouvelles techniques d'abstraction. Un outil libre sera de?veloppe? pour valider ces re?sultats ; il sera applique? a? la planification de mouvement en robotique, et aux diffe?rents cas d'e?tudes qui viennent de nos collaborations avec des partenaires industriels.
En savoir plus... SunSTONEPorté par : Christophe GONZALES
Du : 18/12/2017 au 18/06/2022
Résumé :
Le projet SunSTONE se propose de développer un outil de contrôle intelligent des réseaux urbains de chaleur. Ce nouvel outil fait particulièrement sens dans le cadre du développement des réseaux à forte fraction solaire, impliquant un stockage intersaisonnier de chaleur.
Par rapport aux travaux existants, SunSTONE met en œuvre des innovations tant sur le plan de la modélisation physique du réseau avec notamment le choix d'une approche exergo-économique et de la gestion multizone d'un champ de sondes pour le stockage thermique souterrain que sur le plan du calcul stochastique avec l'introduction des Réseaux Bayésiens pour la prédiction de la demande et des diagrammes d'influence comme outil d'aide à la décision.
Afin de garantir l'obtention d'un outil pertinent, le projet prévoit des interactions nombreuses entre académique et industriels: collecte et analyse de données, identification de critère de décision, validation et comparaison avec l'existant.
En savoir plus... DISTANCIAPorté par : Victor CEPOI
Du : 01/10/2017 au 01/08/2023
Résumé :
Théorie Métrique des graphes
DE-MO-GRAPHPorté par : Philippe JEGOU
Du : 16/01/2017 au 16/03/2022
Résumé :
Projet DE-MO-GRAPH
Décomposition de Modèles Graphiques
La résolution de problèmes NP-difficiles constitue toujours un défi sur le plan théorique ainsi que pratique. Ce projet vise à résoudre des problèmes de décision, d'optimisation et de comptage (intégration discrète) exprimés en termes de « modèles graphiques » (réseaux de contraintes ou de fonction de coût, réseaux bayésiens, logique propositionnelle, champs de Markov). Il s'agit de modèles où une fonction conjointe sur un ensemble de variables est décrite comme une combinaison factorisée de fonctions de quelques variables. Cette approche est intensivement utilisée en intelligence artificielle, en physique statistique et en statistique. Le terme « modèle graphique » souligne le fait que cette factorisation définit un (hyper)graphe dont les sommets sont les variables et dont les (hyper)arêtes comprennent les variables de chaque facteur. L'expressivité de ces modèles les rend capables de représenter une très large variété de problèmes réels (en traitement d'image, allocation de ressources, bio-informatique,...).
Mais la résolution de ces problèmes est difficile en termes de complexité : NP-complète pour la décision, NP-difficile pour l'optimisation et #P-complète pour le comptage. Ce projet a pour but de traiter ces questions en exploitant des techniques récentes de décomposition d'(hyper)graphes sur les graphes (ou hypergraphes) induits par chaque modèle graphique. L’intérêt pratique de ces approches n’a été démontré qu’au cours des dix dernières années (avec la seule notion de décomposition arborescente) - tout en soulignant leurs limites actuelles - mais présente un fort potentiel de progrès.
En effet, la communauté de la théorie des graphes a indépendamment produit un grand nombre de résultats au cours de ces dernières années. Ils sont restés pour l’essentiel au niveau d’objets théoriques (cf. branch/clique/rank/boolean/matching/treecut/tree-depth-decompositions pour n'en citer que quelques-unes). Actuellement, les résultats théoriques sur ces décompositions n’ont pas encore été exploités pour améliorer les algorithmes de traitement de modèles graphiques et, a fortiori, pour mener à des systèmes efficaces en pratique. Cela n’est pas surprenant dans la mesure où la plupart de ces résultats ont été obtenus pour des motivations théoriques, sans l'objectif affiché de la résolution des modèles graphiques en pratique. Ce type de situation n'est pas nouveau, la notion de décomposition arborescente avait été introduite et étudiée par Roberston et Seymour comme un outil théorique pour prouver la conjecture de Wagner sur les mineurs de graphes. Cet objet mathématique est désormais un outil de base pour les méthodes de résolution qui exploitent la structure des modèles graphiques à traiter.
Sur cette base, un vaste champ d'étude est désormais ouvert autour de la décomposition de graphes, champ qui combine théorie, résultats algorithmiques et outils de résolution pratique. Les objectifs du projet se déclinent donc sur trois axes principaux:
(1) Sur le plan théorique, le but est d'étudier les décompositions existantes ou définir de nouvelles approches de décomposition plus adaptées au traitement efficace de problèmes définis sur des modèles graphiques en s'appuyant sur l'expérience acquise avec les décompositions arborescentes.
(2) Compte tenu des algorithmes de traitement, l'objectif est d'exploiter efficacement les différentes techniques de décomposition de graphes qui ont été développées par la communauté mathématique pour aboutir à des algorithmes plus efficaces en temps et ou en espace.
(3) Sur un plan plus pratique, l'objectif est de repousser les limites de calcul des approches de décomposition existantes pour traiter efficacement des problèmes à la fois plus grands et plus difficiles. Cela se fera via l'extension de la plateforme de traitement de modèles graphiques « toulbar2 » et le transfert de ces résultats vers les domaines d’application déjà identifiés et vers d'autres domaines de l'optimisation combinatoire.
En savoir plus... TICAMORE PRCIPorté par : Nicola OLIVETTI
Du : 31/10/2016 au 31/01/2021
Résumé :
Projet TICAMORE
Traduction et Découverte des Calculs pour les logiques Modales et dérivées
L'utilisation fructueuse d'approches logiques dans de nombreux domaines des sciences de l'informatique, de l'épistémologie, et de l'intelligence artificielle, a conduit à une multiplication de nouveaux formalismes en logique même. Ces formalismes disposent d'un pouvoir expressif plus étendu que celui de la logique classique, autorisant du même coup une granularité plus fine dans l'analyse de notions qui ne s'expriment pas naturellement avec le langage de la logique classique. Ces formalismes permettent la représentation de différents modes de vérité d'une formule (logiques modales), ainsi que la représentation d'autres formes de raisonnement, de type hypothétique et plausible (logiques conditionnelles), sur la connaissance (logiques épistémiques), ou sur la séparation et le partage de ressources (logiques BI de « bunched implication »). Ces logiques permettent en outre de modéliser différents systèmes, et d'établir leur propriétés par l'intermédiaire de cadres de preuve assurant un comportement adéquat.
Dans ce projet nous considérons des logiques qui généralisent les logiques modales (incluant les formalismes évoqués) et qui sont caractérisés par des variantes des sémantiques de Kripke et dont le domaine d'application couvre la vérification formelle, l'épistémologie et la représentation des connaissances.
Nos recherches porteront sur les cadres de preuve de ces logiques. L'intérêt de la théorie de la preuve est qu'elle fournit, par la constitution d'un calcul analytique associé, une approche constructive pour l'étude des propriétés méta-logiques et calculatoires du système étudié. De plus, la notion de calcul analytique est au coeur du développement d'outils tels que démonstrateurs et assistants de preuve.
Dans la littérature des trente dernières années, de nombreux calculs, généralisant le calcul de séquents initialement proposé par Gentzen, ont été proposés pour les logiques modales et des systèmes associés (calculs hyperséquents, calculs étiquetés, "display calculi"). Les systèmes de preuve en question se partagent en deux catégories : d'une part les calculs internes au sein desquels tout objet élémentaire peut être interprété comme une formule du langage, d'autre part les calculs externes dont les objets élémentaires sont les formules d'un langage plus expressif encodant partiellement la sémantique. Les résultats obtenus sur l'ensemble de ces systèmes est mitigé : pour certaines classes importantes de logiques, aucun calcul interne n'est connu, tandis que pour d'autres classes, aucun calcul externe optimal, voire garantissant une terminaison, n'a été établi. Les deux types de calcul représentent pourtant des façons distinctes d'aborder la logique, toutes deux utiles et complémentaires. Les relations entre calculs internes et externes est un sujet très peu exploré.
Notre objectif principal se rapporte à une étude systématique des relations entre ces deux approches dans le but de féconder chacune d'elles avec les avantages respectifs de l'autre. Une telle étude doit jeter une lumière nouvelle sur la notion de prouvabilité tant du coté des calculs syntaxiques que du coté des calculs sémantiques, permettre le transfert de propriétés d'un calcul à l'autre, et conduire à la découverte de calculs internes pour les logiques qui n'en sont pas dotées. Enfin, la découverte de nouveaux calculs internes permettra d'aborder des problèmes théoriques encore ouverts autour de la conservativité, l'interpolation, et la décidabilité.
En résumé, le projet TICAMORE, en clarifiant la relation liant deux approches fondamentales, mais historiquement séparées, apportera une vision unificatrice permettant d'aborder des problèmes théoriques importants et toujours ouverts. Il contribuera en outre au développement de nouveaux outils automatiques de raisonnement.
En savoir plus... Deep_in_FrancePorté par : Hachem KADRI
Du : 01/10/2016 au 01/10/2021
Résumé :
Réseaux de neurones profonds pour l'apprentissage
DELTAPorté par : Jean-Marc TALBOT
Du : 01/10/2016 au 01/04/2022
Résumé :
Défis pour la Logique, les Transducteurs et les Automates
CROCOPorté par : Francesco ROSSI
Du : 01/10/2016 au 01/10/2017
Résumé :
Projet CroCo
Commande de foules : de la théorie du contrôle aux applications au trafic routier
Ces dernières années, l'étude du comportement collectif d'une foule d'agents autonomes s'est développée dans plusieurs communautés scientifiques, par exemple en ingénierie (problèmes de régulation du trafic routier et d'évacuation), en robotique (coordination de robots), en informatique et sociologie (réseaux sociaux) ainsi qu'en biologie (foule d'animaux). En particulier, il est connu que des règles simples d'interactions entre agents peuvent conduire à la formation de motif particuliers comme les nuées d'oiseaux ou les bancs de poisson. On parle alors d'auto-organisation ou comportement émergent.
En plus de l'analyse de ces mouvements collectifs, il est intéressant de comprendre quels changements peuvent être induits sur la foule par une intervention extérieure. Par exemple, on peut penser à forcer la création de motifs spéciaux (telle une nuée) lorsque ceux-ci ne se forment pas naturellement, ou à l'inverse empêcher la création de tels motifs. C'est le problème de la commande de foules, qui est le sujet principal de ce projet.
Deux méthodes de contrôle sont envisagées dans ce projet. La première (TASK 1) est la commande par leaders, qui consiste à agir seulement sur un faible nombre d'individus fixés. Cette méthode a l'avantage de se concentrer sur un faible nombre d'agents et ainsi d'induire des stratégies parcimonieuses.
La seconde stratégie (TASK 2) est la commande par stratégies locales, modélisées comme perturbations de la dynamique sur un sous-domaine restreint de l'espace des configurations. Cette stratégie est elle aussi parcimonieuse, ici pour la taille du domaine de contrôle.
L’application principale du projet (TASK 3) est la commande de modèles de trafic routier. L’objectif est autant de résoudre certains problèmes spécifiques de contrôle, que d’utiliser cette application comme un test pour les résultats théoriques des TASKS 1-2. En effet, nous étudions des problèmes de contrôle du trafic autant avec des véhicules autonomes agissant comme leaders, qu’avec des limitations de vitesse variables dans le temps qui sont des contrôles localisés.
Les problèmes de commande de foules traités dans ce projet peuvent être définis dans différents cadres mathématiques, qui dépendent du modèle utilisé pour décrire la dynamique de la foule. Nous considérons trois possibilités : les modèles microscopiques (systèmes dynamiques), les modèles macroscopiques (équation aux dérivées partielles de transport) et les modèles multi-échelles (évolution de mesures). Les problèmes de commande seront résolus en construisant des ponts entre les trois approches, en étudiant notamment dans quels cas une stratégie peut être transportée d’un modèle à un autre
Plusieurs méthodes permettant ces connexions ont été développées et améliorées par l'équipe du projet. En particulier :
- la limite de champ moyen permet de passer d'un modèle microscopique à un modèle macroscopique. Dans le cas de systèmes contrôlés, une telle limite doit être traitée avec la plus grande précaution. Le P.I. et ses co-auteurs ont développé des techniques à cet effet.
- les modèles multi-échelles combinent des éléments des cadres discrets et continus. Notre équipe a déjà prouvé des résultats pour les modèles de type leaders-followers.
- la distance de Wasserstein et ses généralisations permettent d'unifier les trois formalismes.
- des schémas numériques ont été développé par le P.I. et ses co-auteurs pour les trois formalismes.
Les recherches présentées dans ce projet sont développées par une équipe basée à Marseille. Ce projet ambitionne de construire un groupe spécialisé dans le contrôle de systèmes multi-agents en rapprochant la théorie du contrôle et les mathématiques appliquées. La force de notre équipe est de réunir des compétences variées (contrôle géométrique, contrôle des EDPs, automatique) et la maîtrise d'outils spécifiques afin d'envisager des avancées significatives dans ce domaine. Pour ces raisons, notre équipe est par nature inter-disciplinaire.
En savoir plus... DATCHAPorté par : Frederic BECHET
Du : 01/10/2015 au 01/04/2020
Résumé :
Extraction de connaissances à partir de vastes corpus de conversations "chat" client-opérateurs
PARSEMEPorté par : Carlos RAMISCH
Du : 01/10/2015 au 01/10/2020
Résumé :
Analyse syntaxique et expressions polylexicales pour le français
HypFoMPorté par : Audrey MINGHELLI-ROMAN
Du : 01/10/2015 au 01/01/2019
Résumé :
Analyse du fond marin par imagerie Hyperspectrale : une approche sub-pixel ; prise en compte de modèles de transfert radiatif précis de la colonne d'eau et du fond
LIVESPorté par : Cecile CAPPONI
Du : 01/10/2015 au 01/04/2020
Résumé :
Apprendre avec des vues interactionnelles
SRGIPorté par : Jean-Paul GAUTHIER
Du : 01/10/2015 au 01/04/2021
Résumé :
Géométrie sous-Riemannienne et Interactions
SPIDPorté par : Herve GLOTIN
Du : 01/06/2015 au 01/12/2016
Résumé :
Détection et neutralisation de drones civils
GREENEXPLORERPorté par : Pierre DRAP
Du : 27/03/2017 au 27/03/2021
Résumé :
Véhicule sous-marin télé-opéré à très grandes distances horizontales pour relevés photogrammétriques à haute résolution
En savoir plus... ABYSOUNDPorté par : Herve GLOTIN
Du : 01/02/2017 au 01/09/2020
Résumé :
Evaluation de l'impact environnemental acoustique de l'exploitation sous-marine profonde
PROJET MMCDPorté par : Kouider Nacer M'SIRDIMohand DJEZIRI
Du : 24/03/2015 au 24/09/2019
Résumé :
Multi Functions Modular Cockpit Display
a pour ambition de développer une architecture mécatronique modulable et rectifiable des systèmes embarqués dans l'aéronautique.