Native Custom Tokens in the Extended UTXO Model.
Manuel M. T. ChakravartyJames ChapmanKenneth MacKenzieOrestis MelkonianJann MüllerMichael Peyton JonesPolina VinogradovaPhilip WadlerPublished in: ISoLA (3) (2020)
Keyphrases
- probabilistic model
- statistical model
- probability distribution
- hybrid model
- similarity measure
- formal model
- input data
- closed form
- parameter estimation
- computational model
- theoretical analysis
- analytical model
- classification models
- simulation model
- bayesian framework
- mathematical model
- machine learning
- maximum likelihood
- domain specific
- cost function
- artificial neural networks
- high level
- case study
- e learning