s'authentifier
version française rss feed


Zoom sur...

Visibilité des archives ouvertes : HAL-Inria toujours en progression

Le classement mondial des archives ouvertes positionne HAL-Inria au 5ème rang dans le classement général et au 1er rang pour les archives institutionnelles.(Voir les classements)

Consultez les derniers dépôts

Dernières publications avec texte intégral des équipes Inria du domaine des sciences informatiques et mathématiques.

Titre
Assessing general-purpose algorithms to cope with fail-stop and silent errors
Auteurs
Anne Benoit; Aurélien Cavelan; Yves Robert; Hongyang Sun
Détail
[Research Report], 2014. RR 8599
Accès au texte intégral et bibtex
RR-8599.pdf BibTex
Titre
Level-of-Detail Quad Meshing
Auteurs
Hans-Christian Ebke; Marcel Campen; David Bommes; Leif Kobbelt
Détail
ACM Transactions on Graphics, ACM, 2014, 33 (6)
Accès au texte intégral et bibtex
ecbk2014_print.pdf BibTex
Titre
Crowdsourcing for Speech: Economic, Legal and Ethical analysis
Auteurs
Gilles Adda; Joseph Mariani; Laurent Besacier; Hadrien Gelas
Détail
[Report], 2014. RRLIG-036
Accès au texte intégral et bibtex
Ethics-6.pdf BibTex
Titre
Automatically verified implementation of data structures based on AVL trees
Auteurs
Martin Clochard
Détail
Dimitra Giannakopoulou and Daniel Kroening. 6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2014, Vienna, Austria. Springer, 8471, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
main.pdf BibTex
Titre
Formalizing Semantics with an Automatic Program Verifier
Auteurs
Martin Clochard; Jean-Christophe Filliâtre; Claude Marché url; Andrei Paskevich
Détail
Dimitra Giannakopoulou and Daniel Kroening. 6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2014, Vienna, Austria. Springer, 8471, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
main.pdf BibTex
  S'authentifier
Identifiant
Mot de passe
s'inscrireretrouver son mot de passe
  Contact

  Actualités
Créez votre page web à partir de HAL (16/04/2013)
Ajout de vignette, vidéo ou annexe (23/05/2012)
Export XML (13/03/2012)
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...