Individualised aspiration dynamics: Calculation by proofs.

Bin Wu Lei Zhou

Published in: PLoS Comput. Biol. (2018)

Keyphrases

dynamic model
theorem prover
dynamical systems
database
data mining
web services
hidden markov models
theorem proving
information systems
image sequences
face recognition
multiscale
user interface
motion estimation
temporal evolution
collective behavior