Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Daniel Lundén 6 träffar

Titel Författare År Språk
1-2 Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages (flera utgåvor) Daniel Lundén 2023 Engelska
3 Automatic Alignment in Higher-Order Probabilistic Programming Languages 2023. April 22–27 France Paris ETAPS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software ESOP 2023 32nd European Symposium on Programming Daniel Lundén 2023 Engelska
4 Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs Canary Islands; Spain; 9 April 2018 through 11 April 2018 Lanzarote AISTATS 2018; Playa Blanca International Conference on Artificial Intelligence and Statistics (AISTATS)21st International Conference on Artificial Intelligence and Statistics Lawrence Murray 2018 Engelska
5 Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages 30th European Symposium on Programming (ESOP) 27 March-1 April 2021 online Daniel Lundén 2021 Engelska
6 Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference 2022 April 2-7 Germany Munich ETAPS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software ESOP 2022 Programming Languages and Systems - 31st European Symposium on Programming Daniel Lundén 2022 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.