What is a categorical model of the differential and the resource lambda-calculi?
Giulio ManzonettoPublished in: CoRR (2010)
Keyphrases
- probabilistic model
- probability distribution
- formal model
- experimental data
- management system
- computational model
- access control
- resource management
- simulation model
- sensitivity analysis
- hierarchical structure
- resource allocation
- mathematical model
- theoretical framework
- real time
- hidden markov models
- cost function
- multiscale
- knowledge base
- neural network
- data sets