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
Generic Programming and The CGAL Library
Auteurs
Efi Fogel; Monique Teillaud url
Détail
Jean-Daniel Boissonnat and Monique Teillaud. Effective Computational Geometry for Curves and Surfaces, Springer Verlag, pp. 313-320, 2006, Mathematics and Visualization, 978-3-540-33259-6
Accès au texte intégral et bibtex
hal.pdf BibTex
Titre
Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus
Auteurs
Dariusz Biernacki; Sergueï Lenglet
Détail
[Research Report], 2014. RR-8447
Accès au texte intégral et bibtex
RR-8447.pdf BibTex
Titre
pOM: Linking Pen Gestures to Computer-Aided Composition Processes
Auteurs
Jérémie Garcia; Philippe Leroux; Jean Bresson url
Détail
40th International Computer Music Conference (ICMC) joint with the 11th Sound & Music Computing conference (SMC), Sep 2014, Athenes, Greece.
Accès au texte intégral et bibtex
icmcsmc2014-opm_2.pdf BibTex
Titre
Optimizing spatial filter pairs for EEG classification based on phase synchronization
Auteurs
Nicoletta Caramia; Fabien Lotte url; Stefano Ramat
Détail
International Conference on Audio, Speech and Signal Processing (ICASSP'2014), May 2014, Florence, Italy.
Accès au texte intégral et bibtex
ICASSP2014.pdf BibTex
Titre
Towards Efficient Reasoning under Guarded-based Disjunctive Existential Rules
Auteurs
Pierre Bourhis; Morak Michael; Pieris Andreas
Détail
MFCS, Aug 2014, Budapest, Hungary.
Accès au texte intégral et bibtex
mfcs2014.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...