Search - Archive ouverte HAL Access content directly

Filter your results

35 Results
Structure: Internal structure identifier : 118511
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

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

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
Image document

MiningVis: visual analytics of the Bitcoin mining economy

Natkamon Tovanich , Nicolas Soulié , Nicolas Heulot , Petra Isenberg
IEEE Transactions on Visualization and Computer Graphics, 2022, 28 (1), pp.868-878. ⟨10.1109/TVCG.2021.3114821⟩
Journal articles hal-03348145v1
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
Image document

Visual analytics of bitcoin mining pool evolution : on the road toward stability?

Natkamon Tovanich , Nicolas Soulié , Petra Isenberg
BSC 2020-2021 - 3rd International Workshop on Blockchains and Smart Contracts held in conjunction with the 11th IFIP International Conference on New Technologies, Mobility and Security, Apr 2021, Paris, France. ⟨10.1109/NTMS49979.2021.9432675⟩
Conference papers hal-02902465v2
Image document

Interactive Demo: Visualization for Bitcoin Mining Pools Analysis

Natkamon Tovanich , Nicolas Soulié , Nicolas Heulot , Petra Isenberg
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney (Virtual Conference), Australia. , 2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2021, ⟨10.1109/ICBC51069.2021.9461124⟩
Conference poster hal-03163005v1
Image document

Deep Statistical Solvers

Balthazar Donon , Wenzhuo Liu , Antoine Marot , Zhengying Liu , Isabelle Guyon et al.
NeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtuel, Canada
Conference papers hal-02974541v3
Image document

Decoupling Passenger Flows for Improved Load Prediction

Stefan Haar , Simon Theissing
2016
Preprints, Working Papers, ... hal-01294498v1
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

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

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

Gender in 30 Years of IEEE Visualization

Natkamon Tovanich , Pierre Dragicevic , Petra Isenberg
IEEE Transactions on Visualization and Computer Graphics, 2022, 28 (1), pp.497-507. ⟨10.1109/TVCG.2021.3114787⟩
Journal articles hal-03348149v1
Image document

Language Modelling for Collaborative Filtering: Application to Job Applicant Matching

Thomas Schmitt , François Gonard , Philippe Caillou , Michèle Sebag
ICTAI 2017 - 29th IEEE International Conference on Tools with Artificial Intelligence, Nov 2017, Boston, United States. pp.1-8
Conference papers hal-01659543v1
Image document

An Empirical Analysis of Pool Hopping Behavior in the Bitcoin Blockchain

Natkamon Tovanich , Nicolas Soulié , Nicolas Heulot , Petra Isenberg
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), IEEE Communications Society (ComSoc), May 2021, Sydney / Virtual, Australia. ⟨10.1109/ICBC51069.2021.9461118⟩
Conference papers hal-03163006v3
Image document

Multi-resolution Graph Neural Networks for PDE Approximation

Wenzhuo Liu , Mouadh Yagoubi , Marc Schoenauer
ICANN 2021 - 30th International Conference on Artificial Neural Networks, Sep 2021, Bratislava, Slovakia. pp.151-163, ⟨10.1007/978-3-030-86365-4_13⟩
Conference papers hal-03448278v1
Image document

Integrating Simulink Models into the Model Checker Cosmos

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018
Reports hal-01725835v1
Image document

Decoupling Passenger Flows for Improved Load Prediction

Stefan Haar , Simon Theissing
13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada
Conference papers hal-01330136v1
Image document

A Passenger-centric Multi-agent System Model for Multimodal Public Transportation

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

Visualization of Blockchain Data: A Systematic Review

Natkamon Tovanich , Nicolas Heulot , Jean-Daniel Fekete , Petra Isenberg
IEEE Transactions on Visualization and Computer Graphics, 2019, ⟨10.1109/TVCG.2019.2963018⟩
Journal articles hal-02426339v1