Solving Problems with Unknown Solution Length at Almost No Extra Cost
Benjamin Doerr
,
Carola Doerr
,
Timo Kötzing
Journal articles
hal-01921042v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Certified Singular Value Decomposition
Joris van Der Hoeven
,
Jean-Claude Yakoubsohn
2018
Preprints, Working Papers, ...
hal-01941987v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing with relations, functions, and bindings
Ulysse Gerard
Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English.
⟨NNT : 2019IPPAX005⟩
Theses
tel-02414237v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Simple permutations poset
Adeline Pierrot
,
Dominique Rossin
2011
Preprints, Working Papers, ...
hal-00649396v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A hybrid combinatorial method for docking single stranded RNAs in a protein pockect at the thermodynamic equilibrium
Chinmay Singhal
,
Yann Ponty
,
Isaure Chauvot de Beauchêne
JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) , Jul 2018, Marseille, France
Conference papers
hal-02394529v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Karatsuba multiplication with temporary space of size ≤ n
Emmanuel Thomé
2002
Preprints, Working Papers, ...
hal-02396734v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Theory of Parameter Control for Discrete Black-Box Optimization: Provable Performance Gains Through Dynamic Parameter Choices
Benjamin Doerr
,
Carola Doerr
Book sections
hal-02436293v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Global solution of mixed-integer polynomial optimization problems through quadratic reformulation
Amélie Lambert
,
Sourour Elloumi
,
Claudia d'Ambrosio
,
Arnaud Lazare
PGMO days , Nov 2016, Palaiseau, France
Conference papers
hal-02455461v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Model-free control algorithms for micro air vehicles with transitioning flight capabilities
Jacson Miguel Olszanecki Barth
,
Jean-Philippe Condomines
,
Murat Bronz
,
Jean-Marc Moschetta
,
Cédric Join
et al.
Journal articles
hal-02542982v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Codes algébriques et géométriques, applications à la cryptographie et à l'information quantique
Alain Couvreur
Mathématiques [math]. Université Paris Diderot, 2019
Habilitation à diriger des recherches
tel-02438668v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Brownian continuum random tree as the unique solution to a fixed point equation
Marie Albenque
,
Christina Goldschmidt
Journal articles
hal-02408709v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ecceTERA: Comprehensive gene tree-species tree reconciliation using parsimony
Edwin Jacox
,
Cedric Chauve
,
Gergely J Szöllősi
,
Yann Ponty
,
Celine Scornavacca
et al.
Journal articles
hal-01276903v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
La production de nitrites lors de la dénitrification des eaux usées par biofiltration - Stratégie de contrôle et de réduction des concentrations résiduelles
Vincent Rocher
,
Cédric Join
,
Stéphane Mottelet
,
Jean Bernier
,
Sabrina Rechdaoui-Guérin
et al.
Revue des Sciences de l'Eau / Journal of Water Science , 2018, 31 (1), pp.61-73.
⟨10.7202/1047053ar⟩
Journal articles
hal-01640983v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Compact Summaries of Rich Heterogeneous Graphs
Šejla Čebirić
,
François Goasdoué
,
Pawel Guzewicz
,
Ioana Manolescu
[Research Report] RR-8920, INRIA Saclay; Université Rennes 1. 2018, pp.1-40
Reports
hal-01325900v6
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Recovering high-level conditions from binary programs
A. Djoudi
,
S. Bardin
,
É. Goubault
Conference papers
cea-01834972v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Information Hiding in Probabilistic Concurrent Systems
Miguel E. Andrés
,
Catuscia Palamidessi
,
Peter van Rossum
,
Ana Sokolova
7th IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2010) , Sep 2010, Williamsburg, VA, United States. pp.17-26,
⟨10.1109/QEST.2010.11⟩
Conference papers
hal-00548187v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Proceedings of the Joint Workshop on Theory of Security and Applications (TOSCA)
Sebastian Mödersheim
,
Catuscia Palamidessi
Sebastian Mödersheim and Catuscia Palamidessi. Springer, 6993, pp.224, 2012, Lecture Notes in Computer Science, 978-3-642-27374-2.
⟨10.1007/978-3-642-27375-9⟩
Books
hal-00778535v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
comparison-based algorithms are robust and randomized algorithms are anytime.
Sylvain Gelly
,
Sylvie Ruette
,
Olivier Teytaud
Evolutionary Computation , 2007
Journal articles
inria-00173221v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Key-Recovery Attacks on ASASA.
Brice Minaud
,
Patrick Derbez
,
Pierre-Alain Fouque
,
Pierre Karpman
Journal of Cryptology , 2018, 31 (3), pp.845-884
Journal articles
hal-02470995v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Directed topological complexity
Eric Goubault
,
Aurélien Sagnier
,
Michael Färber
Journal of Applied and Computational Topology , 2019
Journal articles
hal-02434377v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups
Joël Gay
Theses
tel-01861199v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Abstract Interpretation of Cellular Signalling Networks
Vincent Danos
,
Jérôme Feret
,
Walter Fontana
,
Jean Krivine
the 9th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI'08 , Jan 2008, San Francisco, United States. pp.83-97,
⟨10.1007/978-3-540-78163-9_11⟩
Conference papers
inria-00528352v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SCC Crack initiation in nickel based alloy welds in hydrogenated steam at 400°c
E. Chaumun
,
C. Guerre
,
J. Crepin
,
C. Duhamel
,
M. Sennour
et al.
International Cooperative Group on Environmentally-Assisted Cracking of Water Reactor Materials (ICG-EAC) annual meeting , Institute of Metal Research, Chinese Academy of Sciences (IMR, CAS), May 2016, Qindao, China
Conference papers
hal-02442236v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
IncaRNAfbinv 2.0 - A webserver and software with motif control for fragment-based design of RNAs
Matan Drory Retwitzer
,
Vladimir Reinharz
,
Alexander Churkin
,
Yann Ponty
,
Jérôme Waldispühl
et al.
Journal articles
hal-02423237v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Pre- and post-quantum Diffie-Hellman from groups, actions, and isogenies
Benjamin Smith
Conference papers
hal-01872825v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Protein-RNA Complexes and Efficient Automatic Docking: Expanding RosettaDock Possibilities.
Adrien Guilhot-Gaudeffroy
,
Christine Froidevaux
,
Jérôme Azé
,
Julie Bernauer
Journal articles
hal-01071876v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Admissible Tools in the Kitchen of Intuitionistic Logic
Andrea Condoluci
,
Matteo Manighetti
Seventh International Workshop on Classical Logic and Computation (CL&C 2018) , Jul 2018, Oxford, United Kingdom. pp.10-23
Conference papers
hal-01870112v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Frobenius FFT
Joris van Der Hoeven
,
Robin Larrieu
The International Symposium on Symbolic and Algebraic Computation 2017 , Jul 2017, Kaiserslautern, France. pp.437-444,
⟨10.1145/3087604.3087633⟩
Conference papers
hal-02350408v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hopf algebras on decorated noncrossing arc diagrams
Vincent Pilaud
Journal articles
hal-02343600v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Model-free control for VSC-based HVDC systems
Abderrahmane Barkat
,
Bogdan Marinescu
,
Cédric Join
,
Michel Fliess
Conference papers
hal-01820886v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More