A biset-enriched categorical model for Proto-Quipper with dynamic lifting.
Peng FuKohei KishidaNeil J. RossPeter SelingerPublished in: CoRR (2022)
Keyphrases
- computational model
- probabilistic model
- experimental data
- probability distribution
- data mining
- mathematical model
- parameter estimation
- autoregressive
- prediction model
- formal model
- neural network model
- conceptual model
- data sets
- machine learning
- search engine
- face recognition
- theoretical analysis
- maximum likelihood
- social networks
- high level
- cost function
- evolutionary algorithm
- multi agent
- objective function