Recherche - Inria - Institut national de recherche en sciences et technologies du numérique
  Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Accéder directement au contenu

Filtrer vos résultats

481 résultats
Structure : Identifiant HAL de la structure : 1000994
Page :
triés par
Image document

Lower bounds for algebraic machines, semantically

 Luc Pellissier , Thomas Seiller
2021
Pré-publication, Document de travail hal-02487667v2

Hilbertian (function) algebras

 Laurent Poinsot
Communications in Algebra, 2020, 48 (3), pp.961-991. ⟨10.1080/00927872.2019.1670194⟩
Article dans une revue hal-03251229v1
Image document

Linear realisability over nets and second order quantification

 Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco
Trends 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 cognitives

 Catherine Recanati
Intellectica - 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
Image document

Chiralities in topological vector spaces

 Marie Kerjean
2020
Pré-publication, Document de travail hal-02334917v4
Image document

Ancrage et robustesse pour le RCPSP: outils exacts et heuristiques

 Adèle Pass-Lanneau , Pascale Bendotti , Philippe Chrétienne , Pierre Fouilhoux
23è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
Image document

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

 Sylvie Boldo , François Clément , Florian Faissole , Vincent Martin , Micaela Mayero
[Research Report] RR-9401, Inria, France. 2021, pp.38
Rapport hal-03194113v2
Image document

Multi-Agent DDPG Based Electric Vehicles Charging Station Recommendation

 Khalil Bachiri , Ali Yahyaouy , Hamid Gualous , Maria Malek , Younes Bennani , et al.
Energies, 2023, 16 (16), pp.6067. ⟨10.3390/en16166067⟩
Article dans une revue hal-04366014v1

An Invariance-guided Stability Criterion for Time Series Clustering Validation

 Florent Forest , Alex Mourer , Mustapha Lebbah , Hanane Azzag , Jerome Lacaille
2020 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 Survey

 Étienne André , Shuang Liu , Yang Liu , Christine Choppy , Jun Sun , et al.
ACM Computing Surveys, 2023, 55 (13s), pp.1-47. ⟨10.1145/3579821⟩
Article dans une revue hal-04661686v1

strategFTO: Untimed control for timed opacity

 Étienne André , Shapagat Bolat , Engel Lefaucheux , Dylan Marinho
8th 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
Image document

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata

 Étienne André , Engel Lefaucheux , Didier Lime , Dylan Marinho , Jun Sun
Electronic 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 Distance

 Jesse Reimann , Nico Mansion , James Haydon , Benjamin Bray , Agnishom Chattopadhyay , et al.
39th 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 I

 Étienne André , Jun Sun
21st 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?

 Aude Grezka
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 artificielle

 Aude Grezka , Emmanuel Cartier , Thierry Charnois , Quentin David , Jorge Garcia Flores
Journée plateformes USPN, Feb 2022, Bobigny, France
Poster hal-03772101v1
Image document

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 positive

 Julie Sliwak
Modé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
Image document

LTL Model Checking of Self Modifying Code

 Tayssir Touili , Xin Ye
Formal Methods in System Design, 2022, 60 (2)
Article dans une revue hal-03863361v1

Simplicial decomposition for large scale quadratic convex programming

 Enrico Bettiol , Lucas Létocart , Francesco Rinaldi , Emiliano Traversi
2017, CTW 2017: Cologne Twente Workshop
Proceedings/Recueil des communications hal-03907953v1
Image document

Unsupervised Change Detection Analysis in Satellite Image Time Series using Deep Learning Combined with Graph-Based Approaches

 Ekaterina Kalinicheva , Dino Ienco , Jérémie Sublime , Maria Trocan
IEEE 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
Image document

Compaction for two models of logarithmic-depth trees: Analysis and Experiments

 Olivier Bodini , Antoine Genitrini , Bernhard Gittenberger , Isabella Larcher , Mehdi Naima
Random 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éminine

 Emmanuel Cartier
Federica 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 Problem

 Lucas Létocart , Angelika Wiegele
Combinatorial 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
Image document

Towards correct Blockchain-based business processes

 Ikram Garfatta
Cryptography and Security [cs.CR]. Université Paris-Nord - Paris XIII, 2022. English. ⟨NNT : 2022PA131089⟩
Thèse tel-04071432v1
Image document

Autonomous Driving Validation with Model-Based Dictionary Clustering

 Etienne Goffinet , Mustapha Lebbah , Hanane Azzag , Loic Giraldi
European 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 paths

 Christophe Fouqueré , Myriam Quatrini
Logical Methods in Computer Science, 2018, 14 (2), pp.7. ⟨10.23638/LMCS-14(2:7)2018⟩
Article dans une revue hal-02103721v1
Image document

Towards Identifying for Evidence of Drain Brain from Web Search Results using Reinforcement Learning

 Héctor Murrieta , Ivan Meza , Pegah Alizadeh , Jorge Garcia Flores
LatinX 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
Image document

Multitask Easy-First Dependency Parsing: Exploiting Complementarities of Different Dependency Representations

 Yash Kankanampati , Joseph Le Roux , Nadi Tomeh , Dima Taji , Nizar Habash
28th 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 processes

 Rawan Ghnemat , Cyrille Bertelle , Gérard H.E. Duchamp
EPNACS 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 systems

 Rawan Ghnemat , Cyrille Bertelle , Gérard H.E. Duchamp
EcoSummit 2007 - Ecologicla Complexity and Sustainability - Challenges and Opportunities for 21st Century's Ecology, May 2007, Beijing, China
Communication dans un congrès hal-03317443v1
Page :