Search - Archive ouverte HAL Access content directly

Filter your results

3 280 Results
Structure: Internal structure identifier : 2071

Solving Problems with Unknown Solution Length at Almost No Extra Cost

Benjamin Doerr , Carola Doerr , Timo Kötzing
Algorithmica, 2019, 81, pp.703-748. ⟨10.1007/s00453-018-0477-7⟩
Journal articles hal-01921042v1
Image document

Certified Singular Value Decomposition

Joris van Der Hoeven , Jean-Claude Yakoubsohn
2018
Preprints, Working Papers, ... hal-01941987v1
Image document

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
Image document

Simple permutations poset

Adeline Pierrot , Dominique Rossin
2011
Preprints, Working Papers, ... hal-00649396v1
Image document

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
Image document

Karatsuba multiplication with temporary space of size ≤ n

Emmanuel Thomé
2002
Preprints, Working Papers, ... hal-02396734v1

Theory of Parameter Control for Discrete Black-Box Optimization: Provable Performance Gains Through Dynamic Parameter Choices

Benjamin Doerr , Carola Doerr
Theory of Evolutionary Computation, pp.271-321, 2019, ⟨10.1007/978-3-030-29414-4_6⟩
Book sections hal-02436293v1

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
Image document

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.
International Journal of Micro Air Vehicles, 2020, 12, pp.1-22. ⟨10.1177/1756829320914264⟩
Journal articles hal-02542982v1
Image document

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

The Brownian continuum random tree as the unique solution to a fixed point equation

Marie Albenque , Christina Goldschmidt
Electronic Communications in Probability, 2015, 20 (61), pp.1-14. ⟨10.1214/ECP.v20-4250⟩
Journal articles hal-02408709v1
Image document

ecceTERA: Comprehensive gene tree-species tree reconciliation using parsimony

Edwin Jacox , Cedric Chauve , Gergely J Szöllősi , Yann Ponty , Celine Scornavacca et al.
Bioinformatics, 2016, 32 (13), pp.2056-2058. ⟨10.1093/bioinformatics/btw105⟩
Journal articles hal-01276903v1
Image document

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
Image document

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

Recovering high-level conditions from binary programs

A. Djoudi , S. Bardin , É. Goubault
FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, Nov 2016, Limassol, Cyprus. pp.235-253, ⟨10.1007/978-3-319-48989-6_15⟩
Conference papers cea-01834972v1
Image document

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

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
Image document

comparison-based algorithms are robust and randomized algorithms are anytime.

Sylvain Gelly , Sylvie Ruette , Olivier Teytaud
Evolutionary Computation, 2007
Journal articles inria-00173221v1

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
Image document

Directed topological complexity

Eric Goubault , Aurélien Sagnier , Michael Färber
Journal of Applied and Computational Topology, 2019
Journal articles hal-02434377v1
Image document

Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups

Joël Gay
Discrete Mathematics [cs.DM]. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLS209⟩
Theses tel-01861199v1
Image document

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
Image document

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

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.
Bioinformatics, 2020, 36 (9), pp.2910--2922. ⟨10.1093/bioinformatics/btaa039⟩
Journal articles hal-02423237v1
Image document

Pre- and post-quantum Diffie-Hellman from groups, actions, and isogenies

Benjamin Smith
Arithmetic of Finite Fields - WAIFI 2018, Jun 2018, Bergen, Norway. pp.36, ⟨10.1007/978-3-030-05153-2_1⟩
Conference papers hal-01872825v3
Image document

Protein-RNA Complexes and Efficient Automatic Docking: Expanding RosettaDock Possibilities.

Adrien Guilhot-Gaudeffroy , Christine Froidevaux , Jérôme Azé , Julie Bernauer
PLoS ONE, 2014, 9 (9), pp.e108928. ⟨10.1371/journal.pone.0108928⟩
Journal articles hal-01071876v1
Image document

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

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
Image document

Hopf algebras on decorated noncrossing arc diagrams

Vincent Pilaud
Journal of Combinatorial Theory, Series A, 2019, 161, pp.486-507. ⟨10.1016/j.jcta.2018.09.005⟩
Journal articles hal-02343600v1
Image document

Model-free control for VSC-based HVDC systems

Abderrahmane Barkat , Bogdan Marinescu , Cédric Join , Michel Fliess
8th IEEE PES Innovative Smart Grid Technologies Conference, ISGT Europe 2018, Oct 2018, Sarajevo, Bosnia and Herzegovina. ⟨10.1109/ISGTEurope.2018.8571469⟩
Conference papers hal-01820886v1