• 
  Luc Perera. Temps, mouvement et mécatronique : expérimentations plastiques en design sonore médical. Design, Arts, Médias, 2024, Design et arts plastiques : points de convergence. ⟨hal-04834675⟩
• 
  Roblex Nana Tchakoute, Claude Tadonki. Experimental Study of Power Consumption of Basic Parallel Programs. 2024 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW), Nov 2024, Hilo, United States. pp.33-41, ⟨10.1109/SBAC-PADW64858.2024.00016⟩. ⟨hal-04819121⟩
• 
  Roblex Nana Tchakoute, Claude Tadonki, Petr Dokladal, Petr Dokladal, Youssef Mesri. A Flexible Operational Framework for Energy Profiling of Programs. 2024 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW), Nov 2024, Hilo, United States. pp.12-22, ⟨10.1109/SBAC-PADW64858.2024.00014⟩. ⟨hal-04819054⟩
• 
  Fatma-Zohra Hannou, Maxime Lefrançois, Pierre Jouvelot, Victor Charpenay, Antoine Zimmermann. A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective. ACM Computing Surveys, 2024, ⟨10.1145/3699954⟩. ⟨hal-04764936⟩
• 
  Lucas Massoni Sguerra, Pierre Jouvelot, Fabien Coelho, Emilio Jesús Gallego Arias, Gérard Memmi. The Price of Smart Contract Privacy. E/465/CRI, Mines Paris - PSL. 2024. ⟨hal-04702045⟩
• 
  Jean-Charles Huet, Lamine Bougueroua, Yassine Kriouile, Katarzyna Wegrzyn-Wolska, Corinne Ancourt. Digital Transformation of Beekeeping through the Use of a Decision Making Architecture. Applied Sciences, 2022, 12 (21), pp.11179. ⟨10.3390/app122111179⟩. ⟨hal-03842015⟩
• 
  Catherine Marechal, Dariusz Mikołajewski, Krzysztof Tyburek, Piotr Prokopowicz, Lamine Bougueroua, et al.. Survey on AI-Based Multimodal Methods for Emotion Detection. High-Performance Modelling and Simulation for Big Data Applications, 11400, Springer International Publishing; Springer International Publishing, pp.325-349, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-16272-6_11⟩. ⟨hal-03812713⟩
• 
  Carla Santana, Ramon C.F. Araújo, Idalmis Milian Sardina, Ítalo A.S. Assis, Tiago Barros, et al.. DeLIA: A Dependability Library for Iterative Applications applied to parallel geophysical problems. Computers & Geosciences, 2024, 191, pp.105662. ⟨10.1016/j.cageo.2024.105662⟩. ⟨hal-04644878⟩
• 
  Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant. A Generic Deskolemization Strategy. Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2024, Balaclava, Mauritius. pp.246-263, ⟨10.29007/g1tm⟩. ⟨hal-04604646⟩
• 
  Olivier Hermant, Wojciech Loboda. Numeric Base Conversion with Rewriting. LPAR 2024 Complementary Volume, May 2024, Balaclava, Mauritius. pp.92-106, ⟨10.29007/21t9⟩. ⟨hal-04604688⟩
• 
  Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot. Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power Requirements. SAMOS 2024 : International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jun 2024, Samos (Greece), Greece. ⟨hal-04604958v2⟩
• 
  Robin Le Conte Des Floris. Effet des biais cognitifs et de l'environnement sur la qualité des données et des informations. Robotique [cs.RO]. Université Paris sciences et lettres, 2024. Français. ⟨NNT : 2024UPSLM004⟩. ⟨tel-04589058⟩
• 
  Lucas Massoni Sguerra. Smart contracts for auctions : from experimental assessment to privacy. Computer science. Université Paris sciences et lettres, 2023. English. ⟨NNT : 2023UPSLM050⟩. ⟨tel-04501109⟩
• 
  Gianpietro Consolaro, Harenome Razanajato, Nelson Lossing, Denis Barthou, Zhen Zhang, et al.. ParameTrick: Coefficient Generalization for Faster Polyhedral Scheduling. IMPACT 2024, 14th International Workshop on Poyhedral Compilation Techniques, Jan 2024, Munich, Germany. ⟨hal-04466672⟩
• 
  Fabien Coelho, Claire Yannou-Medrala. JSON Model: a Lightweight Featureful Description Language for JSON Data Structures. Mines Paris - PSL. 2023. ⟨hal-04415527⟩
• 
  Claire Yannou-Medrala, Fabien Coelho. An Analysis of Defects in Public JSON Schemas. 39èmes journées de la conférence BDA Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France. ⟨hal-04415517⟩
• 
  Claude Stolze, Olivier Hermant, Romain Guillaumé. Towards Formalization and Sharing of Atelier B Proofs with Dedukti. 2024. ⟨hal-04398119⟩
• 
  Maksim Berezov, Corinne Ancourt, Mikhail Kashchenko. Tiling parameters prediction using Machine Learning techniques. The 36th International Workshop on Languages and Compilers for Parallel Computing, Nov 2023, Lexington (Kentucky), United States. ⟨hal-04368770⟩
• 
  Yoan Géran. Encoding impredicative hierarchy of type universes with variables. 2023. ⟨hal-04311936⟩
• 
  Maksim Berezov. Automatic Source-to-Source Optimizations using Machine Learning. Robotics [cs.RO]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLM098⟩. ⟨tel-04307172⟩

273

126