Login / Signup
Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs.
Takeshi Tsukada
Kazuyuki Asada
C.-H. Luke Ong
Published in:
LICS (2018)
Keyphrases
</>
bayesian networks
generative model
probabilistic model
quantum computation
graphical models
finite automata
posterior probability
uncertain data
information theoretic
quantum mechanics
probabilistic networks
probability theory
computer programs
neural network
optimal policy
data driven
learning algorithm