33869 articles – 26719 Notices  [english version]
.:. Consultation > Par années > 2009 .:.
5035 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access 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]
fulltext access CoSenS reference guide
Nefzi B., Song Y.-Q.
(2009) [inria-00443594 - version 2]
fulltext access 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]
fulltext access 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.
In Intelligence économique, Hermès Lavoisier (Ed.) (2009) 111-137 [halshs-00461699 - version 1]
fulltext access Dynamic Programming for Graphs on Surfaces
Rué J., Sau Valls I., Thilikos D. M.
N° RR-7166 (2009) [inria-00443582 - version 1]
fulltext access 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., Zaïdi F.
ACM Computing Surveys (2009) [inria-00429444 - version 1]