From Signatures to Monads in UniMath.

Benedikt Ahrens Ralph Matthes Anders Mörtberg

Published in: J. Autom. Reason. (2019)

Keyphrases

signature verification
signature recognition
genetic algorithm
data sets
machine learning
artificial intelligence
network traffic
designated verifier