Foundations of Probabilistic Programming

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra
Médium: E-kniha Kniha
Jazyk:angličtina
Vydáno: Cambridge Cambridge University Press 2021
Vydání:1
Edice:Mathematical Sciences and Information Technology
Témata:
Artificial intelligence
Computer programming
Computer programming / software engineering
Computer science
Computing and Information Technology
Machine learning
Probabilities-Data processing
Programming and scripting languages: general
Stochastic programming
theory of programming languages
ISBN:110848851X, 9781108488518, 1108770754, 9781108770750
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • Cover -- Half-title -- Title page -- Copyright information -- Contents -- Contributors -- Preface -- 1 Semantics of Probabilistic Programming: A Gentle Introduction -- 2 Probabilistic Programs as Measures -- 3 An Application of Computable Distributions to the Semantics of Probabilistic Programs -- 4 On Probabilistic λ-Calculi -- 5 Probabilistic Couplings from Program Logics -- 6 Expected Runtime Analysis by Program Verification -- 7 Termination Analysis of Probabilistic Programs with Martingales -- 8 Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities -- 9 The Logical Essentials of Bayesian Reasoning -- 10 Quantitative Equational Reasoning -- 11 Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy -- 12 Quantitative Information Flow with Monads in Haskell -- 13 Luck: A Probabilistic Language for Testing -- 14 Tabular: Probabilistic Inference from the Spreadsheet -- 15 Programming Unreliable Hardware