( en | de | ru )

 

Disambiguation of "Ong, Luke"

Author of the publication

copydeleteadd this publication to your clipboard
Expectation Programming.

, , , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kilian Ong

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

Arlene Ong

Hoang Ong

Ratna Ong

Heidrun Ong

 

Other publications of authors with the same name

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