Search - Archive ouverte HAL Access content directly

Filter your results

1 275 Results
Deposit type : Fulltext
Image document

Certified Singular Value Decomposition

Joris van Der Hoeven , Jean-Claude Yakoubsohn
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

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

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

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

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

Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic

Michell Guzmán , Salim Perchy , Camilo Rueda , Frank Valencia
Theoretical Computer Science, 2018, 744 (56--77)
Journal articles hal-01675010v2
Image document

The facial weak order and its lattice quotients

Aram Dermenjian , Christophe Hohlweg , Vincent Pilaud
Transactions of the American Mathematical Society, 2018, 370 (2), pp.1469-1507. ⟨10.1090/tran/7307⟩
Journal articles hal-02343548v1
Image document

Nested Explorative Maps: A new 3D canvas for conceptual design in architecture

Pauline Olivier , Renaud Chabrier , Damien Rohmer , Eric de Thoisy , Marie-Paule Cani et al.
Computers and Graphics, 2019, Special Section on SMI 2019, 82, pp.203-213. ⟨10.1016/j.cag.2019.05.027⟩
Journal articles hal-02158131v1
Image document

A Factorized Version Space Algorithm for "Human-In-the-Loop" Data Exploration

Luciano Di Palma , Yanlei Diao , Anna Liu
ICDM - 19th IEEE International Conference in Data Mining, Nov 2019, Beijing, China
Conference papers hal-02274497v2
Image document

Property-Based Testing via Proof Reconstruction Work-in-progress

Roberto Blanco , Dale Miller , Alberto Momigliano
LFMTP 17: Logical Frameworks and Meta-Languages: Theory and Practice, Sep 2017, Oxford, United Kingdom
Conference papers hal-01646788v1
Image document

Justification logic for constructive modal logic *

Roman Kuznets , Sonia Marin , Lutz Strassburger
IMLA 2017 - 7th Workshop on Intuitionistic Modal Logic and Applications, Jul 2017, Toulouse, France. , 2017
Documents associated with scientific events hal-01614707v1
Image document

Bayesian Inference for Least Squares Temporal Difference Regularization

Nikolaos Tziortziotis , Christos Dimitrakakis
ECML 2017 - European Conference on Machine Learning, 2017-09-22, Sep 2017, Skopje, Macedonia
Conference papers hal-01593212v1
Image document

Mixed-instance querying: a lightweight integration architecture for data journalism

Raphaël Bonaque , Tien Duc Cao , Bogdan Cautis , François Goasdoué , Javier Letelier et al.
VLDB, Sep 2016, New Delhi, India
Conference papers hal-01321201v2
Image document

Taming reluctant random walks in the positive quadrant

Jeremie Lumbroso , Marni Mishna , Yann Ponty
GASCOM - 10th conference on random generation of combinatorial structures - 2016, Jun 2016, Bastia, France. pp.99 -- 114, ⟨10.1016/j.endm.2017.05.008⟩
Conference papers hal-01291164v1
Image document

Clustering Financial Time Series: How Long is Enough?

Gautier Marti , Sébastien Andler , Frank Nielsen , Philippe Donnat
Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York, United States
Conference papers hal-01400395v1
Image document

On the Error Exponent of a Random Tensor with Orthonormal Factor Matrices

Remy Boyer , Frank Nielsen
3rd conference on Geometric Science of Information (GSI 2017), Nov 2017, Paris, France
Conference papers hal-01562329v1
Image document

Improving NFS for the Discrete Logarithm Problem in Non-prime Finite Fields

Razvan Barbulescu , Pierrick Gaudry , Aurore Guillevic , François Morain
EUROCRYPT 2015, Proceedings, Part {I}, Apr 2015, Sofia, Bulgaria. pp.129-155, ⟨10.1007/978-3-662-46800-5_6⟩
Conference papers hal-01112879v2
Image document

Up-To Techniques for Generalized Bisimulation Metrics

Konstantinos Chatzikokolakis , Catuscia Palamidessi , Valeria Vignudelli
27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. pp.35:1--35:14, ⟨10.4230/LIPIcs.CONCUR.2016.35⟩
Conference papers hal-01335234v1
Image document

Hard Homogenous Spaces and Commutative Supersingular Isogeny based Diffie-Hellman

Joël Felderhoff
[Internship report] LIX, Ecole polytechnique; ENS de Lyon. 2019
Reports hal-02373179v1
Image document

Sparse polynomial interpolation. Exploring fast heuristic algorithms over finite fields

Joris van Der Hoeven , Grégoire Lecerf
Preprints, Working Papers, ... hal-02382117v1