A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets.
Andreas NuytsPublished in: CoRR (2017)
Keyphrases
- theoretical framework
- computational model
- formal model
- computational models
- multiscale
- mathematical model
- cost function
- theoretical analysis
- simulation model
- theoretical foundation
- conceptual model
- self organizing maps
- probabilistic model
- objective function
- high level
- information systems
- semi parametric
- parametric models
- mathematical framework
- neural network
- network model
- digital images
- machine learning