Accéder directement au contenu
Documentation
FR
Français (FR)
Anglais (EN)
Se connecter
Collection
LIPN
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 Paris-Nord
Accueil
Consultation
Liste des articles
Liste par domaine
Liste par auteurs
Liste par type de publication
×
×
×
Loading...
×
Derniers dépôts
Gérard Henry Edmond Duchamp, Christophe Tollu, Jean-Gabriel Luque, Vu Nguyen Dinh. About enveloping algebras of direct sums.. 2024.
⟨hal-04565261v2⟩
Sergueï Lenglet, Alan Schmitt. Leaf-First Zipper Semantics.
FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
, Jun 2024, Groningen, Netherlands. pp.1-18.
⟨hal-04571340⟩
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt. Optimizing a Non-Deterministic Abstract Machine with Environments. 2024.
⟨hal-04568253⟩
Hugo Attali, Davide Buscaldi, Nathalie Pernelle. Matrice d'adjacence courbée : intégration de la courbure des arêtes dans la transmission des messages.
24ème conférence francophone sur l'Extraction et la Gestion des Connaissances EGC 2024
, Jan 2024, Dijon, France.
⟨hal-04568325⟩
Marie Kerjean, Jean-Simon Pacaud Lemay. Laplace Distributors and Laplace Transformations for Differential Categories.
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
, Jul 2024, Tallinn, France.
⟨hal-04568289⟩
Ulysse Léchine, Thomas Seiller, Jakob Grue Simonsen. Agafonov's theorem for probabilistic selectors. 2024.
⟨hal-04563952⟩
Sylvie Boldo, François Clément, David Hamelin, Micaela Mayero, Pierre Rousselin. Teaching Divisibility and Binomials with Coq. RR-9547, Inria. 2024, pp.13.
⟨hal-04550762⟩
Daria Pchelina. Densité des arrangements de disques et de sphères : aspects théoriques et computationnels de l’approche de densité locale. Combinatorics [math.CO]. Université Paris-Nord - Paris XIII, 2023. English.
⟨NNT : 2023PA131067⟩
.
⟨tel-04550154⟩
Thomas Seiller, Luc Pellissier, Ulysse Léchine. Unifying lower bounds for algebraic machines, semantically. 2024.
⟨hal-01921942v5⟩
Ulysse Léchine, Thomas Seiller. Kolmogorov time hierarchy and novelty games. 2024.
⟨hal-04539439⟩
Thomas Seiller. Zeta Functions and the (Linear) Logic of Markov Processes. 2024.
⟨hal-02458330v6⟩
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).
Dagstuhl Artifacts Series
, 2023, 9 (1),
⟨10.4230/DARTS.9.1.4⟩
.
⟨hal-04254710⟩
Carole Porrier. Constructions quasipériodiques : ensembles apériodiques de tuiles et sous-arbres induits optimaux dans des pavages substitutifs. Combinatoire [math.CO]. Université Paris-Nord - Paris XIII; Université du Québec à Montréal, 2023. Français.
⟨NNT : 2023PA131059⟩
.
⟨tel-04531045⟩
Andrei Asinowski, Cyril Banderier. From geometry to generating functions: rectangulations and permutations.
Seminaire Lotharingien de Combinatoire
, In press.
⟨hal-04386564v2⟩
Morgan Rogers, Ivan Di Liberti. Topoi with enough points. 2024.
⟨hal-04523900⟩
Gaël Beck, Tarn Duong, Mustapha Lebbah, Hanane Azzag, Christophe Cérin. A distributed approximate nearest neighbors algorithm for efficient large scale mean shift clustering.
Journal of Parallel and Distributed Computing
, 2019, 134, pp.128-139.
⟨10.1016/j.jpdc.2019.07.015⟩
.
⟨hal-04456309⟩
Étienne André, Engel Lefaucheux, Dylan Marinho. Expiring opacity problems in parametric timed automata.
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)
, Jun 2023, Toulouse, France. pp.89-98,
⟨10.1109/ICECCS59891.2023.00020⟩
.
⟨hal-04151207v2⟩
Morgan Rogers, Thomas Seiller, William Troiani. Simplifying normal functors: an old and a new model of λ-calculus. 2024.
⟨hal-04500078⟩
Jérémie Sublime, Guénaël Cabanes, Basarab Matei. Study on the Influence of Diversity and Quality in Entropy Based Collaborative Clustering.
Entropy
, 2019, 21 (10), pp.951.
⟨10.3390/e21100951⟩
.
⟨hal-02549286⟩
Frédérique Bassino, Mathilde Bouvel, Valentin Féray, Lucas Gerin, Adeline Pierrot. The Brownian limit of separable permutations.
Annals of Probability
, 2018, 46 (4), pp.2134 - 2189.
⟨10.1214/17-AOP1223⟩
.
⟨hal-01818309⟩
Nombre de documents
1 141
Nombre de notices
1 144
Evolution des dépôts
Répartition des dépôts par type de document