hal-01018429v1  Reports
Zhaowu Zhan, Guillaume Villemaud, Florin Hutu, Jean-Marie Gorce. Full-Duplex Dual-Band Radio Dedicated to Flexible Radio Communications
[Research Report] RR-8558, INRIA. 2014

hal-01068807v1  Reports
Mohamed-Haykel Zayani, Nadjib Aitsaadi, Paul Mühlethaler. A New Opportunistic Routing Scheme in Low Duty-Cycle WSNs for Monitoring Infrequent Events
2014

hal-01093776v1  Reports
Inken Wohlers, Mathilde Le Boudic-Jamin, Hristo Djidjev, Gunnar W. Klau, Rumen 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-00941622v2  Reports
Klaus Wehmuth, Artur Ziviani, Eric Fleury. A Unifying Model for Representing Time-Varying Graphs
[Research Report] RR-8466, INRIA. 2014, pp.38

hal-01087400v1  Reports
Bin Wang, Bernard Brogliato, Vincent Acary, Ahcene Boubakir, Franck Plestan. Comparisons between implicit and explicit discrete-time implementations of equivalent-control-based sliding mode controllers: input and output chattering suppression via the implicit method
[Research Report] Inria Grenoble Rhône-Alpes. 2014

hal-02475775v1  Reports
Eric Violard, Philippe Clauss, Imen Fassi. Xfor: Semantics and Performance
[Research Report] Team ICPS (ICube Laboratory). 2014

hal-00950782v1  Reports
François Vilar, P.H. Maire, Remi Abgrall. A discontinuous Galerkin discretization for solving the two-dimensional gas dynamics equations written under total Lagrangian formulation on general unstructured grids
[Research Report] RR-8483, INRIA. 2014

hal-00998235v2  Reports
Jeaniffer Vides, Boniface Nkonga, Edouard Audit. A Simple Two-Dimensional Extension of the HLL Riemann Solver for Gas Dynamics
[Research Report] RR-8540, INRIA. 2014

hal-01095315v1  Reports
Tamara Tosic, Axel Hutt. Technical report: Multivariate signal analysis by recurrence plots
[Research Report] INRIA Nancy, Neurosys. 2014

hal-00960735v1  Reports
Mohamed Tlig, Olivier Buffet, Olivier Simonin. Decentralized Traffic Management: A Synchronization-Based Intersection Control --- Extended Version
[Research Report] RR-8500, INRIA. 2014, pp.17

hal-00963590v1  Reports
André Tavares, Benoit Boissinot, Fernando Pereira, Fabrice Rastello. Parameterized Construction of Program Representations for Sparse Dataflow Analyses
[Research Report] RR-8491, Inria. 2014, pp.27

hal-01083080v1  Reports
Adrian Tate, Amir Kamil, Anshu Dubey, Armin Grösslinger, Brad 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-00790618v3  Reports
Aneel Tanwani, Bernard Brogliato, Christophe Prieur. Stability and Observer Design for a Class of Nonsmooth Dynamical Systems with Nonconvex State Constraints
[Research Report] Gipsa-Lab and INRIA. 2014

hal-00987189v1  Reports
Kunkun Tang, Pietro Marco Congedo, Rémi Abgrall. Sensitivity analysis using anchored ANOVA expansion and high order moments computation
[Research Report] RR-8531, 2014

hal-00990525v1  Reports
Manel Tagorti, Bruno Scherrer. Rate of Convergence and Error Bounds for LSTD($\lambda$)
[Research Report] 2014

hal-00966862v1  Reports
Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-François Méhaut. Modeling and Simulation of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures
[Research Report] RR-8509, INRIA. 2014

hal-01096313v1  Reports
Fuqi Song, Olivier Corby. Heuristics-based SPARQL Query Planning
[Research Report] RR-8655, Inria Sophia Antipolis; I3S; INRIA. 2014, pp.17

hal-01078117v1  Reports
Fabio Solari, Manuela Chessa, Kartheek Medathati, Pierre 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-01102013v1  Reports
Ben Smyth, Alfredo Pironti. Truncating TLS Connections to Violate Beliefs in Web Applications
[Research Report] INRIA Paris. 2014

hal-00988374v1  Reports
Véronique Simon, Sébastien Monnet, Matthieu Feuillet, Philippe Robert, Pierre Sens. SPLAD: scattering and placing data replicas to enhance long-term durability
[Research Report] RR-8533, inria. 2014, pp.23

hal-01063815v1  Reports
Rahima Sidi Boulenouar, Mitsuhiro Hayashibe, Anirban Dutta. EEG-EMG features extraction for brain computer interface
[Research Report] Université de Montpellier 2. 2014

hal-01180929v1  Reports
Mari Sepponen, Matti Hannus, Kalevi Piira, Andrea Cavallaro, Raúl García Castro et al.  Draft of innovation and research roadmap
[Contract] Ready4SmartCities. 2014, pp.47

hal-01088094v1  Reports
Hocine Sellama, Guido Huijsmans, Pierre Ramet. Adaptive mesh refinement for numerical simulation of MHD instabilities in tokamaks: JOREK code
[Research Report] RR-8635, INRIA Bordeaux; INRIA. 2014, pp.18

hal-01577124v1  Reports
Dominique Schneider, Guillaume Beslon, Santiago F. Elena, Otmane Lamrabet. EvoEvo Deliverable 1.1
[Research Report] INRIA Grenoble - Rhone-Alpes. 2014

hal-01078398v1  Reports
Thorsten Schindler, Shahed Rezaei, Jochen Kursawe, Vincent Acary. Half-explicit timestepping schemes on velocity level based on time-discontinuous Galerkin methods
[Research Report] RR-8623, INRIA Grenoble; INRIA. 2014, pp.44

hal-00989991v1  Reports
Bruno Scherrer. Une étude comparative de quelques schémas d'approximation de type iterations sur les politiques
[Rapport de recherche] 2014

hal-01093910v1  Reports
Gabriel Scherer, Didier Rémy. Full reduction in the face of absurdity
[Research Report] INRIA. 2014

hal-01062709v1  Reports
Julio Cesar Santos dos Anjos, Gilles Fedak, Claudio Geyer. BIGhybrid - A Toolkit for Simulating MapReduce on Hybrid Infrastructures
2014

hal-01020777v2  Reports
Gwen Salaün, Lina ye. Stability of Asynchronously Communicating Systems
[Research Report] RR-8561, INRIA. 2014

hal-00996601v1  Reports
Pablo Salas, Luc Giraud, yousef Saad, Stéphane Moreau. Spectral recycling strategies for the solution of nonlinear eigenproblems in thermoacoustics
[Research Report] RR-8542, INRIA. 2014, pp.23

hal-01070577v1  Reports
Fazeli S. A. Shahzadeh, Nahid Emad, Zifan Liu. A KEY TO CHOOSE SUBSPACE SIZE IN IMPLICITLY RESTARTED ARNOLDI METHOD
2014

lirmm-01097137v1  Reports
Sebastian Rudolph, Michael Thomazo, Jean-François Baget, Marie-Laure Mugnier. Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses
[Research Report] LIRMM. 2014

hal-00941465v1  Reports
Denis Roegel. The "Villarceau circles" in Uhlberger's staircase (ca. 1580)
[Research Report] 2014

hal-01009458v1  Reports
Denis Roegel. Easter-based walks on a sphere
[Research Report] 2014

hal-00978237v1  Reports
Denis Roegel. The strange beauty of the twilight flower
[Research Report] 2014

hal-01009457v1  Reports
Denis Roegel. Easter bracelets for 5700000 years
[Research Report] 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-01065072v1  Reports
Justine Rochas, Ludovic Henrio. A ProActive Backend for ABS: from Modelling to Deployment
[Research Report] RR-8596, INRIA. 2014

hal-00985390v1  Reports
Mario Ricchiuto, Pietro Marco Congedo, Argiris I. Delis. Runup and uncertainty quantification: sensitivity analysis via ANOVA decomposition
[Research Report] RR-8530, INRIA. 2014

hal-02320902v1  Reports
Patrick Reuter, Xavier Granier, Holger Graf, Massimiliano Corsini, Alfonsina Pagano et al.  Virtual Museums evaluation on portability, tangible visualisation and interaction techniques: Methodological guidelines with respect to portability, usability and integration
[Research Report] D5.4, V-Must.net. 2014, pp.33

hal-00957673v1  Reports
Adrien Rémy, Marc Baboulin, Masha Sosonkina, Brigitte Rozoy. Locality optimization on a NUMA architecture for hybrid LU factorization
[Research Report] RR-8497, INRIA. 2014

hal-00947657v2  Reports
Michel Raynal, Julien Stainer, Gadi Taubenfeld. Distributed Universality: Contention-Awareness, Wait-freedom, Object Progress, and Other Properties
[Research Report] PI-2014, 2014

hal-00998915v1  Reports
Fabrice Rastello, Sadayappan Ponnuswany, Duco van Amstel. A Tiling Perspective for Register Optimization
[Research Report] RR-8541, Inria. 2014, pp.24

hal-01256654v1  Reports
Clément Quinton, Daniel Romero, Laurence Duchien, Lionel Seinturier. Rapport de prospective sur l'interopérabilité dans le monde du Cloud et du SaaS
[Rapport de recherche] Inria. 2014

hal-00946922v2  Reports
Clément Quinton, Daniel Romero, Laurence Duchien. Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study
[Research Report] RR-8478, INRIA. 2014, pp.25

hal-01021911v1  Reports
Raheel Qader, Gwénolé Lecorvé, Damien Lolive, Pascale Sébillot. Phonology Modelling for Expressive Speech Synthesis: a Review
[Research Report] PI-2020, IRISA, équipe EXPRESSION. 2014, 18 p., 1 column

hal-01069604v1  Reports
Emmanuel Prados, Patrick Criqui, Constantin Ilasca. Mathematical formulation of REDEM algorithm for National soft landing CO2 trajectories under global carbon budgets
[Research Report] RR-8601, INRIA. 2014, pp.18

hal-00945881v1  Reports
Laurent Pouilloux, Jonathan Rouzaud-Cornabas. Performance analysis and models for collocated VMs running on multi-core physical machines
[Research Report] RR-8473, INRIA. 2014, pp.30

hal-01019953v1  Reports
Geoffrey Portelli, John Barrett, Evelyne Sernagor, Timothée Masquelier, Pierre Kornprobst. The wave of first spikes provides robust spatial cues for retinal information processing
[Research Report] RR-8559, INRIA. 2014

hal-00996908v3  Reports
Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse. Extended results of Tornado: A Run-Fail-Grow approach for Dynamic Application Tayloring
[Research Report] Inria. 2014

hal-01096630v1  Reports
Federico Pierucci, Zaid Harchaoui, Jérôme Malick. A smoothing approach for composite conditional gradient with nonsmooth loss
[Research Report] RR-8662, INRIA Grenoble. 2014

hal-01010572v1  Reports
Quang Tran Anh Pham, Kandaraj Piamrat, César Viho. Resource Management in Wireless Access Networks: A layer-based classification - Version 1.0
[Research Report] PI-2017, 2014, pp.23

hal-00992159v1  Reports
Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C
2014

hal-01010891v2  Reports
Hauke Petersen, Emmanuel Baccelli, Matthias Wählisch, T.C. Schmidt, Jochen Schiller. The Role of IoT in Network Resilience
[Research Report] RR-8552, INRIA. 2014

hal-01011751v1  Reports
Gabin Personeni, Alice Hermann, Jean Lieber. Adapting propositional cases based on tableaux repairs using adaptation knowledge -- extended report
[Research Report] Loria & Inria Grand Est. 2014

hal-00840254v2  Reports
Guy Perrier. FRIGRAM: a French Interaction Grammar
[Research Report] RR-8323, INRIA Nancy; INRIA. 2014, pp.257

hal-01010950v4  Reports
François Pellegrini. Chaînes de confiance et périmètres de certification : le cas des systèmes de "vote électronique
[Rapport de recherche] RR-8553, INRIA. 2014, pp.30

hal-01109289v1  Reports
George Papandreou, Iasonas Kokkinos, Pierre-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-00977887v1  Reports
Generoso Pagano, Vania Marangozova-Martin. FrameSoC Workbench: Facilitating Trace Analysis through a Consistent User Interface
[Technical Report] RT-0447, Inria. 2014, pp.26

hal-01088157v1  Reports
Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün. Flooding-Based Algorithm for Behavioural Compatibility Measuring
[Research Report] Inria Rennes. 2014

hal-01089581v1  Reports
M Omidvar, S Carré, M Ribardière, Daniel Meneveaux, K Bouatouch. Radiance cache optimization for global illumination
[Research Report] IRISA Rennes Bretagne Atlantique, équipe FRVSense. 2014

hal-00962430v2  Reports
van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic. Evaluating SDVG translation validation: from Signal to C
[Research Report] RR-8508, INRIA. 2014, pp.43

hal-01089742v3  Reports
van Chan Ngo, Axel Legay, Jean Quilbeuf. Dynamic Verification of SystemC with Statistical Model Checking
[Research Report] RR-8644, INRIA Rennes - Bretagne Atlantique, équipe ESTASYS; INRIA. 2014, pp.25

hal-00927080v1  Reports
Hassan Nasser, Bruno Cessac. Parameters estimation for spatio-temporal maximum entropy distributions: application to neural spike trains.
[Research Report] 2014

hal-00959840v2  Reports
Diala Naboulsi, Marco Fiore, Carla-Fabianna Chiasserini. Assessment of Practical Energy Savings in Cellular Networks
[Research Report] 2014

hal-00747575v5  Reports
Rémi Munos. From Bandits to Monte-Carlo Tree Search: The Optimistic Principle Applied to Optimization and Planning
2014

hal-01073129v5  Reports
Eduardo Mucelli Rezende Oliveira, Aline Carneiro Viana, Kolar Purushothama Naveen, Carlos Sarraute. Mobile Data Traffic Modeling: Revealing Temporal Facets
[Research Report] RR-8613, INRIA. 2014, pp.31

hal-00996779v1  Reports
Joanna Moulierac, Truong Khoa Phan. Optimizing IGP Link Weights for Energy-efficiency in a Changing World
[Research Report] RR-8534, INRIA. 2014, pp.21

hal-01346091v1  Reports
Christine Morin, Roberto Cascella. Contrail final publishable summary report
[Contract] Inria Rennes Bretagne Atlantique. 2014, pp.36

hal-01093908v1  Reports
Martin Monperrus, Maxence Germain de Montauzan, Benoit Cornu, Raphael Marvie, Romain Rouvoy. Challenging Analytical Knowledge On Exception-Handling: An Empirical Study of 32 Java Software Packages
[Technical Report] hal-01093908, Laboratoire d'Informatique Fondamentale de Lille. 2014

hal-00987395v1  Reports
Martin Monperrus, Anthony Maia. Debugging with the Crowd: a Debug Recommendation System based on Stackoverflow
[Research Report] hal-00987395, Université Lille 1 - Sciences et Technologies. 2014

hal-00947178v1  Reports
Afshin Moin. A Unified Approach To Collaborative Data Visualization
[Research Report] 2014, pp.7

hal-00947194v2  Reports
Afshin Moin, Claudia-Lavinia Ignat. Hybrid Weighting Schemes For Collaborative Filtering
[Research Report] INRIA Nancy. 2014

hal-01107638v1  Reports
Tangi Migot, Jocelyne Erhel. Analyse mathématique de modèles géochimiques
[Rapport de recherche] INRIA Rennes, équipe SAGE. 2014

hal-00903568v2  Reports
Franck Michel, Johan Montagnat, Catherine Faron Zucker. A survey of RDB to RDF translation approaches and tools
[Research Report] I3S. 2014

hal-01025785v1  Reports
Jan Michalczyk, Maurice Brémond, Vincent Acary, Roger Pissard-Gibollet. Exomars Rover Mechanical Modeling with Siconos
[Technical Report] RT-0448, INRIA. 2014, pp.41

hal-00971787v1  Reports
Dominique Méry, Neeraj Kumar Singh. Modelling an Aircraft Landing System in Event-B (Full Report)
[Research Report] 2014

hal-01095501v1  Reports
Diego Mendez, Benoit Baudry, Martin Monperrus. Analysis and Exploitation of Natural Software Diversity: The Case of API Usages
[Research Report] hal-01095501, Inria. 2014

hal-00940569v4  Reports
Alexandre Maurer, Sébastien Tixeuil, Xavier Défago. Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults
[Research Report] _. 2014

hal-00954174v1  Reports
Antonia Masucci, Cédric Adjih. Efficiency of Broadcast with Network Coding in Wireless Networks
[Research Report] RR-8490, Inria. 2014

hal-01022628v1  Reports
Jérémie Mary, Romaric Gaudel, Philippe Preux. Bandits Warm-up Cold Recommender Systems
[Research Report] RR-8563, INRIA Lille; INRIA. 2014, pp.18

hal-01075938v1  Reports
Matias Martinez, Laurence Duchien, Martin Monperrus. Accurate Extraction of Bug Fix Pattern Occurrences using Abstract Syntax Tree Analysis
[Technical Report] hal-01075938, Inria. 2014

hal-01071314v5  Reports
Agostino Martinelli. Nonlinear Unknown Input Observability: Extension of the Observability Rank Condition and the Case of a Single Unknown Input
[Research Report] RR-8608, INRIA Grenoble. 2014

hal-00941408v1  Reports
Agostino Martinelli. Complete analytic solution to Brownian unicycle dynamics
[Research Report] RR-8465, INRIA. 2014

hal-01073315v1  Reports
Alexis Martin, Vania Marangozova-Martin. Analyse de traces d'exécutions pour les systèmes embarqués : détection d'anomalies par corrélation temporelle
[Rapport Technique] RT-0450, Inria. 2014, pp.20

hal-00980877v1  Reports
Euripides Markou, Nicolas Nisse, Stéphane Pérennes. Exclusive Graph Searching vs. Pathwidth
[Research Report] RR-8523, INRIA. 2014

hal-01005601v2  Reports
Clément Maria, Jean-Daniel Boissonnat, Marc Glisse, Mariette yvinec. The Gudhi Library: Simplicial Complexes and Persistent Homology
[Research Report] RR-8548, INRIA. 2014

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

hal-01059704v1  Reports
Loris Marchal, Frédéric Vivien, Bertrand Simon. Scheduling malleable task trees
[Research Report] RR-8587, INRIA. 2014

hal-01010349v1  Reports
Louis Mandel, Cédric Pasteur. Reactivity of Cooperative Systems: Application to ReactiveML -- extended version
[Research Report] RR-8549, INRIA. 2014, pp.29

hal-01084166v1  Reports
Emmanuel Maggiori, yuliya Tarabalka, Guillaume Charpiat. Multi-label segmentation of images with partition trees
[Research Report] Inria Sophia Antipolis. 2014

hal-01097185v1  Reports
Francky Luddens, Michel Bergmann, Lisl Weynans. Enablers for high order level set methods in fluid mechanics
[Research Report] RR-8656, INRIA Bordeaux; INRIA. 2014