HAL - INRIA :: Accueil

Zoom sur...

2 avril 2013 - Signature de la convention de partenariat autour de HAL

Photo credit: © M.E.S.R./XR Pictures

S’inscrivant dans un ensemble de décisions nationales et internationales, c’est un évènement important qui réunit les acteurs de la recherche française autour d'une déclaration clairement en faveur des archives ouvertes qui renforce la position du monde académique face aux éditeurs commerciaux.

Pascal Guitton - Directeur de la Recherche Inria

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: Separation Predicates: a Taste of Separation Logic in First-Order Logic
Auteurs: François Bobot; Jean-Christophe Filliâtre
Détail: 14th International Conference on Formal Ingineering Methods (ICFEM), Nov 2012, Kyoto, Japan. Springer, Formal Methods and Software Engineering, 7635, pp. 167-181, Lecture Notes in Computer Science
Accès au texte intégral et bibtex

Titre: TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
Auteurs: Jasmin Blanchette; Andrei Paskevich
Détail: CADE - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, NY, United States.
Accès au texte intégral et bibtex

Titre: Product Quantization for Nearest Neighbor Search
Auteurs: Hervé Jégou; Matthijs Douze; Cordelia Schmid
Détail: IEEE Transactions on Pattern Analysis and Machine Intelligence, IEEE, 2011, 33 (1), pp. 117-128
Accès au texte intégral et bibtex

Titre: The Rooster and the Butterflies
Auteurs: Assia Mahboubi
Détail: Jacques Carette et al.. CICM 2013 - Conferences on Intelligent Computer Mathematics - 2013, Jul 2013, Bath, United Kingdom. Springer, 7961, pp. 1-18, Lecture Notes in Artificial Intelligence
Accès au texte intégral et bibtex

Titre: Distributed cost-optimal planning
Auteurs: Loïg Jezequel
Détail: École normale supérieure de Cachan - ENS Cachan, Nov. 2012. English
Accès au texte intégral et bibtex