E-LIB Suche - Ergebnisse für: Stein, Dario

1

Towards a Compositional Framework for Convex Analysis (with..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Stein, Dario ; Samuelson, Richard - p. 166-187 , 2024

Link: https://doi.org/10.1007/..

2

Probabilistic Programming with Exact Conditions:

Stein, Dario ; Staton, Sam
Journal of the ACM. 71 (2024) 1 - p. 1-53 , 2024

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

3

Dilations and information flow axioms in categorical probab..:

Fritz, Tobias ; Gonda, Tomáš ; Houghton-Larsen, Nicholas Gauguin...
Mathematical Structures in Computer Science. 33 (2023) 10 - p. 913-957 , 2023

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

4

Pearl's and Jeffrey's Update as Modes of Learning in Probab..:

Jacobs, Bart ; Stein, Dario
Electronic Notes in Theoretical Informatics and Computer Science. 3 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

5

Probabilistic programming semantics for name generation:

Sabok, Marcin ; Staton, Sam ; Stein, Dario.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

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

6

Compositional semantics for probabilistic programs with exa..:

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

Stein, Dario ; Staton, Sam - p. 1-13 , 2021

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

7

Probabilistic programming semantics for name generation:

Sabok, Marcin ; Staton, Sam ; Stein, Dario.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

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

8

Pearl's and Jeffrey's Update as Modes of Learning in Probab..:

Jacobs, Bart ; Stein, Dario
http://arxiv.org/abs/2309.07053. , 2023

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

9

Probabilistic Programming with Exact Conditions:

Stein, Dario ; Staton, Sam
http://arxiv.org/abs/2312.17141. , 2023

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

10

Overdrawing Urns using Categories of Signed Probabilities:

Jacobs, Bart ; Stein, Dario
http://arxiv.org/abs/2312.12453. , 2023

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

11

Towards a Compositional Framework for Convex Analysis (with..:

Stein, Dario ; Samuelson, Richard
http://arxiv.org/abs/2312.02291. , 2023

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

12

Absolute continuity, supports and idempotent splitting in c..:

Fritz, Tobias ; Gonda, Tomáš ; Lorenzin, Antonio..
http://arxiv.org/abs/2308.00651. , 2023

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

13

A Category for Unifying Gaussian Probability and Nondetermi..:

Stein, Dario ; Samuelson, Richard
doi:10.4230/LIPIcs.CALCO.2023.13. , 2023

Link: https://doi.org/10.4230/..

14

Counting and Matching:

Jacobs, Bart ; Stein, Dario
doi:10.4230/LIPIcs.CSL.2023.28. , 2023

Link: https://doi.org/10.4230/..

15

A Category for unifying Gaussian Probability and Nondetermi..:

Stein, Dario ; Samuelson, Richard
http://arxiv.org/abs/2204.14024. , 2022

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