CTIMIT: cellular-bandwidth speech corpus.

ROCK & ROLL 3.17: deductive OODB system.

MATH: Zentralblatt fuer Mathematik database of 900K articles (since 1972) in math, mechanics, CS, OR, systems, and control theory.

MATH: ditto, for 1.5M abstracts back to 1931. (Expired free offer.)

DDLab: Discrete Dynamics Lab for X-windows or DOS.

PHYSICA: 3D unstructured mesh framework for multi-physics modeling.

MPIL: instance-based learning system for vector spaces.

osmSrch: C++ engine for staff scheduling or assignment problems.

Generator: curve fitting in Excel.

Bibliography of GA and GP reasoning, from Gene Sheppard.

Intelligent Agents: review paper by Jennings and Wooldridge.

Market-Based Control: complex-systems book by Scott Clearwater.

Planning Methods in AI: seminar notes from Kambhampati.

Neural Networks in Finance and Investing (2nd ed.): book by Trippi and Turban, with ThinksPro NN software.

Parallel Implementations of Backpropagation Neural Networks on Transputers: book by Saratchandran, Sundararajan, and Foo.

Explanation-based Neural Network Learning: book by Thrun.

Cognitive and Social Action: book by Conte and Castelfranchi.