zweidimensionales bewegtes Bild
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
- Location
-
Hannover TIB
- Extent
-
26MB, 00:15:37:08 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Lundén, Daniel
Borgström, Johannes
Broman, David
- DOI
-
10.5446/55062
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Lundén, Daniel
- Borgström, Johannes
- Broman, David
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Sequential conditional correlations: Inference and evaluation
Sequential conditional correlations: Inference and evaluation
Lifted Probabilistic Inference: An MCMC Perspective
Exact Probabilistic Inference Using Generating Functions
Algebras for iteration, infinite executions and correctness of sequential computations
Numerical Integration as and for Probabilistic Inference
Parallel Algorithms for GPU accelerated Probabilistic Inference
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Taming exact inference in temporal probabilistic relational models
Probabilistic Generative Models for Inference on Complex Systems
A Bayesian approach for inference on probabilistic surveys
Sequential conditional correlations: Inference and evaluation
Sequential conditional correlations: Inference and evaluation
Lifted Probabilistic Inference: An MCMC Perspective
Exact Probabilistic Inference Using Generating Functions
Algebras for iteration, infinite executions and correctness of sequential computations
Numerical Integration as and for Probabilistic Inference
Parallel Algorithms for GPU accelerated Probabilistic Inference
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Taming exact inference in temporal probabilistic relational models
Probabilistic Generative Models for Inference on Complex Systems
A Bayesian approach for inference on probabilistic surveys
Sequential conditional correlations: Inference and evaluation
Sequential conditional correlations: Inference and evaluation
Lifted Probabilistic Inference: An MCMC Perspective
Exact Probabilistic Inference Using Generating Functions
Algebras for iteration, infinite executions and correctness of sequential computations
Numerical Integration as and for Probabilistic Inference
Parallel Algorithms for GPU accelerated Probabilistic Inference
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Taming exact inference in temporal probabilistic relational models
Probabilistic Generative Models for Inference on Complex Systems