Skip to Main content Skip to Navigation


...
hal-00840163v1  Reports
G. AlphonseD. ArdailE. ArmandyM. BajardJ. Balosso et al.  2012 Activity Report of the Regional Research Programme on Hadrontherapy for the ETOILE Center
[Research Report] Centre Etoile; Université Lyon 1 - Claude Bernard. 2013
...
hal-01698928v1  Reports
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
[Research Report] RR-9149, Inria Nancy - Grand Est. 2018, pp.1-22
...
hal-01900574v1  Reports
Josselin GautierNicolas ChleqPierre Kornprobst. A Binocular LVA Device based on Mixed Reality to Enhance Face Recognition
[Research Report] RR-9216, Université Côte d’Azur, Inria, France. 2018, pp.1-19
...
hal-01816513v1  Reports
Hussam Al DaasLaura Grigori. A class of efficient locally constructed preconditioners based on coarse spaces
[Research Report] RR-9184, Inria – Centre Paris-Rocquencourt; Laboratoire Jacques-Louis Lions, UPMC, Paris. 2018
...
inria-00543950v2  Reports
Denis Roegel. A construction of Edward Sang's projected table of nine-place logarithms to one million (1872)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2010
...
hal-01469180v2  Reports
Manon DevilleRoberto NataliniClair Poignard. A continuum mechanics model of enzyme-based tissue degradation in cancer therapies
[Research Report] RR-9030, Inria Bordeaux Sud-Ouest; IMB - Institut de Mathématiques de Bordeaux; Université de Bordeaux; IAC - Istituto per le Applicazioni del Calcolo "M. Picone", Consiglio Nazionale delle Ricerche. 2017
...
hal-01897570v3  Reports
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisXavier Lorca et al.  A Framework for Edge Infrastructures Monitoring
[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
...
hal-01577431v1  Reports
Šejla ČebirićFrançois GoasdouéIoana Manolescu. A Framework for Efficient Representative Summarization of RDF Graphs
[Research Report] RR-9090, Inria Saclay Ile de France; Ecole Polytechnique,; Université de Rennes 1 [UR1]. 2017, pp.11
...
hal-01617423v1  Reports
Cyril Soler. A Generic Data Exchange System for Friend-to-Friend Networks
[Research Report] RR-9107, INRIA Grenoble - Rhone-Alpes. 2017, pp.1-25
...
hal-01538002v6  Reports
Brice GoglinEmmanuel JeannotFarouk MansouriGuillaume Mercier. A Hierarchical Model to Manage Hardware Topology in MPI Applications
[Research Report] RR-9077, Inria Bordeaux Sud-Ouest; Bordeaux INP; LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2018, pp.32
...
hal-01476889v3  Reports
Thomas BonaldCéline ComteFabien Mathieu. À la racine du parallélisme
[Rapport de recherche] Telecom ParisTech. 2017
...
hal-01774803v2  Reports
Vincent ChevalVéronique CortierMathieu Turuani. A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif
[Research Report] Inria Nancy - Grand Est; LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2018
...
inria-00073825v1  Reports
Xavier Leroy. A Modular Module System
[Research Report] RR-2866, INRIA. 1996
...
hal-02102028v1  Reports
Judicael Courant. A module calculus enjoying the subject-reduction property. (Preliminary Version)
[Research Report] LIP RR-1996-30, Laboratoire de l'informatique du parallélisme. 1996, 2+14p
...
hal-02101842v1  Reports
Judicael Courant. A module calculus for Pure Type Systems. (Preliminary Version)
[Research Report] LIP RR-1996-31, Laboratoire de l'informatique du parallélisme. 1996, 2+18p
...
hal-02102089v1  Reports
Pierre Fraigniaud. A note on the XRAM and PRAM models.
[Research Report] LIP RR-1996-03, Laboratoire de l'informatique du parallélisme. 1996, 2+12p
hal-00932161v1  Reports
Pascale CharpinGohar Kyureghyan. A note on verifying the APN property
[Research Report] 2013/475, IACR Cryptology ePrint Archive. 2013