Skip to Main content Skip to Navigation


...
inria-00180386v2  Reports
François Grimbert. A brief overview of intracortical circuits
[Research Report] RR-6325, INRIA. 2007
...
hal-02102507v1  Reports
Sylvain ChevillardChristoph Quirin Lauter. A certified infinite norm for the implementation of elementary functions
[Research Report] Laboratoire de l'informatique du parallélisme. 2007, 2+11p
...
inria-00129642v2  Reports
Véronique CortierStéphanie DelauneGraham Steel. A Formal Theory of Key Conjuring
[Research Report] RR-6134, INRIA. 2007, pp.38
...
inria-00123945v2  Reports
Xavier Leroy. A locally nameless solution to the POPLmark challenge
[Research Report] RR-6098, INRIA. 2007, pp.54
...
inria-00136862v3  Reports
Thomas Heide Clausen. A MANET Architectural Model
[Research Report] RR-6145, INRIA. 2007
...
inria-00155663v2  Reports
Yvan RoyonStéphane Frénot. A Survey of Unix Init Schemes
[Technical Report] RT-0338, INRIA. 2007
...
halshs-01068297v1  Reports
Samuel GaliceVeronique LegrandFrédéric Le MouëlMarine MinierStéphane Ubéda et al.  ACI sécurité informatique KAA (Key Authentification Ambient)
[Rapport de recherche] Centre national de la recherche scientifique (CNRS); INRIA; Ministère délégué à la Recherche et aux Nouvelles Technologies. 2007, 26 p
...
hal-02102002v1  Reports
Stéphane Le Roux. Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence.
[Research Report] LIP RR-2007-14, Laboratoire de l'informatique du parallélisme. 2007, 2+22p
...
hal-02102600v1  Reports
Stéphane Le Roux. Acyclicity of preferences, Nash equilibria, and subgame perfect equilibria : a formal and constructive equivalence
[Research Report] LIP RR-2007-18, Laboratoire de l'informatique du parallélisme. 2007, 2+37p
...
inria-00123643v2  Reports
Anne BouillardEric Thierry. An Algorithmic Toolbox for Network Calculus
[Research Report] RR-6094, INRIA. 2007, pp.44
...
hal-02102042v1  Reports
Jean-Luc BeuchatNicolas BrisebarreJérémie DetreyEiji Okamoto. Arithmetic Operators for Pairing-Based Cryptography
[Research Report] LIP RR-2007-13, Laboratoire de l'informatique du parallélisme. 2007, 2+16p
...
inria-00192959v4  Reports
Thomas Heide ClausenUlrich Herberg. AUTOCONF - Stating the Problem
[Research Report] RR-6376, INRIA. 2007
...
inria-00136198v2  Reports
Pierre-Arnaud CoquelinRémi Munos. Bandit Algorithms for Tree Search
[Research Report] RR-6141, INRIA. 2007, pp.20