Login / Signup
BP: Formal Proofs, the Fine Print and Side Effects.
Toby C. Murray
Paul C. van Oorschot
Published in:
SecDev (2018)
Keyphrases
</>
formal proofs
back propagation
coarse to fine
database
learning algorithm
database systems
multiscale
wide range
expert systems
fuzzy logic