sign in
english version rss feed


Focus on...

Visibility of open archives : HAL-Inria is increasing

The world Webometrics ranks Hal-Inria open archive as 5th for all categories and as 1st for institutional repositories(See rankings)

Consult the latest documents deposited

Full texts of the latest publications by Inria teams in the field of computer science and mathematics.

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
  Sign in
Login
Password
registerrecover password
  Contact

  News
Create your own webpage using HAL (2013-04-16)
Add a thumbnail, video or appendix (2012-05-23)
XML export (2012-03-13)
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...