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: Families of fast elliptic curves from Q-curves
Auteurs: Benjamin Smith
Détail: May. 2013
Accès au texte intégral et bibtex

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: A Primal Condition for Approachability with Partial Monitoring
Auteurs: Shie Mannor; Vianney Perchet; Gilles Stoltz
Détail: May. 2013
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