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
On the information carried by programs about the objects they compute
Auteurs
Mathieu Hoyrup url; Cristobal Rojas url
Détail
Sep. 2014
Accès au texte intégral et bibtex
withproofs.pdf BibTex
Titre
Intelligent vehicles: integration and issues
Auteurs
Zayed Alsayed; Guillaume Bresson; Pierre Merdrignac; Philippe Morignot; Fawzi Nashashibi; Evangeline Pollard; Guillaume Trehard
Détail
RFIA, Jun 2014, Rouen, France.
Accès au texte intégral et bibtex
Rfia_2014_.pdf BibTex
Titre
Simple Lyapunov Sampling for Event-Driven Control
Auteurs
Sylvain Durand; Nicolas Marchand url; Jose Fermi Guerrero Castellanos
Détail
18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy. Preprints of the 18th IFAC World Congress, 7 p.
Accès au texte intégral et bibtex
article_IFAC2011a.pdf BibTex
Titre
Formal verification of a synchronous data-flow compiler : from Signal to C
Auteurs
Van Chan Ngô
Détail
Université Rennes 1, Jul. 2014. English
Accès au texte intégral et bibtex
NGO_Van_Chan.pdf BibTex
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
  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...