Filter your results
- 166
- 162
- 1
- 125
- 91
- 30
- 29
- 26
- 9
- 7
- 6
- 3
- 1
- 1
- 1
- 3
- 1
- 285
- 60
- 16
- 14
- 9
- 3
- 2
- 2
- 1
- 1
- 11
- 77
- 83
- 41
- 18
- 20
- 8
- 11
- 4
- 2
- 2
- 5
- 3
- 3
- 1
- 5
- 3
- 2
- 1
- 2
- 4
- 3
- 5
- 4
- 4
- 4
- 2
- 1
- 288
- 41
- 329
- 30
- 17
- 16
- 15
- 11
- 11
- 10
- 9
- 9
- 9
- 9
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 29
- 26
- 14
- 14
- 13
- 13
- 12
- 11
- 11
- 10
- 10
- 10
- 9
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
The Number of Optimal Matchings for Euclidean Assignment on the LineJournal of Statistical Physics, 2021, 183 (1), ⟨10.1007/s10955-021-02741-1⟩
Journal articles
hal-03204820v1
|
||
|
A gentle introduction to Girard's Transcendental Syntax5th 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 updating2005 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
|
|||
|
Vérification parallèle de systémes concurrents en utilisant le Graphe d’Observation SymboliqueModélisation et simulation. Université Paris-Nord - Paris XIII; Université de Tunis El Manar, 2019. Français. ⟨NNT : 2019PA131092⟩
Theses
tel-03340239v1
|
||
|
Combinatorics of trees under increasing labellings : asymptotics, bijections and algorithmsData Structures and Algorithms [cs.DS]. Université Paris-Nord - Paris XIII, 2020. English. ⟨NNT : 2020PA131052⟩
Theses
tel-03414946v1
|
||
|
∂ is for Dialectica2022
Preprints, Working Papers, ...
hal-03123968v3
|
||
|
Challenging the Semi-Supervised VAE Framework for Text ClassificationSecond 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
|
||
|
Internal Coalgebras in Cocomplete Categories: Generalizing the Eilenberg-Watts TheoremJournal of Algebra and Its Applications, In press
Journal articles
hal-02510509v1
|
||
|
LTL Model Checking for Communicating Concurrent ProgramsInnovations 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 contemporainSHS Web of Conferences, 2018, 46, pp.08002. ⟨10.1051/shsconf/20184608002⟩
Journal articles
hal-03086023v1
|
||
|
Complexity and Randomness in Group TheoryDe Gruyter, 2020, ⟨10.1515/9783110667028⟩
Books
hal-03531088v1
|
||
|
Elementary remarks about Pisano periods2022
Preprints, Working Papers, ...
hal-03681533v2
|
||
|
Learning from Data and LearnersMachine Learning [cs.LG]. Université Paris-Nord - Paris XIII, 2022. English. ⟨NNT : 2022PA131039⟩
Theses
tel-03935421v1
|
||
|
A New Multivariate Time Series Co-clustering Non-Parametric Model Applied to Driving-Assistance Systems ValidationEuropean 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
|
||
|
Model Checking Dynamic Pushdown Networks with Locks and PrioritiesNETYS, May 2018, Essaouira, Morocco. ⟨10.1007/978-3-030-05529-5_16⟩
Conference papers
hal-03902461v1
|
||
|
Implicit complexity through linear realisability: polynomial time and probabilistic classes2023
Preprints, Working Papers, ...
hal-02458358v2
|
||
|
Author Identification Using Latent Dirichlet Allocation18th 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
|
||
|
Algorithms for solving derivative-free optimization over mixed-integer domainsData Structures and Algorithms [cs.DS]. Université Paris-Nord - Paris XIII, 2022. English. ⟨NNT : 2022PA131019⟩
Theses
tel-03938232v1
|
||
|
Hard Problems In Box-Totally Dual Integral Polyhedra2023
Preprints, Working Papers, ...
hal-03932335v1
|
||
|
Non-linear models for dependency parsingMachine Learning [cs.LG]. Université Paris-Nord - Paris XIII, 2022. English. ⟨NNT : 2022PA131018⟩
Theses
tel-03937947v1
|
||
|
Register Automata for Malware Specificationhe 17th International Conference on Availability, Reliability and Security, 2022, Vienna, Austria
Conference papers
hal-03863310v1
|
||
|
Realizing Implicit Computational Complexity2022
Preprints, Working Papers, ...
hal-03603510v2
|
||
|
Multipliers of a semigroup object in a monoidal category2022
Preprints, Working Papers, ...
hal-03685334v2
|
||
|
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems22nd 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
|
||
|
Unifying Graded Linear Logic and Differential Operators2023
Preprints, Working Papers, ...
hal-03979585v1
|
||
|
Découverte de règles causales dans les graphes de connaissances à l'aide de plongements dans les graphesIC 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 relationsOrlowska, 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 consistencyLuis 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
|
|||
|
The finiteness of logic programming derivations3rd 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 Graphs11th Knowledge Capture Conference, Dec 2021, New York (USA), United States. ⟨10.1145/3460210.3493584⟩
Conference papers
hal-03950705v1
|