Foundations of probabilistic programming / / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva.
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 app...
Saved in:
Superior document: | Mathematical Sciences and Information Technology |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Cambridge : : Cambridge University Press,, 2021. |
Year of Publication: | 2021 |
Language: | English |
Series: | Mathematical Sciences and Information Technology
|
Physical Description: | 1 online resource (xiv, 568 pages) :; digital, PDF file(s). |
Notes: | Title from publisher's bibliographic system (viewed on 20 Nov 2020). |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993553572004498 |
---|---|
ctrlnum |
(CKB)4100000011576684 (UkCbUP)CR9781108770750 (MiAaPQ)EBC6563837 (Au-PeEL)EBL6563837 (OCoLC)1227044447 (oapen)https://directory.doabooks.org/handle/20.500.12854/90855 (EXLCZ)994100000011576684 |
collection |
bib_alma |
record_format |
marc |
spelling |
Foundations of probabilistic programming / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. Cambridge : Cambridge University Press, 2021. 1 online resource (xiv, 568 pages) : digital, PDF file(s). text txt rdacontent computer c rdamedia online resource cr rdacarrier Mathematical Sciences and Information Technology English Open Access title. Title from publisher's bibliographic system (viewed on 20 Nov 2020). 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. Computer programming. Probabilities Data processing. 1-108-48851-X Barthe, Gilles, 1967- editor. Katoen, Joost-Pieter, editor. Silva, Alexandra, editor. |
language |
English |
format |
eBook |
author2 |
Barthe, Gilles, 1967- Katoen, Joost-Pieter, Silva, Alexandra, |
author_facet |
Barthe, Gilles, 1967- Katoen, Joost-Pieter, Silva, Alexandra, |
author2_variant |
g b gb j p k jpk a s as |
author2_role |
TeilnehmendeR TeilnehmendeR TeilnehmendeR |
title |
Foundations of probabilistic programming / |
spellingShingle |
Foundations of probabilistic programming / Mathematical Sciences and Information Technology |
title_full |
Foundations of probabilistic programming / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. |
title_fullStr |
Foundations of probabilistic programming / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. |
title_full_unstemmed |
Foundations of probabilistic programming / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. |
title_auth |
Foundations of probabilistic programming / |
title_new |
Foundations of probabilistic programming / |
title_sort |
foundations of probabilistic programming / |
series |
Mathematical Sciences and Information Technology |
series2 |
Mathematical Sciences and Information Technology |
publisher |
Cambridge University Press, |
publishDate |
2021 |
physical |
1 online resource (xiv, 568 pages) : digital, PDF file(s). |
isbn |
1-108-80574-4 1-108-77075-4 1-108-48851-X |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.6 F69 42021 |
illustrated |
Not Illustrated |
dewey-hundreds |
000 - Computer science, information & general works |
dewey-tens |
000 - Computer science, knowledge & systems |
dewey-ones |
001 - Knowledge |
dewey-full |
001.642 |
dewey-sort |
11.642 |
dewey-raw |
001.642 |
dewey-search |
001.642 |
oclc_num |
1227044447 |
work_keys_str_mv |
AT barthegilles foundationsofprobabilisticprogramming AT katoenjoostpieter foundationsofprobabilisticprogramming AT silvaalexandra foundationsofprobabilisticprogramming |
status_str |
n |
ids_txt_mv |
(CKB)4100000011576684 (UkCbUP)CR9781108770750 (MiAaPQ)EBC6563837 (Au-PeEL)EBL6563837 (OCoLC)1227044447 (oapen)https://directory.doabooks.org/handle/20.500.12854/90855 (EXLCZ)994100000011576684 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Mathematical Sciences and Information Technology |
is_hierarchy_title |
Foundations of probabilistic programming / |
container_title |
Mathematical Sciences and Information Technology |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField |
_version_ |
1801065182877712384 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02046nam a2200349 i 4500</leader><controlfield tag="001">993553572004498</controlfield><controlfield tag="005">20201214100409.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">190321s2021||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1-108-80574-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1-108-77075-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4100000011576684</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(UkCbUP)CR9781108770750</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6563837</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL6563837</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227044447</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/90855</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994100000011576684</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">UkCbUP</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="c">UkCbUP</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.6</subfield><subfield code="b">.F69 2021</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">001.642</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Foundations of probabilistic programming /</subfield><subfield code="c">edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2021.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 568 pages) :</subfield><subfield code="b">digital, PDF file(s).</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Mathematical Sciences and Information Technology</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="a">Open Access title.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 20 Nov 2020).</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programming.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Probabilities</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">1-108-48851-X</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barthe, Gilles,</subfield><subfield code="d">1967-</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Katoen, Joost-Pieter,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Silva, Alexandra,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-06-06 00:38:24 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2020-11-28 22:08:40 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5339481410004498&Force_direct=true</subfield><subfield code="Z">5339481410004498</subfield><subfield code="b">Available</subfield><subfield code="8">5339481410004498</subfield></datafield></record></collection> |