Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs

A fundamental problem in artificial intelligence is obtaining coherent behavior in rule-based problem solving systems. A good quantitative measure of coherence is time behavior; a system that never, in retrospect, applied a rule needlessly is certainly coherent; a system suffering from combinatorial blowup is certainly behaving incoherently. This report describes a rule-based problem solving system for automatically writing and improving numerical computer programs from specifications. The specifications are in terms of "constraints" among inputs and outputs. The system has solved program synthesis problems involving systems of equations, determining that methods of successive approximation converge, transforming recursion to iteration, and manipulating power series (using differing organizations, control structures, and argument-passing techniques).

Use and non-use of electronic information sources by undergraduates at the University of the West Indies

Ramlogan, R.,& Tedd, L. (2006). Use and non-use of electronic information sources by undergraduates at the University of the West Indies. Online Information Review, 30(1), 24-42.

Acid damage to vegetation following the Laki Fissure eruption in 1783 - an historical review

Grattan, John and Pyatt, Brian. 'Acid damage to vegetation following the laki fissure eruption in 1783 - an historical review' The Science of the Total Environment. 26 August 1993. 151 pgs 241-247

Volcanic eruptions dry fogs and the european palaeoenvironmental record: Localised phenomena or Hemispheric impacts?

Grattan, John and Pyatt, J.P 'Volcanic eruptions dry fogs and the european palaeoenvironmental record: Localised phenomena or Hemispheric impacts?' Global and Planetary Change, 21(1999) 173-179

Invertebrates of ancient heavy metal spoil and smelting tip sites in southern Jordan: Thier distribution and use as bioindicators of metalliferous pollution derived from ancient sources

Pyatt, B. Amos, D. Grattan, J. Pyatt, A. Terrell-Nield, C. Invertebrates of ancient heavy metal spoil and smelting tip sites in southern Jordan: Thier distribution and use as bioindicators of metalliferous pollution derived from ancient sources. Journal of Arid Environments. 2002. 52 pp 53-62

Historical Reflections on the Uses and Limits of Intelligence

Jackson, Peter; Siegel, Jennifer., 'Historical Reflections on the Uses and Limits of Intelligence', In: Intelligence and Statecraft: The Use and Limits of Intelligence in International Society (Westport, CT: Praeger, 2005), pp.11-51 RAE2008

International retail divestment activity

Alexander, N.; Quinn, B.; and Cairns, P. (2005). International retail divestment activity. International Journal of Retail and Distribution Management. 33(1), pp.5-22 RAE2008