Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
Flow on thin fluid sheets (SURFING)

Framework: Horizon 2020 — Excellent Science
Programme: Marie-Sklodowska-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: Individual Fellowships (IF)-Standard European Fellowships
Action type: Marie Skłodowska-Curie actions
Panel: Information Science and Engineering
Countries involved: Luxembourg
Call: Individual Fellowships (H2020-MSCA-IF-2019, 2019)
Start date: 2020-11-01
End date: 2023-02-28
Duration (months): 24.0
Total project cost (EUR): 178320.0
EU funding (EUR): 178320.0
Participants: 1
Project status: CLOSED

Physical phenomena that combine effects on a surface and that in the bulk occur in many fields, ranging from crystal growth in chemistry and proton diffusion in biomembranes, through tyre aquaplaning and self-cleaning materials. We consider this multi-scale problem specifically for coupled bulk-surface fluid flow. Simulating these problems with traditional fluid solvers is challenging because of the different scale of the surface phenomena versus that in the bulk. Towards this end, specialized thin film flow models have been developed to accurately capture surface-level flow effects. However, it remains impossible to automatically detect the formation of thin fluid sheets and resolve the bulk/sheet coupled flow. This limits the application of thin film models. Advances made in thin film modelling have not been applied to complex flow situations where, for example, a free flowing bulk fluid can form thin films over an obstacle, or where sufficient fluid collects on a moving thin fluid sheet to obtain bulk flow. Such problems rely on bulk flow simulations with significantly finer resolutions to capture the surface-level effects, which dramatically increases computation time making full dynamic simulations unrealistic for actual applications. The primary objective of this project is to model bulk/surface flow phenomena numerically. We will propose novel mathematical models to computationally simulate flow of thin fluid sheets on moving curved surfaces, which can predict not just the evolution of an existing film, but also their formation, collapse and break up. We will develop efficient methods to two-way couple film flow with bulk fluid flow which are able to identify regions where surface level effects are relevant, on the fly. This fellowship will build on the expertise in fluid flow and particle methods of the researcher, and that in multi scale modeling, free boundary problems and advanced discretisation adaptivity of the host.

Keywords: thin films,fluids,multiscale,model adaptivity,particle methods,meshfree
Principles and Methods to Verify OCaml Programs (Cameleer)

Framework: Horizon 2020 — Excellent Science
Programme: Marie-Sklodowska-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: Individual Fellowships (IF)-Standard European Fellowships
Action type: Marie Skłodowska-Curie actions
Panel: Information Science and Engineering
Countries involved: Portugal
Call: Individual Fellowships (H2020-MSCA-IF-2019, 2019)
Start date: 2020-06-01
End date: 2022-05-31
Duration (months): 24.0
Total project cost (EUR): 147815.04
EU funding (EUR): 147815.04
Participants: 1
Project status: CLOSED

Deductive software verification, a subject within the broader field of formal methods, proposes a very ambitious path: to turn the correctness of a computer program into a mathematical statement, and then prove it. This project aims to develop a deductive verification framework, with a clear focus on proof automation, that directly tackles the verification of OCaml-written programs. OCaml seems to be particularly good target for verification. On one hand, it is the language of choice for the implementation of sensible software such as proof assistants, automated solvers, and compilers. On the other hand, OCaml is a multi-paradigm language, supporting both the functional and imperative paradigm, one can write clean, concise, type-safe, and efficient code. Yet, a verification tool that can handle hand-written code and is mostly automated does not currently exist. OCaml programmers must chose between proof automation, with the price of learning and programming in a verification-aware language, and then perform code extraction, or tools that require manual proof assistance. The Cameleer project aims to remedy this situation by providing the tools and principles for the verification of OCaml programs. The main outcome of this project is a powerful, usable, and mostly automated verification framework for the OCaml-written code. This will be a major step towards making verification more accessible to OCaml programmers, even in case they are not verification experts. The Cameleer framework will feature a translation of OCaml programs annotated with specifications written in GOSPEL, a recently proposed specification language, to different intermediate verification languages, namely WhyML, Viper, and Coq. This coexistence of multiple intermediate verification infrastructures allows the devised framework to target the verification of a large subset of OCaml programs, while combining the strengths of each individual intermediate language to obtain better verification results.

Keywords: deductive software verification,ocaml,why3,viper,separation logic
Europe, the United States and the Crisis on the KORean Peninsula: Between a Rock and a Hard Place (EUSKOR)

Framework: Horizon 2020 — Excellent Science
Programme: Marie-Sklodowska-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: Individual Fellowships (IF)-Standard European Fellowships
Action type: Marie Skłodowska-Curie actions
Panel: Social Sciences and Humanities
Countries involved: Germany
Call: Individual Fellowships (H2020-MSCA-IF-2017, 2017)
Start date: 2018-12-10
End date: 2020-12-09
Duration (months): 24.0
Total project cost (EUR): 159460.8
EU funding (EUR): 159460.8
Participants: 1
Project status: CLOSED

The objective of the EUSKOR project is twofold: firstly, to explore why the EU has so far been unwilling and incapable of becoming a credible political and security actor in North East (NE) Asia despite its declared intensions, trade power and experiences applicable for the region; secondly, to examine whether and how the EU could upgrade its political and security role in NE Asia by its increased strategic engagement on North Korea. The EUSKOR first examines the new ways in which the EU (and its Member States) can ‘download’ its foreign policy preferences and help reach denuclearization on the Korean peninsula and peace settlement between the ROK and DPRK (WP 1). Second, the EUSKOR project explores how by ‘downloading’ the EU’s preferences and policies to the North Korean issue could the EU ‘upload’ an upgraded strategic standing in NE Asia (WP 2). Given the EU’s push for free trade, particularly at the time of a growing American protectionism, WP2 also investigates whether and how the EU could better link its political and security interests with its trade leverage. The EUSKOR project’s highly topical empirical findings are complemented by theory-building through looking at who/what drives EU foreign policy and why and whether diffusion of European ideas and policies could ‘travel’ beyond Europe, hence making the link between EU internal governance and EU foreign policy. Drawing on extensive series of semi-structured interviews to be conducted in Berlin and during short visits in NE Asian capitals, the EUSKOR project is cross-sectoral and multidisciplinary, informing at least three fields (international relations, comparative politics and political economy). The KOREU project is based at the Center for European Integration at Free University Berlin and supervised by Prof. Tanja Börzel, leading to a two-way knowledge and skills transfer as well as policy impact during dissemination through a think-tank secondment at the Stiftung Wissenschaft und Politik.

Keywords: eu foreign policy,north korea,security in north east asia,south korea and international trade
The New Politics of Welfare: Towards an “Emerging Markets” Welfare State Regime (EmergingWelfare)

Framework: Horizon 2020 — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Starting grants
Action type: ERC actions
Panel: The Social World and Its Diversity
Panel description: Sociology, social psychology, social anthropology, education sciences, communication studies
Countries involved: Türkiye
Call: ERC Starting Grant (ERC-2016-STG, 2016)
Start date: 2017-01-01
End date: 2021-12-31
Duration (months): 60.0
Total project cost (EUR): 1494240.0
EU funding (EUR): 1494240.0
Participants: 1
Project status: CLOSED

This research project aims to identify a new welfare regime in emerging market economies and explain why it has emerged. The project will compare Brazil, China, India, Indonesia, Mexico, South Africa and Turkey to test two hypotheses: (i) emerging market economies are forming a new welfare regime that differs from liberal, corporatist and social democratic welfare regimes of the global north on the basis of extensive and decommodifying social assistance programmes, (ii) the new welfare regime emerges principally as a response to the growing political power of the poor as a dual source of threat and support for governments. Based on a comparative and interdisciplinary perspective, the project follows a multi-method strategy that combines state-of-the-art computer-based protest event data collection techniques, macro-historical methods, quantitative data analyses and qualitative content analysis. The project will radically expand the literatures on welfare regimes, welfare state development and contentious politics, by challenging the existing paradigms dominated by structuralist perspectives, a myopic focus on Western countries, and limited data collection and analysis techniques. This project is genuinely innovative, unprecedented, ground-breaking, ambitious and high-risk/high-gain in three ways: (i) it re-shapes the welfare regimes literatures as the first study to classify and explain welfare systems of emerging markets as a new welfare regime and (ii) the project demonstrates a causal link between changes in grassroots politics and welfare policies and challenge the structuralist preponderance in the existing welfare state development literature (iii) it makes a prodigious contribution to our empirical knowledge on contentious politics in emerging markets by creating the first cross-national databases on protest event, employing state-of-the art computer methods, such as natural language processing and machine learning, on newspaper archives.

Keywords: welfare,social policy,social assistance,politics,contentious politics,welfare regime,social movements,emerging market economies,poor,poverty
LOFAR for Space Weather (LOFAR4SW)

Framework: Horizon 2020 — Excellent Science
Programme: Research Infrastructures
Theme: Research infrastructures
Destination: Development and infrastructures
Action type: Research and Innovation actions
Countries involved: Germany,Ireland,Sweden,Poland,France,Netherlands,Netherlands,United Kingdom
Call: Design Studies (H2020-INFRADEV-2017-1, 2017)
Start date: 2017-12-01
End date: 2022-02-28
Duration (months): 51.0
Total project cost (EUR): 2998750.0
EU funding (EUR): 2998750.0
Participants: 11
Project status: CLOSED

TThe LOFAR for Space Weather (LOFAR4SW) design proposal will deliver the full conceptual and technical design for creating a new leading-edge European research facility for space weather science. Space weather research is prominent in international research programmes (e.g., H2020, ESA, WMO, COSPAR), because of its high societal relevance: vital infrastructures depend on technology that is vulnerable to the impact of space weather events, particularly geomagnetic storms related to solar outbursts. The implemented LOFAR4SW facility will enable high-impact solar and space weather research, and will uniquely provide the missing link of global measurements of the interplanetary magnetic field – a key parameter in forecasting the severity of geomagnetic storms. The LOFAR4SW design project maximally leverages the infrastructure and technology of LOFAR; now the world’s foremost low frequency radio astronomy telescope and a widely recognised enabler of innovation. Designing a significant upgrade in hardware, algorithms, and software will allow to create, at a fraction of the cost of building a new facility, a large scale cutting-edge research facility providing simultaneous independent access to both the radio astronomy and the space weather research communities. For the LOFAR4SW systems design approach, the consortium has a powerful combination of partners, with clear, focused work packages that engage science experts motivated by the physical research challenges and with up-to-date knowledge of the data analysis methods, and link these to engineers intimately familiar with LOFAR and highly experienced in low frequency and data-intensive processing techniques. Emphasis will also be placed on Dissemination of designed data analysis methods to prepare prospective users, on Governance development with stakeholders and policy makers to ensure a support base for a smooth evolution of the LOFAR facility, and on Outreach to promote wider public awareness of space weather issues.

Keywords: design study,space weather,lofar,facility upgrade,dual beam,engineering
The Game Changer Free-wing VTOL Drone for Commercial and Governmental Missions (ARcopter)

Framework: Horizon 2020 — Industrial Leadership
Programme: Innovation in SMEs
Action type: SME instrument
Countries involved: Israel
Call: SME instrument (H2020-SMEInst-2018-2020-1, 2018)
Start date: 2018-06-01
End date: 2018-09-30
Duration (months): 4.0
Total project cost (EUR): 71429.0
EU funding (EUR): 50000.0
Participants: 1
Project status: CLOSED

Drones, technically known as Unmanned Aerial Vehicles (UAVs), are evolving beyond their military origin shaping brand new operating models and becoming a powerful tool for a wide range of commercial application, such as agriculture, infrastructure, security, media and entertainment, and telecommunications, resulting to a global market size of €12bn by 2020. Nevertheless, their widespread implementation is restrained by the limitations of commercialized technologies [multi-rotors, fixed-wings and Vertical Take-off and Landing (VTOL) fixed-wings] in flight range, usability or instability and inaccurate VTOL under windy conditions. ARcopter aims to revolutionize the commercial drone’s market by introducing the first UAV that combines fully autonomous operation, accurate Vertical Take-Off and Landing (VTOL) and capability to operate in windy conditions. Based on our revolutionary Loose WingTM control system, we offer a drone able to VTOL like a copter and fly horizontally as efficient as an airplane. ARcopter can fly for 2.5 hours (up to 3 times more flight duration) and 150 km flight range and do accurate landings relative to the ground in 55km/h wind speeds when the best that competitors can offer is 35km/h. All the above achieved by a fully autonomous operation carrying a variety of payloads (cameras) based on the customer’s needs and application. We initially target 1) Oil and gas companies, voltage network owners, wind turbine and railway operators for infrastructures inspection and monitoring, 2) Individual farmers and cooperatives for precision farming and 3) Governmental agencies firefighters police, border patrol, coastguard for Homeland Security (HLS) and Public Safety. Its breakthrough and game changer characteristics providing safety, efficiency and cost benefits for its users will constitute drones for large scale commercial and governmental purposes a common tool.

Keywords: drone,unmanned aerial vehicles,windproof flights,aviation
Network intelligence for aDAptive and sElf-Learning MObile Networks (DAEMON)

Framework: Horizon 2020 — Industrial Leadership
Programme: Information and Communication Technologies
Action type: Research and Innovation actions
Partnership: 5G PPP (cPPP)
Countries involved: Spain,Spain,Germany,Spain,Ireland,Belgium,Greece,Belgium,Greece,France,Netherlands
Call: 5G PPP – Smart Connectivity beyond 5G (H2020-ICT-2020-2, 2020)
Start date: 2021-01-01
End date: 2024-03-31
Duration (months): 39.0
Total project cost (EUR): 4997025.0
EU funding (EUR): 4997025.0
Participants: 13
Project status: SIGNED

The success of Beyond 5G (B5G) systems will largely depend on the quality of the Network Intelligence (NI) that will fully automate network management. Artificial Intelligence (AI) models are commonly regarded as the cornerstone for NI design; indeed, AI models have proven extremely successful at solving hard problems that require inferring complex relationships from entangled and massive (e.g., traffic) data. However, AI is not the best solution for every NI task; and, when it is, the dominating trend of plugging ‘vanilla’ AI into network controllers and orchestrators is not a sensible choice. Departing from the current hype around AI, DAEMON will set forth a pragmatic approach to NI design. The project will carry out a systematic analysis of which NI tasks are appropriately solved with AI models, providing a solid set of guidelines for the use of machine learning in network functions. For those problems where AI is a suitable tool, DAEMON will design tailored AI models that respond to the specific needs of network functions, taking advantage of the most recent advances in machine learning. Building on these models, DAEMON will design an end-to-end NI-native architecture for B5G that fully coordinates NI-assisted functionalities. The advances to NI devised by DAEMON will be applied in practical network settings to: (i) deliver extremely high performance while making an efficient use of the underlying radio and computational resources; (ii) reduce the energy footprint of mobile networks; and (iii) provide extremely high reliability beyond that of 5G systems. To achieve this, DAEMON will design practical algorithms for eight concrete NI-assisted functionalities, carefully selected to achieve the objectives above. The performance of the DAEMON algorithms will be evaluated in real-world conditions via four experimental sites, and at scale with data-driven approaches based on two nationwide traffic measurement datasets, against nine ambitious yet feasible KPI targets.

Keywords: network intelligence,zero touch network management,data driven networking
Smart your Water Meter (AMR-G)

Framework: Horizon 2020 — Industrial Leadership
Programme: Innovation in SMEs
Action type: SME instrument
Countries involved: Israel
Call: SME instrument (H2020-SMEInst-2018-2020-1, 2018)
Start date: 2019-02-01
End date: 2019-05-31
Duration (months): 4.0
Total project cost (EUR): 71429.0
EU funding (EUR): 50000.0
Participants: 1
Project status: CLOSED

Smart water meters (or AMR – automatic meter reading), using advanced communication technologies, facilitate more frequent, higher resolution and remotely accessible data generation – imperative for the level of control and planning that is demanded by today’s consumers and businesses. Smart metering enhances knowledge of the how, when and where of water consumption. However, worldwide, over 90% of meters today are analogue, and not smart. Those that are smart use integrated meters and different communication modes. As there is no existing standard, making water meters replacement and network creation a very costly task. The CAPX and OPEX of replacing all of these analogue meters is economically not possible for most municipalities and water utilities. Our unique technology transforms any water meter into a smart meter by simply clipping on our communication unit utilizing the water meter picture, dynamic OCR method and two-way connectivity. AMR-G provides a 100% fool proof reading, along with many other unique tools for water meter management and maintenance. With the addition of NB-IoT to our product, we have extended the solution to cover crowded urban areas as well. AMR-G introduces smart IoT solutions into low-tech areas of our lives. The company team has over 100 years of experience in managing start-ups, including all aspects of management, R&D, production, finance, marketing and business development. We plan to establish strategic partnerships with the leading analogue and smart meters manufacturers. We plan to enter the market with both our RU-RF and RU-NB IoT products with large scale paying pilots by the end of 2019, expecting to show initial profitability by 2021, and reach over €14M in profits by 2023. During phase one of this project, AMR-G will be modifying the communication module and analysing the feasibility of the introduction of both versions of the product into the European market.

Keywords: amr automatic meter reading,smart meter,water meter,analouge water meter,ami automatic meter infrastructure,nb iot narrow band iot
Post-transcriptional regulation of RNA degradation in early zebrafish development (DecodeDegRNA)

Framework: Horizon 2020 — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Starting grants
Action type: ERC actions
Panel: Integrative Biology: from Genes and Genomes to Systems
Panel description: Genetics, epigenetics, genomics and other ‘omics studies, bioinformatics, systems biology, genetic diseases, gene editing, innovative methods and modelling, ‘omics for personalised medicine
Countries involved: Israel
Call: ERC Starting Grant (ERC-2019-STG, 2019)
Start date: 2020-03-01
End date: 2025-02-28
Duration (months): 60.0
Total project cost (EUR): 1500000.0
EU funding (EUR): 1500000.0
Participants: 1
Project status: SIGNED

Regulation of gene expression lies at the heart of fundamental biological processes, such as the formation of different cell types inside an embryo or responses to environmental stimuli. Living cells ensure that the right genes are expressed at the right time and place by carefully controlling every RNA molecule inside a cell from its ‘birth’ by transcription to its final ‘death’ by degradation. While vast efforts strive to understand the first part of this process – transcription, studies of RNA degradation have been more limited. Current knowledge largely relies on small-scale investigation of key – but anecdotal – cases, while technical and experimental difficulties limit its large-scale analysis. Therefore, we still lack a systematic and predictive understanding of RNA degradation: technologies to globally measure it, the molecular mechanisms involved, its functional and physiological implications and models to decode and predict it. Transcriptional silencing makes early embryos an ideal system to study RNA degradation and uncover its basic concepts, as I propose here. Aim 1 will decipher how genomic information within native RNA sequences determines their degradation in embryos. Aim 2 will develop the technology to investigate RNA degradation at single-cell resolution, and uncover its regulation within arising embryonic cell populations. Aim 3 will reveal the molecular implementation of the regulatory code of RNA degradation and determine its physiological roles that underlie the massive degradation of maternal mRNAs – a key regulatory event and a main developmental transition in early embryos of all animals. This work will uncover new principles of RNA degradation in early development and elicit its mechanisms and functions using the zebrafish as an in vivo model system. The assays and models to be developed will be broadly applicable to study RNA degradation in diverse contexts, ranging from disease mechanisms to engineering of RNA- protein interactions.

Keywords: post transcriptional regulation,zebrafish embryonic development,maternal to zygotic transition