2024
Journal articles
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Yassine Kriouile, Corinne Ancourt, Katarzyna Wegrzyn-Wolska, Lamine Bougueroua. Nested object detection using mask R-CNN: application to bee and varroa detection. Neural Computing and Applications, 2024, ⟨10.1007/s00521-024-10393-x⟩. ⟨hal-04706616⟩
- Accès au bibtex
-
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- 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-04819121v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Gianpietro Consolaro, Zhen Zhang, Harenome Razanajato, Nelson Lossing, Nassim Tchoulak, et al.. PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler. 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Mar 2024, Edinburgh, France. pp.28 - 40, ⟨10.1109/cgo57630.2024.10444791⟩. ⟨hal-04887035⟩
- Accès au bibtex
-
- ref_biblio
- Luc Perera. L’interdisciplinarité dans l’interculturalité à travers un dispositif dans le domaine du design sonore auprès des patients Alzheimer.. AD.REC LIMITNOLIMIT, MINISTERE DE LA CULTURE; ENSCI; EnsBAL; CENTRE DE RECHERCHE EN DESIGN; MODE METIERS D'ART DESIGN; PAVILLON DE L'ARSENAL, Jan 2024, PARIS, France. ⟨hal-04602192⟩
- Accès au bibtex
-
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
Book sections
- ref_biblio
- Roblex Nana, Claude Tadonki, Petr Dokládal, Youssef Mesri. Power Consumption in HPC-AI Systems. Artificial Intelligence and High Performance Computing in the Cloud, 1220, Springer Nature Switzerland, pp.89-116, 2024, Lecture Notes in Networks and Systems, 978-3-031-78698-3. ⟨10.1007/978-3-031-78698-3_6⟩. ⟨hal-04861732⟩
- Accès au bibtex
-
- ref_biblio
- Imane Ettifouri, Mostapha Zbakh, Claude Tadonki. The Need for HPC in AI Solutions. Artificial Intelligence and High Performance Computing in the Cloud, 1220, Springer Nature Switzerland, pp.137-159, 2024, Lecture Notes in Networks and Systems, 978-3-031-78698-3. ⟨10.1007/978-3-031-78698-3_8⟩. ⟨hal-04861738⟩
- Accès au bibtex
-
Lectures
- ref_biblio
- Olivier Hermant. Les méthodes formelles. Doctoral. Les méthodes formelles, Maison des polytechniciens (Paris), France. 2024. ⟨hal-04604829⟩
- Accès au bibtex
-
Books
- ref_biblio
- Mostapha Zbakh, Mohammed Essaaidi, Claude Tadonki, Abdellah Touhafi, Dhabaleswar Panda. Artificial Intelligence and High Performance Computing in the Cloud. Springer Nature Switzerland, 1220, 2024, Lecture Notes in Networks and Systems, 978-3-031-78697-6. ⟨10.1007/978-3-031-78698-3⟩. ⟨hal-04861715⟩
- Accès au bibtex
-
Proceedings
- ref_biblio
- Juan Antonio Lossio-Ventura, Eduardo Ceh-Varela, Genoveva Vargas-Solar, Ricardo Marcacini, Claude Tadonki, et al.. Information Management and Big Data. SIMBig: Annual International Conference on Information Management and Big Data, Communications in Computer and Information Science, Springer Cham, 2024, 978-3-031-63616-5. ⟨10.1007/978-3-031-63616-5⟩. ⟨hal-04819237⟩
- Accès au bibtex
-
Reports
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
Theses
- ref_biblio
- 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⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- ref_biblio
- Claude Stolze, Olivier Hermant, Romain Guillaumé. Towards Formalization and Sharing of Atelier B Proofs with Dedukti. 2024. ⟨hal-04398119⟩
- Accès au texte intégral et bibtex
-