|
529406
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de France |
|
Organ Modeling through Extraction, Representation and Understanding of Medical Image Content |
GALEN-POST |
researchteam |
1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau |
|
2018-01-01 |
2019-04-30 |
|
|
244753
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en InformatiqueInria Saclay - Ile de France |
|
Performance Optimization by Software Transformation and Algorithms & Librairies Enhancement |
POSTALE |
researchteam |
PCRI - Université de Paris-Sud, Bâtiment 650, 91405 ORSAY Cedex |
|
2014-01-01 |
2015-12-31 |
|
|
133583
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de France |
|
Probabilistic modelling of irregularity and application to uncertainties management |
Regularity |
researchteam |
Bureau C410 Laboratoire MAS, Ecole Centrale Paris Grande Voie des Vignes 92290 Chatenay Malabry France |
|
|
|
|
|
56053
Infos complémentaires |
parentName_s |
Université Paris-Sud - Paris 11Inria Saclay - Ile de FranceCentre National de la Recherche Scientifique |
|
Proof of Programs |
PROVAL |
researchteam |
PCRI - Université de Paris-Sud, Bâtiment 650, 91405 ORSAY Cedex |
|
2005-09-08 |
2012-09-01 |
|
|
56052
Infos complémentaires |
parentName_s |
Laboratoire d'informatique de l'École polytechnique [Palaiseau]Inria Saclay - Ile de France |
|
Proof search and reasoning with logic specifications |
PARSIFAL |
researchteam |
|
|
2007-07-01 |
2019-11-30 |
|
|
1153924
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceUnité de Mathématiques AppliquéesCentre National de la Recherche Scientifique |
|
Propagation des Ondes : Étude Mathématique et Simulation (UMR 2706) |
POEMS |
researchteam |
32 Boulevard Victor, 75015 Paris |
|
2003-01-01 |
2008-12-31 |
|
|
454734
Infos complémentaires |
parentName_s |
Parallélisme, Réseaux, Systèmes, ModélisationInria Saclay - Ile de FranceCentre National de la Recherche Scientifique |
|
Secured and Mobile Information Systems |
SMIS |
researchteam |
|
|
2015-12-01 |
2016-12-31 |
|
|
2337
Infos complémentaires |
parentName_s |
Laboratoire Spécification et Vérification [Cachan]École normale supérieure - CachanInria Saclay - Ile de FranceCentre National de la Recherche Scientifique |
|
Security of information systems |
SECSI |
researchteam |
|
|
|
|
|
|
56044
Infos complémentaires |
parentName_s |
Centre de Mathématiques Appliquées de l'Ecole polytechniqueInria Saclay - Ile de France |
|
Shape reconstruction and identification |
DeFI |
researchteam |
Centre de Mathématiques Appliquées Ecole Polytechnique Route de Saclay 91128 Palaiseau FRANCE |
|
2009-01-01 |
2021-07-31 |
|
|
56050
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en InformatiqueInria Saclay - Ile de France |
|
Situated interaction |
IN-SITU |
researchteam |
PCRI - Université de Paris-Sud, Bâtiment 650, 91405 ORSAY Cedex |
|
2002-07-01 |
2014-12-31 |
|
|
561510
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire de Mathématiques d'Orsay |
|
Statistique mathématique et apprentissage |
CELESTE |
researchteam |
Département de Mathématiques Bâtiment 307Faculté des Sciences d'Orsay Université Paris-SudF-91405 Orsay Cedex |
|
2019-06-01 |
2019-12-31 |
|
|
211984
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de France |
|
Symbolic Special Functions : Fast and Certified |
SPECFUN |
researchteam |
Inria, Bâtiment Alan Turing 1 rue Honoré d'Estienne d'Orves Campus de l'École Polytechnique 91120 Palaiseau |
|
2014-07-01 |
2022-03-31 |
|
|
553811
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de France |
|
Sélection de modèles en apprentissage statistique |
SELECT-POST |
researchteam |
1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau |
|
2019-01-01 |
2019-05-31 |
|
|
486840
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en InformatiqueInria Saclay - Ile de France |
|
TAckling the Underspecified |
TAU |
researchteam |
Université Paris-Sud ;Bâtiment 660 - Shannon ; 91405 Orsay Cedex |
|
2016-12-01 |
2019-12-31 |
|
|
1050019
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire de Recherche en Informatique |
|
TAckling the Underspecified |
TAU |
researchteam |
Université Paris-Saclay;Bâtiment 660 - Shannon ; 91405 Orsay Cedex |
|
2020-01-01 |
2020-12-31 |
|
|
55047
Infos complémentaires |
parentName_s |
Laboratoire d'informatique de l'École polytechnique [Palaiseau]Inria Saclay - Ile de France |
|
Types, Logic and computing |
TYPICAL |
researchteam |
LIX Ecole Polytechnique 91129 Palaiseau Cedex |
|
|
|
|
|
56043
Infos complémentaires |
parentName_s |
Laboratoire Spécification et Vérification [Cachan]Inria Saclay - Ile de France |
|
Verification in databases |
DAHU |
researchteam |
LSV ENS de Cachan 61 avenue du Président Wilson 94235 CACHAN Cedex FRANCE |
|
2009-01-01 |
2017-12-31 |
|