Static Balance Checking for First-Class Modular Systems of Equations.

John Capper Henrik Nilsson

Published in: Trends in Functional Programming (2010)

Keyphrases

real time
multiscale
distributed systems
linear systems
learning algorithm
search engine
multi agent
expert systems
artificial neural networks
probabilistic model
learning systems
complex systems
mathematical model
model checking