| |
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 |
|
|
|
|
| |
1058419
|
Infos complémentaires |
| parentName_s |
Centre de Mathématiques Appliquées - Ecole PolytechniqueInria Saclay - Ile de France |
|
Uncertainty Quantification in Scientific Computing and Engineering |
PLATON |
researchteam |
1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau |
|
2020-12-01 |
|
|
| |
446142
|
Infos complémentaires |
| parentName_s |
Inria Sophia Antipolis - MéditerranéeInria Saclay - Ile de France |
|
Understanding the Shape of Data |
DATASHAPE |
researchteam |
Inria Saclay1, rue Honoré d’Estienne d’Orves91120 Palaiseau |
|
|
|
|
| |
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 |
|
| |
563449
|
Infos complémentaires |
| parentName_s |
Inria Saclay - Ile de France |
|
inTeRnet BEyond the usual |
TRiBE |
researchteam |
|
|
|
|
|
