( en | de | ru )

 

Disambiguierung von "Clément, François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Coq Formalization of the Bochner integral.

, , und . CoRR, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Clément Grimal

Clément Ménier

Clément Dupont

Clément Quinton

Felix Clément

 

Weitere Publikationen von Autoren mit dem selben Namen

Arcuate fasciculus architecture is associated with individual differences in pre-attentive detection of unpredicted music changes., , , , , , , , und . NeuroImage, (2021)The interplay between domain-general and domain-specific mechanisms during the time-course of verbal associative learning: An event-related potential study., , , , , und . NeuroImage, (2021)A Coq Formalization of the Bochner integral., , und . CoRR, (2022)A Coq Formalization of Lebesgue Integration of Nonnegative Functions., , , , und . CoRR, (2021)Constructing Optimal L∞ Star Discrepancy Sets., , , und . CoRR, (2023)A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem., , , , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 39-55. Springer, (2023)Star discrepancy subset selection: Problem formulation and efficient approaches for low dimensions., , und . J. Complex., (2022)Tracking the microstructural properties of the main white matter pathways underlying speech processing in simultaneous interpreters., , , , , und . NeuroImage, (2019)Lebesgue Induction and Tonelli's Theorem in Coq., , , , und . CoRR, (2022)The Badalona Corpus - An Audio, Video and Neuro-Physiological Conversational Dataset., , , , , , , und . LREC, Seite 5170-5177. European Language Resources Association, (2022)