keyword:"Program reasoning" - Suchergebnisse - RWTH Publications

Suchen Sammlungen:

Sortieren nach:	Ergebnisse darstellen:	Darstellungsformat:

1.	Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Klinkenberg, L. (Corresponding author) ; Blumenthal, C. ; Chen, M. (Corresponding author) ; Haase, D. ; ; et al Proceedings of the ACM on programming languages : (PACMPL) 8(OOPSLA1), Seiten/Artikel-Nr.:127 DOI: 10.1145/3649844 Journal Article/Contribution to a conference proceedings 2024
2.	Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Klinkenberg, L. (Corresponding author) ; Blumenthal, C. ; Chen, M. (Corresponding author) ; Haase, D. ; ; et al DOI: 10.48550/ARXIV.2307.07314 Preprint 2023 & 2024

Sind Sie interessiert über neue Ergebnisse zu dieser Suchabfrage informiert zu werden?
Definieren Sie eine persönliche E-Mail-Benachrichtigung oder abonnieren Sie den RSS Feed.

RWTH

RWTH Aachen - Startseite

Universitätsbibliothek

Kontakt

RWTH Publications

Allgemeines