|
1050017
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire de Recherche en Informatique |
|
Analysis and Visualization |
AVIZ |
researchteam |
DIGITEO, Bat. Claude Shannon - Université Paris-Saclay, Bâtiment 660, 91190 Gif-sur-Yvette |
|
2020-01-01 |
2020-12-31 |
|
|
1050015
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en Informatique |
|
Bioinformatique (LRI) |
BioInfo - LRI |
researchteam |
Université Paris-SaclayBât. 650 Lovelace91405 Orsay Cedex |
|
2020-01-01 |
2020-12-31 |
|
|
1050008
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en Informatique |
|
Données et Connaissances Massives et Hétérogènes (LRI) |
LaHDAK - LRI |
researchteam |
Université Paris-Saclay; Bât. 650 Lovelace ; 91405 Orsay Cedex |
|
2020-01-01 |
2020-12-31 |
|
|
1050010
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire de Recherche en Informatique |
|
Extreme Interaction |
EX-SITU |
researchteam |
|
|
2020-01-01 |
2020-12-31 |
|
|
1050016
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire de Recherche en Informatique |
|
Formally Verified Programs, Certified Tools and Numerical Computations |
TOCCATA |
researchteam |
Université Paris-Saclay; Bâtiment 650 ; 91405 ORSAY CEDEX |
|
2020-01-01 |
2020-12-31 |
|
|
1050013
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en Informatique |
|
Graphes, Algorithmes et Combinatoire (LRI) |
GALaC - LRI |
researchteam |
Université Paris-Saclay; bât. 650 Lovelace ; 91405 Orsay Cedex |
|
2020-01-01 |
2020-12-31 |
|
|
1050011
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en Informatique |
|
Human-Centered Computing (LRI) |
HCC - LRI |
researchteam |
Université Paris-SaclayBat. 650/660 91405 Orsay Cedex |
|
2020-01-01 |
2020-12-31 |
|
|
1050018
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire de Recherche en Informatique |
|
Interacting with Large Data |
ILDA |
researchteam |
|
|
2020-01-01 |
2020-12-31 |
|
|
1050012
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en Informatique |
|
Modélisation hétérogène (LRI) |
MODHEL - LRI |
researchteam |
Université Paris-SaclayBat. 650 - Lovelace 91405 Orsay Cedex |
|
2020-01-01 |
2017-12-31 |
|
|
1050014
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en Informatique |
|
Réseaux et Optimisation Combinatoire Stochastique (LRI) |
ROCS - LRI |
researchteam |
LRI - Université Paris-Saclay; Bât. 660 Shannon ; 91405 Orsay Cedex |
|
2020-01-01 |
2020-12-31 |
|
|
1050007
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en Informatique |
|
Systèmes parallèles (LRI) |
ParSys - LRI |
researchteam |
Université Paris-SaclayBât. 650 Lovelace91405 Orsay Cedex |
|
2020-01-01 |
2020-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 |
|
|
1050009
Infos complémentaires |
parentName_s |
Laboratoire de Recherche en Informatique |
|
Vérification d'Algorithmes, Langages et Systèmes (LRI) |
VALS - LRI |
researchteam |
Université Paris-SaclayBat. 650 - Lovelace 91405 Orsay Cedex |
|
2020-01-01 |
2020-12-31 |
|