Filtrer vos résultats
- 193
- 132
- 46
- 38
- 26
- 15
- 9
- 8
- 5
- 4
- 3
- 1
- 1
- 29
- 29
- 26
- 21
- 21
- 20
- 19
- 17
- 15
- 15
- 15
- 14
- 13
- 11
- 11
- 11
- 11
- 11
- 10
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 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
- 408
- 81
- 26
- 21
- 15
- 4
- 4
- 2
- 2
- 1
- 1
- 481
- 36
- 30
- 28
- 22
- 17
- 17
- 16
- 13
- 12
- 11
- 10
- 10
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
- 481
- 481
- 481
- 481
- 291
- 291
- 114
- 77
- 77
- 68
- 51
- 51
- 50
- 49
- 47
- 43
- 42
- 39
- 37
- 37
- 36
- 35
- 35
- 34
- 34
- 34
- 33
- 33
- 31
- 31
- 30
- 29
- 29
- 28
- 28
- 28
- 28
- 28
- 26
- 26
- 26
- 24
- 23
- 22
- 20
- 20
- 19
- 19
- 19
- 19
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 14
- 14
- 13
- 13
- 13
- 12
- 12
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 425
- 55
- 1
- 267
- 212
- 2
- 1
- 2
- 4
- 4
- 4
- 5
- 3
- 4
- 2
- 1
- 2
- 3
- 5
- 1
- 3
- 4
- 6
- 4
- 2
- 5
- 11
- 13
- 22
- 21
- 47
- 95
- 96
- 70
- 41
|
Lower bounds for algebraic machines, semantically2021
Pré-publication, Document de travail
hal-02487667v2
|
||
Hilbertian (function) algebrasCommunications in Algebra, 2020, 48 (3), pp.961-991. ⟨10.1080/00927872.2019.1670194⟩
Article dans une revue
hal-03251229v1
|
|||
|
Linear realisability over nets and second order quantificationTrends in Linear Logic and Applications, Jul 2023, Rome, Italy
Communication dans un congrès
hal-04131640v1
|
||
La démarche originale de Jean Nicod et son intérêt en sémantique et en sciences cognitivesIntellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 2021, Liberté et Cognition, 75, pp. 257-284
Article dans une revue
hal-03904987v1
|
|||
|
Chiralities in topological vector spaces2020
Pré-publication, Document de travail
hal-02334917v4
|
||
|
Ancrage et robustesse pour le RCPSP: outils exacts et heuristiques23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Communication dans un congrès
hal-03595246v1
|
||
|
A Coq Formalization of Lebesgue Integration of Nonnegative Functions[Research Report] RR-9401, Inria, France. 2021, pp.38
Rapport
hal-03194113v2
|
||
|
Multi-Agent DDPG Based Electric Vehicles Charging Station RecommendationEnergies, 2023, 16 (16), pp.6067. ⟨10.3390/en16166067⟩
Article dans une revue
hal-04366014v1
|
||
An Invariance-guided Stability Criterion for Time Series Clustering Validation2020 25th International Conference on Pattern Recognition (ICPR), IEEE, pp.9296-9303, 2021, ⟨10.1109/ICPR48806.2021.9412020⟩
Proceedings/Recueil des communications
hal-04466998v1
|
|||
|
Formalizing UML State Machines for Automated Verification – A SurveyACM Computing Surveys, 2023, 55 (13s), pp.1-47. ⟨10.1145/3579821⟩
Article dans une revue
hal-04661686v1
|
||
|
strategFTO: Untimed control for timed opacity8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Cyrille Artho; Peter Ölveczky, Dec 2022, Auckland, New Zealand. pp.27-33, ⟨10.1145/3563822.3568013⟩
Communication dans un congrès
hal-03874435v1
|
||
|
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed AutomataElectronic Proceedings in Theoretical Computer Science, 2023, 392, pp.1 - 26. ⟨10.4204/eptcs.392.1⟩
Article dans une revue
hal-04312156v1
|
||
|
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), Apr 2024, Avila, Espagne, Spain. pp.186-195, ⟨10.1145/3605098.3636014⟩
Communication dans un congrès
hal-04654301v1
|
||
Automated Technology for Verification and Analysis, part I21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), 14215, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-45329-8⟩
Proceedings/Recueil des communications
hal-04654311v1
|
|||
Percevoir, identifier l’ironie sur les réseaux sociaux - le rôle du contexte?IdEx Symposium 2021 - PerceptiO La perception et le vivant, Nov 2021, Strasbourg, France
Communication dans un congrès
hal-03772086v1
|
|||
ChêneTALPlateforme d’expérimentation sur des outils de traitement automatique des langues et d’intelligence artificielleJournée plateformes USPN, Feb 2022, Bobigny, France
Poster
hal-03772101v1
|
|||
|
Résolution de problèmes d’optimisation pour les réseaux de transport d’électricité de grande taille avec des méthodes de programmation semi-définie positiveModélisation et simulation. Université Paris-Nord - Paris XIII; Ecole polytechnique (Montréal, Canada). Division du génie sanitaire, 2021. Français. ⟨NNT : 2021PA131013⟩
Thèse
tel-03416774v1
|
||
|
LTL Model Checking of Self Modifying CodeFormal Methods in System Design, 2022, 60 (2)
Article dans une revue
hal-03863361v1
|
||
Simplicial decomposition for large scale quadratic convex programming2017, CTW 2017: Cologne Twente Workshop
Proceedings/Recueil des communications
hal-03907953v1
|
|||
|
Unsupervised Change Detection Analysis in Satellite Image Time Series using Deep Learning Combined with Graph-Based ApproachesIEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2020, 13, pp.1450-1466. ⟨10.1109/JSTARS.2020.2982631⟩
Article dans une revue
hal-02749683v1
|
||
|
Compaction for two models of logarithmic-depth trees: Analysis and ExperimentsRandom Structures and Algorithms, 2022, 61 (1), pp.31-61
Article dans une revue
hal-03371646v1
|
||
L’innovation lexicale en français contemporain : étude linguistique, socio-pragmatique et statistique de la presse féminineFederica Diémoz, Gaétane Dostie, Pascale Hadermann and Florence Lefeuvre. Le français innovant, Peter Lang, 2020, Sciences pour la communication, 978-3-0343-4143-1
Chapitre d'ouvrage
hal-03165626v1
|
|||
|
Exact Solution Methods for the k-Item Quadratic Knapsack ProblemCombinatorial Optimization, 9849, Springer International Publishing, pp.166-176, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-45587-7_15⟩
Chapitre d'ouvrage
hal-03554382v1
|
||
|
Towards correct Blockchain-based business processesCryptography and Security [cs.CR]. Université Paris-Nord - Paris XIII, 2022. English. ⟨NNT : 2022PA131089⟩
Thèse
tel-04071432v1
|
||
|
Autonomous Driving Validation with Model-Based Dictionary ClusteringEuropean Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. ECML PKDD., Sep 2020, Ghent, Belgium
Communication dans un congrès
hal-03544495v1
|
||
|
Study of behaviours via visitable pathsLogical Methods in Computer Science, 2018, 14 (2), pp.7. ⟨10.23638/LMCS-14(2:7)2018⟩
Article dans une revue
hal-02103721v1
|
||
|
Towards Identifying for Evidence of Drain Brain from Web Search Results using Reinforcement LearningLatinX in AI Research Workshop at the 33rd Conference on Neural Information Processing Systems (NeurIPS 2019), Vancouver, Canada., Dec 2019, Vancouver, Canada
Communication dans un congrès
hal-02505993v1
|
||
|
Multitask Easy-First Dependency Parsing: Exploiting Complementarities of Different Dependency Representations28th International Conference on Computational Linguistics, Dec 2020, Barcelona (on line), Spain. ⟨10.18653/v1/2020.coling-main.225⟩
Communication dans un congrès
hal-03168039v1
|
||
Modeling urban dynamics complexity with swarm intelligence processesEPNACS 2010, a satellite meeting within ECCS'10, Sep 2010, Lisbon, Portugal
Communication dans un congrès
hal-03317946v1
|
|||
A methodology for ecological resources management simulation using geographical information systems and interacting agent systemsEcoSummit 2007 - Ecologicla Complexity and Sustainability - Challenges and Opportunities for 21st Century's Ecology, May 2007, Beijing, China
Communication dans un congrès
hal-03317443v1
|