Search - Archive ouverte HAL Access content directly

Filter your results

117 Results
Structure: Internal structure identifier : 419361
Image document

Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems

Juliette Mattioli , Gabriel Pedroza , Souhaiel Khalfaoui , Bertrand Leroy
Workshop on Artificial Intelligence Safety (SafeAI), Feb 2022, virtual, Canada
Conference papers hal-03622260v1

Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015

Achim D. Brucker , Marina Egea , Martin Gogolla , Frédéric Tuong
Achim D. Brucker and Marina Egea and Martin Gogolla and Frédéric Tuong. CEUR-WS.org, 1512, 2015, CEUR Workshop Proceedings
Books hal-01321502v1
Image document

Graph-Based Relation Validation Method

Rashedur Rahman , Brigitte Grau , Sophie Rosset
Knowledge Engineering and Knowledge Management, Nov 2016, Bologne, Italy
Conference papers hal-01571800v1
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
Image document

A Methodological Framework for Making the Transition From Traditional Innovation Teaching Towards Serious Games

Yiming Ma , Flore Vallet , François Cluzel , Bernard Yannou
ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Aug 2020, Virtual, United States. ⟨10.1115/DETC2020-22754⟩
Conference papers hal-03035863v1
Image document

Impact de l'information voyageurs sur le comportement des usagers réguliers des transports en commun en situation perturbée

Pascal Un , Sonia Adelé , Jean-Marie Burkhardt , Flore Vallet
Doctoriales EPIQUE, ARPEGE, Jul 2021, Lille, France
Conference papers hal-03362632v1
Image document

A metamodel of an informational structure for modelbased technology roadmapping

Ilya Yuskevich , Andreas Makoto Hein , Kahina Amokrane , Abdelkrim Doufene , Marija Jankovic et al.
Technological Forecasting and Social Change, 2021, 173, pp.121103. ⟨10.1016/j.techfore.2021.121103⟩
Journal articles hal-03330657v1

Blockchain based privacy aware distributed access management framework for industry 4.0

Asma Lahbib , Khalifa Toumi , Anis Laouiti , Steven Martin
WETICE 2021: IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Oct 2021, Bayonne (online), France. pp.51-56, ⟨10.1109/WETICE53228.2021.00021⟩
Conference papers hal-03591078v1

Designing a data visualisation and analysis tool for supporting decision-making with public transportation network

Flore Vallet , Mostepha Khouadjia , Ahmed Amrani , Juliette Pouzet
Proceedings of the International Conference on Engineering Design - ICED'21, Aug 2021, Gothenburg, Sweden. pp.1093-1102, ⟨10.1017/pds.2021.109⟩
Conference papers hal-03329670v1
Image document

Agent based simulation for the design of a mobility service in the Paris-Saclay area

Tarek Chouaki , Jakob Puchinger
23rd EURO Working Group on Transportation Meeting (EWGT), Sep 2020, Paphos, Cyprus
Conference papers hal-02945177v2

The Integration of Innovative Mobility into the Urban Transport Network: A Literature Review

Ayman Mahmoud , Tarek Chouaki , Jakob Puchinger
Mira-Bonnardel S., Antonialli F., Attias D. (eds). The Robomobility Revolution of Urban Public Transport, Springer, pp.153-166, 2021, Transportation Research, Economics and Policy., 978-3-030-72975-2. ⟨10.1007/978-3-030-72976-9_7⟩
Book sections hal-03332187v1
Image document

Continuous Methods : Adaptively intrusive reduced order model closure

Emmanuel Menier , Michele Alessandro Bucci , Mouadh Yagoubi , Lionel Mathelin , Thibault Dairay et al.
2022
Other publications hal-03879332v1
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

Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5

Achim D. Brucker , Frédéric Tuong , Burkhart Wolff
Archive of Formal Proofs, 2014
Journal articles hal-01214252v1
Image document

An Event-B based approach for formal modelling and verification of smart contracts

Asma Lahbib , Abderrahim Ait Wakrime , Anis Laouiti , Khalifa Toumi , Steven Martin et al.
AINA 2020: 34th International Conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1303-1318, ⟨10.1007/978-3-030-44041-1_111⟩
Conference papers hal-02928201v1

Deep Learning for In-Vehicle Intrusion Detection System

Elies Gherbi , Blaise Hanczar , Jean-Christophe Janodet , Witold Klaudel
27th International Conference on Neural Information Processing (ICONIP 2020), Nov 2020, Bangkok, Thailand. pp.50--58, ⟨10.1007/978-3-030-63820-7_6⟩
Conference papers hal-03046673v1

Safety and Robustness of Deep Neural Networks Object Recognition Under Generic Attacks

Mallek Mziou Sallami , Mohamed Ibn Khedher , Asma Trabelsi , Samy Kerboua-Benlarbi , Dimitri Bettebghor et al.
Neural Information Processing, 1142, Springer International Publishing, pp.274-286, 2019, Communications in Computer and Information Science, ⟨10.1007/978-3-030-36808-1_30⟩
Book sections hal-03877931v1
Image document

Estimating Urban Mobility with Mobile Network Geolocation Data Mining

Danya Bachir
Data Analysis, Statistics and Probability [physics.data-an]. Télécom SudParis (Institut Mines-Télécom); Université Paris Saclay, 2019. English. ⟨NNT : ⟩
Theses tel-02043700v1

Is one meter enough? Assessing the impacts of domestic electric vehicle-only rate adoption via submetering.

Icaro Silvestre Freitas Gomes , Adam Abdin , Jakob Puchinger , Yannick Perez
Energy, COVID, and Climate Change, 1st IAEE Online Conference, Jun 2021, Paris, France
Conference papers hal-03339029v1

A Meta-Model for integrating Human Factors into System Engineering

Kahina Amokrane , Andreas Makoto Hein
Human System Integration Conference, Nov 2021, San Diego, United States
Conference papers hal-03355804v1
Image document

How to visualise futures studies concepts: Revision of the futures cone

Tjark Gall , Flore Vallet , Bernard Yannou
Journal articles hal-03760498v1
Image document

Towards a Digital Twin Framework for Adaptive Last Mile City Logistics

Abdelhadi Belfadel , Sebastian Hörl , Rodrigo Javier Tapia , Jakob Puchinger
International Conference on Smart Sustainable Technologies, Sep 2021, Split, Croatia
Conference papers hal-03343996v1

Implementing reinforcement learning for on-demand vehicle rebalancing in MATSim

Tarek Chouaki , Sebastian Hörl , Jakob Puchinger
The 13th International Conference on Ambient Systems, Networks and Technologies (ANT), Mar 2022, Porto, Portugal. pp.134-141, ⟨10.1016/j.procs.2022.03.020⟩
Conference papers hal-03654854v1
Image document

Optimization of Adaptive Cruise Control under Uncertainty

Shangyuan Zhang , Makhlouf Hadji , Abdel Lisser , Yacine Mezali
International Conference on Operations Research and Enterprise Systems (ICORES), Feb 2022, Online Streaming, France
Conference papers hal-03519146v1
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

Impact of Entity Graphs on Extracting Semantic Relations

Rashedur Rahman , Brigitte Grau , Sophie Rosset
Springer. Information Management and Big Data.4th Annual International Symposium, SIMBig 2017, Lima, Peru, September 4-6, 2017, Revised Selected Papers, 795, pp.31-47, 2018, Communications in Computer and Information Science, ⟨10.1007/978-3-319-90596-9_3⟩
Book sections hal-01802577v1
Image document

Modélisation de l'impact des croyances et de la communication sur la formation et la dynamique des attitudes : une approche multi-agents

Kei-Léo Brousmiche , Jean-Daniel Kant , Nicolas Sabouret
22èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA'14), Oct 2014, Loriol-sur-Drôme, France. ⟨10.13140/2.1.1500.3846⟩
Conference papers hal-01852249v1
Image document

Optimisation de formes de coques minces pour des géométries complexes.

Sarah Julisson
Optimisation et contrôle [math.OC]. Université Paris-Saclay, 2016. Français. ⟨NNT : 2016SACLV106⟩
Theses tel-01503061v1