Data-Gouv-ML/pcri-erc-participations-et-projets-laureats huggingface dataset:
Projet ERC : PSINumScat (Horizon Europe, appel 2024, Synergy grants)
Entité participante : Institut national de recherche en sciences et technologies du numérique — Pays : France — Rôle : Partner
Acronyme de l'entité : Inria
Type d'entité : Recherche
Financement ERC de l'entité : 69300.0 €

Designing fast and reliable algorithms to numerically simulate the behaviour of high-frequency acoustic and electromagnetic waves is a longstanding open problem in computational mathematics. Furthermore, these waves underpin a plethora of communication and imaging technologies; therefore any progress towards solving this problem will have wide impact.  The project aims to design, analyse, and implement in open-source software new methods for the numerical solution of high-frequency acoustic and electromagnetic wave scattering problems. These methods will be faster, more reliable, and more widely applicable than current state-of-the-art methods, with this improvement achieved by exploiting techniques from pure mathematics specifically designed to study high-frequency problems; these techniques are from the area of semiclassical analysis and are based on studying functions in phase space (the combination of physical and frequency space). Since both numerical analysis and semiclassical analysis of high-frequency wave scattering problems are mature areas of mathematics, it is surprising that these two fields have operated largely in isolation from each other, with essentially none of the deep insights about high-frequency waves from semiclassical analysis used in the design of numerical methods for these problems. This project will exploit this untapped potential and implement the resulting methods in the open-source multiphysics finite-element software FreeFEM (https://freefem.org/) in easy-to-use packages. These packages will be designed for researchers in the applied sciences and industry seeking to simulate the behaviour of high-frequency acoustic and electromagnetic waves.  These goals will be achieved by combining the expertise of the three PIs: JG, an expert in semiclassical analysis, ES, an expert in the numerical analysis of high-frequency scattering, and PT, an expert in scientific computing and the lead developer of FreeFEM.

Mots-clés : high frequency,scattering,helmholtz,maxwell,finite element method,boundary element method,domain decomposition
Projet ERC : PSINumScat (Horizon Europe, appel 2024, Synergy grants)
Entité participante : Université Sorbonne Paris Nord — Pays : France — Rôle : Partner
Acronyme de l'entité : USPN
Type d'entité : Enseignement supérieur ou secondaire
Financement ERC de l'entité : 53280.0 €

Designing fast and reliable algorithms to numerically simulate the behaviour of high-frequency acoustic and electromagnetic waves is a longstanding open problem in computational mathematics. Furthermore, these waves underpin a plethora of communication and imaging technologies; therefore any progress towards solving this problem will have wide impact.  The project aims to design, analyse, and implement in open-source software new methods for the numerical solution of high-frequency acoustic and electromagnetic wave scattering problems. These methods will be faster, more reliable, and more widely applicable than current state-of-the-art methods, with this improvement achieved by exploiting techniques from pure mathematics specifically designed to study high-frequency problems; these techniques are from the area of semiclassical analysis and are based on studying functions in phase space (the combination of physical and frequency space). Since both numerical analysis and semiclassical analysis of high-frequency wave scattering problems are mature areas of mathematics, it is surprising that these two fields have operated largely in isolation from each other, with essentially none of the deep insights about high-frequency waves from semiclassical analysis used in the design of numerical methods for these problems. This project will exploit this untapped potential and implement the resulting methods in the open-source multiphysics finite-element software FreeFEM (https://freefem.org/) in easy-to-use packages. These packages will be designed for researchers in the applied sciences and industry seeking to simulate the behaviour of high-frequency acoustic and electromagnetic waves.  These goals will be achieved by combining the expertise of the three PIs: JG, an expert in semiclassical analysis, ES, an expert in the numerical analysis of high-frequency scattering, and PT, an expert in scientific computing and the lead developer of FreeFEM.

Mots-clés : high frequency,scattering,helmholtz,maxwell,finite element method,boundary element method,domain decomposition
Projet ERC : KARST (Horizon Europe, appel 2022, Synergy grants)
Entité participante : Institut national de recherche en sciences et technologies du numérique — Pays : France — Rôle : Partner
Acronyme de l'entité : Inria
Type d'entité : Recherche
Financement ERC de l'entité : 68750.0 €

Karst aquifers are a treasure and a threat: while up to 25% of the world population depends on them for drinking water, they also have capabilities for extremely fast conduction of water and contaminants. In the light of climate change, we need to prepare for extreme flooding and understand the consequences for karst aquifers. Despite their socio-economic importance, decades of research, and high-profile disasters, karst structures and processes remain notoriously difficult to assess. Because of the complexity of karst and its lack of accessibility, the foundations of flow and transport modeling in karst systems are weak. Key phenomena related to extreme events such as flash floods and heavy tails in tracer recovery are still beyond current modeling capabilities. KARST will establish the next generation of coupled stochastic modeling frameworks to predict karst processes, assess the vulnerability of karst aquifers, and forecast their response to extreme events. Our approach will bridge structures and processes on all scales, far beyond the capabilities of current theories and computer simulations. This will be achieved by targeting three key objec- tives: (i) Identification and quantification of flow and transport dynamics at the conduit scale. (ii) Characterization and modeling of karst network structure at the catchment scale. (iii) Derivation of a new upscaled approach to predict karst processes at different resolution scales. Together, this will result in an unprecedented multiscale modeling framework for the prediction of flow and transport in karst. Solving this long-standing problem is possible thanks to the synergy of the KARST PI team combining the set of skills and knowledge (hydrogeology, physics, mathematics) required to make a ground-breaking step in this field. Beyond that, the new approach is expected to impact other real-world systems in medicine (capillary networks), neuroscience (brain microcirculation) or glaciology (meltwater flow in glaciers).

Mots-clés : karst,networks,upscaling,flow,transport,graphs,structure,anomalous transport,continuous time random walks,lagrangian analysis,particle methods,dispersion,turbulent transport,groundwater,contamination,floods
Projet ERC : MALINCA (Horizon Europe, appel 2024, Synergy grants)
Entité participante : Institut national de recherche en sciences et technologies du numérique — Pays : France — Rôle : CO-PI
Acronyme de l'entité : Inria
Type d'entité : Recherche
Financement ERC de l'entité : 4905240.0 €

In the recent years, proof assistants have shown their astounding ability to tackle the complete formalisation of large pieces of mathematics, with the celebrated certifications of the Feit-Thompson theorem, of the Kepler conjecture, and more recently, the resolution of Scholze liquid tensor challenge. We believe that the time is ripe to demonstrate that they can tackle mathematics in the flexible and semi-formal way it is created and exchanged by the mathematicians. To that purpose, we aim to develop proof assistant technologies of an entirely new nature, including a formal language and a foundational approach to mathematical meaning, with the versatility necessary to represent the dynamic linguistic structures to be found in the daily practice of mathematics. The result will be a linguistic front-end that will allow mathematicians, and scientists in general, to express in proof assistants their proofs and computations the semi-formal way they think of them. Three research tracks stand out: the mathematical and linguistic foundations; formalisation of real-world vernacular mathematics into a high-level language of representation (Godement challenge); new techniques and software tools, based on natural language processing, to automate the formalisation process. The translation in the machine of semi-formal mathematics needs to go beyond the traditional view that reduces reasoning to logic, and requires to understand the dynamics of the discursive linguistic process which underlines mathematics. Building on advances of linguistics, mathematical logic, programming language semantics and machine learning, we will contribute significantly to the rise of a new generation of proof assistants, integrating at their heart a linguistic layer and automated guidance tools for mathematical proofs, theorems and definitions. The resulting high-level manipulation of concepts will lead to novel research outcomes supporting the daily activity of mathematical scientists.

Mots-clés : proof assistants,linguistic of mathematics,intelligent proof search,smart mathematics technology
Projet ERC : SHAPINCELLFATE (Horizon Europe, appel 2022, Synergy grants)
Entité participante : Centre national de la recherche scientifique — Pays : France — Rôle : CO-PI
Acronyme de l'entité : CNRS
Type d'entité : Recherche
Financement ERC de l'entité : 5135734.25 €

Cells are often depicted as irregular spherical objects - the shape they adopt in suspension. However, the packed environment of tissues alters this simple shape, causing large cell deformations. This occurs during normal tissue growth and is even more pronounced upon tissue overgrowth, as in the case of solid tumors. Cell shape changes frequently occur in migratory cells, such as immune cells that patrol the organism within interstitial tissues, and cancer metastases that escape from the primary tumor to invade healthy tissues. In all cases, cells adapt and survive even to very large deformations. The mechanisms underlying such response and the long-term consequences that repeated cell shape changes have on physiology and pathology remain largely unknown. We have observed that changes in the shape of cells and organelle(s) induce reversible and irreversible modifications in their behaviour and function(s). We hypothesize that cells use such mechanisms to integrate the successive deformations of distinct amplitudes and durations that they experience during their lifetime. This implies the existence of “shape-induced memory effects” that not only encode the geometrical and mechanical history of the cell but also dictate its fate. Here, we propose to tackle the molecular mechanisms and physical principles accounting for shape-induced memory effects and to evaluate their impact on immunity and cancer. We will focus on two cell types that undergo large shape changes in vivo, and communicate to establish cancer immunity: (1) dendritic cells, which initiate adaptive immune responses, and (2) cancer cells derived from mammary epithelia. Our project will reveal whether boundary conditions imposed by physical confinement are overarching determinants of cellular behaviours at different spatial and temporal scales, and may further establish novel clinical paths for a holistic understanding of early malignancies and their recognition by the immune system.

Mots-clés : cell shape,cell deformation,organelle deformation,signaling pathways,dendritic cells,cancer cells,physical modeling
Projet ERC : NEMESIS (Horizon Europe, appel 2023, Synergy grants)
Entité participante : Université de Montpellier — Pays : France — Rôle : CO-PI
Acronyme de l'entité : UM
Type d'entité : Enseignement supérieur ou secondaire
Financement ERC de l'entité : 2379506.0 €

Relevant partial differential equations (PDEs) problems of the 21st century, including those encountered in magnetohydrodynamics and geological flows, involve severe difficulties linked to: the presence of incomplete differential operators related to Hilbert complexes; nonlinear and hybrid-dimensional physical behaviors; embedded/moving interfaces. The goal of the NEMESIS project is to lay the groundwork for a novel generation of numerical simulators tackling all of the above difficulties at once. This will require the combination of skills and knowledge resulting from the synergy of the PIs, covering distinct and extremely technical fields of mathematics: numerical analysis, analysis of nonlinear PDEs, and scientific computing. The research program is structured into four tightly interconnected clusters, whose goals are: the development of Polytopal Exterior Calculus (PEC), a general theory of discrete Hilbert complexes on polytopal meshes; the design of innovative strategies to boost efficiency, embedded into a general abstract Multilevel Solvers Convergence Framework (MSCF); the extension of the above tools to challenging nonlinear and hybrid-dimensional problems through Discrete Functional Analysis (DFA) tools; the demonstration through proof-of-concept applications in magnetohydrodynamics (e.g., nuclear reactor models or aluminum smelting) and geological flows (e.g., flows of gas/liquid mixtures in underground reservoirs with fractures, as occurring in CO2 storage). This project will bring key advances in numerical analysis through the introduction of entirely novel paradigms such as the PEC and DFA, and in scientific computing through MSCF. The novel mathematical tools developed in the project will break long-standing barriers in engineering and applied sciences, and will be implemented in a practitioner-oriented open-source library that will boost design and prediction capabilities in these fields.

Mots-clés : finite element methods,error analysis,finite element exterior calculus,hilbert complexes,efficient algebraic solvers,nonlinear pdes,magnetohydrodynamics,porous media flows,fluid structure interaction,virtual element methods,hybrid high order methods
Projet ERC : WHIRLS (Horizon Europe, appel 2023, Synergy grants)
Entité participante : Université de Göteborg — Pays : Suède — Rôle : PI
Type d'entité : Enseignement supérieur ou secondaire
Financement ERC de l'entité : 3494000.0 €

WHIRLS is about small processes having large-scale impacts. Heat and carbon are the currencies of regional and global climate, constantly exchanged between the ocean and the atmosphere. This exchange is strongly influenced by fine-scales ocean eddies—whirls—that flux heat and carbon towards, or away from, the air-sea interface. When the ocean gives up heat and carbon to the atmosphere, climate is warmer and wetter, and vice versa. Carbon that is fluxed towards the air-sea interface, where sunlight is available, can be taken up by phytoplankton that form the base of the oceanic food web. Eddies and fronts alter vertical nutrient fluxes and ocean stratification which help shape biodiversity and ecosystems. The proliferation of fine-scale processes, and their interdisciplinary and large-scale impacts are poorly understood. In WHIRLS we will use a synergistic and interdisciplinary approach to study fine-scale processes across a continuum of scales (1–100 km) and assess their impacts on air-sea exchange and marine biogeochemistry and biodiversity. We focus on the Agulhas Current System around South Africa because it is a global hotspot of eddy activity, ocean-atmosphere heat exchange, and marine productivity and diversity It is also a region that plays a key role for the global ocean circulation and global climate and climate change. We will use multiple coordinated observing strategies, including research vessels and a large ensemble of autonomous platforms, to collect physical, chemical, and biological datasets across scales. These data will be supplemented by high-resolution models of the ocean and the atmosphere, developed with a focus on the Agulhas Current System, as well as the latest data science methodologies. WHIRLS will improve the understanding of fine-scale processes and its representation in future earth system models for better predictions and projections of the future climate.

Mots-clés : submesoscale and mesoscale ocean dynamics,air sea exchange,biogeochemistry,ocean and climate modelling,climate change,agulhas current system
Projet ERC : Green2Ice (Horizon Europe, appel 2022, Synergy grants)
Entité participante : Université technique du Danemark — Pays : Danemark — Rôle : Partner
Acronyme de l'entité : DTU
Type d'entité : Enseignement supérieur ou secondaire
Financement ERC de l'entité : 284695.0 €

Green2Ice will investigate the deepest and oldest ice and basal sediments drilled from the Greenland Ice Sheet (GrIS). Ice cores have been drilled the last 55 years, but the deepest ice containing basal materials has been preserved until now, and still holds undeciphered paleoclimatic messages. The breakthrough of Green2Ice is to develop and apply cutting edge dating methods on this unique sample collection and hence to reconstruct the age and the stability of the GrIS. A hypothesis to test is if the present GrIS formed at the time of the Mid Pleistocene Transition, 1,2 - 0.8 million years ago. One innovation of Green2Ice is to gain paleo-information of the past size of the GrIS to constrain future tipping points. This knowledge will reduce the uncertainty on estimates of future sea level rise. Green2Ice will bring together four PIs from three world leading institutions with complementary skills to lift this strongly interdisciplinary program. We will drill a replicate core at GRIP, to supplement the available material from five existing ice cores and ensure retrieval of sediments and rock material from beneath the GrIS summit. We will develop, improve and apply novel dating techniques (cosmogenic and radiogenic nuclides, OSL/IRSL, modeling of gas and isotope diffusion) to place constraints on past waxing and waning of the GrIS. State-of-the-art methodologies on fossil remains, organic matter, in situ produced and consumed greenhouse gases, and ancient bio-molecules will provide insights on the types of ecosystems and environmental conditions that emerged during ice-free conditions. Interpretation will include ice sheet modelling with data benchmarking to establish the climatic sensitivity of the GrIS. Earth system modelling and collaboration with the groups preparing the IPCC AR7 will bring the knowledge of the past into the future. The rare and unique basal ice and material can only be used once. This is the main high risk high gain component of Green2Ice.

Mots-clés : greenland ice sheet,mid pleistocene transition,ice free greenland,ecosystem,mass loss,sea level rise
Projet ERC : MEDGREENREV (Horizon Europe, appel 2022, Synergy grants)
Entité participante : University College de Londres — Pays : Royaume-Uni — Rôle : PI
Acronyme de l'entité : UCL
Type d'entité : Enseignement supérieur ou secondaire
Financement ERC de l'entité : 1537515.0 €

As Mediterranean societies prepare for the impacts of climate change over the next few decades, a case study to inform their future resilience is associated with one of the defining events in world history: the emergence of Islam in the 7th century, the subsequent Arab (and later Berber) conquests of the southern and western Mediterranean, their associated population movements and the environmental adaptations that enabled these new societies to flourish. The introduction of new forms of agriculture that transformed the economies of the conquered regions has been previously framed as the “Green Revolution”. Moving beyond the limited focus of earlier research, with its restricted spatial and chronological scope, this project will adopt an integrated ecological approach, encompassing plants, animals and soils, from production through to consumption, and compare the impact and legacy of environmental transformations associated with long-term societal change in the western Mediterranean (Iberia and Morocco), beyond the initial Arab/Berber conquests. Adopting a broader chronological span, from the century before the conquests through to the century after the dissolution of the last Islamic polity in Iberia, the transition from Islamic to Christian regimes in Iberia will be compared, for the first time, with the persistence of Islamic polities in northwest Africa, against the backdrop of climatic fluctuations. This will enable relationships between environmental transformations and sequences of political and demographic change to be effectively contextualised. The synergy between our groups will combine regional specialisms with a wealth of scientific expertise, enabling us to conduct the first long-term and inter-regional study of how conquest, migration and encounters with resident populations and landscapes drove environmental transformation in the western Mediterranean during this formative period in world history.

Mots-clés : geoarchaeology,zooarchaeology,archaeobotany,palynology,gis,multiculturalism,state formation,mediterranean,iberia,north africa,longue dur e,arab conquest,medieval green revolution
Projet ERC : SUBNORDICA (Horizon Europe, appel 2023, Synergy grants)
Entité participante : Lower Saxony Institute for Historical Coastal Research — Pays : Allemagne — Rôle : PI
Acronyme de l'entité : NIHK
Type d'entité : Organismes publics (hors enseignement & recherche)
Financement ERC de l'entité : 1865862.62 €

The landscapes that extended for millions of square kilometres offshore of the world’s coastlines due to low sea-level during the last glaciation and were then drowned by sea-level rise, are known to preserve valuable archives of landscapes, palaeoclimatic change and stratified archaeological remains, with the potential to transform understanding of human history in this period of dramatic change. The absence of archaeological sites across much of this vast area prevents realisation of this potential. In SUBNORDICA we propose a systematic approach to develop new methods for recreating the submerged landscapes and human settlement of NW Europe and assess the impact of postglacial sea-level rise. We will address two questions: (1) What changes to the topography and environment of the submerged landscape were brought about by rising sea level and climate change? (2) How was the distribution of archaeological settlements and other traces of cultural activity impacted by this changing palaeolandscape, and can we recover them in sufficient detail to investigate human impact and human response? Combining information from 4 regions in the southern North Sea and the southern Baltic, we will use artificial intelligence to develop machine-learning routines to (a) integrate existing and newly acquired geophysical and geological data to map key areas of the changing landscape, and (b) combine this information with data from known underwater archaeological sites to identify new targets of archaeological potential for more detailed investigation. Investigating these targets will use high-resolution geophysical methods, sediment coring, archaeological excavation, and geochronological, palaeoenvironmental, sedimentological and biological analyses of recovered deposits. We will reveal a new chapter in human prehistory, provide a world-leading model for the investigation of submerged landscapes, and offer improved policy guidance for underwater cultural heritage management.

Mots-clés : submerged landscape archaeology