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.

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

Medieval Women's Writing

Watt, P., Medieval Women's Writing (Cambridge: Polity Press, 2007) RAE2008

The Four Branches of the Mabinogi and Medieval Welsh Poetry

Hughes, I. (2006). The Four Branches of the Mabinogi and Medieval Welsh Poetry. Studi Celtici. 4, pp.155-193. RAE2008

Sy abl fodd Sibli fain: Sibyl in Medieval Wales

Haycock, Marged, 'Sy abl fodd Sibli fain: Sibyl in Medieval Wales', In: Heroic Poets and Poetic Heroes in Celtic Tradition, Joseph Falaky Nagy and Leslie Ellen Jones (eds), (Dublin: Four Courts Press), pp.115-130, 2005 RAE2008

The Where, Who, When and Why of Medieval Welsh Prose Texts: Some Methodological Considerations

Rodway, S. (2007). The Where, Who, When and Why of Medieval Welsh Prose Texts: Some Methodological Considerations. Studia Celtica. 41, pp.47-89. RAE2008

Credit and Debt in medieval England, c.1180-c.1350

Schofield, Phillipp, and N. J. Mayhew, eds., Credit and Debt in medieval England, c.1180-c.1350 (Oxford: Oxbow Books, 2002), pp.x+164 RAE2008

Signs of community or marks of the exclusive? Parish and guild seals in later medieval England

New, Elizabeth, 'Signs of community or marks of the exclusive? Parish and guild seals in later medieval England', In: The Parish in Late Medieval England, (Lincs: Shaun Tyas) pp.112-128, 2006 RAE2008

The role of late medieval English monasteries as expressions of patronal authority : Some case studies

St?ber, Karen. 'The role of late medieval English monasteries as expressions of patronal authority: some case studies', in: 'The Use and Abuse of Sacred Places in Late Medieval Towns, Medievalia Lovaniensia, Series I, Studia XXXVIII', (Leuven: Leuven University Press), pp.189-207, 2006 RAE2008

Peasant and Community in medieval England, 1200-1500

Schofield, Phillipp, Peasant and Community in medieval England, 1200-1500 (New York: Palgrave Macmillan, 2003), pp.vii+279 RAE2008

Christological personal seals and Christocentric devotion in later medieval England and Wales

New, E. (2002). Christological personal seals and Christocentric devotion in later medieval England and Wales. Antiquaries Journal. 82, pp.47-68. RAE2008