Publications scientifiques

Toutes nos publications sur HAL

Dernières publications

Communication dans un congrès
06/03/2023
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
Pré-publication, Document de travail
06/03/2023
Spectrogram Inversion for Audio Source Separation via Consistency, Mixing, and Magnitude Constraints
Paul Magron, Tuomas Virtanen
Pré-publication, Document de travail
06/03/2023
Discrete potential mean field games: duality and numerical resolution
Joseph Frédéric Bonnans, Pierre Lavigne, Laurent Pfeiffer
Article dans une revue
06/03/2023
Fast modeling approach of large-scale non-inductive HTS coils under different current supply
Sara Fawaz, Hocine Menana, Bruno Douine, Loïc Queval
Pré-publication, Document de travail
06/03/2023
Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace
Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
Pré-publication, Document de travail
05/03/2023
Au-delà des applications : Substrats et instruments d'interaction
Michel Beaudouin-Lafon
Pré-publication, Document de travail
05/03/2023
Démarche de conception participative d’une application mobile motivationnelle pour l’autogestion de la lombalgie chronique
Florian Debackere, Céline Clavel, Alexandra Roren, François Rannou, Christelle Nguyen, Viet-Thi Tran, Isabelle Boutron, Yosra Messai, Jean-Claude Martin
Pré-publication, Document de travail
05/03/2023
Conception collaborative au travers de versions parallèles en Réalité Augmentée
Arthur Fages, Cédric Fleury, Theophanis Tsandilas
Rapport
04/03/2023
SlowLLM: large language models on consumer hardware
Christophe Cerisara
Pré-publication, Document de travail
02/03/2023
Signal Inpainting from Fourier Magnitudes
Louis Bahrman, Marina Krémé, Paul Magron, Antoine Deleforge

Pages