( en | de | ru )

 

Disambiguierung von "Yang, Hongseok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Introduction to Probabilistic Programming

, , , und . (2018)cite arxiv:1809.10756Comment: Under review at Foundations and Trends in Machine Learning.

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.

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Yang Yang

 

Weitere Publikationen von Autoren mit dem selben Namen

Possible worlds and resources: the semantics of BI., , und . Theor. Comput. Sci., 315 (1): 257-305 (2004)α-Stable convergence of heavy-tailed infinitely-wide neural networks., , , und . CoRR, (2021)Blaming the client: on data refinement in the presence of pointers., , , und . Formal Aspects Comput., 22 (5): 547-583 (2010)A Semantic Basis for Local Reasoning., und . FoSSaCS, Volume 2303 von Lecture Notes in Computer Science, Seite 402-416. Springer, (2002)On Nesting Monte Carlo Estimators., , , und . ICML, Volume 80 von Proceedings of Machine Learning Research, Seite 4264-4273. PMLR, (2018)Inference Trees: Adaptive Inference with Exploration, , , , , , und . (2018)cite arxiv:1806.09550.Program Analysis for Overlaid Data Structures., , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 592-608. Springer, (2011)Abstraction for Concurrent Objects., , , und . ESOP, Volume 5502 von Lecture Notes in Computer Science, Seite 252-266. Springer, (2009)Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference., , und . Proc. ACM Program. Lang., 7 (POPL): 335-366 (Januar 2023)Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis., , und . ESOP, Volume 3444 von Lecture Notes in Computer Science, Seite 124-140. Springer, (2005)