Projects

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE - France 

Project overview (since 2010-01-01):

 next >>
Start dateProjectacronymrolefundingpartners
2019-03-01Toward AI Systems That Augment and Empower Humans by Understanding Us, our Society and the World Around Us Humane AIparticipant999.25035
2018-11-01Enhance Aircraft Performance and Optimisation through utilisation of Artificial Intelligence PERF-AIparticipant568.5502
2018-11-01Extreme-Scale Data Management DAMAcoordinator185.0761
2018-02-01Vision and Hearing In Action Laboratory VHIALabcoordinator149.8661
2018-01-01Virtual Materials Market Place (VIMMP) VIMMPparticipant7.992.27817
2017-12-01High Performance and Embedded Architecture and Compilation HiPEACparticipant2.000.00013
2017-11-01RObotics for MIcrofarms ROMIparticipant3.868.1868
2017-11-01Quantum-enhanced Sensing via Quantum Control QuSCoparticipant3.881.93522
2017-10-01Control Engineering of Biological Systems for Reliable Synthetic Biology Applications COSY-BIOparticipant2.975.3458
2017-09-01Reduced Order Modelling, Simulation and Optimization of Coupled systems ROMSOCparticipant2.781.92023
2017-09-01TEchnology TRAnsfer via Multinational Application eXperiments TETRAMAXparticipant6.997.27424
2017-07-01Boosting Brain-Computer Communication with high Quality User Training BrainConquestcoordinator1.498.7511
2017-05-01A Traffic Management Optimization platform for enhanced road network efficiency TramOptparticipant149.9031
2017-04-01Computing with Infinite Data CIDparticipant958.50021
2017-03-01Fast Interactive Verification through Strong Higher-Order Automation Matryoshkaparticipant1.498.4382
2017-02-01Electrostructural Tomography – Towards Multiparametric Imaging of Cardiac Electrical Disorders ECSTATICparticipant1.475.0002
2017-01-01VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS VESSEDIAparticipant4.192.05910
2017-01-01DARIAH ERIC Sustainability Refined DESIRparticipant2.717.32018
2017-01-01Federation for FIRE Plus Fed4FIREplusparticipant9.899.37522
2017-01-01Lightweight Computation for Networks at the Edge LightKoneparticipant3.570.99411
2017-01-01Advancing Anticipatory Behaviors in Dyadic Human-Robot Collaboration An.Dyparticipant3.950.0258
2017-01-01Uncertainty Treatment and OPtimisation In Aerospace Engineering UTOPIAEparticipant3.876.85411
2016-12-01European Cloud In-Memory Database Appliance with Predictable Performance for Critical Applications CloudDBApplianceparticipant4.832.13212
2016-12-01Software Testing AMPlification STAMPparticipant4.307.07011
2016-12-01Physically Based Simulation and Rendering of Thin Shell Sound PhySoundcoordinator221.6361
2016-11-01Emotive Virtual cultural Experiences through personalized storytelling EMOTIVEparticipant2.643.4488
2016-11-01High Performance Soft-tissue Navigation HiPerNavparticipant4.041.9209
2016-10-01Statistical modeling for Optimization Mobility SOMparticipant149.1091
2016-09-01Signal processing and Learning Applied to Brain data SLABparticipant1.492.2532
2016-06-01SAMSON: Integrating computational nanoscience SAMSONparticipant149.7501
2016-05-01European Initiative to Enable Validation for Highly Automated Safe and Secure Systems ENABLE-S3participant15.896.35574
2016-04-01Human Brain Project Specific Grant Agreement 1 HBP SGA1participant89.000.000117
2016-04-01An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications CIRCUSparticipant1.885.2481
2016-02-01Large-Scale Experiments of IoT Security Trust ARMOURparticipant1.999.5598
2016-01-01MIREL - MIning and REasoning with Legal texts MIRELparticipant1.152.00016
2016-01-01NEXTLEAP NEXTLEAPcoordinator1.968.0306
2016-01-01Adoptive Gateways for dIverse muLtiple Environments AGILEparticipant6.857.55019
2016-01-01High Performance and Embedded Architecture and Compilation HiPEACparticipant3.000.00012
2016-01-01Algebraic Representations in Computer-Aided Design for complEx Shapes ARCADESparticipant3.408.2028
2015-12-01Enabling a Mobility Back-End as a Robust Service EMBERSparticipant1.999.5255
2015-11-01FIRE+ online interoperability and performance test tools to support emerging technologies from research to standardization and market launch The standards and innovations accelerating tool F-Interopparticipant2.998.26012
2015-11-01Parallel Numerical Linear Algebra for Future Extreme-Scale Systems NLAFETparticipant3.907.3755
2015-10-01Programming Model INTERoperability ToWards Exascale (INTERTWinE) INTERTWINEparticipant3.861.4019
2015-10-01Foundations of Efficient Lattice Cryptography FELICITYcoordinator1.311.6881
2015-09-01AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems ANTAREXparticipant3.115.2518
2015-09-01EuroLab-4-HPC: Foundations of a European Research Center of Excellence in High Performance Computing Systems EuroLab-4-HPCparticipant1.489.98117
2015-09-01Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols SPOOCcoordinator1.903.5001
2015-09-01From Geometry to Motion: inverse modeling of complex mechanical structures GEMcoordinator1.498.5701
2015-06-01Cybernetic Communication Networks: Fundamental Limits and Engineering Challenges CYBERNETScoordinator185.0761
2015-06-01Coq for Homotopy Type Theory CoqHoTTcoordinator1.498.2901
 next >>