Filter your results
- 72
- 44
- 1
- 69
- 21
- 7
- 4
- 4
- 4
- 3
- 3
- 1
- 1
- 80
- 25
- 14
- 14
- 7
- 7
- 5
- 4
- 1
- 3
- 35
- 37
- 18
- 6
- 2
- 3
- 6
- 5
- 2
- 106
- 11
- 51
- 21
- 17
- 14
- 7
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 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
- 30
- 12
- 10
- 9
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical SystemsWorkshop 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, 2015Achim D. Brucker and Marina Egea and Martin Gogolla and Frédéric Tuong. CEUR-WS.org, 1512, 2015, CEUR Workshop Proceedings
Books
hal-01321502v1
|
|||
|
Graph-Based Relation Validation MethodKnowledge Engineering and Knowledge Management, Nov 2016, Bologne, Italy
Conference papers
hal-01571800v1
|
||
|
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
|
||
|
A Methodological Framework for Making the Transition From Traditional Innovation Teaching Towards Serious GamesASME 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
|
||
|
Impact de l'information voyageurs sur le comportement des usagers réguliers des transports en commun en situation perturbéeDoctoriales EPIQUE, ARPEGE, Jul 2021, Lille, France
Conference papers
hal-03362632v1
|
||
|
A metamodel of an informational structure for modelbased technology roadmappingTechnological 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.0WETICE 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 networkProceedings 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
|
||
|
Agent based simulation for the design of a mobility service in the Paris-Saclay area23rd 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 ReviewMira-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
|
|||
|
Continuous Methods : Adaptively intrusive reduced order model closure2022
Other publications
hal-03879332v1
|
||
|
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
|
||
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5Archive of Formal Proofs, 2014
Journal articles
hal-01214252v1
|
|||
|
An Event-B based approach for formal modelling and verification of smart contractsAINA 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 System27th 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 AttacksNeural 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
|
|||
|
Estimating Urban Mobility with Mobile Network Geolocation Data MiningData 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.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 EngineeringHuman System Integration Conference, Nov 2021, San Diego, United States
Conference papers
hal-03355804v1
|
|||
|
How to visualise futures studies concepts: Revision of the futures coneFutures, 2022, 143, ⟨10.1016/j.futures.2022.103024⟩
Journal articles
hal-03760498v1
|
||
|
Towards a Digital Twin Framework for Adaptive Last Mile City LogisticsInternational Conference on Smart Sustainable Technologies, Sep 2021, Split, Croatia
Conference papers
hal-03343996v1
|
||
Implementing reinforcement learning for on-demand vehicle rebalancing in MATSimThe 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
|
|||
|
Optimization of Adaptive Cruise Control under UncertaintyInternational Conference on Operations Research and Enterprise Systems (ICORES), Feb 2022, Online Streaming, France
Conference papers
hal-03519146v1
|
||
|
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
|
||
|
A Column-generation-based heuristic for the Electric Autonomous Dial-a-Ride Problem23è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
|
||
|
A Deterministic Annealing Local Search for the Electric Autonomous Dial-a-Ride Problem2022
Preprints, Working Papers, ...
hal-03211499v3
|
||
|
Impact of Entity Graphs on Extracting Semantic RelationsSpringer. 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
|
||
|
Modélisation de l'impact des croyances et de la communication sur la formation et la dynamique des attitudes : une approche multi-agents22è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
|
||
|
Optimisation de formes de coques minces pour des géométries complexes.Optimisation et contrôle [math.OC]. Université Paris-Saclay, 2016. Français. ⟨NNT : 2016SACLV106⟩
Theses
tel-01503061v1
|