Access content directly
Documentation
EN
French (FR)
English (EN)
Sign in
Collection
X-DEP-INFO
Search
Loading...
Advanced Search
Information de documents
Titles
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Add
Author
Author (multi-criteria)
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
hal_authId_i
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Add
Structure
Structure (multi-criteria)
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Add
Autres
Default search field (multi-criteria)
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Lancer la recherche
recherche experte (SolR)
Recherche experte (SolR)
Run the search
Vers la recherche avancée
Upload
Département d'informatique
Home
Browse
Document list
List by subject
List by authors
×
×
×
Loading...
×
Last submissions
Gabriel Scherer, Nathanaëlle Courant. An OCaml use case for strong call-by-need reduction.
ACM SIGPLAN Workshop on ML 2022 - ML Family Workshop
, Benoit Montagu, Sep 2022, Ljubljana, Slovenia.
⟨hal-03947986⟩
Luk Bettale, Julien Eynard, Simon Montoya, Guénaël Renault, Rémi Strullu. Security Assessment of NTRU Against Non-Profiled SCA.
CARDIS 2022
, Nov 2022, Birmingham, United Kingdom. pp.248-268,
⟨10.1007/978-3-031-25319-5_13⟩
.
⟨hal-03950393⟩
Ioana Manolescu. Teasing journalistic findings out of heterogeneous sources: a data/AI journey (invited keynote).
DEBS '22: The 16th ACM International Conference on Distributed and Event-based Systems
, Jun 2022, Copenhagen, Denmark. pp.1-1,
⟨10.1145/3524860.3544406⟩
.
⟨hal-03945733⟩
Wendlasida Ouedraogo, Lutz Strassburger, Gabriel Scherer. Coqlex: Generating Formally Verified Lexers. INRIA Saclay - Ile-de-France. 2022.
⟨hal-03912170⟩
Souhaib Attaiki, Gautam Pai, Maks Ovsjanikov. DPFM: Deep Partial Functional Maps.
International Conference on 3D Vision (3DV)
, Dec 2021, Londres, United Kingdom. pp.175-185,
⟨10.1109/3dv53792.2021.00040⟩
.
⟨hal-03938020⟩
Riccardo Marin, Souhaib Attaiki, Simone Melzi, Emanuele Rodolà, Maks Ovsjanikov. Smoothness and effective regularizations in learned embeddings for shape matching. 2023.
⟨hal-03938011⟩
Souhaib Attaiki, Maks Ovsjanikov. NCP: Neural Correspondence Prior for Effective Unsupervised Shape Matching.
NeurIPS 2022
, Nov 2022, New Orleans, United States.
⟨hal-03938056⟩
Camille Noûs, Gabriel Scherer. Backtracking reference stores.
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs
, Jan 2023, Praz-sur-Arly, France. pp.190-210.
⟨hal-03936704⟩
Tobias Friedrich, Andreas Göbel, Martin S. Krejca, Marcus Pappik. A Spectral Independence View on Hard Spheres via Block Dynamics.
SIAM Journal on Discrete Mathematics
, 2022, 36 (3), pp.2282-2322.
⟨10.1137/21M143697X⟩
.
⟨hal-03904167⟩
Alain Couvreur. Codes and modular curves. Doctoral. Codes and Modular curves, Zurich, Switzerland. 2022, pp.33.
⟨hal-03932020⟩
François Morain. Modular curves over number fields and ECM.
Research in Number Theory
, 2022.
⟨hal-03606355v2⟩
François Morain. Implementing the Thull-Yap algorithm for computing Euclidean remainder sequences.
ISSAC2022
, Jul 2022, Villeneuve-d’Ascq, France.
⟨hal-03572271v2⟩
Angelos Christos Anadiotis, Ioana Manolescu, Madhulika Mohanty. Integrating Connection Search in Graph Queries. Inria Saclay - Île de France. 2023.
⟨hal-03923293v2⟩
Carola Doerr, Martin S. Krejca. Run Time Analysis for Random Local Search on Generalized Majority Functions.
IEEE Transactions on Evolutionary Computation
, In press, pp.1-13.
⟨10.1109/TEVC.2022.3216349⟩
.
⟨hal-03904182⟩
Gautam Botrel, Youssef El Housni. EdMSM: Multi-Scalar-Multiplication for recursive SNARKs and more. 2022.
⟨hal-03922635⟩
Youssef El Housni. The Arithmetic of Pairing-Based Proof Systems. Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English.
⟨NNT : 2022IPPAX104⟩
.
⟨tel-03922488⟩
Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi. Identifiability of Causal-based Fairness Notions: A State of the Art. 2023.
⟨hal-03920431⟩
Kévin Carrier, Thomas Debris-Alazard, Charles Meyer-Hilfiger, Jean-Pierre Tillich. Statistical Decoding 2.0: Reducing Decoding to LPN.
ASIACRYPT 2022 - 28th Annual International Conference on the Theory and Application of Cryptology and Information Security
, Dec 2022, Taipei, Taiwan.
⟨hal-03919778⟩
Yan Ran, Wei Ting Ma, Yi Ning Xu, Xuming Wang, Lei Li, et al.. Short- and long-term responses of leaf day respiration to elevated atmospheric CO2.
Plant Physiology
, 2022, pp.kiac582.
⟨10.1093/plphys/kiac582⟩
.
⟨hal-03919109⟩
Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer. Debootstrapping without Archeology.
The Art, Science, and Engineering of Programming
, 2022, 6 (3),
⟨10.22152/programming-journal.org/2022/6/13⟩
.
⟨hal-03917754⟩
Number of fulltext
2 367
Number of reference
883
Submissions evolution
Submissions distribution by document type