E-LIB Suche - Ergebnisse für: Borgström, Johannes

1

Correctness of Sequential Monte Carlo Inference for Probabi..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lundén, Daniel ; Borgström, Johannes ; Broman, David - p. 404-431 , 2021

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

2

Publisher Correction: Universal probabilistic programming o..:

Ronquist, Fredrik ; Kudlicka, Jan ; Senderov, Viktor...
Communications Biology. 4 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..

3

Universal probabilistic programming offers a powerful appro..:

Ronquist, Fredrik ; Kudlicka, Jan ; Senderov, Viktor...
Communications Biology. 4 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..

4

A lambda-calculus foundation for universal probabilistic pr..:

Borgström, Johannes ; Dal Lago, Ugo ; Gordon, Andrew D..
ACM SIGPLAN Notices. 51 (2016) 9 - p. 33-46 , 2016

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

5

A lambda-calculus foundation for universal probabilistic pr..:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,

Borgström, Johannes ; Dal Lago, Ugo ; Gordon, Andrew D.. - p. 33-46 , 2016

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

6

Fabular: regression formulas as probabilistic programming:

Borgström, Johannes ; Gordon, Andrew D. ; Ouyang, Long...
ACM SIGPLAN Notices. 51 (2016) 1 - p. 271-283 , 2016

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

7

Fabular: regression formulas as probabilistic programming:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Borgström, Johannes ; Gordon, Andrew D. ; Ouyang, Long... - p. 271-283 , 2016

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

8

The Psi-Calculi Workbench : A Generic Tool for Applied P..:

Borgstrom, Johannes ; Gutkovas, Ramūnas ; Rodhe, Ioana.
ACM Transactions on Embedded Computing Systems (TECS). 14 (2015) 1 - p. 1-25 , 2015

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

9

The Psi-Calculi Workbench: A Generic Tool for Applied Proce..:

Borgstrom, Johannes ; Gutkovas, Ramūnas ; Rodhe, Ioana.
ACM Transactions on Embedded Computing Systems. 14 (2015) 1 - p. 1-25 , 2015

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

10

Tabular: a schema-driven probabilistic programming language:

Gordon, Andrew D. ; Graepel, Thore ; Rolland, Nicolas...
ACM SIGPLAN Notices. 49 (2014) 1 - p. 321-334 , 2014

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

11

Tabular : a schema-driven probabilistic programming lang..:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Gordon, Andrew D. ; Graepel, Thore ; Rolland, Nicolas... - p. 321-334 , 2014

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

12

A model-learner pattern for bayesian reasoning:

Gordon, Andrew D. ; Aizatulin, Mihhail ; Borgstrom, Johannes...
ACM SIGPLAN Notices. 48 (2013) 1 - p. 403-416 , 2013

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

13

Higher-order psi-calculi:

PARROW, JOACHIM ; BORGSTRÖM, JOHANNES ; RAABJERG, PALLE.
Mathematical Structures in Computer Science. 24 (2013) 2 - p. , 2013

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

14

A model-learner pattern for bayesian reasoning:

, In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Gordon, Andrew D. ; Aizatulin, Mihhail ; Borgstrom, Johannes... - p. 403-416 , 2013

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

15

Broadcast psi-calculi with an application to wireless proto..:

Borgström, Johannes ; Huang, Shuqin ; Johansson, Magnus...
Software & Systems Modeling. 14 (2013) 1 - p. 201-216 , 2013

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