Zur Startseite gehen
0,00 €*
Cover: 9781108488518 | Foundations of Probabilistic Programming | Buch | Gebunden | Englisch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Foundations of Probabilistic Programming
Buch von Alexandra Silva (u. a.)
Sprache: Englisch

77,35 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
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.
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2020
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 582
Inhalt: Gebunden
ISBN-13: 9781108488518
ISBN-10: 110848851X
Sprache: Englisch
Einband: Gebunden
Redaktion: Silva, Alexandra
Barthe, Gilles
Katoen, Joost-Pieter
Hersteller: Cambridge University Press
Maße: 248 x 172 x 33 mm
Von/Mit: Alexandra Silva (u. a.)
Erscheinungsdatum: 03.12.2020
Gewicht: 1,26 kg
preigu-id: 119028406
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2020
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 582
Inhalt: Gebunden
ISBN-13: 9781108488518
ISBN-10: 110848851X
Sprache: Englisch
Einband: Gebunden
Redaktion: Silva, Alexandra
Barthe, Gilles
Katoen, Joost-Pieter
Hersteller: Cambridge University Press
Maße: 248 x 172 x 33 mm
Von/Mit: Alexandra Silva (u. a.)
Erscheinungsdatum: 03.12.2020
Gewicht: 1,26 kg
preigu-id: 119028406
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780470371985 | Windows PowerShell 2 for Dummies | Steve Seguis | Taschenbuch | 416 S.
Windows Powershell 2 for Dummies
EAN: 9780470371985
Von/Mit: Steve Seguis

35,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780595126743 | The Practical Performance Analyst | Neil J. Gunther | Taschenbuch
The Practical Performance Analyst
EAN: 9780595126743
Sprache: Englisch
Von/Mit: Neil J. Gunther

50,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783842890619 | Green-IT-Strategien für den Mittelstand: Nachhaltige Lösungen in...
Green-IT-Strategien für den Mittelstand: Nachhaltige Lösungen in der IT und durch IT-Unterstützung
EAN: 9783842890619
Sprache: Deutsch
Von/Mit: Niklas Reisinger

39,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781785888731 | Learning Functional Data Structures and Algorithms | Khot (u. a.)
Learning Functional Data Structures and Algorithms
EAN: 9781785888731
Von/Mit: Atul S. Khot (u. a.)

57,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9789813230507 | Logic and Language Models for Computer Science | Third Edition | Buch
Logic & Lang Model Comp (3rd Ed)
EAN: 9789813230507
Sprache: Englisch
Von/Mit: Dana Richards & Henry Hamburger

61,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781484248775 | Clean Python | Elegant Coding in Python | Sunil Kapil | Taschenbuch
Clean Python
Elegant Coding in Python
EAN: 9781484248775
Sprache: Englisch
Von/Mit: Sunil Kapil

38,10 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9781119632726 | The Big R-Book | From Data Science to Learning Machines and Big Data
The Big R-Book
From Data Science to Learning Machines and Big Data
EAN: 9781119632726
Sprache: Englisch
Von/Mit: Philippe J S de Brouwer

134,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781484254813 | Learning Bulma | Aravind Shenoy | Taschenbuch | Paperback | xiii
Learning Bulma
Understand How to Develop Responsive, Mobile-first Websites Using This Impressive, Modern Framework
EAN: 9781484254813
Sprache: Englisch
Von/Mit: Aravind Shenoy

38,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781734584714 | Db2 11 for LUW Developer Training and Reference Guide | Robert Wingate
Db2 11 for LUW Developer Training and Reference Guide
EAN: 9781734584714
Sprache: Englisch
Von/Mit: Robert Wingate

36,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781510461826 | Reid, G: How to code in Python: GCSE, iGCSE, National 4/5 an | Reid
Reid, G: How to code in Python: GCSE, iGCSE, National 4/5 an
EAN: 9781510461826
Von/Mit: Greg Reid

27,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780367358495 | Software Testing | A Craftsman's Approach, Fifth Edition | Buch | 2021
Software Testing
A Craftsman's Approach, Fifth Edition
EAN: 9780367358495
Sprache: Englisch
Von/Mit: Byron DeVries (u. a.)

100,95 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...