A Kripke model for simplicial sets.
Marc BezemThierry CoquandPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- experimental data
- neural network
- simulation model
- theoretical framework
- statistical model
- computational model
- mathematical model
- hybrid model
- real time
- linear model
- desirable properties
- prediction model
- formal model
- neural network model
- sensitivity analysis
- parameter estimation
- cost function
- prior knowledge
- high level
- decision trees
- information systems
- information retrieval
- data sets