• 
  Lilian Calvet, Nicolas Maignan, Baptiste Brument, Jean Mélou, Silvia Tozza, et al.. Multi-View Normal Estimation - Application to Slanted Plane-sweeping. 9th International Conference on Scale Space and Variational Methods in Computer Vision (SSMV 2023), May 2023, Santa Margherita di Pula, Sardinia, Italy. pp.1-13. ⟨hal-04038245⟩
• 
  Yvain Quéau, Robin Bruneau, Jean Mélou, J.-D. Durou, François Lauze. On Photometric Stereo in the Presence of a Refractive Interface. 9th International Conference on Scale Space and Variational Methods in Computer Vision (SSVM 2023), May 2023, Santa Margherita di Pula, Sardinia, Italy. pp.1-13. ⟨hal-04038233⟩
• 
  Aurélie Hurault, Joao Marques-Silva. Certified Logic-Based Explainable AI: The Case of Monotonic Classifiers. 2023. ⟨hal-04031193⟩
• 
  Vincent Ard, Marylise Onfray, David Aoustin, Éric Bouchet, Guillaume Bruniaux, et al.. The emergence of monumental architecture in Atlantic Europe: a fortified fifth-millennium BC enclosure in western France. Antiquity, 2023, 97 (391), pp.50-69. ⟨10.15184/aqy.2022.169⟩. ⟨hal-04001251⟩
• 
  S. Operto, Patrick Amestoy, Hossein Aghamiry, Stephen Beller, Alfredo Buttari, et al.. Does 3D frequency-domain FWI of full-azimuth/long-offset OBN data feasible? The Gorgon case study. 2023. ⟨hal-03922986⟩
• 
  Neeraj Kumar Singh, Akshay M Fajge, Raju Halder, Md Imran Alam. Formal Verification and Code Generation for Solidity Smart Contracts. Rajiv Pandey, Sam Goundar, and Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, pp.332, In press, 978-0323961462. ⟨hal-04019340⟩
• 
  Bernard Bonnard, Olivier Cots, Boris Wembe. Zermelo Navigation Problems on Surfaces of Revolution and Geometric Optimal Control. 2023. ⟨hal-03209491v4⟩
• 
  Sonia Cafieri, Frédéric Messine. A numerical proof by reliable Global Optimization for a problem of covering a rectangle with circles. HUGO 2022 - XV Workshop on Global Optimization, Sep 2022, Szeged, Hungary. ⟨hal-04001679⟩
• 
  Patrick Amestoy, Olivier Boiteau, Alfredo Buttari, Matthieu Gerest, Fabienne Jézéquel, et al.. Mixed Precision Low Rank Approximations and their Application to Block Low Rank LU Factorization. IMA Journal of Numerical Analysis, 2022, ⟨10.1093/imanum/drac037⟩. ⟨hal-03251738v3⟩
• 
  Julien Desvergnes, Axel Carlier, Wei Tsang Ooi, Vincent Charvillat, Christophe Jouffrais. Does switching between different renderings allow blind people with visual neuroprostheses to better perceive the environment?. Joint International Conference on Digital Inclusion, Assistive Technology & Accessibility (ICCHP-AAATE 2022), Association ICCHP; AAATE : Association for the Advancement of Assistive Technology in Europe, Jul 2022, Lecco, Italy. pp.177-184, ⟨10.35011/icchp-aaate22-p1-23⟩. ⟨hal-03685325v2⟩

565