organization

INRIA

French Institute for Research in Computer Science and Automation
393 projects, page 1 of 79
  • project . 2016 - 2019
    Funder: EC Project Code: 706708
    Overall Budget: 221,636 EURFunder Contribution: 221,636 EUR
    Open Access mandate for Publications
    Partners: INRIA

    Sound is as important as visuals in modern media (lms, video-games). Yet, little effort has been devoted to the rendering of sound from digital environments, compared to the phenomenal advances of visual rendering. Virtual scenes are sonied through the ad-hoc edition of...

  • project . 2016 - 2021
    Funder: EC Project Code: 683032
    Overall Budget: 1,885,250 EURFunder Contribution: 1,885,250 EUR
    Open Access mandate for Publications
    Partners: INRIA

    The security of modern web applications depends on a variety of critical components including cryptographic libraries, Transport Layer Security (TLS), browser security mechanisms, and single sign-on protocols. Although these components are widely used, their security gu...

  • project . 2016 - 2021
    Funder: EC Project Code: 678304
    Overall Budget: 1,499,890 EURFunder Contribution: 1,499,890 EUR
    Open Access mandate for Publications
    Partners: INRIA

    Time-series of multimodal medical images offer a unique opportunity to track anatomical and functional alterations of the brain in aging individuals. A collection of such time series for several individuals forms a longitudinal data set, each data being a rich iconic-ge...

  • project . 2014 - 2017
    Funder: EC Project Code: 331486
    Partners: INRIA
  • project . 2015 - 2021
    Funder: EC Project Code: 637339
    Overall Budget: 1,498,290 EURFunder Contribution: 1,498,290 EUR
    Open Access mandate for Publications
    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...

393 projects, page 1 of 79
Any information missing or wrong?Report an Issue