Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
From Software Verification to Everyware Verification (VERIWARE)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: Computer science and informatics
Countries involved: United Kingdom
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-05-01
End date: 2016-04-30
Duration (months): 72.0
Total project cost (EUR): 2060360.0
EU funding (EUR): 2060360.0
Participants: 1
Project status: CLOSED

In the words of Adam Greenfield, the age of ubiquitous computing is here: a computing without computers, where information processing has diffused into everyday life, and virtually disappeared from view . Conventional hardware and software has evolved into everyware sensor-enabled electronic devices, virtually invisible and wirelessly connected on which we increasingly often rely for everyday activities and access to services such as banking and healthcare. The key component of everyware is embedded software, continuously interacting with its environment by means of sensors and actuators. Ubiquitous computing must deal with the challenges posed by the complex scenario of communities of everyware , in presence of environmental uncertainty and resource limitations, while at the same time aiming to meet high-level expectations of autonomous operation, predictability and robustness. This calls for the use of quantitative measures, stochastic modelling, discrete and continuous dynamics and goal-driven approaches, which the emerging quantitative software verification is unable to address at present. The central premise of the proposal is that there is a need for a paradigm shift in verification to enable everyware verification, which can be achieved through a model-based approach that admits discrete and continuous dynamics, the replacement of offline methods with online techniques such as machine learning, and the use of game-theoretic and planning techniques. The project will significantly advance quantitative probabilistic verification in new and previously unexplored directions. I will lead a team of researchers investigating the fundamental principles of everyware verification, development of algorithms and prototype implementations, and experimenting with case studies. I will also provide continued scientific leadership in the area of ubiquitous computing.

Keywords: ubiquitous computing,model checking,automated verification,software verification,context-awareness
Production of Polarized Antiprotons (POLPBAR)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: Fundamental constituents of matter
Countries involved: Germany,Italy,Russian Federation
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-05-01
End date: 2016-04-30
Duration (months): 72.0
Total project cost (EUR): 2448376.0
EU funding (EUR): 2448376.0
Participants: 3
Project status: CLOSED

Hadrons, the building blocks of all matter in Nature, are not fundamental but composed of quarks and gluons. Up to now we do not know HOW NATURE MAKES HADRONS one of the most important questions of contemporary structure-of-matter physics. Major breakthroughs are to be expected with new experimental facilities such as FAIR. Most studies in hadron physics at HESR/FAIR will employ beams of unpolarized antiprotons, but the most spectacular opportunities will arise for polarized antiprotons the physics case is exceptional. The flag-ship experiment, Drell-Yan production in double polarized proton-antiproton scattering, gives direct access to transversity , the terra incognita of nucleon spin structure. The provision of such beams presents enormous scientific / technological challenges and has never been achieved with intensities sufficient for the crucial experiments. State-of-the-art techniques are capable of producing intensities less than ~10^5 s-1, which cannot be efficiently accumulated. It is the aim of this project to develop an efficient method for POLARIZING ANTIPROTON BEAMS by in-situ build-up in a storage ring. The only viable method to do this effectively is through &quot;spin-filtering&quot; by the repeated interaction of an antiproton beam with a polarized hydrogen gas target in a cooler storage ring. This technique works with protons, but it is not clear how the polarization build-up happens in detail. Spin-filtering needs to be optimized and, in particular, it must be extended to antiprotons. Within the framework of this project, the aim is to provide polarized antiproton beams in a storage ring with at least WITH 10 ORDERS OF MAGNITUDE higher intensity than previously possible. A very experienced team of scientists and engineers is needed, and this is available within my group. We will also strongly benefit from our collaboration partners. Thus, it is a &quot;now or never&quot; opportunity. If successful, a new era will open with fascinating experiments.

Keywords: polarization
Electronic spectra of cold, large interstellar ions (ELECSPECIONS)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: Physical and Analytical Chemical sciences
Countries involved: Switzerland
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-05-01
End date: 2015-04-30
Duration (months): 60.0
Total project cost (EUR): 1898624.0
EU funding (EUR): 1898624.0
Participants: 1
Project status: CLOSED

The purpose of this project is to measure for the first time gas-phase spectra of large carbon containing cations, at low temperatures, which are of astrophysical importance. Knowledge of electronic spectroscopy of such molecules is also of pertinence in a number of areas of chemistry and physics, enabling their identification in planetary atmospheres, flames and plasmas and as intermediates in chemical reaction dynamics. This project is interdisciplinary, bridging the areas of chemistry, physics, and astrophysics. It encompasses state of the art techniques of chemical physics and aims at obtaining information to solve the long standing enigma in observational astronomy, the identification of some of the molecules causing absorption of starlight in diffuse interstellar clouds. The project uses ion trapping technology, whereby mass-selected species are held in a radio-frequency field and the vibrations and rotations are relaxed by collisions with cold helium to typical interstellar temperatures of 10-30 K. The electronic spectra of a number of cations, selected on the basis of their special properties including those of bare carbon chains, rings and fullerenes, polycyclic aromatic hydrocarbon cations and their protonated forms will be measured using new detection schemes. The first approach is based on photo-induced charge transfer which is turned on upon laser excitation and the second uses the possibility of rare-gas complexation in the ground but not excited state.
Cosmic ray acceleration, magnetic field and radiation hydrodynamics (CMR)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: Universe sciences
Countries involved: United Kingdom
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-05-01
End date: 2015-04-30
Duration (months): 60.0
Total project cost (EUR): 900024.0
EU funding (EUR): 900024.0
Participants: 1
Project status: CLOSED

Diffusive shock acceleration is widely acknowledged as the most likely source of cosmic rays and high energy particles. The basic macroscopic theory of how cosmic rays gain energy during multiple shock crossings is well known, but the microphysics of the interaction between cosmic rays (CR) and the MHD background fluid remained poorly understood before the recent discovery of a new non-resonant instability by which the CR precursor could greatly amplify the ambient magnetic field. The aims of the project are: 1) to develop the first self-consistent non-linear simulation of the CR/MHD interaction; to calculate the magnitude of the saturated magnetic field and the maximum energy to which CR are accelerated. We will characterise the structure of the amplified magnetic field and compare it with x-ray observations of the time-evolving outer shock of supernova remnants (SNR). We will investigate the effect of various orientations of the shock relative to the ambient magnetic field, the effect of non-diffusive transport on the energy spectrum and CR escape from the SNR, and how these match observation. 2) to extend the simulation to relativistic shocks as found in gamma-ray bursts (GRB) and active galactic nuclei (AGN); to establish whether the non-resonant instability operates effectively at relativistic shock velocities, whether it explains the large magnetic field found in GRB, and determine the maximum CR energy achieved by relativistic shocks. 3) to investigate high density shocks in GRB, x-ray flashes (XRF) and supernovae (SN) where radiative processes, pair production and other particle/photon and particle/particle interactions are important. We shall investigate CR acceleration on SN shock breakout and very young SNR as a possible source of very high energy CR.

Keywords: plasmas magnetohydrodynamics computational modelling
Ultrafast dynamics of hydrogen bonded structures in condensed matter (ULTRADYNE)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: ERC Advanced Grant Interdisciplinary Panel
Countries involved: Germany
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-03-01
End date: 2015-02-28
Duration (months): 60.0
Total project cost (EUR): 2490500.0
EU funding (EUR): 2490500.0
Participants: 1
Project status: CLOSED

Structure-function relationships in condensed matter will be unraveled by studying structural dynamics on atomic length and time scales. The most advanced structure-sensitive methods of ultrafast science such as time-resolved x-ray diffraction and multidimensional vibrational spectroscopy with a temporal resolution better than 100 fs will be applied for mapping fluctuating (macro)molecular structures and photoinduced structural transformations of solids in real-time. The following phenomena will be addressed: (i) Interactions between functional units of individual nucleic base pairs and deoxyribonucleic acid (DNA) oligomers will be determined by multidimensional vibrational spectroscopy. The transfer of excitations in a local geometry and along the double helix, energy dissipation along the helix and into the aqueous environment, as well as the mechanisms of local and global hydration will be studied via the ultrafast response of local vibrations. In this way, hydrogen bonding interactions of water with the DNA backbone and with base pairs are discerned. (ii) Photoinduced structural transformations in prototype hydrogen-bonded solids will be studied by ultrafast x-ray diffraction. The so far unknown dynamics and driving forces of phase transitions in molecular ferroelectrics such as ammonium sulfate and others will be determined by recording transient diffraction patterns after electronic and/or vibrational excitation. A key issue will be the so far unresolved change of the hydrogen bond pattern. This work will include the implementation of new forefront techniques of ultrafast science, e.g., ultrafast x-ray powder diffraction, for a broad range of future applications.

Keywords: ultrafast science,nonequilibrium processes
Modeling Silicon Spintronics (MOSILSPIN)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: Systems and communication engineering
Countries involved: Austria
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-03-01
End date: 2016-02-29
Duration (months): 72.0
Total project cost (EUR): 1678500.0
EU funding (EUR): 1678500.0
Participants: 1
Project status: CLOSED

The breath taking increase in performance of integrated circuits became possible by continuous miniaturization of CMOS devices. On this exciting path many tough problems were resolved; however, growing technological challenges and soaring costs will gradually bring scaling to an end. This puts foreseeable limitations to the future performance increase, and research on alternative technologies and computational principles becomes important. Spin attracts attention as alternative to the charge degree of freedom for computations and non-volatile memory applications. Silicon as main material of microelectronics is characterized by negligible spin-orbit interaction and zero-spin nuclei and should display long spin coherence times. Combined with the potentially easy integration with CMOS, long spin coherence makes silicon perfectly suited for spin-driven applications, as confirmed by recent impressive demonstrations of spin injection, coherent propagation, and detection. The success of microelectronics technology has been well assisted by smart Technology Computer-Aided Design tools; however, support for spin applications is entirely absent. The objective here is to create, test, and apply a simulation environment for spin-based devices in silicon. Microscopic models describing the physical properties relevant to the spin degree of freedom are developed. Special attention will be paid to investigate, how to increase the spin coherence time. One option is based on completely removing the valley degeneracy in the conduction band by [110] uniaxial stress. Understanding spin-polarized transport in silicon and in compatible hysteretic materials allows using the spin-torque effect to invent, model, and optimize prototypes of switches and memory cells for the 21st century.

Keywords: semiconductor devices,integrated circuits,spintronics
A Global View of Star Formation in the Milky Way (GLOSTAR)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: Universe sciences
Countries involved: Germany
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-05-01
End date: 2015-04-30
Duration (months): 60.0
Total project cost (EUR): 2355079.0
EU funding (EUR): 2355079.0
Participants: 1
Project status: CLOSED

Stars with more than about ten solar masses dominate galactic ecosystems and understanding the circumstances of their formation is one of the great challenges of modern astronomy. The spectacular HII regions they excite delineate the spiral arms of galaxies such as our own when seen face on making it clear that star formation and Galactic structure are intimately related. We propose to attain a Global View of Star Formation in the Milky Way in a powerful multi-pronged approach. Using VLBI observations of maser sources associated with young protostars, we will measure distances by trigonometric parallax to most of the dominant star forming regions in the Galaxy, which will reveal its spiral structure as well as faithfully represent the luminosity and masses of its constituents. A survey for submillimeter emission from dust, which we are presently pursuing, will deliver the locations of unseen deeply embedded protostars and protoclusters. We plan to combine this data with a comprehensive program to study the gaseous content of the protostellar regions and a very sensitive survey of the Galactic plane with the newly Expanded Very Large Array to find masers and hypercompact HII regions, pinpointing the very centers of the earliest star-forming activity. We also propose to study the infrared emission from more developed massive star clusters, deriving distance with the classic spectro-photometric method, properly calibrated with trigonometric parallaxes, and for the first time adapted to an extensive IR dataset. Our synoptic approach will utilize Europe s premier telescopes including ESO s VLT, the European VLBI Network, the APEX telescope, and ALMA to create a coherent, unique dataset with true legacy value for a global perspective on star formation in our Galaxy.

Keywords: radio interferometry,interstellar molecules,astronomical surveys
Security, Services, nEtworking and performance of next generation IP-based multimedia wireless Networks (S2EUNET)

Framework: FP7 — People
Programme: Marie-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: International Research Staff Exchange Scheme
Action type: Support for training and career development of researchers (Marie Curie)
Countries involved: Norway,Denmark,Spain,Italy
Call:  (FP7-PEOPLE-2009-IRSES, 2009)
Start date: 2010-06-15
End date: 2014-06-14
Duration (months): 48.0
Total project cost (EUR): 673200.0
EU funding (EUR): 673200.0
Participants: 4
Project status: CLOSED

The S2EuNet project is a joint initiative by four partner universities in Europe and nine partner universities in third countries in the form of staff and researcher exchange under the FP7/People/IRSES action. The main goal of this project is to strengthen research partnership among partner organizations and to elevate the scientific competence of the participating organizations in the fields of next generation mobile systems and wireless networks. More specifically, the project has the following objectives: • to reinforce cooperation among partner organizations, not only between European partners and third-country partners, but also between European partners for the purpose of long-term research partnership, at the organizational level • to investigate various aspects of emerging technologies in future wireless and mobile networks for the provision of reliable, security and high-performance IP-based multimedia services • to enhance research quality and lift the scientific competence of the participating organizations through joint research activities • to educate more and better qualified PhD candidates at the international level Following the principle of the MCA, a bottom-up approach has been adopted for both overall theme identification and research topic definition. The participating researchers in this project exceed sixty with over thirty faculty members and over thirty PhD students respectively, organized into six WPs. The duration of the project will be 48 months. It contains a researcher exchange scheme with a total number of 422 PMs, well balanced between outgoing visits from Europe (200 PMs) and incoming stays to Europe (222 PMs). The duration of each research stay varies from one month up to twelve months, depending on the role and the availability of the each individual researcher. The major joint activities planned in the project include 4 workshops, 2 summer schools, 20~40 guest lectures, 8~16 tutorials and PhD courses.

Keywords: technological sciences,next generation mobile systems and wireless networks
Quantum optics with microwave photons building a tool-box based on superconducting technology (QUOMP)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: Condensed matter physics
Countries involved: Sweden
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-03-01
End date: 2015-02-28
Duration (months): 60.0
Total project cost (EUR): 2500000.0
EU funding (EUR): 2500000.0
Participants: 1
Project status: CLOSED

The research proposed in this application has grown out of the research on solid-state qubits, where a superconducting circuit including Josephson junctions can be made into a quantum-coherent, two-level system, an artificial atom. It has recently been shown that these artificial atoms can be integrated with microwave cavities in such a way that the states of the &quot;atom&quot; can communicate in a quantum coherent way with individual photons in the cavity. This opens up an opportunity to engineer quantum system utilizing both the atom and the photon degree of freedom. There are three essential features in this proposal, circuit-QED, tunable Josephson elements and the possibility to integrate many qubits and many cavities on the same chip. The overall objective of this proposal is to build a toolbox based on circuit-QED and tunable superconducting elements, to enable on-chip integrated quantum optics. Our vision is to move quantum optics experiments from large optical tables and integrate them on chip, with a substantially increased level of integration. Working in the microwave domain, we have the following specific objectives: &quot; An on-demand single photon source &quot; A number resolving single photon click detector &quot; A single photon router &quot; A single photon sluice &quot; A linear quantum limited parametric amplifier &quot; Demonstration of the dynamical Casimir effect

Keywords: single photon detectors,photons on demand,microwave photons,quantum optics,superconductivity
Sea-level change due to climate change (SEACHANGE)

Framework: FP7 — Ideas
Programme: European Research Council
Theme: European research council
Destination: Advanced grants
Action type: Support for frontier research (ERC)
Panel: Earth system science
Countries involved: United Kingdom
Call:  (ERC-2009-AdG, 2009)
Start date: 2010-04-01
End date: 2016-03-31
Duration (months): 72.0
Total project cost (EUR): 1441719.0
EU funding (EUR): 1441719.0
Participants: 1
Project status: CLOSED

Sea-level rise as a consequence of climate change will have severe impacts on coastal populations and ecosystems. However, owing to the incomplete state of scientific knowledge, there is a large range of uncertainty in the predictions, of a factor of more than two for any given emissions scenario during the 21st century, and much larger for subsequent centuries. This is a serious obstacle to the assessment of impacts. Sea-level change is a diagnostic of a complex combination of Earth system processes operating over a wide range of timescales. Explaining the record of past sea-level change and predicting the future is therefore a fascinating interdisciplinary scientific challenge as well as one with practical implications. The aim of this project is to improve quantitative understanding and hence reduce uncertainty in predictive models of the two main climate-related contributions to sea-level change, namely ocean density change and changes in ice-sheets. The former is the most important term on timescales of years to centuries, and the latter is the principal influence over timescales of centuries to millennia. In both parts of the proposal, our focus is on analysis of changes simulated by 3D atmosphere-ocean climate models, which we compare with observational data. For ocean density change, the objectives are to analyse the physical processes responsible for global-mean and local sea-level change due to density change, in order to quantify and constrain the uncertainties in predictions. For ice-sheets, the objectives are to increase our understanding of and ability to model the coupled evolution of ice-sheets and climate on multi-millennial timescales, in particular regarding the last glacial cycle and the long-term future of the Greenland ice-sheet.

Keywords: ice-sheets,thermal expansion,sea-level,sea-level rise