NISMO

Foundations of Probabilistic Programming Barthe Katoen Silva Hardback

Description: Foundations of Probabilistic Programming Probabilistic Programs. Explained. Verified. Applied. Gilles Barthe (Edited by), Joost-Pieter Katoen (Edited by), Alexandra Silva (Edited by) 9781108488518, Cambridge University Press Hardback, published 3 December 2020 582 pages 25 x 17.8 x 3.2 cm, 1.23 kg 'In our data-rich world, probabilistic programming is what allows programmers to perform statistical inference in a principled way for use in automated decision making. This rapidly growing field, which has emerged at the intersection of machine learning, statistics and programming languages, has the potential to become the driving force behind AI. But probabilistic programs can be counterintuitive and difficult to understand. This edited volume gives a comprehensive overview of the foundations of probabilistic programming, clearly elucidating the basic principles of how to design and reason about probabilistic programs, while at the same time highlighting pertinent applications and existing languages. With its breadth of topic coverage, the book will serve as an important and timely reference for researchers and practitioners.' Marta Kwiatkowska, University of Oxford What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core. 1. Semantics of Probabilistic Programming: A Gentle Introduction Fredrik Dahlqvist, Alexandra Silva and Dexter Kozen 2. Probabilistic Programs as Measures Sam Staton 3. An Application of Computable Distributions to the Semantics of Probabilistic Programs Daniel Huang, Greg Morrisett and Bas Spitters 4. On Probabilistic ?-Calculi Ugo Dal Lago 5. Probabilistic Couplings from Program Logics Gilles Barthe and Justin Hsu 6. Expected Runtime Analysis by Program Verification Benjamin Lucien Kaminski, Joost-Pieter Katoen and Christoph Matheja 7. Termination Analysis of Probabilistic Programs with Martingales Krishnendu Chatterjee, Hongfei Fu and Petr Novotný 8. Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities Sriram Sankaranarayanan 9. The Logical Essentials of Bayesian Reasoning Bart Jacobs and Fabio Zanasi 10. Quantitative Equational Reasoning Giorgio Bacci, Radu Mardare, Prakash Panangaden and Gordon Plotkin 11. Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy José Manuel Calderón Trilla, Michael Hicks, Stephen Magill, Piotr Mardziel and Ian Sweet 12. Quantitative Information Flow with Monads in Haskell Jeremy Gibbons, Annabelle McIver, Carroll Morgan and Tom Schrijvers 13. Luck: A Probabilistic Language for Testing Lampropoulos Leonidas, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, C?t?lin Hri?cu and John Hughes 14. Tabular: Probabilistic Inference from the Spreadsheet Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel and Daniel Tarlow 15. Programming Unreliable Hardware Michael Carbin and Sasa Misailovic. Subject Areas: Machine learning [UYQM], Artificial intelligence [UYQ], Programming & scripting languages: general [UMX]

Price: 47.49 GBP

Location: AL7 1AD

End Time: 2024-11-03T14:09:48.000Z

Shipping Cost: 128.79 GBP

Product Images

Foundations of Probabilistic Programming Barthe Katoen Silva Hardback

Item Specifics

Return postage will be paid by: Buyer

Returns Accepted: Returns Accepted

After receiving the item, your buyer should cancel the purchase within: 30 days

Return policy details:

BIC Subject Area 1: Machine learning [UYQM]

BIC Subject Area 2: Artificial intelligence [UYQ]

BIC Subject Area 3: Programming & scripting languages: general [UMX]

Number of Pages: 582 Pages

Language: English

Publication Name: Foundations of Probabilistic Programming

Publisher: Cambridge University Press

Publication Year: 2020

Subject: Computer Science

Item Height: 250 mm

Item Weight: 1230 g

Type: Textbook

Author: Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe

Item Width: 178 mm

Format: Hardcover

Recommended

Foundations of Lodging Management Jack, Hayes, David, Miller, All
Foundations of Lodging Management Jack, Hayes, David, Miller, All

$9.21

View Details
Foundations of Business 7th Edition by Jack Kapoor (English) Paperback Book
Foundations of Business 7th Edition by Jack Kapoor (English) Paperback Book

$75.47

View Details
Foundations of Personal Fitness, Student Edition (NTC: FOUND OF PERS - VERY GOOD
Foundations of Personal Fitness, Student Edition (NTC: FOUND OF PERS - VERY GOOD

$4.39

View Details
Foundations of Nursing - Paperback By Cooper RN  MSN, Kim - GOOD
Foundations of Nursing - Paperback By Cooper RN MSN, Kim - GOOD

$35.26

View Details
Foundations of Early Childhood Education: Teaching Children in a Div - VERY GOOD
Foundations of Early Childhood Education: Teaching Children in a Div - VERY GOOD

$30.70

View Details
Philosophical Foundations of Adult Education - Hardcover - GOOD
Philosophical Foundations of Adult Education - Hardcover - GOOD

$11.12

View Details
Foundations of Financial Management Paperback Stanley Block
Foundations of Financial Management Paperback Stanley Block

$4.50

View Details
Collector Booster Box Foundations FDN MTG PRESALE 11/15 Sealed New
Collector Booster Box Foundations FDN MTG PRESALE 11/15 Sealed New

$224.44

View Details
Foundations of Comparative Politics by William Roberts Clark: Used
Foundations of Comparative Politics by William Roberts Clark: Used

$52.79

View Details
Foundations of Financial Management by Block, Stanley
Foundations of Financial Management by Block, Stanley

$5.91

View Details