- 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
-






Contact
Liens
Actualités