( en | de | ru )

 

Disambiguierung von "Yang, Hongseok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis.

, , , , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 252-274. Springer, (2015)

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

Inference Trees: Adaptive Inference with Exploration, , , , , , und . (2018)cite arxiv:1806.09550.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)On Correctness of Automatic Differentiation for Non-Differentiable Functions., , , und . NeurIPS, (2020)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)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)Blaming the client: on data refinement in the presence of pointers., , , und . Formal Aspects Comput., 22 (5): 547-583 (2010)Modular verification of preemptive OS kernels., und . ICFP, Seite 404-417. ACM, (2011)Differentiable Algorithm for Marginalising Changepoints., , , und . AAAI, Seite 4828-4835. AAAI Press, (2020)