Search for a funded project
Institut of Acoustics Graduate School
Le projet EUR « Institut d’Acoustique – Graduate School » (IA-GS) a débuté officiellement le 3 septembre 2018. Il porte en premier lieu sur la création de l’Institut articulant la recherche, la formation et la valorisation en acoustique au sein de Le Mans Université (LMU), en partenariat avec le CNR
Evaluation intelligente de la rétinopathie diabétique
Evired (Evaluation Intelligente de la Rétinopathie Diabétique) a pour objectif principal de développer et valider un système répondant à un besoin médical : remplacer la classification actuelle de la rétinopathie diabétique (RD) principalement, basée sur des clichés de fond d’œil, obsolètes et fourn
New technologies for a fast and personalized treatment of aortic lesions
Cette première année a permis aux différentes équipes de s’organiser et de se coordonner pour lancer le projet EndoVx. Le développement d’une plateforme digitale et d’outils digitaux innovants a débuté par le déploiement du logiciel ARVA qui calcule automatiquement les dia
Mesocentre Network
MesoNET a pour objet de répondre aux besoins des chercheurs universitaires et industriels avec le développement d'équipements numériques structurants. L'idée principale est de renforcer la structuration des offres nationales et régionales en simulation numérique, le calcul haute performance (HPC), a
Lorraine Artificicial Intelligence – LOR-AI
Université de Lorraine (UL) has a long tradition of IA research initiated in the 1970s by Prof. Haton. This research gave birth to research groups on speech recognition, knowledge discovery, multi-agent systems, robotics, augmented reality, recommender systems, etc. UL is also internationally recog
Combining abstract interpretation and constraint programming to verify critical properties of embedded programs with floating point computations – Coverif
Verifying correctness and robustness of programs and systems is a major challenge in a society which relies more and more on safety-critical systems controlled by embedded software. This issue is even more critical when the computations involve floating-point number arithmetic, an arithmetic known f
Arithmetic of Shimura varieties and automorphic forms and Applications – ArShiFo
In recent years, p-adic methods (Fontaine Theory, Galois deformations) and geometric methods (deformations of varieties, local methods for Shimura varieties) have been used successfully to solve central problems of modern Number Theory. Let us mention -Serre's modularity conjecture, proven by Kh
Machine learning And Matheuristics algorithms for Urban Transportation – MAMUT
The MAMUT project aims at designing an open platform for solving recurrent and dynamic vehicle routing problems in urban environments. In order to address these urban transportation problems, we propose to combine operations research (OR) and artificial intelligence (AI). OR is able to propose fast
A New BCI Paradigm To Detect Intraoperative Awareness During General Anesthesia – BCI4IA
The BCI4IA project aims to design a brain-computer interface for detecting intraoperative awareness during general anesthesia (GA). No satisfactory solution exists when this phenomenon causes severe post-traumatic stress disorder. The first reaction of patients is to move, but the curarization used
Deep learning for automatic image-based biomonitoring of aquatic ecosystems – BIOINDIC-IA
Aquatic ecosystems are facing many anthropogenic pressures, highlighting the urgent need for developing innovative ecological diagnostic tools supporting the selection of robust management responses. Current diagnostic tools are able to estimate the ecological status from taxonomy-based (i.e. list o
