Skip to Main content Skip to Navigation


hal-01678845v1  Reports
Gilles DowekCatherine DuboisBrigitte PientkaFlorian Rabe. Universality of proofs
[Research Report] Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise; Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS); INRIA Saclay - Ile de France (INRIA); Jacobs University [Bremen]; École normale supérieure - Cachan; McGill University / Université McGill. 2017, pp.24
...
inria-00443839v2  Reports
Sid TouatiJulien WormsSébastien Briais. The Speedup Test
[Technical Report] 2010, pp.38
...
hal-01675573v2  Reports
Guangshuo Chen. Spatiotemporal Individual Mobile Data Traffic Prediction
[Technical Report] RT-0497, INRIA Saclay - Ile-de-France. 2018
...
hal-01393361v2  Reports
Guangshuo ChenSahar HoteitAline Carneiro VianaMarco FioreCarlos Sarraute. Spatio-Temporal Predictability of Cellular Data Traffic
[Research Report] RT-0483, INRIA Saclay - Ile-de-France. 2017, pp.17
...
hal-00841374v2  Reports
Marc GlisseSylvain LazardJulien MichelMarc Pouget. Silhouette of a random polytope
[Research Report] RR-8327, INRIA. 2013, pp.13
...
inria-00492231v1  Reports
Robin Genuer. Risk bounds for purely uniformly random forests
[Research Report] RR-7318, INRIA. 2010, pp.19
...
hal-00783716v1  Reports
Amir ZeldesFlorian ZipserArne Neumann. PAULA XML Documentation
[Research Report] 2013, pp.38
...
hal-01870560v1  Reports
Enhui HuangLiping PengLuciano Di PalmaAhmed AbdelkafiAnna Liu et al.  Optimization for Active Learning-based Interactive Database Exploration
[Technical Report] Ecole Polytechnique; University of Massachusetts Amherst. 2018
...
hal-01870148v1  Reports
Lutz Straßburger. On the Decision Problem for MELL
[Research Report] 9203, Inria Saclay Ile de France. 2018