Filter your results
- 1275
- 399
- 11
- 543
- 399
- 133
- 93
- 35
- 26
- 9
- 9
- 8
- 8
- 4
- 4
- 2
- 1
- 1
- 20
- 5
- 4
- 1
- 1136
- 337
- 47
- 37
- 24
- 11
- 9
- 8
- 6
- 4
- 1
- 35
- 32
- 212
- 210
- 154
- 169
- 149
- 147
- 102
- 100
- 1235
- 39
- 1
- 1275
- 560
- 51
- 49
- 47
- 29
- 26
- 25
- 24
- 24
- 23
- 22
- 21
- 18
- 18
- 18
- 17
- 16
- 15
- 15
- 14
- 14
- 13
- 13
- 11
- 10
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 71
- 62
- 55
- 51
- 50
- 34
- 34
- 33
- 31
- 30
- 29
- 28
- 27
- 23
- 23
- 21
- 18
- 18
- 17
- 15
- 15
- 15
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
|
Certified Singular Value Decomposition2018
Preprints, Working Papers, ...
hal-01941987v1
|
||
|
Computing with relations, functions, and bindingsLogic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩
Theses
tel-02414237v2
|
||
|
A hybrid combinatorial method for docking single stranded RNAs in a protein pockect at the thermodynamic equilibriumJOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques), Jul 2018, Marseille, France
Conference papers
hal-02394529v1
|
||
|
Model-free control algorithms for micro air vehicles with transitioning flight capabilitiesInternational Journal of Micro Air Vehicles, 2020, 12, pp.1-22. ⟨10.1177/1756829320914264⟩
Journal articles
hal-02542982v1
|
||
|
Codes algébriques et géométriques, applications à la cryptographie et à l'information quantiqueMathématiques [math]. Université Paris Diderot, 2019
Habilitation à diriger des recherches
tel-02438668v1
|
||
|
ecceTERA: Comprehensive gene tree-species tree reconciliation using parsimonyBioinformatics, 2016, 32 (13), pp.2056-2058. ⟨10.1093/bioinformatics/btw105⟩
Journal articles
hal-01276903v1
|
||
|
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ésiduellesRevue des Sciences de l'Eau / Journal of Water Science, 2018, 31 (1), pp.61-73. ⟨10.7202/1047053ar⟩
Journal articles
hal-01640983v2
|
||
|
Compact Summaries of Rich Heterogeneous Graphs[Research Report] RR-8920, INRIA Saclay; Université Rennes 1. 2018, pp.1-40
Reports
hal-01325900v6
|
||
|
Directed topological complexityJournal of Applied and Computational Topology, 2019
Journal articles
hal-02434377v1
|
||
|
Representation of Monoids and Lattice Structures in the Combinatorics of Weyl GroupsDiscrete Mathematics [cs.DM]. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLS209⟩
Theses
tel-01861199v1
|
||
|
SCC Crack initiation in nickel based alloy welds in hydrogenated steam at 400°cInternational 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
|
||
|
Pre- and post-quantum Diffie-Hellman from groups, actions, and isogeniesArithmetic of Finite Fields - WAIFI 2018, Jun 2018, Bergen, Norway. pp.36, ⟨10.1007/978-3-030-05153-2_1⟩
Conference papers
hal-01872825v3
|
||
|
Admissible Tools in the Kitchen of Intuitionistic LogicSeventh International Workshop on Classical Logic and Computation (CL&C 2018), Jul 2018, Oxford, United Kingdom. pp.10-23
Conference papers
hal-01870112v1
|
||
|
Hopf algebras on decorated noncrossing arc diagramsJournal of Combinatorial Theory, Series A, 2019, 161, pp.486-507. ⟨10.1016/j.jcta.2018.09.005⟩
Journal articles
hal-02343600v1
|
||
|
Model-free control for VSC-based HVDC systems8th 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
|
||
|
Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal LogicTheoretical Computer Science, 2018, 744 (56--77)
Journal articles
hal-01675010v2
|
||
|
The facial weak order and its lattice quotientsTransactions of the American Mathematical Society, 2018, 370 (2), pp.1469-1507. ⟨10.1090/tran/7307⟩
Journal articles
hal-02343548v1
|
||
|
Nested Explorative Maps: A new 3D canvas for conceptual design in architectureComputers and Graphics, 2019, Special Section on SMI 2019, 82, pp.203-213. ⟨10.1016/j.cag.2019.05.027⟩
Journal articles
hal-02158131v1
|
||
|
A Factorized Version Space Algorithm for "Human-In-the-Loop" Data ExplorationICDM - 19th IEEE International Conference in Data Mining, Nov 2019, Beijing, China
Conference papers
hal-02274497v2
|
||
|
Property-Based Testing via Proof Reconstruction Work-in-progressLFMTP 17: Logical Frameworks and Meta-Languages: Theory and Practice, Sep 2017, Oxford, United Kingdom
Conference papers
hal-01646788v1
|
||
|
Justification logic for constructive modal logic *IMLA 2017 - 7th Workshop on Intuitionistic Modal Logic and Applications, Jul 2017, Toulouse, France. , 2017
Documents associated with scientific events
hal-01614707v1
|
||
|
Bayesian Inference for Least Squares Temporal Difference RegularizationECML 2017 - European Conference on Machine Learning, 2017-09-22, Sep 2017, Skopje, Macedonia
Conference papers
hal-01593212v1
|
||
|
Mixed-instance querying: a lightweight integration architecture for data journalismVLDB, Sep 2016, New Delhi, India
Conference papers
hal-01321201v2
|
||
|
Taming reluctant random walks in the positive quadrantGASCOM - 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
|
||
|
Clustering Financial Time Series: How Long is Enough?Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York, United States
Conference papers
hal-01400395v1
|
||
|
On the Error Exponent of a Random Tensor with Orthonormal Factor Matrices3rd conference on Geometric Science of Information (GSI 2017), Nov 2017, Paris, France
Conference papers
hal-01562329v1
|
||
|
Improving NFS for the Discrete Logarithm Problem in Non-prime Finite FieldsEUROCRYPT 2015, Proceedings, Part {I}, Apr 2015, Sofia, Bulgaria. pp.129-155, ⟨10.1007/978-3-662-46800-5_6⟩
Conference papers
hal-01112879v2
|
||
|
Up-To Techniques for Generalized Bisimulation Metrics27th 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
|
||
|
Hard Homogenous Spaces and Commutative Supersingular Isogeny based Diffie-Hellman[Internship report] LIX, Ecole polytechnique; ENS de Lyon. 2019
Reports
hal-02373179v1
|
||
|
Sparse polynomial interpolation. Exploring fast heuristic algorithms over finite fields2019
Preprints, Working Papers, ...
hal-02382117v1
|