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).

Modeling of a compact plate-fin reformer for methanol steam reforming in fuel cell systems

The characteristics of a compact plate-fin reformer (PFR) which integrates endothermic and exothermic reactions into one unit have been investigated by experiment as well as by numerical simulation. One reforming chamber was integrated with two vaporization chambers and two combustion chambers to constitute a single unit of PFR. In the PFR, which is based on a plate-fin beat exchanger, catalytic combustion of the reforming gas is used to simulate the fuel cell anode off gas (AOG) which supplies the necessary heat for the methanol steam reforming. Temperature distributions in all chambers and composition distribution in reforming chamber have been studied, and the effect of the ratio of H2O/CH3OH on the performance of the PFR has also been investigated. A model of the PFR was derived using a three-dimensional numerical model for a cross-current flow arrangement. Theoretical predictions of the temperature distributions in the PFR were in good agreement with experimental values. In addition, the numerical model was able to accurately predict the methanol conversion and the reformate composition in reforming chamber. © 2005 Elsevier B.V. All rights reserved.

Methanol steam reforming in a compact plate-fin reformer for fuel-cell systems

A compact plate-fin reformer (PFR) consisting of closely spaced plate-fins, in which endothermic and exothermic reactions take place in alternate chambers, has been studied. In the PFR, which was based on a plate-fin heat exchanger, catalytic combustion of the reforming gas, as a simulation of the fuel cell anode off gas (AOG), supplied the necessary heat for the reforming reaction. One reforming chamber, which was for hydrogen production, was integrated with two vaporization chambers and two combustion chambers to constitute a single unit of PFR. The PFR is very compact, easy to be placed and scaled up. The effect of the ratio of H2O/CH3OH on the performance of the PFR has been investigated, and temperature distributions in different chambers were studied. Besides, the stationary behavior of the PFR was also investigated. Heat transfer of the reformer was enhanced by internal plate-fins as well as by external catalytic combustion, which offer both high methanol conversion ratio and low CO concentration. In addition, the fully integrated reformer exhibited good test stability. Based on the PFR, a scale-up reformer was designed and operated continuously for 1000 h, with high methanol conversion ratio and low CO concentration. (c) 2004 International Association for Hydrogen Energy. Published by Elsevier Ltd. All rights reserved.

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

Propaganda by Proxy?: Britain, America, and Arab Radio Broadcasting, 1953-1957

Vaughn, James, ''Propaganda by Proxy': Britain, America and Arab Radio Broadcasting 1953-1957 ', Historical Journal of Film, Radio and Television (2002) 22(2) pp.157-172 RAE2008

Radio tomography: A new experimental technique

Pryse, Sian, 'Radio tomography: A new experimental technique', Surveys in Geophysics (2003) 24 pp.1-38 RAE2008

The dayside high-latitude trough under quiet geomagnetic conditions: Radio tomography and the CTIP model

Pryse, Sian; Dewis, K.L.; Middleton, H.R.; Balthazor, R.L., (2005) 'The dayside high-latitude trough under quiet geomagnetic conditions: Radio tomography and the CTIP model', Annales Geophysicae 23(4) pp.1199-1206 RAE2008

Radio i jego miejsce w życiu codziennym. Studium odbioru stacji radiowych w Polsce po 1989 roku. Analiza i interpretacja badań jakościowych

Wydział Historyczny: Instytut Etnologii i Antropologii Kulturowej

At sea and in port, or, Life and experience of William S. Fletcher : for thirty years seaman's missionary in Portland, Oregon / compiled from his journal and other authentic sources by H.K. Hines ; with an introduction by Earl Cranston.

http://www.archive.org/details/atseandinportorl00hineiala

Temporal Locality in Web Request Streams: Sources, Characteristics, and Caching Implications

Temporal locality of reference in Web request streams emerges from two distinct phenomena: the popularity of Web objects and the {\em temporal correlation} of requests. Capturing these two elements of temporal locality is important because it enables cache replacement policies to adjust how they capitalize on temporal locality based on the relative prevalence of these phenomena. In this paper, we show that temporal locality metrics proposed in the literature are unable to delineate between these two sources of temporal locality. In particular, we show that the commonly-used distribution of reference interarrival times is predominantly determined by the power law governing the popularity of documents in a request stream. To capture (and more importantly quantify) both sources of temporal locality in a request stream, we propose a new and robust metric that enables accurate delineation between locality due to popularity and that due to temporal correlation. Using this metric, we characterize the locality of reference in a number of representative proxy cache traces. Our findings show that there are measurable differences between the degrees (and sources) of temporal locality across these traces, and that these differences are effectively captured using our proposed metric. We illustrate the significance of our findings by summarizing the performance of a novel Web cache replacement policy---called GreedyDual*---which exploits both long-term popularity and short-term temporal correlation in an adaptive fashion. Our trace-driven simulation experiments (which are detailed in an accompanying Technical Report) show the superior performance of GreedyDual* when compared to other Web cache replacement policies.