Recherche
Accéder directement au contenu
Pied de page
Documentation
FR
Français (FR)
Anglais (EN)
Se connecter
Collection
X-LIX
Recherche
Loading...
Recherche avancée
Information de documents
Titres
Titres
Sous-titre
Titre de l'ouvrage
Titre du volume (Série)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Type de document
Sous-type de document
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
À paraître (true ou false)
Ajouter
Auteur
Auteur (multicritères)
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : personID (entier)
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Ajouter
Structure
Structure (multicritères)
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Structure/équipe de recherche : Pays
Structure/regroupement d'équipes : Pays
Structure/laboratoire : Pays
Structure/regroupement de laboratoires : Pays
Structure/institution : Pays
Structure/regroupement d'institutions : Pays
Ajouter
Autres
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Conférence invitée (oui/non)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme du programme
Projet ANR : Code décision (référence)
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Date de production : année
Date de mise en ligne : année
Date de publication : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Ajouter
Lancer la recherche
Recherche experte (SolR)
Recherche experte (SolR)
Lancer la recherche
Vers la recherche avancée
Déposer
Laboratoire d'informatique de l'X
Accueil
Consultation
Liste des articles
Liste par domaine
Liste par auteurs
×
×
×
Loading...
×
Derniers dépôts
Beniamino Accattoli, Jui-Hsuan Wu. Positive Focusing is Directly Useful.
Proceedings of MFPS XL
, Jun 2024, Oxford, United Kingdom.
⟨10.46298/entics.14758⟩
.
⟨hal-04886376⟩
Beniamino Accattoli, Adrienne Lancelot. Light Genericity.
27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024)
, Apr 2024, Luxembourg City, Luxembourg. pp.24-46,
⟨10.1007/978-3-031-57231-9_2⟩
.
⟨hal-04886354⟩
Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer. Tail Modulo Cons, OCaml, and Relational Separation Logic.
Proceedings of the ACM on Programming Languages
, 2025, 9 (POPL), pp.2337-2363.
⟨10.1145/3704915⟩
.
⟨hal-04884634⟩
Alexander Churkin, Yann Ponty, Danny Barash. IndelsRNAmute: predicting deleterious multiple point substitutions and indels mutations.
BMC Bioinformatics
, 2022, 23 (S8), pp.424.
⟨10.1186/s12859-022-04943-0⟩
.
⟨hal-03815555⟩
Cedric Chauve, Yann Ponty, João Paulo Pereira Zanetti. Evolution of genes neighborhood within reconciled phylogenies: an ensemble approach.
BMC Bioinformatics
, 2015, 16 (Suppl 19), pp.S6.
⟨10.1186/1471-2105-16-S19-S6⟩
.
⟨hal-01245495⟩
Vincent Jacob. High-Dimensional Time Series Anomaly Detection over Heterogeneous Domains. Machine Learning [stat.ML]. Institut Polytechnique de Paris, 2024. English.
⟨NNT : 2024IPPAX068⟩
.
⟨tel-04876865⟩
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański. Languages of Higher-Dimensional Automata.
Mathematical Structures in Computer Science
, 2021, 31 (5), pp.575-613.
⟨10.1017/S0960129521000293⟩
.
⟨hal-04540027⟩
William Aboucaya, Oana Balalau, Rafael Angarita, Valérie Issarny. Finding Conflicts of Opinion in Citizen Participation Platforms.
2024 IEEE International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)
, Dec 2024, Bangkok, Thailand. pp.8.
⟨hal-04870985⟩
Oana Balalau, Francesco Bonchi, T-H. Hubert Chan, Francesco Gullo, Mauro Sozio, et al.. Finding Subgraphs with Maximum Total Density and Limited Overlap in Weighted Hypergraphs.
ACM Transactions on Knowledge Discovery from Data (TKDD)
, 2024, 18 (4), pp.1-21.
⟨10.1145/3639410⟩
.
⟨hal-04870686⟩
Heitor Murilo Gomes, Maciej Grzenda, Rodrigo Fernandes De Mello, Jesse Read, Minh-Huong Le Nguyen, et al.. A Survey on Semi-supervised Learning for Delayed Partially Labelled Data Streams.
ACM Computing Surveys
, 2022, 55 (4), pp.75.
⟨10.1145/3523055⟩
.
⟨hal-04468366⟩
Reynald Lercier, Christophe Ritzenthaler, Florent Rovetta, Jeroen Sijsling, Benjamin Smith. Distributions of traces of Frobenius for smooth plane curves over finite fields.
Experimental Mathematics
, 2019, 28 (1), pp.39-48.
⟨10.1080/10586458.2017.1328321⟩
.
⟨hal-01217995⟩
Léopold Maillard, Nicolas Sereyjol-Garros, Tom Durand, Maks Ovsjanikov. DeBaRA: Denoising-Based 3D Room Arrangement Generation.
The Thirty-Eighth Annual Conference on Neural Information Processing Systems
, Dec 2024, Vancouver (BC), Canada. pp.1 - 16,
⟨10.48550/arXiv.2409.18336⟩
.
⟨hal-04863820⟩
Souhail Hadgi, Lei Li, Maks Ovsjanikov. To Supervise or Not to Supervise: Understanding and Addressing the Key Challenges of Point Cloud Transfer Learning.
ECCV 2024 - European Conference on Computer Vision
, Sep 2024, MiCo Milano, Italy. pp.146-163,
⟨10.1007/978-3-031-73229-4_9⟩
.
⟨hal-04863811⟩
Jean Dercourt, Michel Petit, Hervé Le Treut, Edouard Bard, Susan Solomon, et al.. Évolution des climats.
La lettre de l'Académie des Sciences
, 21, 2007.
⟨hal-04863243⟩
Simo Alami Chehboune. Approche distributionnelle pour l'apprentissage par renforcement inverse par modèles génératifs inversibles : Vers l'apprentissage de récompenses transférables. Computer Science [cs]. Institut Polytechnique de Paris, 2024. English.
⟨NNT : 2024IPPAX006⟩
.
⟨tel-04862322⟩
Albin Ahlbäck, Fredrik Johansson. Fast basecases for arbitrary-size multiplication. 2025.
⟨hal-04861755⟩
Joris van der Hoeven, Grégoire Lecerf. Fast interpolation of multivariate polynomials with sparse exponents.
Journal of Complexity
, 2023, 87, pp.101922.
⟨10.1016/j.jco.2024.101922⟩
.
⟨hal-04366836v3⟩
Ellen Gasparovic, Elizabeth Munch, Steve Oudot, Katharine Turner, Bei Wang, et al.. Intrinsic Interleaving Distance for Merge Trees.
La Matematica
, 2024,
⟨10.1007/s44007-024-00143-9⟩
.
⟨hal-02425600⟩
Jérémie Bettinelli, Éric Fusy, Baptiste Louf. Slit-slide-sew bijections for oriented planar maps. 2024.
⟨hal-04850279⟩
Victoria Barrett, Alessio Guglielmi, Benjamin Ralph. A strictly linear subatomic proof system.
CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic
, Feb 2025, Amsterdam, Netherlands.
⟨hal-04845619⟩
Nombre de documents
2 968
Nombre de notices
1 086
Evolution des dépôts
Répartition des dépôts par type de document