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