Accueil
Consultation
Par auteur
Par publications
Par années
Par domaines
Par type de document
Derniers dépôts
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
Services
Aide
Exporter
HalTools
28623 articles – 22140 Notices
[english version]
.:.
Consultation
>
Par années
> 2009 .:.
4846 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
-
3
-
4
-
5
-
6
-
7
...
On the decoding of binary cyclic codes with the Newton's identities
Augot D., Faugère J.-C., Bardet M.
Journal of Symbolic Computation
44, 12 (2009) 1608-1625 [inria-00509219 - version 1]
Gröbner Bases in Cryptography, Coding Theory, and Algebraic Combinatorics
Augot D., Faugère J.-C., Perret L.
Elsevier (Ed.) (2009) 1605-1724 [inria-00509213 - version 1]
CoSenS reference guide
Nefzi B., Song Y.-Q.
(2009) [inria-00443594 - version 2]
Conception de traces et applications (vers une méta-théorie des traces).
Deransart P.
Méta Théorie des traces et applications Manuscrit. Etat au 5/2/2010 Il s'agit de la première version dans laquelle tous les exemples ont été mis en cohérence avec le texte. (2009) [inria-00443648 - version 2]
Non-conservative Extension of a Peer in a P2P Inference System
Abdallah N., Goasdoué F.
Ai Communications, European Journal On Artificial Intelligence
(2009) [inria-00429705 - version 1]
Stability of finite difference schemes for hyperbolic initial boundary value problems
Coulombel J.-F.
SIAM Journal on Numerical Analysis
47, 4 (2009) 2844-2871 [hal-00339527 - version 2]
Cartographie et processus d'Intelligence Economique : L'analogie du plateau de jeu comme aide à la décision stratégique
Goria S.
Dans
Intelligence économique
, Hermès Lavoisier (Ed.) (2009) 111-137 [halshs-00461699 - version 1]
Dynamic Programming for Graphs on Surfaces
Rué J., Sau Valls I., Thilikos D. M.
N° RR-7166 (2009) [inria-00443582 - version 1]
A Decentralized Model-Based Diagnosis for BPEL Services
Li Y., Ye L., Dague P., Melliti T.
Dans 21st International Conference on Tools with Artificial Intelligence (ICTAI 2009) (2009) 609--616 [hal-00667815 - version 1]
One step forward: Linking Wireless Self-Organising Networks Validation Techniques with Formal Testing approaches
Carneiro Viana A., Maag S., Zaidi F.
ACM Computing Surveys
(2009) [inria-00429444 - version 1]