726 articles – 292 Notices  [english version]
.:. Consultation > Liste des articles .:.
1018 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Rank metric and Gabidulin codes in characteristic zero
Augot D., Loidreau P., Robert G.
ISIT 2013 IEEE International Symposium on Information Theory, Turquie (2013) [hal-00823535 - version 1]
fulltext access An adequate logic for heterogeneous systems
Aiguier M., Golden B., Krob D.
Dans 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapour (2013) [hal-00812339 - version 1]
fulltext accessible on an other server Exhaustive Search for Small Dimension Recursive MDS Diffusion Layers for Block Ciphers and Hash Functions
Augot D., Finiasz M.
[hal-00823082 - version 1] (2013-05-16)
fulltext access Algebraic parameter estimation of a multi-sinusoidal waveform signal from noisy data
Ushirobira R., Perruquetti W., Mboup M., Fliess M.
European Control Conference, Switzerland (2013) [hal-00819048 - version 1]
fulltext access Intrinsic complexity estimates in polynomial optimization
Bank B., Giusti M., Heintz J., Safey El Din M.
[hal-00815123 - version 1] (18/04/2013)
fulltext access Sequent Calculi with procedure calls
Farooque M., Graham-Lengrand S.
Rapport de recherche [hal-00779199 - version 3]
fulltext access 2-Stack Sorting is polynomial
Pierrot A., Rossin D.
[hal-00809832 - version 1] (09/04/2013)
fulltext access 2-stack pushall sortable permutations
Pierrot A., Rossin D.
[hal-00801861 - version 1] (18/03/2013)
A Proof System for Compositional Verification of Probabilistic Concurrent Processes
Mio M., Simpson A.
FoSSaCS, Italie (2013) [hal-00766384 - version 1]
fulltext access Intégration d'exigences de haut niveau dans les problèmes d'optimisation : théorie et applications
Roda F.
Ecole Polytechnique X (01/03/2013), Leo Liberti (Dir.) [pastel-00817782 - version 1]
fulltext access A construction of quantum LDPC codes from Cayley graphs
Couvreur A., Delfosse N., Zemor G.
[hal-00632257 - version 3] (07/03/2013)
fulltext access Reasoning About Higher-Order Relational Specifications
Wang Y., Chaudhuri K., Gacek A., Nadathur G.
[hal-00787126 - version 1] (11/02/2013)
A formal framework for specifying sequent calculus proof systems
Miller D., Elaine P.
Theoretical Computer Science (2013) 98-116 [hal-00787586 - version 1]
fulltext access Mathemagix User Guide
Van Der Hoeven J., Lecerf G.
[hal-00785549 - version 1] (06/02/2013)
fulltext access GNU TeXmacs User Manual
Van Der Hoeven J.
[hal-00785535 - version 1] (06/02/2013)
fulltext access Un Lambda-Calcul Atomique
Gundersen T., Heijltjes W., Parigot M.
JFLA - Journées francophones des langages applicatifs, France (2013) [hal-00779903 - version 1]
fulltext access Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic
Chuck L., Miller D.
Annals of Pure and Applied Logic 164, 2 (2013) 86-111 [hal-00787601 - version 1]
Identification de complexes protéine-protéine par combinaison de classifieurs. Application à Escherichia coli
Bourquard T., De Vienne D. Mathieu, Azé J.
EGC 2013 - Extraction et Gestion des Connaissances, France (2013) [hal-00785473 - version 1]
fulltext access Tradeoffs for reliable quantum information storage in surface codes and color codes
Delfosse N.
[hal-00798030 - version 1] (07/03/2013)
fulltext access Structured FFT and TFT: symmetric and lattice polynomials
Van Der Hoeven J., Lebreton R., Schost E.
Research report [hal-00780431 - version 1]