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
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
Titre
Local ensemble transform Kalman filter, a fast non-stationary control law for adaptive optics on ELTs: theoretical aspects and first simulation results
Auteurs
Morgan Gray; Cyril Petit; Sergey Rodionov; Marc Bocquet; Laurent Bertino; Marc Ferrari; Thierry Fusco
Détail
Optics Express, Optical Society of America, 2014, 22 (17), pp. 20894-20913
Accès au texte intégral et bibtex
Gray-al-OpticsExpress-2014.pdf BibTex
Titre
Strategic Posting Times over a Shared Publication Medium
Auteurs
Eitan Altman url; Nahum Shimkin url
Détail
International Conference on NETwork Games COntrol and oPtimization 2014 (NetGCoop'14), Oct 2014, Trento, Italy, Italy.
Accès au texte intégral et bibtex
nahum-netgcoop.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...