Search - Archive ouverte HAL Access content directly

Filter your results

70 Results
Structure: Internal structure identifier : 300009
Image document

Decoupling Passenger Flows for Improved Load Prediction

Stefan Haar , Simon Theissing
2016
Preprints, Working Papers, ... hal-01294498v1
Image document

Attacks, Detection Mechanisms and Their Limits in Named Data Networking (NDN)

Abdelhak Hidouri , Mohamed Hadded , Haifa Touati , Nasreddine Hajlaoui , Paul Muhlethaler et al.
ICCSA 2023 - 23rd International Conference on Computational Science and Its Applications, Jul 2022, Malaga, Spain
Conference papers hal-03933012v1
Image document

VAST 2020 Contest Challenge: GraphMatchMaker: Visual Analytics for Graph Comparison and Matching

Natkamon Tovanich , Alexis Pister , Gaëlle Richer , Paola Valdivia , Christophe Prieur et al.
IEEE Computer Graphics and Applications, 2021, 42 (4), pp.89 - 102. ⟨10.1109/mcg.2021.3091955⟩
Journal articles hal-03283200v1
Image document

A Column-generation-based heuristic for the Electric Autonomous Dial-a-Ride Problem

Yue Su , Nicolas Dupin , Jakob Puchinger
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
Conference papers hal-03595209v1
Image document

A Deterministic Annealing Local Search for the Electric Autonomous Dial-a-Ride Problem

Yue Su , Jakob Puchinger , Nicolas Dupin
2022
Preprints, Working Papers, ... hal-03211499v3
Image document

The StakeCube blockchain : Instantiation, Evaluation & Applications

Antoine Durand , Guillaume Hébert , Khalifa Toumi , Gérard Memmi , Emmanuelle Anceaume et al.
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
Conference papers hal-03024408v1

Mixed-criticality in Railway Systems: A Case Study on Signaling Application

Albert Cohen , Valentin Perrelle , Dumitru Potop-Butucaru , Elie Soubiran , Zhen Zhang et al.
Workshop on Mixed Criticality for Industrial Systems (WMCIS, associated with Ada-Europe), 2014, Paris, France
Conference papers hal-01257243v1
Image document

An efficient FIFO buffer management to ensure task level and effect-chain level data properties

Evariste Ntaryamira , Cristian Maxim , Therence Niyonsaba , Liliana Cucu-Grosjean
ICESS 2020 - IEEE International Conference on Embedded Software and Systems, Dec 2020, Shanghai / Virtual, China. ⟨10.1109/ICESS49830.2020.9301518⟩
Conference papers hal-03097920v1
Image document

Privacy-Preserving Initial Public Offering using SCALE-MAMBA and Hyperledger Fabric

Lucas Benmouffok , Kalpana Singh , Nicolas Heulot , Daniel Augot
ChainTech’2021 is a track of WETICE : the 31st IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Oct 2021, Basque Coast, Bayonne, France
Conference papers hal-03345605v1

A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems

Stefan Haar , Simon Theissing
5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States
Conference papers hal-01242903v1
Image document

Une sémantique formelle pour les modèles Simulink

Béatrice Bérard , Yann Duplouy , Serge Haddad
École d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers hal-01578297v1
Image document

ASAP.V2 and ASAP.V3: Sequential optimization of an Algorithm Selector and a Scheduler

François Gonard , Marc Schoenauer , Michèle Sebag
Open Algorithm Selection Challenge 2017 , Sep 2017, Brussels, Belgium. pp.8-11
Conference papers hal-01659700v1
Image document

A Systematic Review of Online Bitcoin Visualizations

Natkamon Tovanich , Nicolas Heulot , Jean-Daniel Fekete , Petra Isenberg
Posters of the European Conference on Visualization (EuroVis), 2019, Porto, Portugal. ⟨10.2312/eurp.20191148⟩
Conference poster hal-02155171v1

Model of Intention for the model specification verification during the simulation architecture design process

Romain Barbedienne , Olivia Penas , Mouadh Yagoubi , Eric Duceau , Eric Landel et al.
ISEE 2018 - IEEE International Systems Engineering Symposium, Oct 2018, Rome, France. pp.1-8, ⟨10.1109/SysEng.2018.8544437⟩
Conference papers hal-02093003v1
Image document

Time Curves: Folding Time to Visualize Patterns of Temporal Evolution in Data

Benjamin Bach , Conglei Shi , Nicolas Heulot , Tara Madhyastha , Tom Grabowski et al.
IEEE Transactions on Visualization and Computer Graphics, 2016, 22 (1), ⟨10.1109/TVCG.2015.2467851⟩
Journal articles hal-01205821v1
Image document

The evolution of mining pools and miners’ behaviors in the Bitcoin blockchain

Natkamon Tovanich , Nicolas Soulié , Nicolas Heulot , Petra Isenberg
IEEE Transactions on Network and Service Management, 2022, 19 (3), pp.3633-3644. ⟨10.1109/TNSM.2022.3159004⟩
Journal articles hal-03610424v1
Image document

Continuous Methods : Adaptively intrusive reduced order model closure

Emmanuel Menier , Michele Alessandro Bucci , Mouadh Yagoubi , Lionel Mathelin , Thibault Dairay et al.
2022
Preprints, Working Papers, ... hal-03879332v1
Image document

Secure Producer Mobility in Information-Centric Network

Alberto Compagno , Xuan Zeng , Luca Muscariello , Giovanna Carofiglio , Jordan Auge et al.
ICN '17 Proceedings of the 4th ACM Conference on Information-Centric Networking, Sep 2017, Berlin, Germany
Conference papers hal-01700774v1
Image document

Predicting traffic load in public transportation networks

Stefan Haar , Simon Theissing
2016
Preprints, Working Papers, ... hal-01286476v2
Image document

Algorithm Selector and Prescheduler in the ICON challenge

François Gonard , Marc Schoenauer , Michèle Sebag
El-Ghazali Talbi; Amir Nakib. Bioinspired heuristic optimization , Springer Verlag, In press, Computational Intelligence
Book sections hal-01663174v1
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
Journal articles hal-02536154v2
Image document

Mixed-criticality in Railway Systems: A Case Study on Signalling Application

Albert Cohen , Valentin Perrelle , Dumitru Potop-Butucaru , Elie Soubiran , Zhen Zhang et al.
Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014), Jun 2014, Paris, France
Conference papers hal-01095111v1
Image document

Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores

Albert Cohen , Valentin Perrelle , Dumitru Potop-Butucaru , Marc Pouzet , Elie Soubiran et al.
International Conference on Embedded and Real-Time Software and Systems (ERTS2), Jan 2016, Toulouse, France
Conference papers hal-01425887v1
Image document

Predicting Traffic Load in Public Transportation Networks

Stefan Haar , Simon Theissing
2016 American Control Conference, Jul 2016, Boston, United States
Conference papers hal-01329632v1
Image document

Statistical Model-Checking for Autonomous Vehicle Safety Validation

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Conference papers hal-01491064v1

Integrating Simulink Models into the Model Checker Cosmos

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Conference papers hal-01916467v1
Image document

Tetrahedral Remeshing in the Context of Large-Scale Numerical Simulation and High Performance Computing

Guillaume Balarac , Francesca Basile , Pierre Bénard , Felipe Bordeu , Jean-Baptiste Chapelier et al.
MathematicS In Action, 2022, 11 (1), pp.129-164. ⟨10.5802/msia.22⟩
Journal articles hal-03344779v1
Image document

A Deterministic Annealing Local Search for the Electric Autonomous Dial-a-Ride Problem

Yue Su , Nicolas Dupin , Jakob Puchinger
ROADEF2021, 22ème congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision, Apr 2021, Mulhouse, France
Conference papers hal-03197153v1
Image document

Complementary Deep - Reduced Order Model

Emmanuel Menier , Michele Alessandro Bucci , Mouadh Yagoubi , Marc Schoenauer
Euromech colloquium on Machine learning methods for turbulent separated flows, Jun 2021, Paris, France
Documents associated with scientific events hal-03608578v1
Image document

Multi-Fidelity Transfer Learning for accurate data-based PDE approximation

Wenzhuo Liu , Mouadh Yagoubi , David Danan , Marc Schoenauer
Machine Learning and the Physical Sciences workshop, NeurIPS 2022, Nov 2022, New Orleans, United States
Conference papers hal-03878200v2