Structural Cryptanalysis of McEliece Schemes with Algebraic Geometry codes
Irene Márquez-Corbella
,
Alain Couvreur
,
Ruud Pellikaan
Arithmétique, Géométrie, Cryptographie et Théorie des Codes , CIRM - Centre International de rencontres Mathématiques, May 2015, Luminy, France
Conference papers
hal-01243394v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Interfacing mathemagix with C++
Joris van Der Hoeven
,
Grégoire Lecerf
the 38th international symposium on Symbolic and Algebraic Computation (ISSAC 2013) , Jun 2013, Boston, France. pp.363,
⟨10.1145/2465506.2465511⟩
Conference papers
hal-02350473v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Lower Bounds for Parallel Machines Scheduling.
David Savourey
,
Philippe Baptiste
,
Antoine Jouglet
RIVF'2006, Research, Innovation and Vision for the Future , 2006, Ho Chi Minh Ville, Vietnam
Conference papers
hal-01721167v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Very large spatial scale connectivity estimation
Andrea Costa
,
Andrea M. Doglioli
,
Anne Petrenko
,
Jerome Bouffard
Journee thematique INSU , Nov 2014, Paris, France
Conference papers
hal-01213685v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Isogenies and the Discrete Logarithm Problem in Jacobians of Genus 3 Hyperelliptic Curves
Benjamin Smith
Conference papers
inria-00537860v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Accurate prediction of the statistics of repetitions in random sequences : a case study in Archae genomes
Mireille Regnier
,
Philippe Chassignet
2015
Preprints, Working Papers, ...
hal-01253628v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Theoretical Aspects of Computing - ICTAC 2015
Martin Leucker
,
Camilo Rueda
,
Frank Valencia
Books
hal-01257171v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Biological Resource Discovery
Zoé Lacroix
,
R. Cartik
,
Peter Mork
,
Rami Rifaieh
,
Mark Wilkinson
et al.
Ling Liu, M. Tamer Özsu. Encyclopedia of Database Systems , Springer US, pp.220-223, 2009
Book sections
inria-00542357v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Thermodynamics of RNA structures by Wang-Landau sampling
Lou Feng
,
Peter Clote
Journal articles
inria-00542620v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Interactive Information Flow
Catuscia Palamidessi
,
Mário S. Alvim
,
Miguel E. Andrés
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010) , Mar 2010, Paphos, Cyprus. pp.111-111,
⟨10.1007/978-3-642-16074-5_8⟩
Conference papers
hal-00548211v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
LocalMove: computing on-lattice fits for biopolymers
Yann Ponty
,
R. Istrate
,
E. Porcelli
,
Peter Clote
Journal articles
inria-00548867v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings
Guillaume Hanrot
,
François Morain
,
Emmanuel Thomé
Guillaume Hanrot and François Morain and Emmanuel Thomé. Springer-Verlag, 6197, pp.397, 2010, Lecture Notes in Computer Science, 978-3-642-14518-6.
⟨10.1007/978-3-642-14518-6⟩
Books
inria-00544503v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Lutz Strassburger
Conference papers
inria-00436412v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The construction of a library of synthetic promoters revealed some specific features of strong Streptomyces promoters.
Nicolas Seghezzi
,
Patrick Amar
,
Brian Koebmann
,
Peter R Jensen
,
Marie-Joëlle Virolle
et al.
Journal articles
istex
hal-00643741v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A symmetry-driven BP algorithm for the Discretizable Molecular Distance Geometry Problem
Antonio Mucherino
,
Carlile Lavor
,
Leo Liberti
IEEE International Conference on Bioinformatics and Biomedicine , Nov 2011, Atlanta, United States
Conference papers
inria-00637771v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Community-Wide Assessment of Protein-Interface Modeling Suggests Improvements to Design Methodology.
Sarel J Fleishman
,
Timothy A Whitehead
,
Eva-Maria Strauch
,
Jacob E Corn
,
Sanbo Qin
et al.
Journal articles
inria-00637848v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On permuted super-secondary structures of transmembrane β-barrel proteins
Thuong van Du Tran
,
Philippe Chassignet
,
Jean-Marc Steyaert
Journal articles
hal-00869141v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Homotopy Type Theory: Univalent Foundations of Mathematics
Peter Aczel
,
Benedikt Ahrens
,
Thorsten Altenkirch
,
Steve Awodey
,
Bruno Barras
et al.
Aucun, pp.448, 2013
Books
hal-00935057v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Predictive Differentially-Private Mechanism for Mobility Traces
Konstantinos Chatzikokolakis
,
Catuscia Palamidessi
,
Marco Stronati
Conference papers
hal-01011260v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space?
Stefan Janssen
,
Loïc Paulevé
,
Yann Ponty
,
Balaji Raman
,
Matthias Zytnicki
et al.
IWBDA - 4th International Workshop on Bio-Design Automation - 2012 , Jun 2012, San Francisco, United States
Conference papers
hal-00712557v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On symmetric quadrangulations
Marie Albenque
,
Éric Fusy
,
Dominique Poulalhon
Conference papers
hal-00713260v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using Kendall-Tau Meta-Bagging to Improve Protein-Protein Docking Predictions
Jérôme Azé
,
Thomas Bourquard
,
Sylvie Hamel
,
Anne Poupon
,
David Ritchie
et al.
PRIB 2011 , Marcel Reinders and Dick de Ridder, Nov 2011, DELFT, Netherlands. pp.284-295
Conference papers
inria-00628038v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Generalizing Bounds on the Minimum Distance of Cyclic Codes Using Cyclic Product Codes
Alexander Zeh
,
Antonia Wachter-Zeh
,
Maximilien Gadouleau
,
Sergey Bezzateev
IEEE International Symposium on Information Theory (ISIT) , Jul 2013, Istanbul, Turkey. pp.1-6
Conference papers
hal-00828083v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sparse Polynomial Interpolation in Practice
Joris van Der Hoeven
,
Grégoire Lecerf
Journal articles
hal-02350491v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Toxicity of carbon dioxide: a review
Adeline Guais
,
Gérard Brand
,
Laurence Jacquot
,
Mélanie Karrer
,
Sam Dukan
et al.
Journal articles
hal-01123421v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
La vérité et la machine
Benjamin Werner
Interstices , 2009
Journal articles
hal-01350404v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Bijective enumeration of some colored permutations given by the product of two long cycles
Valentin Féray
,
Ekaterina A. Vassilieva
Discrete Mathematics , 2012, 312 (2), pp.279-292
Journal articles
hal-00647219v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimistic modeling of non-linear optimization problems by mixed-integer linear programming
Claudia d'Ambrosio
,
Andrea Lodi
,
Silvano Martello
,
Riccardo Rovatti
ISMP 2012 , Aug 2012, Germany
Conference papers
hal-00758533v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimal scheduling of a multi-unit hydro power station in a short-term time horizon
Alberto Borghetti
,
Claudia d'Ambrosio
,
Andrea Lodi
,
Silvano Martello
2012
Reports
hal-00765225v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi
Maurizio Gabbrielli
,
Moreno Falaschi
,
Catuscia Palamidessi
Elsevier, 410, pp.4601-4800, 2009, Theoretical Computer Science
Books
hal-00772696v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More