|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|