Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Laboratoire d'informatique de l'X
Home
Browse
Document list
List by subject
List by authors
Search
Home
Last submissions
Jing Ren, Peter Wonka, Gowtham Harihara, Maks Ovsjanikov. Geometric analysis of shape variability of lower jaws of prehistoric humans. L'anthropologie, Elsevier Masson, 2020, 124 (5), pp.102808. ⟨10.1016/j.anthro.2020.102808⟩. ⟨hal-03046509⟩
Angelos Christos Anadiotis, Oana Balalau, Catarina Conceicao, Helena Galhardas, Mhd Yamen Haddad, et al.. Graph integration of structured, semistructured and unstructured data for data journalism. 2021. ⟨hal-03150441⟩
R. Alotaibi, B. Cautis, A. Deutsch, M. Latrache, Ioana Manolescu, et al.. ESTOCADA: Towards Scalable Polystore Systems. Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2020, 13 (12), pp.2949-2952. ⟨10.14778/3415478.3415516⟩. ⟨hal-03150404⟩
Frédéric Bour, Basile Clément, Gabriel Scherer. Tail Modulo Cons. JFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France. ⟨hal-03146495⟩
Olivier Martinot, Gabriel Scherer. Quantified Applicatives: API design for type-inference constraints. ML Family Workshop, Aug 2020, Jersey City / Online, United States. ⟨hal-03145040⟩
Francesco Mecca, Gabriel Scherer. Translation validation of a pattern-matching compiler. ML Family Workshop, Aug 2020, New Jersey /Online, United States. ⟨hal-03145030⟩
Sarah Bordage, Jade Nardi. Interactive Oracle Proofs of Proximity to Algebraic Geometry Codes. 2021. ⟨hal-03142459⟩
Fei Song, Khaled Zaouk, Chenghao Lyu, Arnab Sinha, Qi Fan, et al.. Spark-based Cloud Data Analytics using Multi-Objective Optimization. ICDE, 2021, Chania, Greece. ⟨hal-02549758⟩
Thi Ngoc Ha Nguyen. Combining machine learning and reference-free transcriptome analysis for the identification of prostate cancer signatures. Bioinformatics [q-bio.QM]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASL069⟩. ⟨tel-03139949⟩
Martina Cerulli, Leo Liberti. Polynomial programming prevents aircraft (and other) conflicts. 2021. ⟨hal-02971109v2⟩
Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub. Unsolvability of the Quintic Formalized in Dependent Type Theory. 2021. ⟨hal-03136002⟩
Oana Balalau, Sagar Goyal. SubRank: Subgraph Embeddings via a Subgraph Proximity Measure. PAKDD 2020 - Pacific-Asia Conference on Knowledge Discovery and Data Mining, May 2020, Singapore, Singapore. pp.487-498, ⟨10.1007/978-3-030-47426-3_38⟩. ⟨hal-03134181⟩
Emmanuelle Perrin, Philippe Chassignet. Extraire et structurer des informations géographiques sur les lieux de fouille archéologiques : l’exemple du référentiel du site de Bibracte. 2020. ⟨hal-03133715⟩
Michel Fliess, Cédric Join. Model-free control. International Journal of Control, Taylor & Francis, 2013, 86 (12), pp.2228-2252. ⟨10.1080/00207179.2013.810345⟩. ⟨hal-00828135v3⟩
Abhishek Sharma, Maks Ovsjanikov. Matrix Decomposition on Graphs: A Functional View. 2021. ⟨hal-02871840v3⟩
Joris van der Hoeven, Gleb Pogudin. A zero test for σ-algebraic power series. 2021. ⟨hal-03132700⟩
Gregor Entzian, Ivo Hofacker, Yann Ponty, Ronny Lorenz, Andrea Tanzer. RNAxplorer: Harnessing the Power of Guiding Potentials to Sample RNA Landscapes. Bioinformatics, Oxford University Press (OUP), 2021. ⟨hal-02889448v3⟩
Jean-Pierre Jouannaud, Fernando Orejas. Unificatiuon of Drags and Confluence of Drag Rewriting. 2021. ⟨hal-02562463v2⟩
Alban Reynaud, Gabriel Scherer, Jeremy Yallop. A practical mode system for recursive definitions. Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (POPL), pp.1-29. ⟨10.1145/3434326⟩. ⟨hal-03125031⟩
Joris van der Hoeven, Grégoire Lecerf. Amortized bivariate multi-point evaluation. 2021. ⟨hal-03124458⟩
Number of fulltext
1 957
Number of reference
804
Submissions evolution
Submissions distribution by document type