Elementary Cuts in Saturated Models of Peano Arithmetic.

James H. Schmerl

Published in: Notre Dame J. Formal Log. (2012)

Keyphrases

statistical models
experimental data
probabilistic model
databases
multiscale
neural network
bayesian networks
web services
prior knowledge
genetic algorithm
computational model
complex systems
real time
neural network model
bayesian framework
metamodel
mathematical models