Search - Archive ouverte HAL Access content directly

Filter your results

329 Results
Structure: Internal structure identifier : 1000994
Image document

The Number of Optimal Matchings for Euclidean Assignment on the Line

Sergio Caracciolo , Vittorio Erba , Andrea Sportiello
Journal of Statistical Physics, 2021, 183 (1), ⟨10.1007/s10955-021-02741-1⟩
Journal articles hal-03204820v1
Image document

A gentle introduction to Girard's Transcendental Syntax

Boris Eng , Thomas Seiller
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Conference papers lirmm-03271496v1

Evolutive complex scheduling in interaction networks for quality improvment in geographical data base updating

Hakima Kadri-Dahmani , Cyrille Bertelle , Gerard H.E. Duchamp , Aomar Osmani
2005 12th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2005), Dec 2005, Gammarth, France. pp.1-4, ⟨10.1109/ICECS.2005.4633616⟩
Conference papers hal-03317600v1
Image document

Vérification parallèle de systémes concurrents en utilisant le Graphe d’Observation Symbolique

Hiba Ouni
Modélisation et simulation. Université Paris-Nord - Paris XIII; Université de Tunis El Manar, 2019. Français. ⟨NNT : 2019PA131092⟩
Theses tel-03340239v1
Image document

Combinatorics of trees under increasing labellings : asymptotics, bijections and algorithms

Mehdi Naima
Data Structures and Algorithms [cs.DS]. Université Paris-Nord - Paris XIII, 2020. English. ⟨NNT : 2020PA131052⟩
Theses tel-03414946v1
Image document

∂ is for Dialectica

Marie Kerjean , Pierre-Marie Pédrot
Preprints, Working Papers, ... hal-03123968v3

Challenging the Semi-Supervised VAE Framework for Text Classification

Ghazi Felhi , Joseph Le Roux , Djamé Seddah
Second Workshop on Insights from Negative Results in NLP (colocated with EMNLP), Nov 2021, Punta Cana, Dominican Republic. ⟨10.18653/v1/2021.insights-1.19⟩
Conference papers hal-03540081v1
Image document

Internal Coalgebras in Cocomplete Categories: Generalizing the Eilenberg-Watts Theorem

Laurent Poinsot , Hans-E Porst
Journal of Algebra and Its Applications, In press
Journal articles hal-02510509v1
Image document

LTL Model Checking for Communicating Concurrent Programs

Adrien Pommellet , Tayssir Touili
Innovations in Systems and Software Engineering, 2020
Journal articles hal-03033654v1

Détection automatique, description linguistique et suivi des néologismes en corpus : point d'étape sur les tendances du français contemporain

Emmanuel Cartier , Jean-François Sablayrolles , Najet Boutmgharine , John Humbley , Massimo Bertocci et al.
SHS Web of Conferences, 2018, 46, pp.08002. ⟨10.1051/shsconf/20184608002⟩
Journal articles hal-03086023v1

Complexity and Randomness in Group Theory

Frédérique Bassino , Ilya Kapovich , Markus Lohrey , Alexei Miasnikov , Cyril Nicaud et al.
De Gruyter, 2020, ⟨10.1515/9783110667028⟩
Books hal-03531088v1
Image document

Elementary remarks about Pisano periods

Gérard Henry Edmond Duchamp , Pierre Simonnet
Preprints, Working Papers, ... hal-03681533v2
Image document

Learning from Data and Learners

Yohan Foucade
Machine Learning [cs.LG]. Université Paris-Nord - Paris XIII, 2022. English. ⟨NNT : 2022PA131039⟩
Theses tel-03935421v1
Image document

A New Multivariate Time Series Co-clustering Non-Parametric Model Applied to Driving-Assistance Systems Validation

Etienne Goffinet , Mustapha Lebbah , Hanene Azzag , Anthony Coutant , Loïc Giraldi et al.
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases - Workshop on Advanced Analytics and Learning on Temporal Data A modern web site, Sep 2021, Online, Spain
Conference papers hal-03544052v1
Image document

Model Checking Dynamic Pushdown Networks with Locks and Priorities

Marcio Diaz , Tayssir Touili
NETYS, May 2018, Essaouira, Morocco. ⟨10.1007/978-3-030-05529-5_16⟩
Conference papers hal-03902461v1
Image document

Implicit complexity through linear realisability: polynomial time and probabilistic classes

Thomas Seiller
Preprints, Working Papers, ... hal-02458358v2
Image document

Author Identification Using Latent Dirichlet Allocation

Hiram Calvo , Ángel Hernández-Castañeda , Jorge Garcia Flores
18th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2017, Apr 2017, Budapest (Hungary)., Hungary. pp.303-312, ⟨10.1007/978-3-319-77116-8_22⟩
Conference papers hal-03907314v1
Image document

Algorithms for solving derivative-free optimization over mixed-integer domains

Juan José Torres Figueroa
Data Structures and Algorithms [cs.DS]. Université Paris-Nord - Paris XIII, 2022. English. ⟨NNT : 2022PA131019⟩
Theses tel-03938232v1
Image document

Hard Problems In Box-Totally Dual Integral Polyhedra

Patrick Chervet , Roland Grappe , Mathieu Lacroix , Francesco Pisanu , Roberto Wolfler Calvo et al.
Preprints, Working Papers, ... hal-03932335v1
Image document

Non-linear models for dependency parsing

Xudong Zhang
Machine Learning [cs.LG]. Université Paris-Nord - Paris XIII, 2022. English. ⟨NNT : 2022PA131018⟩
Theses tel-03937947v1
Image document

Register Automata for Malware Specification

Tayssir Touili
he 17th International Conference on Availability, Reliability and Security, 2022, Vienna, Austria
Conference papers hal-03863310v1
Image document

Realizing Implicit Computational Complexity

Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
Preprints, Working Papers, ... hal-03603510v2
Image document

Multipliers of a semigroup object in a monoidal category

Laurent Poinsot
Preprints, Working Papers, ... hal-03685334v2
Image document

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Jaime Arias , Carlos E. Budde , Wojciech Penczek , Laure Petrucci , Teofil Sidoruk et al.
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapore, Singapore. pp.3-19, ⟨10.1007/978-3-030-63406-3_1⟩
Conference papers hal-02902348v1
Image document

Unifying Graded Linear Logic and Differential Operators

Flavien Breuvart , Marie Kerjean , Simon Mirwasser
Preprints, Working Papers, ... hal-03979585v1
Image document

Découverte de règles causales dans les graphes de connaissances à l'aide de plongements dans les graphes

L Simonne , N Pernelle , F Saïs , Rallou Thomopoulos
IC 2022 : 33èmes Journées francophones d'Ingénierie des Connaissances, Jun 2022, Saint-Etienne, France
Conference papers hal-03820025v1

Axiomatization of logics based on Kripke models with relative accessibility relations

Philippe Balbiani
Orlowska, Ewa. Incomplete Information: Rough Set Analysis, STUDFUZZ 13 (Chapter 17), Physica-Verlag, pp.553--578, 1998, Studies in Fuzziness and Soft Computing, 978-3-7908-2457-5. ⟨10.1007/978-3-7908-1888-8_17⟩
Book sections istex hal-04010145v1

A promenade from provability to consistency

Philippe Balbiani
Luis Fariñas del Cerro; Martti Penttonen. Intensional Logics for Programming, Oxford University Press, pp.195--219, 1992, Studies in Logic and Computation, 978-0198537755
Book sections hal-04011846v1
Image document

The finiteness of logic programming derivations

Philippe Balbiani
3rd International Conference on Algebraic and Logic Programming (ALP 1992), Sep 1992, Volterra, Italy. pp.403-419, ⟨10.1007/BFb0013840⟩
Conference papers istex hal-03252315v1

Differential Causal Rules Mining in Knowledge Graphs

Lucas Simonne , Nathalie Pernelle , Fatiha Saïs , Rallou Thomopoulos
11th Knowledge Capture Conference, Dec 2021, New York (USA), United States. ⟨10.1145/3460210.3493584⟩
Conference papers hal-03950705v1