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
Asymptotic expansions for linear homogeneous divide-and-conquer recurrences: Algebraic and analytic approaches collated
Auteurs
Philippe Dumas
Détail
Theoretical Computer Science, Elsevier, 2014, 548, pp. 25-53
Accès au texte intégral et bibtex
Dumas2014.pdf BibTex
Titre
Efficient Analysis Methodology for Huge Application Traces
Auteurs
Damien Dosimont url; Generoso Pagano; Guillaume Huard; Vania Marangozova-Martin; Jean-Marc Vincent
Détail
HPCS 2014 - The 2014 International Conference on High Performance Computing & Simulation, Jul 2014, Bologna, Italy.
Accès au texte intégral et bibtex
article.pdf BibTex
Titre
Geometric algebra for vector fields analysis and visualization: mathematical settings, overview and applications
Auteurs
Chantal Oberson Ausoni url; Pascal Frey url
Détail
Sep. 2014. 20 pages
Accès au texte intégral et bibtex
GA_syn_P.pdf BibTex
Titre
Interactive Join Query Inference with JIM
Auteurs
Angela Bonifati url; Radu Ciucanu url; Slawomir Staworko url
Détail
Very Large Database Endowment - Demo Paper: PVLDB, VLDB, 2014, 7 (13), pp. 1541-1544
Accès au texte intégral et bibtex
p1541-bonifati.pdf BibTex
Titre
Extensions des automates d'arbres pour la vérification de systèmes à états infinis
Auteurs
Valérie Murat
Détail
Université Rennes 1, Jun. 2014. French
Accès au texte intégral et bibtex
MURAT_Valerie.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...