HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography.

Paventhan Vivekanandan

Published in: LPAR (Workshop and Short Papers) (2018)

Keyphrases

artificial intelligence
grounded theory
data sets
databases
learning algorithm
multiscale
information technology
hidden markov models
probabilistic model
statistical analysis
theoretical framework
simulation study
information theory