E-LIB Suche - Ergebnisse für: Freer, Cameron E.

1

GenSQL: A Probabilistic Programming System for Querying Gen..:

Huot, Mathieu ; Ghavami, Matin ; Lew, Alexander K....
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 790-815 , 2024

Link: https://doi.org/10.1145/..

2

Probabilistic Programming Interfaces for Random Graphs: Mar..:

Ackerman, Nate ; Freer, Cameron E. ; Kaddar, Younesse...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1819-1849 , 2024

Link: https://doi.org/10.1145/..

3

An introduction to feedback Turing computability:

Lubarsky, Robert S ; Freer, Cameron E ; Ackerman, Nathanael L
Journal of Logic and Computation. 30 (2020) 1 - p. 27-60 , 2020

Link: https://doi.org/10.1093/..

4

Optimal approximate sampling from discrete probability dist..:

Saad, Feras A. ; Freer, Cameron E. ; Rinard, Martin C..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-31 , 2019

Link: https://doi.org/10.1145/..

5

On the Computability of Conditional Probability:

Ackerman, Nathanael L. ; Freer, Cameron E. ; Roy, Daniel M.
Journal of the ACM (JACM). 66 (2019) 3 - p. 1-40 , 2019

Link: https://dl.acm.org/doi/1..

6

Algorithmic barriers to representing conditional independen..:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Ackerman, Nathanael L. ; Avigad, Jeremy ; Freer, Cameron E... - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

7

On the Computability of Conditional Probability:

Ackerman, Nathanael L. ; Freer, Cameron E. ; Roy, Daniel M.
Journal of the ACM. 66 (2019) 3 - p. 1-40 , 2019

Link: https://doi.org/10.1145/..

8

Optimal approximate sampling from discrete probability dist..:

Saad, Feras A. ; Freer, Cameron E. ; Rinard, Martin C..
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-31 , 2019

Link: https://dl.acm.org/doi/1..

9

On computability and disintegration:

ACKERMAN, NATHANAEL L. ; FREER, CAMERON E. ; ROY, DANIEL M.
Mathematical Structures in Computer Science. 27 (2016) 8 - p. 1287-1314 , 2016

Link: https://doi.org/10.1017/..

10

Feedback Turing Computability, and Turing Computability as ..:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Ackerman, Nathanael L. ; Freer, Cameron E. ; Lubarsky, Robert S. - p. 523-534 , 2015

Link: https://dl.acm.org/doi/1..

11

Towards common-sense reasoning via conditional simulation: ..:

, In: Turing's Legacy,

Freer, Cameron E. ; Roy, Daniel M. ; Tenenbaum, Joshua B. - p. 195-252 , 2014

Link: https://doi.org/10.1017/..

12

Computable de Finetti measures:

Freer, Cameron E. ; Roy, Daniel M.
Annals of Pure and Applied Logic. 163 (2012) 5 - p. 530-546 , 2012

Link: https://doi.org/10.1016/..

13

Probabilistic Programming Interfaces for Random Graphs: Mar..:

Ackerman, Nate ; Freer, Cameron E ; Kaddar, Younesse...
https://doi.org/10.1145/3632903. , 2024

Link: https://hdl.handle.net/1..

14

Probabilistic programming interfaces for random graphs: Mar..:

Ackerman, Nathanael L ; Freer, Cameron E ; Kaddar, Younesse...
http://arxiv.org/abs/2312.17127. , 2023

Link: http://arxiv.org/abs/231..

15

Optimal approximate sampling from discrete probability dist..:

Saad, Feras A ; Freer, Cameron E ; Rinard, Martin C.
10.1145/3371104. , 2021

Link: https://hdl.handle.net/1..