skip to main content
Mostrar Somente
Refinado por: autor: Yang, Hongseok remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

A step-indexed Kripke Model of Hidden State

Schwinghammer, Jan ; Birkedal, Lars ; Pottier, François ; Reus, Bernhard ; Støvring, Kristian ; Yang, Hongseok

Mathematical Structures in Computer Science, 2013, Vol.23(1), pp.1--54 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Design and Implementation of Probabilistic Programming Language Anglican

Tolpin, David ; Van De Meent, Jan Willem ; Yang, Hongseok ; Wood, Frank

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Denotational validation of higher-order Bayesian inference

Ścibior, Adam ; Kammar, Ohad ; Vákár, Matthijs ; Staton, Sam ; Yang, Hongseok ; Cai, Yufei ; Ostermann, Klaus ; Moss, Sean K. ; Heunen, Chris ; Ghahramani, Zoubin

Proc. ACM Program. Lang. 2, POPL, Article 60 (January 2018)

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Automatically generating features for learning program analysis heuristics

Chae, Kwonsoo ; Oh, Hakjoo ; Heo, Kihong ; Yang, Hongseok

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

The Beta-Bernoulli process and algebraic effects

Staton, Sam ; Stein, Dario ; Yang, Hongseok ; Ackerman, Nathanael L. ; Freer, Cameron E. ; Roy, Daniel M.

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), 141:1-141:15, 2018 [Periódico revisado por pares]

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Two for the Price of One: Lifting Separation Logic Assertions

Thamsborg, Jacob ; Birkedal, Lars ; Yang, Hongseok

Logical Methods in Computer Science, Volume 8, Issue 3 (September 21, 2012) lmcs:997 [Periódico revisado por pares]

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Compositional shape analysis by means of bi-abduction.(Technical report)

Calcagno, Cristiano ; Distefano, Dino ; O'hearn, Peter W. ; Yang, Hongseok

Journal of the Association for Computing Machinery, Nov, 2011, Vol.58(6), p.26:1(66) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstraction Refinement Guided by a Learnt Probabilistic Model

Grigore, Radu ; Yang, Hongseok

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Hamiltonian Monte Carlo for Probabilistic Programs with Discontinuities

Gram-Hansen, Bradley ; Zhou, Yuan ; Kohn, Tobias ; Rainforth, Tom ; Yang, Hongseok ; Wood, Frank

Inaugural Conference on Probabilistic Programming, 2018

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Spreadsheet Probabilistic Programming

Wu, Mike ; Perov, Yura ; Wood, Frank ; Yang, Hongseok

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (7)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (19)
  2. Anais de Congresso  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2011  (2)
  2. 2011Até2012  (2)
  3. 2013Até2015  (4)
  4. 2016Até2018  (9)
  5. Após 2018  (3)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Yang, Hongseok
  2. Yang, H.
  3. Wood, Frank
  4. Staton, Sam
  5. Kammar, Ohad

Buscando em bases de dados remotas. Favor aguardar.