Skip to Main content Skip to Navigation

hal-01093776v1  Reports
Inken WohlersMathilde Le Boudic-JaminHristo DjidjevGunnar W. KlauRumen Andonov. Exact Protein Structure Classification Using the Maximum Contact Map Overlap Metric
[Research Report] INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France; Genome Informatics, University of Duisburg-Essen, Germany; Life Sciences, CWI, Science Park 123, 1098 XG Amsterdam, The Netherlands; Los Alamos National Laboratory, Los Alamos, NM, USA. 2014, pp.262 - 273
hal-02475775v1  Reports
Eric ViolardPhilippe ClaussImen Fassi. Xfor: Semantics and Performance
[Research Report] Team ICPS (ICube Laboratory). 2014
hal-01083080v1  Reports
Adrian TateAmir KamilAnshu DubeyArmin GrösslingerBrad Chamberlain et al.  Programming Abstractions for Data Locality
[Research Report] PADAL Workshop 2014, April 28--29, Swiss National Supercomputing Center (CSCS), Lugano, Switzerland. 2014, pp.54
hal-01096313v1  Reports
Fuqi SongOlivier Corby. Heuristics-based SPARQL Query Planning
[Research Report] RR-8655, Inria Sophia Antipolis; I3S; INRIA. 2014, pp.17
hal-01078117v1  Reports
Fabio SolariManuela ChessaKartheek MedathatiPierre Kornprobst. What can we expect from a classical V1-MT feedforward architecture for optical flow estimation?
[Research Report] RR-8618, INRIA Sophia Antipolis; University of Genoa - DIBRIS, Italy; INRIA. 2014, pp.22
hal-01102306v1  Reports
Ben SmythDavid Bernhard. Ballot secrecy with malicious bulletin boards
[Research Report] 2014/822, Cryptology ePrint Archive. 2014, pp.7
hal-01577124v1  Reports
Dominique SchneiderGuillaume BeslonSantiago F. ElenaOtmane Lamrabet. EvoEvo Deliverable 1.1
[Research Report] INRIA Grenoble - Rhone-Alpes. 2014
hal-01020777v2  Reports
Gwen SalaünLina ye. Stability of Asynchronously Communicating Systems
[Research Report] RR-8561, INRIA. 2014
hal-01098344v1  Reports
Denis Roegel. A reconstruction of Arnaudeau’s table of triangular numbers (ca. 1896)
[Research Report] LORIA - Université de Lorraine. 2014
hal-01021911v1  Reports
Raheel QaderGwénolé LecorvéDamien LolivePascale Sébillot. Phonology Modelling for Expressive Speech Synthesis: a Review
[Research Report] PI-2020, IRISA, équipe EXPRESSION. 2014, 18 p., 1 column
hal-00840254v2  Reports
Guy Perrier. FRIGRAM: a French Interaction Grammar
[Research Report] RR-8323, INRIA Nancy; INRIA. 2014, pp.257
hal-01109289v1  Reports
George PapandreouIasonas KokkinosPierre-André Savalle. Untangling Local and Global Deformations in Deep Convolutional Networks for Image Classification and Sliding Window Detection
[Research Report] Toyota Technological Institute at Chicago; Ecole Centrale Paris; Inria Saclay Ile de France. 2014
hal-01089581v1  Reports
M OmidvarS CarréM RibardièreDaniel MeneveauxK Bouatouch. Radiance cache optimization for global illumination
[Research Report] IRISA Rennes Bretagne Atlantique, équipe FRVSense. 2014
hal-01089742v3  Reports
van Chan NgoAxel LegayJean Quilbeuf. Dynamic Verification of SystemC with Statistical Model Checking
[Research Report] RR-8644, INRIA Rennes - Bretagne Atlantique, équipe ESTASYS; INRIA. 2014, pp.25
hal-01346091v1  Reports
Christine MorinRoberto Cascella. Contrail final publishable summary report
[Contract] Inria Rennes Bretagne Atlantique. 2014, pp.36
hal-00987395v1  Reports
Martin MonperrusAnthony Maia. Debugging with the Crowd: a Debug Recommendation System based on Stackoverflow
[Research Report] hal-00987395, Université Lille 1 - Sciences et Technologies. 2014
hal-01107638v1  Reports
Tangi MigotJocelyne Erhel. Analyse mathématique de modèles géochimiques
[Rapport de recherche] INRIA Rennes, équipe SAGE. 2014
hal-01022628v1  Reports
Jérémie MaryRomaric GaudelPhilippe Preux. Bandits Warm-up Cold Recommender Systems
[Research Report] RR-8563, INRIA Lille; INRIA. 2014, pp.18
hal-03260617v1  Reports
Érik Martin-DorelGuillaume Melquiond. Proving Tight Bounds on Univariate Expressions in Coq
[Research Report] IRIT-RR-2014-09-FR, IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-32
hal-00951102v1  Reports
Jean-François Mari. CarottAge Windows pour les données Teruti : manuel d'utilisation
[Technical Report] Loria & Inria Grand Est. 2014, pp.43