.:. Consultation > Liste par type de document > Documents sans référence de publication .:.

105 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6

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)

Intrinsic complexity estimates in polynomial optimization Bank B., Giusti M., Heintz J., Safey El Din M. [hal-00815123 - version 1] (18/04/2013)

2-Stack Sorting is polynomial Pierrot A., Rossin D. [hal-00809832 - version 1] (09/04/2013)

2-stack pushall sortable permutations Pierrot A., Rossin D. [hal-00801861 - version 1] (18/03/2013)

A construction of quantum LDPC codes from Cayley graphs Couvreur A., Delfosse N., Zemor G. [hal-00632257 - version 3] (07/03/2013)

Reasoning About Higher-Order Relational Specifications Wang Y., Chaudhuri K., Gacek A., Nadathur G. [hal-00787126 - version 1] (11/02/2013)

Mathemagix User Guide Van Der Hoeven J., Lecerf G. [hal-00785549 - version 1] (06/02/2013)

GNU TeXmacs User Manual Van Der Hoeven J. [hal-00785535 - version 1] (06/02/2013)

Tradeoffs for reliable quantum information storage in surface codes and color codes Delfosse N. [hal-00798030 - version 1] (07/03/2013)

Communicating and trusting proofs: The case for foundational proof certificates Miller D. [hal-00772727 - version 1] (2013-01-11)

Interfacing Mathemagix with C++ Van Der Hoeven J., Lecerf G. [hal-00771214 - version 1] (08/01/2013)

Flexible RNA design under structure and sequence constraints using formal languages Zhou Y., Ponty Y., Vialette S., Waldispühl J., Zhang Y., Denise A. [hal-00823279 - version 1] (16/05/2013)

A differentially private mechanism of optimal utility for a region of priors Elsalamouny E., Chatzikokolakis K., Palamidessi C. [hal-00760735 - version 2] (15/01/2013)

On the decoding of quasi-BCH codes Barbier M., Pernet C., Quintin G. [hal-00768566 - version 1] (21/12/2012)

Vehicle Sharing System Pricing Regulation: Transit Optimization of Intractable Queuing Network Waserhole A., Jost V. [hal-00751744 - version 2] (10/04/2013)

Withdrawn paper: fast multiplication of integer matrices Van Der Hoeven J. [hal-00742099 - version 2] (02/11/2012)

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction Martin B., Bodirsky M., Hils M. [hal-00756930 - version 1] (24/11/2012)

Asymptotic enumeration of Eulerian orientations for graphs with strong mixing properties Isaev M., Kseniia I. [hal-00730657 - version 1] (2012-09-10)

Linear programming formulations for queueing control problems with action decomposability Waserhole A., Gayon J.-P., Jost V. [hal-00727039 - version 3] (29/04/2013)

Vehicle Sharing System Pricing Regulation: A Fluid Approximation Waserhole A., Jost V. [hal-00727041 - version 4] (26/04/2013)