# | ||||
---|---|---|---|---|
1 | RESIBOTS Robots with animal-like resilience | 2015 | 1˙499˙501.00 | 1˙499˙501.00 |
2 | CYBERNETS Cybernetic Communication Networks: Fundamental Limits and Engineering Challenges | 2015 | 185˙076.00 | 185˙076.00 |
3 | COQHOTT Coq for Homotopy Type Theory | 2015 | 1˙498˙290.00 | 1˙498˙290.00 |
4 | GATIPOR Guaranteed fully adaptive algorithms with tailored inexact solvers for complex porous media flows | 2015 | 1˙283˙087.00 | 1˙283˙087.00 |
5 | SPOOC Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols | 2015 | 1˙903˙500.00 | 1˙903˙500.00 |
6 | GEM From Geometry to Motion: inverse modeling of complex mechanical structures | 2015 | 1˙498˙570.00 | 1˙498˙570.00 |
7 | FELICITY Foundations of Efficient Lattice Cryptography | 2015 | 1˙311˙687.00 | 1˙311˙687.00 |
8 | NEXTLEAP NEXTLEAP | 2016 | 1˙968˙030.00 | 1˙968˙030.00 |
9 | CIRCUS An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications | 2016 | 1˙885˙248.00 | 1˙885˙248.00 |
10 | SAMSON SAMSON: Integrating computational nanoscience | 2016 | 149˙750.00 | 149˙750.00 |
11 | LEASP Learning spatiotemporal patterns in longitudinal image data sets of the aging brain | 2016 | 1˙499˙894.00 | 1˙499˙894.00 |
12 | CLIM Computational Light fields IMaging | 2016 | 2˙461˙086.00 | 2˙461˙086.00 |
13 | SLAB Signal processing and Learning Applied to Brain data | 2016 | 1˙492˙252.00 | 1˙492˙252.00 |
14 | ICEXL IceXL: Advanced modeling and slicing software for additive manufacturing | 2016 | 149˙750.00 | 149˙750.00 |
15 | COBCOM Computational Brain Connectivity Mapping | 2016 | 2˙469˙122.00 | 2˙469˙122.00 |
16 | SOM Statistical modeling for Optimization Mobility | 2016 | 149˙109.00 | 149˙109.00 |
17 | NEUROIMAGING POWER Effect size and power for neuroimaging. | 2016 | 264˙668.00 | 264˙668.00 |
18 | PHYSOUND Physically Based Simulation and Rendering of Thin Shell Sound | 2016 | 221˙635.00 | 221˙635.00 |
19 | TITANIUM Software Components for Robust Geometry Processing | 2017 | 150˙000.00 | 150˙000.00 |
20 | SECOMP Efficient Formally Secure Compilers to a Tagged Architecture | 2017 | 1˙498˙444.00 | 1˙498˙444.00 |
21 | D3 Interpreting Drawings for 3D Design | 2017 | 1˙482˙761.00 | 1˙482˙761.00 |
22 | SOLARIS Large-Scale Learning with Deep Kernel Machines | 2017 | 1˙498˙465.00 | 1˙498˙465.00 |
23 | TRAMOPT A Traffic Management Optimization platform for enhanced road network efficiency | 2017 | 149˙903.00 | 149˙903.00 |
24 | BRAINCONQUEST Boosting Brain-Computer Communication with high Quality User Training | 2017 | 1˙498˙751.00 | 1˙498˙751.00 |
25 | SEQUOIA Robust algorithms for learning from modern data | 2017 | 1˙998˙750.00 | 1˙998˙750.00 |
26 | QUASYMODO Symmetric Cryptography in the Post-Quantum World | 2017 | 1˙330˙463.00 | 1˙330˙463.00 |
27 | TEAMPLAY Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms | 2018 | 5˙415˙551.00 | 5˙415˙551.00 |
28 | CROWDBOT Safe Robot Navigation in Dense Crowds | 2018 | 3˙997˙660.00 | 3˙997˙660.00 |
29 | VHIALAB Vision and Hearing In Action Laboratory | 2018 | 149˙866.00 | 149˙866.00 |
30 | NEUROLANG Accelerating Neuroscience Research by Unifying Knowledge Representation and Analysis Through a Domain Specific Language | 2018 | 1˙497˙045.00 | 1˙497˙045.00 |
31 | IDEAA Techniques, methods and tools for Issue-Driven European Arena Analytics: supporting citizens to easily explore the trove of publicly available data to build a viewpoint on a specific issue. | 2018 | 173˙076.00 | 173˙076.00 |
32 | G-STATISTICS Foundations of Geometric Statistics and Their Application in the Life Sciences | 2018 | 2˙183˙583.00 | 2˙183˙583.00 |
33 | FUNGRAPH A New Foundation for Computer Graphics with Inherent Uncertainty | 2018 | 2˙497˙161.00 | 2˙497˙161.00 |
34 | DAMA Extreme-Scale Data Management | 2018 | 185˙076.00 | 185˙076.00 |
35 | COMPRISE Cost-effective, Multilingual, Privacy-driven voice-enabled Services | 2018 | 3˙201˙016.00 | 3˙201˙016.00 |
36 | SPARKS Static Analysis for the VErification of Spreadsheets | 2019 | 149˙533.00 | 149˙533.00 |
37 | NEMO Network Motion | 2019 | 2˙498˙529.00 | 2˙498˙529.00 |
38 | POEMA Polynomial Optimization, Efficiency through Moments and Algebra | 2019 | 4˙015˙251.00 | 4˙015˙251.00 |
39 | HYPATIA Privacy and Utility Allied | 2019 | 2˙223˙779.00 | 2˙223˙779.00 |
40 | ARIA Accurate Roms for Industrial Applications | 2019 | 924˙600.00 | 924˙600.00 |
41 | MAJORIS Majoration-Minimization algorithms for Image Processing | 2020 | 1˙500˙000.00 | 1˙500˙000.00 |
42 | SPRING Socially Pertinent Robots in Gerontological Healthcare | 2020 | 8˙360˙385.00 | 8˙360˙385.00 |
The Institution INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE has been involved also in the following Horizon 2020 projects.