skip to main content

Idioma:

Resultados 1 - 10 de 38 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4

next page

Mostrar solo

Recursos en línea (34)
Revistas arbitradas (13)

Refinado por: autor: Yang, Hongseok

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Acta de Congreso		Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints Staton, Sam ; Yang, Hongseok ; Wood, Frank ; Heunen, Chris ; Kammar, Ohad Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.525-534 New York, NY, USA: ACM Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Artículo		Towards verified stochastic variational inference for probabilistic programs Lee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier ; Yang, Hongseok Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-33 [Revista revisada por pares] ACM Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
3	Material Type: Acta de Congreso		Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings Yang, Hongseok Berlin, Heidelberg: Springer Berlin Heidelberg 2017 Sin texto completo Servicios adicionales Detalles Comentarios y Etiquetas Veces citado Citas Citado por
4	Material Type: Artículo		Selective X-Sensitive Analysis Guided by Impact Pre-Analysis Oh, Hakjoo ; Lee, Wonchan ; Heo, Kihong ; Yang, Hongseok ; Yi, Kwangkeun ACM transactions on programming languages and systems, 2016-01, Vol.38 (2), p.1-45, Article 6 [Revista revisada por pares] New York, NY, USA: ACM Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
5	Material Type: Artículo		Separation and Information Hiding O'HEARN, Peter W ; YANG, Hongseok ; REYNOLDS, John C ACM transactions on programming languages and systems, 2009-04, Vol.31 (3), p.1-50 [Revista revisada por pares] New York, NY: Association for Computing Machinery Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
6	Material Type: Artículo		Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets Ackerman, Nathanael L ; Freer, Cameron E ; Kaddar, Younesse ; Karwowski, Jacek ; Moss, Sean K ; Roy, Daniel M ; Staton, Sam ; Yang, Hongseok arXiv.org, 2023-12 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference Lee, Wonyeol ; Rival, Xavier ; Yang, Hongseok arXiv.org, 2022-11 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	Material Type: Artículo		An Introduction to Probabilistic Programming Jan-Willem van de Meent ; Brooks, Paige ; Yang, Hongseok ; Wood, Frank arXiv.org, 2021-10 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: Artículo		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-02, Vol.23 (1), p.1-54 [Revista revisada por pares] Cambridge, UK: Cambridge University Press Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
10	Material Type: Artículo		Linearizability with Ownership Transfer Gotsman, Alexey ; Yang, Hongseok Logical methods in computer science, 2013-09, Vol.9, Issue 3 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por

Resultados 1 - 10 de 38 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4

next page

Personalizar los resultados

Editar

RSS

Añadir página a Mi Portal

Refine Search Results

Ampliar mis resultados

Ampliar mis resultados

Mostrar solo

Recursos en línea (34)
Revistas arbitradas (13)

con este tema:

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora