( en | de | ru )

 

Disambiguierung von "Laurent, Olivier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning to generate training datasets for robust semantic segmentation.

, , , , , , und . WACV, Seite 3882-3893. IEEE, (2024)

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.

Laurent Ntahuga

Thomas Laurent

Laurent Herschke

Thomas Laurent

Laurent Bartholdi

 

Weitere Publikationen von Autoren mit dem selben Namen

An exact correspondence between a typed pi-calculus and polarised proof-nets., und . Theor. Comput. Sci., 411 (22-24): 2223-2238 (2010)Polarized Proof-Nets: Proof-Nets for LC.. TLCA, Volume 1581 von Lecture Notes in Computer Science, Seite 213-227. Springer, (1999)Resource-Tracking Concurrent Games., , und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 27-44. Springer, (2019)Around Classical and Intuitionistic Linear Logics.. LICS, Seite 629-638. ACM, (2018)Type Isomorphisms for Multiplicative-Additive Linear Logic., und . FSCD, Volume 260 von LIPIcs, Seite 26:1-26:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Symmetry-Aware Exploration of Bayesian Neural Network Posteriors., , und . ICLR, OpenReview.net, (2024)An anti-locally-nameless approach to formalizing quantifiers.. CPP, Seite 300-312. ACM, (2021)A Symmetry-Aware Exploration of Bayesian Neural Network Posteriors., , und . CoRR, (2023)Classical isomorphisms of types.. Math. Struct. Comput. Sci., 15 (5): 969-1004 (2005)Syntax vs. semantics: A polarized approach.. Theor. Comput. Sci., 343 (1-2): 177-206 (2005)