Filter your results
- 31
- 4
- 16
- 7
- 6
- 3
- 1
- 1
- 1
- 33
- 4
- 3
- 3
- 3
- 1
- 6
- 8
- 2
- 2
- 3
- 5
- 8
- 1
- 34
- 1
- 35
- 13
- 11
- 10
- 5
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 9
- 9
- 8
- 7
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Predicting Traffic Load in Public Transportation Networks2016 American Control Conference, Jul 2016, Boston, United States
Conference papers
hal-01329632v1
|
||
|
Integrating Simulink Models into the Model Checker Cosmos39th 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
|
||
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Conference papers
hal-01491064v1
|
||
|
MiningVis: visual analytics of the Bitcoin mining economyIEEE Transactions on Visualization and Computer Graphics, 2022, 28 (1), pp.868-878. ⟨10.1109/TVCG.2021.3114821⟩
Journal articles
hal-03348145v1
|
||
|
Complementary Deep - Reduced Order ModelEuromech colloquium on Machine learning methods for turbulent separated flows, Jun 2021, Paris, France
Documents associated with scientific events
hal-03608578v1
|
||
|
Multi-Fidelity Transfer Learning for accurate data-based PDE approximationMachine Learning and the Physical Sciences workshop, NeurIPS 2022, Nov 2022, New Orleans, United States
Conference papers
hal-03878200v2
|
||
|
Visual analytics of bitcoin mining pool evolution : on the road toward stability?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
|
||
|
Interactive Demo: Visualization for Bitcoin Mining Pools Analysis2021 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
|
||
|
Deep Statistical SolversNeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtuel, Canada
Conference papers
hal-02974541v3
|
||
|
Decoupling Passenger Flows for Improved Load Prediction2016
Preprints, Working Papers, ...
hal-01294498v1
|
||
|
VAST 2020 Contest Challenge: GraphMatchMaker: Visual Analytics for Graph Comparison and MatchingIEEE Computer Graphics and Applications, 2021, 42 (4), pp.89 - 102. ⟨10.1109/mcg.2021.3091955⟩
Journal articles
hal-03283200v1
|
||
|
Predicting traffic load in public transportation networks2016
Preprints, Working Papers, ...
hal-01286476v2
|
||
|
Algorithm Selector and Prescheduler in the ICON challengeEl-Ghazali Talbi; Amir Nakib. Bioinspired heuristic optimization , Springer Verlag, In press, Computational Intelligence
Book sections
hal-01663174v1
|
||
|
Privacy-Preserving Initial Public Offering using SCALE-MAMBA and Hyperledger FabricChainTech’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 Systems5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States
Conference papers
hal-01242903v1
|
|||
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers
hal-01578297v1
|
||
|
ASAP.V2 and ASAP.V3: Sequential optimization of an Algorithm Selector and a SchedulerOpen Algorithm Selection Challenge 2017 , Sep 2017, Brussels, Belgium. pp.8-11
Conference papers
hal-01659700v1
|
||
|
A Systematic Review of Online Bitcoin VisualizationsPosters 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 processISEE 2018 - IEEE International Systems Engineering Symposium, Oct 2018, Rome, France. pp.1-8, ⟨10.1109/SysEng.2018.8544437⟩
Conference papers
hal-02093003v1
|
|||
|
Time Curves: Folding Time to Visualize Patterns of Temporal Evolution in DataIEEE Transactions on Visualization and Computer Graphics, 2016, 22 (1), ⟨10.1109/TVCG.2015.2467851⟩
Journal articles
hal-01205821v1
|
||
|
The evolution of mining pools and miners’ behaviors in the Bitcoin blockchainIEEE Transactions on Network and Service Management, 2022, 19 (3), pp.3633-3644. ⟨10.1109/TNSM.2022.3159004⟩
Journal articles
hal-03610424v1
|
||
|
Continuous Methods : Adaptively intrusive reduced order model closure2022
Preprints, Working Papers, ...
hal-03879332v1
|
||
|
Gender in 30 Years of IEEE VisualizationIEEE Transactions on Visualization and Computer Graphics, 2022, 28 (1), pp.497-507. ⟨10.1109/TVCG.2021.3114787⟩
Journal articles
hal-03348149v1
|
||
|
Language Modelling for Collaborative Filtering: Application to Job Applicant MatchingICTAI 2017 - 29th IEEE International Conference on Tools with Artificial Intelligence, Nov 2017, Boston, United States. pp.1-8
Conference papers
hal-01659543v1
|
||
|
An Empirical Analysis of Pool Hopping Behavior in the Bitcoin Blockchain2021 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
|
||
|
Multi-resolution Graph Neural Networks for PDE ApproximationICANN 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
|
||
|
Integrating Simulink Models into the Model Checker Cosmos[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
|
||
|
Decoupling Passenger Flows for Improved Load Prediction13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada
Conference papers
hal-01330136v1
|
||
|
A Passenger-centric Multi-agent System Model for Multimodal Public Transportation2016
Preprints, Working Papers, ...
hal-01322956v1
|
||
|
Visualization of Blockchain Data: A Systematic ReviewIEEE Transactions on Visualization and Computer Graphics, 2019, ⟨10.1109/TVCG.2019.2963018⟩
Journal articles
hal-02426339v1
|
- 1
- 2