Search - Archive ouverte HAL Access content directly

Filter your results

483 Results
Deposit type : Notice

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

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

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

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

Isogenies and the Discrete Logarithm Problem in Jacobians of Genus 3 Hyperelliptic Curves

Benjamin Smith
Eurocrypt 2008, International Association for Cryptologic Research, Apr 2008, Istanbul, Turkey. pp.163-180, ⟨10.1007/978-3-540-78967-3_10⟩
Conference papers inria-00537860v1

Accurate prediction of the statistics of repetitions in random sequences : a case study in Archae genomes

Mireille Regnier , Philippe Chassignet
Preprints, Working Papers, ... hal-01253628v1

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker , Camilo Rueda , Frank Valencia
Springer, 9399, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩
Books hal-01257171v1

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

Thermodynamics of RNA structures by Wang-Landau sampling

Lou Feng , Peter Clote
Bioinformatics, 2010, 26, pp.278-286. ⟨10.1093/bioinformatics/btq218⟩
Journal articles inria-00542620v1

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

LocalMove: computing on-lattice fits for biopolymers

Yann Ponty , R. Istrate , E. Porcelli , Peter Clote
Nucleic Acids Research, 2008, 36 (2), pp.W216-W222. ⟨10.1093/nar/gkn367⟩
Journal articles inria-00548867v1

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

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

Lutz Strassburger
Typed Lambda Calculi and Applications, TLCA'09, 2009, Brasilia, Brazil. ⟨10.1007/978-3-642-02273-9_23⟩
Conference papers inria-00436412v1

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.
Applied Microbiology and Biotechnology, 2011, 90 (2), pp.615-23. ⟨10.1007/s00253-010-3018-0⟩
Journal articles istex hal-00643741v1

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

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 of Molecular Biology, 2011, 414 (2), in press. ⟨10.1016/j.jmb.2011.09.031⟩
Journal articles inria-00637848v1

On permuted super-secondary structures of transmembrane β-barrel proteins

Thuong van Du Tran , Philippe Chassignet , Jean-Marc Steyaert
Theoretical Computer Science, 2014, ⟨10.1016/j.tcs.2013.10.001⟩
Journal articles hal-00869141v1

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

A Predictive Differentially-Private Mechanism for Mobility Traces

Konstantinos Chatzikokolakis , Catuscia Palamidessi , Marco Stronati
PETS 2014 - 14th Privacy Enhancing Technologies Symposium, Jul 2014, Amsterdam, Netherlands. pp.21-41, ⟨10.1007/978-3-319-08506-7_2⟩
Conference papers hal-01011260v1

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

On symmetric quadrangulations

Marie Albenque , Éric Fusy , Dominique Poulalhon
Eurocomb 2011, Aug 2011, Budapest, Hungary. pp.17-24, ⟨10.1016/j.endm.2011.09.004⟩
Conference papers hal-00713260v1

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

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

Sparse Polynomial Interpolation in Practice

Joris van Der Hoeven , Grégoire Lecerf
ACM Communications in Computer Algebra, 2015, 48 (3/4), pp.187-191. ⟨10.1145/2733693.2733721⟩
Journal articles hal-02350491v1

Toxicity of carbon dioxide: a review

Adeline Guais , Gérard Brand , Laurence Jacquot , Mélanie Karrer , Sam Dukan et al.
Chemical Research in Toxicology, 2011, 24 (12), pp.2061-2070. ⟨10.1021/tx200220r⟩
Journal articles hal-01123421v1

La vérité et la machine

Benjamin Werner
Interstices, 2009
Journal articles hal-01350404v1

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

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

Optimal scheduling of a multi-unit hydro power station in a short-term time horizon

Alberto Borghetti , Claudia d'Ambrosio , Andrea Lodi , Silvano Martello
Reports hal-00765225v1

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