|
1194409
Infos complémentaires |
parentName_s |
Institut de Recherche Mathématique AvancéeInria Nancy - Grand Est |
|
Apprentissage automatique pour des méthodes numériques optimisées |
MACARON |
researchteam |
|
|
2024-04-01 |
2028-03-31 |
|
|
205119
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstInstitut Élie Cartan de Lorraine |
|
Biology, genetics and statistics |
BIGS |
researchteam |
|
|
|
|
|
|
233382
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstLaboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie |
|
Compilation pour les Architectures MUlti-coeurS |
CAMUS |
researchteam |
|
|
|
|
|
|
420402
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Complex Systems, Artificial Intelligence & Robotics |
|
Computational Algorithms for Protein Structures and Interactions |
CAPSID |
researchteam |
|
|
|
|
|
|
425649
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstLaboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie |
|
Computational Anatomy and Simulation for Medicine |
MIMESIS |
researchteam |
1, Place de l'hôpital67091 Strasbourg |
|
2015-07-01 |
|
|
|
450090
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Cryptology, arithmetic : algebraic methods for better algorithms |
CARAMBA |
researchteam |
615 rue du Jardin Botanique54600 Villers-lès-Nancy |
|
2016-01-01 |
|
|
|
529408
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Designing the Future of Computational Models |
MOCQUA |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2018-01-01 |
|
|
|
478613
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Geometric Algorithms and Models Beyond the Linear and Euclidean realm |
GAMBLE |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2017-01-01 |
2023-12-31 |
|
|
1193391
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstInstitut Élie Cartan de Lorraine |
|
Inférence Statistique et Modélisation pour les Applications Biologiques |
SIMBA |
researchteam |
|
|
2024-01-01 |
2027-03-31 |
|
|
415996
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Complex Systems, Artificial Intelligence & Robotics |
|
Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment |
LARSEN |
researchteam |
|
|
|
|
|
|
532081
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Matter from Graphics |
MFX |
researchteam |
Inria Nancy - Grand Est615 Rue du Jardin Botanique54600 Villers-lès-Nancy |
|
2018-03-01 |
|
|
|
107895
Infos complémentaires |
parentName_s |
Max-Planck-Institut für InformatikInria Nancy - Grand EstDepartment of Formal Methods |
|
Modeling and Verification of Distributed Algorithms and Systems |
VERIDIS |
researchteam |
|
|
2012-07-01 |
|
|
|
1058141
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstInstitut Élie Cartan de Lorraine |
|
Processus aléatoires spatio-temporels et leurs applications |
PASTA |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2020-12-01 |
|
|
|
445522
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Proof techniques for security protocols |
PESTO |
researchteam |
|
|
2016-01-01 |
|
|
|
1061387
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Recalage visuel avec des modèles physiquement réalistes |
TANGRAM |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2020-12-01 |
|
|
|
529415
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Networks, Systems and Services |
|
Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems |
RESIST |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2018-01-01 |
|
|
|
150772
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Natural Language Processing & Knowledge Discovery |
|
Semantic Analysis of Natural Language |
SEMAGRAMME |
researchteam |
|
|
|
|
|
|
505701
Infos complémentaires |
parentName_s |
Inria Nancy - Grand Est |
|
Service Expérimentation et Développement [Nancy] |
SED |
department |
|
|
|
|
|
|
420403
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Natural Language Processing & Knowledge Discovery |
|
Speech Modeling for Facilitating Oral-Based Communication |
MULTISPEECH |
researchteam |
|
|
|
|
|
|
568149
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Structurer des formes géométriques |
PIXEL |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2020-03-01 |
|
|
|
418609
Infos complémentaires |
parentName_s |
Inria Nancy - Grand Est |
|
Systems with physical heterogeneities : inverse problems, numerical simulation, control and stabilization |
SPHINX |
researchteam |
|
|
2015-01-01 |
|
|
|
243707
Infos complémentaires |
parentName_s |
Institut de Recherche Mathématique AvancéeInria Nancy - Grand Est |
|
TOkamaks and NUmerical Simulations |
TONUS |
researchteam |
|
|
2019-05-01 |
2024-12-31 |
|
|
415986
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Networks, Systems and Services |
|
Web Scale Trustworthy Collaborative Service Systems |
COAST |
researchteam |
|
|
|
|
|
|
205117
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Networks, Systems and Services |
|
Algorithms for the Grid |
ALGORILLE |
researchteam |
|
|
2015-01-01 |
2015-03-01 |
|
|
213693
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Complex Systems, Artificial Intelligence & Robotics |
|
Analysis and modeling of neural systems by a system neuroscience approach |
NEUROSYS |
researchteam |
|
|
2015-07-01 |
2021-01-01 |
|
|
205127
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Natural Language Processing & Knowledge Discovery |
|
Analysis, perception and recognition of speech |
PAROLE |
researchteam |
|
|
|
2014-06-30 |
|
|
551848
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Augmentation visuelle d'environnements complexes |
MAGRIT-POST |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2019-01-01 |
2020-11-30 |
|
|
205124
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Complex Systems, Artificial Intelligence & Robotics |
|
Autonomous intelligent machine |
MAIA |
researchteam |
|
|
|
2014-12-31 |
|
|
189789
Infos complémentaires |
parentName_s |
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)Inria Nancy - Grand EstDepartment of Formal Methods |
|
Combination of approaches to the security of infinite states systems |
CASSIS |
researchteam |
|
|
|
2015-12-31 |
|
|
107893
Infos complémentaires |
parentName_s |
Laboratoire des Sciences de l'Image, de l'Informatique et de la TélédétectionInria Nancy - Grand Est |
|
Compilation pour les Architectures MUlti-coeurS |
CAMUS |
researchteam |
|
|
|
|
|
|
119560
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Cryptology, Arithmetic: Hardware and Software |
CARAMEL |
researchteam |
|
|
2010-01-01 |
2015-12-31 |
|
|
205129
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Effective Geometric Algorithms for Surfaces and Visibility |
VEGAS |
researchteam |
|
|
2005-08-01 |
2016-12-31 |
|
|
205126
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Formal islands: foundations and applications |
PAREO |
researchteam |
|
|
|
2014-12-31 |
|
|
205118
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Algorithms, Computation, Image and Geometry |
|
Geometry and Lighting |
ALICE |
researchteam |
|
|
|
2020-03-30 |
|
|
551847
Infos complémentaires |
parentName_s |
Inria Nancy - Grand Est |
|
Géometrie et Lumière |
ALICE-POST |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2019-01-01 |
2020-03-30 |
|
|
205125
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Natural Language Processing & Knowledge Discovery |
|
Knowledge representation, reasonning |
ORPAILLEUR |
researchteam |
|
|
|
2020-06-30 |
|
|
205122
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Networks, Systems and Services |
|
Management of dynamic networks and services |
MADYNES |
researchteam |
|
|
2004-01-01 |
2017-12-31 |
|
|
35123
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Natural Language Processing: representation, inference and semantics |
TALARIS |
researchteam |
|
|
|
|
|
|
205107
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Complex Systems, Artificial Intelligence & Robotics |
|
Neuromimetic intelligence |
CORTEX |
researchteam |
|
|
|
|
|
|
44729
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstUniversité Paul Verlaine - Metz |
|
Optimal and secure management of manufacturing systems |
COSTEAM |
researchteam |
|
|
|
|
|
|
205128
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Networks, Systems and Services |
|
Real time and interoperability |
TRIO |
researchteam |
|
|
|
|
|
|
421093
Infos complémentaires |
parentName_s |
Inria Nancy - Grand Est |
|
Robust control of infinite dimensional systems and applications |
CORIDA |
researchteam |
|
|
2014-01-01 |
2015-01-02 |
|
|
2368
Infos complémentaires |
parentName_s |
Institut Élie Cartan de NancyLaboratoire de Mathématiques et Applications de MetzInria Nancy - Grand Est |
|
Robust control of infinite dimensional systems and applications |
CORIDA |
researchteam |
|
|
|
|
|
|
2367
Infos complémentaires |
parentName_s |
Institut de Recherche Mathématique AvancéeLaboratoire des Sciences de l'Image, de l'Informatique et de la TélédétectionInria Nancy - Grand EstInstitut Élie Cartan de Lorraine |
|
Scientific computation and visualization |
CALVI |
researchteam |
|
|
|
|
|
|
107894
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Networks, Systems and Services |
|
Services and Cooperation |
SCORE |
researchteam |
|
|
|
2014-07-31 |
|
|
186016
Infos complémentaires |
parentName_s |
Laboratoire d'Informatique Fondamentale de LilleInria Lille - Nord EuropeInria Nancy - Grand Est |
|
Simulation in Healthcare using Computer Research Advances |
SHACRA |
researchteam |
Inria // 50 Avenue Halley // 59650 Villeneuve d'Ascq // France and IRCAD // 1 Place de l'Hôpital // 67000 Strasbourg // France |
|
2012-01-01 |
2015-12-31 |
|
|
551851
Infos complémentaires |
parentName_s |
Inria Nancy - Grand Est |
|
Simuler et calibrer des modèles stochastiques |
TOSCA-NGE-POST |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2018-12-20 |
2020-11-30 |
|
|
29797
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Theoretical adverse computations, and safety |
CARTE |
researchteam |
|
|
|
|
|
|
129637
Infos complémentaires |
parentName_s |
Laboratoire de Mathématiques et Applications de MetzInria Nancy - Grand EstInstitut Élie Cartan de Lorraine |
|
Tools and models of nonlinear control theory for epidemiology and immunology |
MASAIE |
researchteam |
|
|
|
2014-12-31 |
|
|
554178
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
VERIfication pour les systèmes DIStribués |
VERIDIS |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2010-01-01 |
2012-06-30 |
|