Projets financés
Noyaux reproduisants en Analyse et au-delà – REPKA
Notre projet consiste en plusieurs tâches en lien avec des problèmes clés de l'analyse complexe moderne, de la théorie des opérateurs et leurs applications à la théorie d'approximation, probabilité ou encore à la théorie du contrôle. Il est articulé autour du noyau reproduisant d'un espace de Hilber
Modélisation et Inférence Statistique pour l’Apprentissage non-supervisé à partir de Données Massives – SMILES
L'analyse de données à l'échelle est un domaine pluridisciplinaire de plus en plus important dans la société actuelle. SMILES est un projet collaboratif de recherche fondamentale qui vise à introduire des modèles non supervisés et des algorithmes d'inférence pour transformer des données à l'échelle
Analyse Réelle et Géométrie – RAGE
Heat semigroups on Reimannian manifolds The heat semigroup on differential forms Sobolev algebras The Riesz transform Hardy spaces of differential forms and Riesz transforms The heat kernel on sub-Riemannina geometry Spectral estimates for Schrödinger operators Riesz transforms for Schro¨din
Pré-traitement d'informations pour la résolution de tâches complexes / Compilation avancée de connaissances – PING-ACK
L’objectif principal du projet PING / ACK est de contribuer au développement du champ de recherche qu'est la compilation de connaissances, en élargissant son champ d’application, à la fois du côté théorique et du côté pratique. Nous prévoyons ainsi de définir de nouvelles cartes de compilation de co
Orbites des systèmes dynamiques discrets en informatique – CODYS
Nous conside´rons deux principaux types d'orbites discre`tes : les orbites finies et pe´riodiques (ces orbites ont ge´ne´ralement une signification arithme´tique pour les syste`mes que nous conside´rons et forment un ensemble de´nombrable), les orbites pour les discre´tisations de syste
Méthodes variationnelles pour les signaux sur graphe – GraVa
La plupart de la littérature néglige souvent (dans un soucis de simplicité) cette structure de graphe sous-jacente, ou bien utilise des estimateurs linéaires afin d'aborder ces problèmes. Dans ce projet en revanche, nous prônons l'utilisation de régularisations non linéaires afin de résoudre des pr
Fibrations et actions de groupes algébriques – FIBALGA
L’objectif scientifique initial du projet consiste à classifier et étudier la géométrie de certaines familles de variétés algébriques avec «beaucoup» de symétries en appliquant la théorie de Mori et d'autres techniques avancées issues de différents domaines de la géométrie algébrique et de la géomét
Fondements des réseaux d'automates (booléens) – FANs
Le projet FANs traite des réseaux d’automates (RA). Ces objets mathématiques sont très utilisés dans un cadre applicatif en lien avec la modélisation des réseaux biologiques et l’essentiel des études menées sur eux est conduit dans ce cadre, si bien que le domaine souffre d’un déséquilibre entre leu
Ecoulements avec singularités : couches limites, filaments de vortex, interaction vague-structure – SingFlows
Le projet SingFlows vise à une meilleure compréhension de trois sujets issus de la dynamique des fluides: 1) la description des écoulements anisotropes, comme les couches limites ou les écoulements en eaux peu profondes. 2) La dynamique de tourbillons dans des fluides faiblement visqueux. 3) L
Algorithmes avec décomposition moins connu: graphes et matroids – ASSK
Il existe deux façons dont les petites séparations sont reconnues et déployées dans les algorithmes. Premièrement, ils pourraient être utilisés pour décomposer un graphique en blocs de construction simples qui sont collés le long de petites séparations. La théorie des graphes structuraux est un prog
Systèmes multi-agents hybrides auto-ajustés pour microgrids – HISPALIS
L'objectif est ici de contrôler les convertisseurs électroniques: DC-DC, DC-AC, AC-DC et AC-AC garantissant stabilité, robustesse et efficacité énergétique, ainsi que la possibilité d'être physiquement mis en œuvre. Dans ce but, nous considérons la théorie de systèmes dynamiques hybrides (HDS) appli
Analyse harmonique des semigroupes sur des espaces Lp commutatifs et non-commutatifs – HASCON
se trouvent sur le site web du projet en francais https://lmbp.uca.fr/~kriegler/HASCON/HASCONf.html#x1-40003 Nous avons publié le premier travail sur les espaces de Bochner dans la revue Journal d’Anal. Math. (article accepté). Le deuxième sur la complémentation sur des multiplicateurs radials a
Solutions bayésiennes approchées pour l'inférence dans de grands jeux de données et dans des modèles complexes – ABSint
Notre objectif principal est de fournir un éventail plus large et générique d’outils statistiques capables de gérer les «mégadonnées» sans compromettre soit la profondeur de l'analyse statistique, soit la précision des prédictions statistiques dérivées à partir de ces données. Les impacts envisa
Technologies Emergentes pour l'Internet des Objets – ELIOT
Les objectifs scientifiques d'ELIOT sont essentiels pour les applications de l'internet des objets. OBJ 1. la conception d'émetteurs et d'allocation de ressources à haute efficacité énergétique : le but est de concevoir les traitements permettant des émetteurs et des récepteurs à faible énergi
Méthode de Stein et Analyse – MESA
Ce projet a pour but d'utiliser des techniques d'analyse mathématique (équations aux dérivées partielles, méthodes variationnelles, transport optimal, analyse fonctionnelle) pour développer de nouveaux outils et applications. Les champs d'application que nous allons explorer incluent les statistique
Techniques et outils efficaces pour la vérification et synthèse des systèmes temps-réels – TickTac
La vérification formelle, et en particulier le model checking, consiste à assurer la correction des systèmes critiques. La correction d'un grand nombre de systèmes temps-réels dépend, non seulement du bon calcul des valeurs de sortie en fonction des entrées, mais aussi des mesures quantitatives comm
Optimisation de forme – SHAPO
Le présent projet s'inscrit dans le domaine de l'optimisation de forme, qui consiste en l'étude de problèmes d'optimisation dont l'inconnue est un domaine, et qui prend son origine dans les domaines appliqués comme la physique, la biologie, et l'ingénierie. Nous proposons de traiter quatre object
Systèmes Dynamiques Hybrides et en Réseau – HANDY
Les systèmes en réseau dynamiques sont au cœur de nombre de technologies actuelles et émergentes. Qu’il s’agisse des réseaux d’énergie, des flottes de véhicules autonomes connectés ou des réseaux sociaux, dans tous les cas des unités dynamiques élémentaires interagissent localement afin d’accomplir
Dimères : de la combinatoire à la mécanique quantique – DIMERS
Le modèle de dimères a été introduit en mécanique statistique pour rendre compte du phénomène d'adsorption de molécules à la surface d'un cristal. Mathématiquement, ce modèle est défini par une mesure de probabilité sur les couplages parfaits d'un graphe, appelés aussi « configuration de dimères
Reconfiguration de Graphes – GrR
Les heuristiques de recherche locale sont connues depuis longtemps pour être extrêmement efficaces en pratique. Récemment, des avancées majeures ont montré que l'on pouvait également obtenir de bonnes garanties théoriques dans certains cas. De tels algorithmes sont en général très faciles à implémen
Calcul efficace de requêtes sur des données incomplètes ou incohérentes – QUID
Les systèmes de gestion de bases de données actuels sont confrontés à des volumes de données massifs, issus de l'intégration de plusieurs sources hétérogènes, et pouvant contenir de ce fait de nombreuses informations manquantes, incohérentes ou redondantes. De plus, les données ne sont généralement
Représentations galoisiennes, formes automorphes et leurs fonctions L – GALF
GALF est un projet de recherche fondamentale inter européen et transatlantique qui cible quelque-uns des problèmes les plus pertinents de la Théorie des Nombres moderne en utilisant des méthodes p-adiques. Le groupe est constitué d'experts de renommée internationale de Paris, Lille et Bordeaux en Fr
Etudes de solutions spéciales pour des équations dispersives – ESSED
Ce projet est à propos d'équations aux dérivées partielles (EDP) non-linéaires et dispersives, venant de modèles physiques, plus précisément de mécanique quantique, de physique statistique, et de théorie quantique des champs, or la turbulence d'onde. L'idée fondatrice de ce projet est qu'il existe d
Correspondance de Langlands p-adique : une approche constructive et algorithmique – CLap-CLap
La correspondance de Langlands p-adique est devenue, aujourd'hui, l'un des plus thèmes de recherche, parmil les plus profonds et les plus féconds, en théorie des nombres. Elle a été, pour la première fois, imaginée au début des années 2000 en France par Breuil. Son objectif est de comprendre les rel
CATEGORIFICATIONS EN TOPOLOGIE ET EN THEORIE DES REPRESENTATIONS – CATORE
De nouvelles méthodes ont récement fait leur apparition en théorie des représentations et en topologie quantique, qui reposent sur la notion de représentations d'algèbres de Kac-Moody dans des catégories. Ces nouvelles méthodes ont déjà eu de remarquables applications. En théorie des représentations
Aspects symplectiques, réels et tropicaux de la géométrie énumérative – ENUMGEOM
La géométrie énumérative classique est la branche de la géométrie algébrique s'intéressant au nombre de solutions de problèmes géométriques, comme par exemple le nombre de courbes dans une variété qui intersectent de manière prescrite des sous-variétés données. Ce domaine a été révolutionné par l'in
Différentiateurs et commandes homogènes par modes glissants multivalués en temps discret: l'approche implicite – DIGITSLID
La commande par modes glissants est l'une des techniques de feedback non-linéaires les plus répandues et appliquées en Automatique. Ce succès est dû à leur robustesse vis-à-vis de larges classes de perturbations, la stabilité en temps fini du système bouclé, ainsi qu'à leur facilité de règlage. Ce
Fondations des algorithmes de clustering – FOCAL
Partitionner un jeu de données de sorte que les éléments dans la même partpartagent les mêmes propriétés est un problème fondamental qui se pose dans un vaste champ d'applications. Ce problème est même central dans plusieurs domaines: en apprentissage ou dans l'analyse de données par exemple, un tel
Algèbres de Hecke et Applications: Représentations, Noeuds et Physique – AHA
Les algèbres de Hecke sont historiquement apparues dans la théorie des formes modulaires dans les années 30. Depuis, la dénomination "algèbres de Hecke" a été progressivement utilisée pour une large variété d'objets, apparaissant et étant grandement étudiés dans plusieurs branches des mathématiques.
Représentations, systèmes dynamiques et pavages – EST
Dans la vie de tous les jours, nous éprouvons le besoin de représenter des nombres. Outre l'omniprésent développement décimal, nous utilisons non seulement les bases 2, 8 et 16, mais également le développement binaire avec signe (c'est-à-dire, en rajoutant le chiffre -1), la représentation de
Périodes en Géométrie Arithmétique et Motivique – PERGAMO
Les périodes sont des nombres complexes, tels que les logarithmes des entiers, les valeurs multizêtas ou certaines amplitudes en théorie de cordes et en théorie quantique des champs, qui peuvent s'écrire comme des intégrales de formes différentielles algébriques sur des domaines définis algébriqueme
Apprentissage PAC-bayésien agnostique – BEAGLE
BEAGLE se situe dans le champs de l'apprentissage statistique (voir les ouvrages de Vapnik, 2000, et Shalev-Shwartz et Ben-David, 2014), qui est le pendant théorique de l'apprentissage automatique. L'apprentissage statistique est au coeur de nombreux domaines de recherche où la profusion de données
Bords Libres et Analyse Des EDP – BLADE-JC
Des problèmes apparemment éloignés en analyse géométriques– allant de la théorie des applications harmoniques à ses généralisations aux problèmes de courbure prescrite– partagent des caractéristiques communes fortes : Invariance conforme, lois de conservation et des phénomènes de min-max en sont q
Ondes déterministes et aléatoires – ODA
Au cours des trente dernières années, se sont produites des avancées considérables dans la compréhension théorique des phénomènes d'ondes non linéaires, tant dans le cadre déterministe que dans le cadre aléatoire. Le but de ce projet est de poursuivre dans cette voie et de parvenir à de nouveaux pro
Architectures d'appariement pour connecter des éléments hétérogènes et des systèmes de santé efficients. – MATCHES
Dans l’explosion actuelle de l’économie numérique et des services sur internet, de nombreuses sociétés promeuvent des applications qui offrent à leurs utilisateurs une interface pour interagir et collaborer. Dans de nombreux cas, on peut considérer que les utilisateurs sont les représentants de clas