• 
  Jaime Freire de Souza, Leticia Suellen Farias Machado, Edson Satoshi Gomi, Claude Tadonki, Simon Mcintosh-Smith, et al.. Performance of OpenMP loop transformations for the acoustic wave stencil on GPUs. SC22 The International Conference for High Performance Computing, Networking, Storage, and Analysis, Nov 2022, Dallas, United States. . ⟨hal-03888100⟩
• 
  Bruno Massoni Sguerra. Dynamic adaptation of human-computer interfaces using cognitive load tracking. Technology for Human Learning. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM082⟩. ⟨tel-03813674⟩
• 
  Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs. The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms. FARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Aug 2021, Virtual, South Korea. ⟨10.1145/3471872.3472970⟩. ⟨hal-03322174v2⟩
• 
  Pierre Jouvelot, Emilio Jesús Gallego Arias. A Foundational Framework for the Specification and Verification of Mechanism Design. EC'22 - Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States. . ⟨hal-03715847⟩
• 
  Pierre Jouvelot, Emilio Jesús Gallego Arias. A Foundational Framework for the Specification and Verification of Mechanism Design. [Research Report] E-458.PDF, MINES ParisTech - PSL Research University. 2022. ⟨hal-03666871⟩
• 
  Robin Le Conte Des Floris, Cédric Dalmasso, Pierre Jouvelot. The impact of motivation on the quality of project management data: an emailbased communication case study. EURAM 2022 (leading Digital Transformation), School of Managemnt and Law, Jun 2022, Winterthur, Switzerland. ⟨hal-03662794⟩
• 
  Laila Bouhouch, Claude Tadonki, Mostapha Zbakh. Dynamic Data Replication and Placement Strategy in Geographically Distributed data centers. Concurrency and Computation: Practice and Experience, In press, ⟨10.1002/cpe.6858⟩. ⟨hal-03565161⟩
• 
  Blerina Gkotse, Pierre Jouvelot, Federico Ravotti. Ontology Embeddings with ontowalk2vec: an Application to UI Personalisation. [Technical Report] MINES ParisTech - PSL Research University; CERN - Suisse. 2022. ⟨hal-03565114⟩
• 
  Angèle Luccatio, Luc Perera. L'anosmie : un handicap alimentaire. Colloque création-recherche en olfaction, Feb 2022, Toulouse, France. ⟨hal-03519591⟩
• 
  Claude Tadonki. High Performance Optimization at the Door of the Exascale. [Research Report] A-754.pdf, MINES ParisTech - PSL Research University. 2021. ⟨hal-03274458⟩
• 
  Arthur Aubertin. Réseau acoustique de communication bidirectionnelle ultrasonore efficace en milieu fermé. Réseaux et télécommunications [cs.NI]. Université Paris sciences et lettres, 2021. Français. ⟨NNT : 2021UPSLM007⟩. ⟨tel-03264278⟩
• 
  Luc Perera, Pierre Jouvelot. Esprits critiques : application au projet Tala Sound. 7ème édition du Printemps de la Recherche en Éducation, Mar 2021, PARIS, France. . ⟨hal-03245110⟩
• 
  Lucas Massoni Sguerra, Pierre Jouvelot, Emilio Jesús Gallego Arias, Gérard Memmi, Fabien Coelho. Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper). FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States. ⟨hal-03210222⟩
• 
  Guillaume Genestier. Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting. Computation and Language [cs.CL]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG045⟩. ⟨tel-03167579⟩
• 
  Luc Perera, Pierre Jouvelot. Tala Sound, un Projet Interdisciplinaire Innovant en Design Social pour la Santé. Innovations - Revue d’économie et de management de l'innovation, A paraître. ⟨hal-03137520⟩
• 
  Yassine Kriouile, Lamine Bougueroua, Corinne Ancourt, Katarzyna Wegrzyn-Wolska, Jean-Charles Huet. PNAPI Digital Support Platform for Beekeepers. Artificial Intelligence & Industrial Applications (A2IA'2020), Dec 2020, Meknes, Morocco. ⟨hal-03105211⟩
• 
  Jean-Charles Huet, Lamine Bougueroua, Yassine Kriouile, Alain Moretto. Toward an intelligent system architecture for smart agriculture: application to smart beehives. The International Conference on Intelligent Systems Design and Applications (ISDA), Dec 2020, WWW, France. ⟨hal-03105207⟩
• 
  Blerina Gkotse. Génération de systèmes de gestion de données personnalisés fondée sur les ontologies : une application à la physique expérimentale des particules. Operations Research [cs.RO]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM017⟩. ⟨tel-02987043v2⟩
• 
  Alexandre Azevedo, Cristiana Bentes, Maria Clicia Castro, Claude Tadonki. Performance Analysis and Optimization of the Vector-Kronecker Product Multiplication. 11th Workshop on Applications for Multi-Core Architectures (WAMCA 2020), in conjunction the 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Sep 2020, Porto, Portugal. ⟨10.1109/SBAC-PAD49847.2020.00044⟩. ⟨hal-02958782⟩
• 
  Florian Gouin. Méthodologie de placement d'algorithmes de traitement d'images sur architecture massivement parallèle. Traitement des images [eess.IV]. Université Paris sciences et lettres, 2019. Français. ⟨NNT : 2019PSLEM075⟩. ⟨tel-02969012⟩

237

120