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žené v:
Podrobná bibliografia
Hlavní autori: Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra
Médium: E-kniha Kniha
Jazyk:English
Vydavateľské údaje: Cambridge Cambridge University Press 2021
Vydanie:1
Edícia:Mathematical Sciences and Information Technology
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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