( en | de | ru )

 

Disambiguierung von "Ong, Luke"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Expectation Programming.

, , , und . CoRR, (2021)

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.

Kilian Ong

Untersuchung von Schichtsystemen für kristallisierte Dünnschichtsiliziumsolarzellen auf Glas. TU Hamburg, (2009)

Arlene Ong

Hoang Ong

Ratna Ong

Heidrun Ong

 

Weitere Publikationen von Autoren mit dem selben Namen

Nonparametric Hamiltonian Monte Carlo., , und . ICML, Volume 139 von Proceedings of Machine Learning Research, Seite 7336-7347. PMLR, (2021)Higher-Order Model Checking: An Overview.. LICS, Seite 1-15. IEEE Computer Society, (2015)Higher-Order Model Checking (NII Shonan Meeting 2016-4)., , und . NII Shonan Meet. Rep., (2016)Expectation Programming., , , und . CoRR, (2021)Information flow analysis for a dynamically typed language with staged metaprogramming., , und . J. Comput. Secur., 24 (5): 541-582 (2016)Probabilistic Verification Beyond Context-Freeness., , und . LICS, Seite 33:1-33:13. ACM, (2022)Rethinking Variational Inference for Probabilistic Programs with Stochastic Support., , und . NeurIPS, (2022)Nonparametric Involutive Markov Chain Monte Carlo., , und . ICML, Volume 162 von Proceedings of Machine Learning Research, Seite 14802-14859. PMLR, (2022)Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking.. LATA, Volume 7810 von Lecture Notes in Computer Science, Seite 13-41. Springer, (2013)On probabilistic termination of functional programs with continuous distributions., und . PLDI, Seite 1312-1326. ACM, (2021)