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!
Abstract 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 also available as Open Access on Cambridge Core.
AbstractList 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.
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 also available as Open Access on Cambridge Core.
Author Barthe, Gilles
Katoen, Joost-Pieter
Silva, Alexandra
Author_xml – sequence: 1
  fullname: Barthe, Gilles
– sequence: 2
  fullname: Katoen, Joost-Pieter
– sequence: 3
  fullname: Silva, Alexandra
BackLink https://cir.nii.ac.jp/crid/1130573627000332712$$DView record in CiNii
BookMark eNpVkT1PwzAQho34ELR0ZGJhQAKGwp0dx84IVQtIlWBAiM2yY7eYpnGJU_j7JCRLb7jTq3t0nwNyUIbSEXKGcIuA4i4TEhGkECA47JHRjt4ng1YkUnL8OGoEpQKSxsQxGcX4BQCUpyAZPSHXs7Atra59KONFWFy8VsFo4wsfa5-3alnp9dqXy1NyuNBFdKM-Dsn7bPo2eRrPXx6fJ_fzsaap5Nk4yZwzKDNHjTU0NZAjuoQ13gq0HGzCE1wYNCyTjDFAsDJPraRJmpkMKBuSm66wjiv3Gz9DUUf1UzgTwiqqflEJXCQte9Wxmyp8b12s1T-Wu7KudKGmD5OUp0wy0ZDnHRn0xpXKBt3XA8l5k73ssqX3KvetR2RND5Y2pwNgjAps20GH5XptKm-XTuWh6idDUO1r1M4r2B-SfHfI
ContentType eBook
Book
Copyright Gilles Barthe, Joost-Pieter Katoen and Alexandra Silva 2021
Copyright_xml – notice: Gilles Barthe, Joost-Pieter Katoen and Alexandra Silva 2021
DBID RYH
V1H
DEWEY 519.7
DOI 10.1017/9781108770750
DatabaseName CiNii Complete
DOAB: Directory of Open Access Books
DatabaseTitleList



Database_xml – sequence: 1
  dbid: V1H
  name: DOAB: Directory of Open Access Books
  url: https://directory.doabooks.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Applied Sciences
Mathematics
EISBN 9781108770750
1108770754
9781108805742
1108805744
Edition 1
Editor Barthe, Gilles
Editor_xml – sequence: 1
  givenname: Gilles
  surname: Barthe
  fullname: Barthe, Gilles
ExternalDocumentID 9781108805742
EBC6563837
90855
BC04703736
10_1017_9781108770750
GroupedDBID 38.
6GN
AABBV
AAHFW
AAXAH
ABECO
ABESS
ABMFC
ABUTV
ACNLZ
ACNOG
ADCGF
ADYVF
AEABA
AEWQY
AEXYF
AFWKR
AGLFR
AJXXZ
AKBJG
AKNKM
ALMA_UNASSIGNED_HOLDINGS
AMJDZ
AMNND
BBABE
BFIBU
BJUTA
CAXDN
COBLI
COXPH
CYGLA
DHADR
DNECM
DOZEN
FH2
GXTBT
HINIM
ICERG
IPICV
MSDFL
OAEBV
OLDIN
SACVX
V1H
ZXKUE
RYH
EBACC
ID FETCH-LOGICAL-a26859-49eeb189e2bdb26b0c11e43c11d71d50d4541fb1b398333010d8c6d82469b9023
IEDL.DBID V1H
ISBN 110848851X
9781108488518
1108770754
9781108770750
IngestDate Fri Nov 08 03:41:39 EST 2024
Fri May 30 21:27:31 EDT 2025
Tue Oct 07 22:30:41 EDT 2025
Thu Jun 26 22:50:14 EDT 2025
Fri Feb 21 02:33:58 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident QA76.6 .F686 2021
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a26859-49eeb189e2bdb26b0c11e43c11d71d50d4541fb1b398333010d8c6d82469b9023
Notes Includes bibliographical references
OCLC 1227044447
OpenAccessLink https://directory.doabooks.org/handle/20.500.12854/90855
PQID EBC6563837
PageCount 582
ParticipantIDs askewsholts_vlebooks_9781108805742
proquest_ebookcentral_EBC6563837
oapen_doabooks_90855
nii_cinii_1130573627000332712
cambridge_corebooks_10_1017_9781108770750
PublicationCentury 2000
PublicationDate 2021.
PublicationDateYYYYMMDD 2021-01-01
PublicationDate_xml – year: 2021
  text: 2021.
PublicationDecade 2020
PublicationPlace Cambridge
PublicationPlace_xml – name: Cambridge
PublicationSeriesTitle Mathematical Sciences and Information Technology
PublicationYear 2021
Publisher Cambridge University Press
Publisher_xml – name: Cambridge University Press
SSID ssj0002560832
Score 2.4735777
Snippet What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary...
This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning,...
SourceID askewsholts
proquest
oapen
nii
cambridge
SourceType Aggregation Database
Publisher
SubjectTerms 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
TableOfContents 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
Title Foundations of Probabilistic Programming
URI https://doi.org/10.1017/9781108770750?locatt=mode:legacy
https://cir.nii.ac.jp/crid/1130573627000332712
https://directory.doabooks.org/handle/20.500.12854/90855
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6563837
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9781108805742
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED6VloEuBQoiQFGEGGAI5OEkzkrVqgOqOqCqm2XnIVVAgprS38-dk7RUMLFYcpw4ydm6h_35O4A7Jml1IuNWjJ9pMebHlgqkbbHMYyqWWRRoMOb8JZxO-WIRzVrAm7MwlSIvCNVcSPIzS72dX1EOYKT-6NvEiMB99hQRxOoAOhjhBATmmjuT7eoKGXKcqzo1EDHGo1-xqCthiFaS1WxPTSPf1XW7XdNxErv03vUudGX5hvoHddO6_EnIgMYpXy4pb5L8TPNfql3bq3Hv_396DJ2Uzj-cQCvNT6HXZH0wayXQh_tdJqbSLDJztkKVQBBbYnymGuG9PtAinsF8PHodTqw634Il3YD7lG0uRdXNo9RViXIDZceOkzIPyyR0Et9OmM-cTDnKi7jnoWqwEx4HCXcxxlYRWv9zaOdFnl6AyZnkGPCif5GRzxNJ9Mwyz0VRxlwl3Dbg9occxeZd7w2XohY2RzeSuQY8bMUriNWzuqcCpoVib2AMGKD4Rbyk0kHL7Idom0OK-fC1DvbV1wMjGmkLLVUDzGachO6-xsSK0fMQXV2K3y__fvIKjlzCt-jlmGtor1df6QAO4816Wa5u9HT8BuLO0Zo
linkProvider Open Access Publishing in European Networks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Foundations+of+probabilistic+programming&rft.au=Barthe%2C+Gilles&rft.au=Katoen%2C+Joost-Pieter&rft.au=Silva%2C+Alexandra&rft.date=2021-01-01&rft.pub=Cambridge+University+Press&rft.isbn=9781108488518&rft_id=info:doi/10.1017%2F9781108770750&rft.externalDocID=BC04703736
thumbnail_m http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fassets.cambridge.org%2F97811084%2F88518%2Fcover%2F9781108488518.jpg
http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97811088%2F9781108805742.jpg