Resultados de 1 a 10 de 121 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (79)
- Revistas revisadas por pares (75)
Refinado por:
Lista de Todas as Versões
Yang, Hongseok
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
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, ProceedingsYang, HongseokBerlin, Heidelberg: Springer Berlin Heidelberg 2017Sem texto completo |
| 2 |
Material Type: Ata de Congresso
|
|
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraintsStaton, Sam ; Yang, Hongseok ; Wood, Frank ; Heunen, Chris ; Kammar, OhadProceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.525-534ACMTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Towards verified stochastic variational inference for probabilistic programsLee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier ; Yang, HongseokProceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-33 [Periódico revisado por pares]ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal setsAckerman, Nathanael L ; Freer, Cameron E ; Kaddar, Younesse ; Karwowski, Jacek ; Moss, Sean K ; Roy, Daniel M ; Staton, Sam ; Yang, HongseokarXiv.org, 2023-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal SetsAckerman, Nate ; Freer, Cameron E. ; Kaddar, Younesse ; Karwowski, Jacek ; Moss, Sean ; Roy, Daniel ; Staton, Sam ; Yang, HongseokProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1819-1849, Article 61 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
An Introduction to Probabilistic ProgrammingJan-Willem van de Meent ; Brooks, Paige ; Yang, Hongseok ; Wood, FrankarXiv.org, 2021-10Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Selective X-Sensitive Analysis Guided by Impact Pre-AnalysisOh, Hakjoo ; Lee, Wonchan ; Heo, Kihong ; Yang, Hongseok ; Yi, KwangkeunACM transactions on programming languages and systems, 2016-01, Vol.38 (2), p.1-45, Article 6 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Separation and information hidingO'Hearn, Peter ; Yang, Hongseok ; Reynolds, JohnACM transactions on programming languages and systems, 2009-04, Vol.31 (3), p.1-50 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Design and Implementation of Probabilistic Programming Language AnglicanTolpin, David ; van de Meent, Jan-Willem ; Yang, Hongseok ; Wood, FrankProceedings of the 28th Symposium on the implementation and application of functional programming languages, 2016, p.1-12ACMTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
The Essence of Higher-Order Concurrent Separation LogicKrebbers, Robbert ; Jung, Ralf ; Bizjak, Aleš ; Jourdan, Jacques-Henri ; Dreyer, Derek ; Birkedal, LarsProgramming Languages and Systems, 2017 (10201), p.696-723 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
Resultados de 1 a 10 de 121 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (79)
- Revistas revisadas por pares (75)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (51)
- Book Chapters (43)
- Anais de Congresso (27)
-
Mais opções
Assunto
- Computer Science (58)
- Science & Technology (52)
- Technology (52)
- Computer Science, Software Engineering (34)
- Computer Science, Theory & Methods (31)
- Programming Languages (26)
- Computer Science - Programming Languages (21)
- Separation Logic (13)
- Algorithms (12)
- Applied Sciences (12)
- Exact Sciences And Technology (12)
- Computer Science; Control Theory; Systems (12)
- Semantics (10)
- Probabilistic Inference (10)
- Software (9)
- Logic (9)
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification (8)
- General And Reference -- Cross-Computing Tools And Techniques -- Verification (8)
- Computer Science - Learning (7)
- Computer Simulation (7)
-
Mais opções
Data de Publicação
- Antes de2005 (9)
- 2005Até2009 (15)
- 2010Até2014 (31)
- 2015Até2020 (60)
- Após 2020 (7)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (51)
- Lecture Notes in Computer Science Archive (through to 1996) (51)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (32)
- ACM Digital Library Complete (32)
- Springer Books (32)
- ROAD: Directory of Open Access Scholarly Resources (30)
- Science Citation Index Expanded (Web of Science) (30)
- Open Access Journals (22)
- arXiv.org (22)
- EZB Free E-Journals (15)
- EBSCOhost Computers and Applied Sciences Complete (7)
- Gale Academic OneFile Select (5)
- ScienceDirect - Connect here FIRST to enable access (5)
- EBSCOhost Business Source Complete (5)
- Springer journals (4)
- Springer Nature - Springer Journals All 2022 (3)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (3)
- DOAJ Directory of Open Access Journals (3)
- IEEE Electronic Library (IEL) Conference Proceedings (2)
- Ovid (2)
-
Mais opções
Nome da Publicação
- arXiv.org (22)
- Proceedings Of Acm On Programming Languages (5)
- Arxiv (5)
- Sigplan Notices (5)
- Acm Transactions On Programming Languages And Systems (4)
- Logical Methods In Computer Science (3)
- Acm Sigplan Notices (3)
- Theoretical Computer Science (3)
- Science Of Computer Programming (2)
- Formal Methods In System Design (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 