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: A Novel Phase Portrait for Neuronal Excitability
Auteurs: Guillaume Drion; Alessio Franci ; Vincent Seutin; Rodolphe Sepulchre
Détail: PLoS ONE, PLoS, 2012, 7 (8)
Accès au texte intégral et bibtex

Titre: Approximation Algorithms for Energy Minimization in Cloud Service Allocation under Reliability Constraints
Auteurs: Olivier Beaumont; Philippe Duchon; Paul Renaud-Goud
Détail: [Research Report], 2013, pp. 20. RR-8241
Accès au texte intégral et bibtex

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