-calculus: A model for confidential name passing.

Ivan Prokic Hugo Torres Vieira

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

network model
artificial neural networks
prior knowledge
cost function
probabilistic model
theoretical framework
mathematical model
experimental data
formal model
database
real time
high level
reinforcement learning
hidden markov models
management system