A Unified Analytical model for proof-of-X schemes.

Guangsheng Yu Xuan Zha Xu Wang Wei Ni Kan Yu J. Andrew Zhang Ren Ping Liu

Published in: Comput. Secur. (2020)

Keyphrases

analytical model
analytical models
simulation model
theorem prover
unified model
wastewater treatment
computer vision
linear logic
theorem proving
data sets
databases
neural network
artificial intelligence
case study
data structure