Internal Universes in Models of Homotopy Type Theory.
Daniel R. LicataIan OrtonAndrew M. PittsBas SpittersPublished in: FSCD (2018)
Keyphrases
- statistical models
- model selection
- computational models
- complex systems
- data mining
- formal models
- parametric models
- probabilistic model
- mathematical models
- experimental data
- imprecise probabilities
- accurate models
- empirical data
- theoretical framework
- computational model
- hidden markov models
- search algorithm
- clustering algorithm
- website
- information retrieval