Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

10 résultats

Abstractions refinement for hybrid systems diagnosability analysis

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois
DX'17 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. ⟨10.1007/978-3-319-74962-4_11⟩
Communication dans un congrès hal-01676931v1
Image document

A hyperbolic approach for learning communities on graphs

Thomas Gerald , Hadi Zaatiti , Hatem Hajri , Nicolas Baskiotis , Olivier Schwander
Data Mining and Knowledge Discovery, 2023, 37, pp.1090-1124. ⟨10.1007/s10618-022-00902-8⟩
Article dans une revue hal-04022426v1
Image document

A three level trajectory planning for autonomous transportation systems

Duc Thang Nguyen , Hadi Zaatiti , Mohamed Tlig , Jean van Frank
CONGRÈS : SIA Simulation Numérique digital, Apr 2021, En ligne, France
Communication dans un congrès hal-03202335v1

A Practical Hands-on for Learning Graph Data Communities on Manifolds

Thomas Gerald , Hadi Zaatiti , Hatem Hajri
Geometric Structures of Statistical Physics, Information Geometry, and Learning, pp.428-459, 2021, ⟨10.1007/978-3-030-77957-3_21⟩
Chapitre d'ouvrage hal-03295547v1

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois
28th International Workshop on Principles of Diagnosis DX’17, Sep 2017, Brescia, Italy. pp.124-143
Communication dans un congrès hal-01676889v1
Image document

Apprentissage automatique sur des données de type graphe utilisant le plongement de Poincaré et les algorithmes stochastiques riemanniens

Hatem Hajri , Hadi Zaatiti , Georges Hébrail , Patrice Aknin
Conférence Nationale d'Intelligence Artificielle Année 2019, Jul 2019, Toulouse, France
Communication dans un congrès hal-02473573v1

Learning graph-structured data using Poincar\'e embeddings and Riemannian K-means algorithms

Hatem Hajri , Hadi Zaatiti , Georges Hébrail
2019
Pré-publication, Document de travail hal-02339208v1

Automating Abstraction Computations of Hybrid Systems

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois
CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Aug 2018, Hagenberg, Austria
Communication dans un congrès hal-01839897v1
Image document

Introduction to Geometric Learning in Python with Geomstats

Nina Miolane , Nicolas Guigui , Hadi Zaatiti , Christian Shewmake , Hatem Hajri , et al.
SciPy 2020 - 19th Python in Science Conference, Jul 2020, Austin, Texas, United States. pp.48-57, ⟨10.25080/Majora-342d178e-007⟩
Communication dans un congrès hal-02908006v1
Image document

Geomstats: A Python Package for Riemannian Geometry in Machine Learning

Nina Miolane , Nicolas Guigui , Alice Le Brigant , Johan Mathe , Benjamin Hou , et al.
Journal of Machine Learning Research, 2020, 21 (223), pp.1-9
Article dans une revue hal-02536154v2