Skip to Main content Skip to Navigation
  1. Search


...
hal-00755280v1  Reports
Steve Oudot, Donald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
[Research Report] RR-8141, INRIA. 2012, pp.48
...
hal-00753926v1  Reports
Erwan Abgrall, yves Le Traon, Martin Monperrus, Sylvain Gombault, Mario Heiderich et al.  XSS-FP: Browser Fingerprinting using HTML Parser Quirks
[Research Report] 12888, SnT. 2012
...
hal-00757867v1  Reports
Pierre Genevès, Nabil Layaïda, Christine Vanoirbeek. XQTC: A Static Type-Checker for XQuery Using Backward Type Inference
[Research Report] RR-8149, INRIA. 2012, pp.25
...
hal-00700570v2  Reports
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. Well-Typed Services Cannot Go Wrong
[Research Report] RR-7899, INRIA. 2012
...
hal-00766171v1  Reports
Claude Marché, Asma Tafat. Weakest Precondition Calculus, Revisited using Why3
[Research Report] RR-8185, INRIA. 2012, pp.32
...
hal-00668807v1  Reports
Caroline Chaux, Laure Blanc-Féraud. Wavelet-based hyperparameter estimation for solving inverse problems
[Research Report] INRIA; I3S. 2012
...
hal-00737651v1  Reports
Lucas Mello Schnorr, Arnaud Legrand. Visualizing More Performance Data Than What Fits on Your Screen
[Research Report] RR-8079, INRIA. 2012, pp.14
...
hal-00679529v1  Reports
Agostino Martinelli, Chiara Troiani. Vision-Aided Inertial Navigation Using Virtual Features
[Research Report] RR-7906, INRIA. 2012
...
hal-00668016v2  Reports
Marin Bougeret, Henri Casanova, yves Robert, Frédéric Vivien, Dounia Zaidouni. Using group replication for resilience on exascale systems
[Research Report] RR-7876, INRIA. 2012
...
hal-00749812v1  Reports
Michel Grediac, Frédéric Sur, Claudiu Badulescu, Jean-Denis Mathias. Using deconvolution to improve the metrological performance of the grid method
[Research Report] RR-8127, INRIA. 2012, pp.39
...
hal-00612491v2  Reports
Koray Kayabol, Josiane Zerubia. Unsupervised amplitude and texture based classification of SAR images with multinomial latent model
2012
...
hal-00760370v1  Reports
Bastien Maubert, Sophie Pinchinat. Uniform Strategies
[Research Report] RR-8144, INRIA. 2012
...
hal-00696154v2  Reports
George Bosilca, Aurélien Bouteiller, Elisabeth Brunet, Franck Cappello, Jack Dongarra et al.  Unified Model for Assessing Checkpointing Protocols at Extreme-Scale
[Research Report] RR-7950, INRIA. 2012
...
hal-00696083v2  Reports
Domokos Sarmany, Matthew Hubbard, Mario Ricchiuto. Unconditionally stable space-time discontinuous residual distribution for shallow-water flows
[Research Report] RR-7958, INRIA. 2012
...
hal-00660689v2  Reports
Alexey Ozerov, Mathieu Lagrange, Emmanuel Vincent. Uncertainty-based learning of Gaussian mixture models from noisy data
[Research Report] RR-7862, 2012
...
hal-00678306v1  Reports
Damien Garaud, Vivien Mallet. Uncertainty Estimation and Decomposition based on Monte Carlo and Multimodel Photochemical Simulations
[Research Report] RR-7903, 2012, pp.33
...
hal-00734295v2  Reports
Shubhabrata Roy, Thomas Begin, Patrick Loiseau, Paulo Gonçalves. Un modèle de trafic adapté à la volatilité de charge d'un service de vidéo à la demande: Identification, validation et application à la gestion dynamique de ressources.
[Research Report] RR-8072, INRIA. 2012
...
hal-01988443v1  Reports
Philippe Caillou, Emilie-Pauline Gallié, Valérie Mérindol, Thierry Weil. Typologie des pôles de compétitivité basée sur leurs caractéristiques « héritées »
[Rapport de recherche] DATAR. 2012
...
hal-00690044v1  Reports
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi. Two simulations about DPLL(T)
2012
...
hal-00753578v1  Reports
Laurent Pfeiffer, Romain Apparigliato, Sophie Auchapt. Two methods of pruning Benders' cuts and their application to the management of a gas portfolio
[Research Report] RR-8133, INRIA. 2012, pp.23
...
hal-00687310v2  Reports
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat. Tree Regular Model Checking for Lattice-Based Automata
[Technical Report] RT-0424, INRIA. 2012, pp.33
...
hal-00730926v5  Reports
van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic. Translation Validation for Transformations on Abstract Clocks in Synchronous Languages
[Research Report] RR-8064, INRIA. 2012
...
hal-00720005v1  Reports
yannick Verdie, Florent Lafarge. Towards the parallelization of Reversible Jump Markov Chain Monte Carlo algorithms for vision problems
[Research Report] RR-8016, INRIA. 2012
...
hal-01472052v1  Reports
Damián Serrano, Sara Bouchenak, yousri Kouki, Thomas Ledoux, Jonathan Lejeune et al.  Towards QoS-Oriented SLA Guarantees for Online Cloud Services
[Research Report] RR-LIG-034, LIG. 2012
...
lirmm-00657422v2  Reports
Madalina Croitoru, Sebastian Rudolph. Towards Multi-Agent Knowledge Allocation
RR-12003, 2012, pp.18
...
hal-00694276v2  Reports
Benoit Baudry, Martin Monperrus. Towards Ecology Inspired Software Engineering
[Research Report] RR-7952, INRIA. 2012
...
hal-00749804v1  Reports
Frédéric Sur, Michel Grediac. Towards deconvolution to enhance the grid method for in-plane strain measurement
[Research Report] RR-8126, INRIA. 2012, pp.37
...
hal-00762841v1  Reports
Remi Abgrall, Maria Giovanna Rodio, Pietro Marco Congedo. Towards an efficient algorithm for the simulation of viscous two-phase flows with real gas effects
[Research Report] RR-8173, INRIA. 2012
...
hal-00752862v1  Reports
Joaquín Keller, Raluca Diaconu, Mathieu Valero. Towards a Scalable Dynamic Spatial Database System
[Research Report] 2012, 20 p
...
hal-00690604v1  Reports
Armando Gonçalves da Silva Junior, Pierre Deransart, Luis-Carlos Menezes, Marcos-Aurélio Almeida da Silva, Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning
[Research Report] RR-7939, INRIA. 2012, pp.42
...
hal-00709466v1  Reports
Remi Abgrall, Pietro Marco Congedo, Gianluca Geraci. Toward a Unified Multiresolution Scheme in the Combined Physical/Stochastic Space for Stochastic Differential Equations
[Research Report] RR-7996, INRIA. 2012
...
hal-00913639v1  Reports
Juliette Chabassier. Toucher la corde sensible
[Rapport de recherche] GENCI. 2012
...
hal-00739380v1  Reports
Juliette Chabassier, Antoine Chaigne, Patrick Joly. Time domain simulation of a piano. Part 1 : model description.
[Research Report] RR-8097, INRIA. 2012
...
lirmm-00656780v1  Reports
Marin Bougeret, Pierre-Francois Dutot, Denis Trystram, Klaus Jansen, Christina Robenek. Tight Approximation for Scheduling Parallel Job on Identical Clusters
RR-12001, 2012
...
hal-00674057v2  Reports
Anne Benoit, Mathias Coqblin, Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo. Throughput optimization for pipeline workflow scheduling with setup times
[Research Report] RR-7886, INRIA. 2012, pp.29
...
hal-00659880v1  Reports
David Auber, Daniel Archambault, Romain Bourqui, Antoine Lambert, Morgan Mathiaut et al.  The Tulip 3 Framework: A Scalable Software Library for Information Visualization Applications Based on Relational Data
[Research Report] RR-7860, INRIA. 2012, pp.31
...
hal-00695839v1  Reports
Laurent Hascoët, Valérie Pascual. The Tapenade Automatic Differentiation tool: principles, model, and specification
[Research Report] RR-7957, INRIA. 2012, pp.53
...
hal-00673187v2  Reports
Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, Ljubomir Perkovic. The Stretch Factor of $L_1$- and $L_\infty$-Delaunay Triangulations
2012
...
hal-00724055v1  Reports
Kanchana Thilakarathna, Aline Carneiro Viana, Aruna Seneviratne, Henrik Petander. The Power of Hood Friendship for Opportunistic Content Dissemination in Mobile Social Networks
[Research Report] RR-8042, INRIA. 2012
...
hal-00758686v1  Reports
Olivier Devillers, Marc Glisse, Xavier Goaoc, Guillaume Moroz, Matthias Reitzner. The monotonicity of f-vectors of random polytopes
[Research Report] RR-8154, INRIA. 2012, pp.10
...
hal-00703441v1  Reports
Xavier Leroy, Andrew W. Appel, Sandrine Blazy, Gordon Stewart. The CompCert Memory Model, Version 2
[Research Report] RR-7987, INRIA. 2012, pp.26
...
hal-00670652v2  Reports
Juan Cadavid, Benoit Combemale, Benoit Baudry. Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices
[Research Report] RR-7882, INRIA. 2012
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/