auto_awesome_motion View all 1 versions


Country: France
169 Projects, page 1 of 34
  • Open Access mandate for Publications
    Funder: EC Project Code: 714294
    Overall Budget: 1,330,460 EURFunder Contribution: 1,330,460 EUR
    Partners: INRIA

    As years go by, the existence of quantum computers becomes more tangible and the scientific community is already anticipating the enormous consequences of the induced breakthrough in computational power. Cryptology is one of the affected disciplines. Indeed, the current...

  • Open Access mandate for Publications
    Funder: EC Project Code: 659316
    Overall Budget: 185,076 EURFunder Contribution: 185,076 EUR
    Partners: INRIA

    This Reintegration Panel proposal, CYBERNETS, focuses on the study of Cybernetic Communication Networks (CCN). CCNs are wireless networks that are context-aware, possess learning capabilities and artificial intelligence to guarantee reliability, efficiency and resilienc...

  • Open Access mandate for Publications
    Funder: EC Project Code: 850925
    Overall Budget: 1,500,000 EURFunder Contribution: 1,500,000 EUR
    Partners: INRIA

    Mathematical optimization is the key to solving many problems in science, based on the observation that physical systems obey a general principle of least action. While some problems can be solved analytically, many more can only be solved via numerical algorithms. Rese...

  • Open Access mandate for Publications and Research data
    Funder: EC Project Code: 788065
    Overall Budget: 2,497,160 EURFunder Contribution: 2,497,160 EUR
    Partners: INRIA

    The use of Computer Graphics (CG) is constantly expanding, e.g., in Virtual and Augmented Reality, requiring realistic interactive renderings of complex virtual environments at a much wider scale than available today. CG has many limitations we must overcome to satisfy ...

  • Open Access mandate for Publications
    Funder: EC Project Code: 637339
    Overall Budget: 1,498,290 EURFunder Contribution: 1,498,290 EUR
    Partners: INRIA

    Every year, software bugs cost hundreds of millions of euros to companies and administrations. Hence, software quality is a prevalent notion and interactive theorem provers based on type theory have shown their efficiency to prove correctness of important pieces of soft...