From Operational Models to Information Theory; Side Channels in pGCL with Isabelle.

Published in: ITP (2014)

Keyphrases

information theory
information theoretic
statistical models
jensen shannon divergence
statistical learning
conditional entropy
feature selection
probabilistic model
mutual information
learning algorithm
relative entropy
video sequences
model selection
bayesian framework
mdl principle