Search Results


Related Books

Foundations of Probabilistic Programming
Language: en
Pages: 583
Authors: Gilles Barthe
Categories: Computers
Type: BOOK - Published: 2020-12-03 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, securit
Foundations of Probabilistic Programming
Language: en
Pages:
Authors: Gilles Barthe
Categories: Computers
Type: BOOK - Published: 2020-12-03 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary qu
Foundations of Probabilistic Logic Programming
Language: en
Pages: 422
Authors: Fabrizio Riguzzi
Categories: Computers
Type: BOOK - Published: 2022-09-01 - Publisher: CRC Press

DOWNLOAD EBOOK

Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory. Probabilistic
Practical Foundations for Programming Languages
Language: en
Pages: 513
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Abstraction, Refinement and Proof for Probabilistic Systems
Language: en
Pages: 412
Authors: Annabelle McIver
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su
Scroll to top