Among many proposed new device concepts and architectural designs, there is increasing interest in a fundamentally different form of brain-like logic based on probabilistic inference that is far more ...

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 ...

Grohe, Martin Lucien Kaminski, Benjamin Katoen, Joost-Pieter and Lindner, Peter 2021. Probabilistic Data with Continuous Distributions. ACM SIGMOD Record, Vol. 50 ...