In 1975 I started a small project to explore the consequences of implementing equational programs with no semantic compromises. Latest results include a compiler that executes exactly the logical consequences of an equa-tional program, with run-time speed comparable to compiled Franz LISP. This paper surveys the development of the project, through theoretical foundations , algorithm development...

In the simple case of one-dimension al flow between plate s, we show t he effect of Galil ean non-i nveriance of th e usual hexagonal lattice gas mode. Thi s effect leads to a distorted velocity profile when the velocity exceeds a value of 0.4. Higher-order corre ctions to the Navier-Stokes equa tions are considered in a discussion of th e num erical importance of th e distortion.

The Cauchy problem for 1-dimensional nonlinear sto-chastic partial diierential equations is studied. The uniqueness and existence of solutions in H 2 p (T)-space are proved. 1. Introduction The aim of this paper is to prove the unique solvability of the following one-dimensional nonlinear stochastic partial diierential equa-tions(SPDEs): du = a(t; x; u)u 00 + f(t; x)] dt + k (t)u 0 + g k (t; x)...

Modeling in ecol ogy or epidemiol ogy gener all y opposes tw o classes of models, Equa tion Based Models and Agent Based Models. Mathema tical models all ow predicting the longterm dynamics of the studied systems. How ever, the variability betw een individ uals is difficul t to represen t, wha t makes these more suitable models for larg e and homog eneous popula tions. Mul ti-agent models all o...