Loading...
Welcome to the IRIT open archive. The HAL IRIT collection holds most of the institute publications since 2013.
Online help : How to deposit to HAL IRIT
Lastest publications
-
-
-
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18. ⟨hal-04098856⟩
-
Josiane Mothe, Valentina Ciaccio, Fabio Del Frate, Davide De Santis, Mihai Ivanovici, et al.. Education and research projects for preparing young researchers for future career in Earth Observation. International Geoscience and Remote Sensing Symposium (IGARSS 2023), IEEE: Institute of Electrical and Electronics Engineers; GRSS: Geoscience and Remote Sensing Society, Jul 2023, Pasadena, CA, United States. à paraître. ⟨hal-04085119⟩
-
-
-
-
-
Sebastião Quintas, Julie Mauclair, Julien Pinquier. Modélisation individuelle de juges pour la prédiction automatique de l'intelligibilité de la parole. 9èmes Journées de Phonétique Clinique (JPC 2023), Université Toulouse III Paul Sabatier; Université UT2J Toulouse Jean-Jaurès; Hôpitaux de Toulouse; Laboratoire Informatique d’Avignon, Jun 2023, Toulouse, France. à paraître. ⟨hal-04093783⟩
-
Fulltext
7 256
Notices
4 521
Distribution per document type