Hierarchical Shape Description of Objects by Selection and Modification of Prototypes

An approach towards shape description, based on prototype modification and generalized cylinders, has been developed and applied to the object domains pottery and polyhedra: (1) A program describes and identifies pottery from vase outlines entered as lists of points. The descriptions have been modeled after descriptions by archeologists, with the result that identifications made by the program are remarkably consisten with those of the archeologists. It has been possible to quantify their shape descriptors, which are everyday terms in our language applied to many sorts of objects besides pottery, so that the resulting descriptions seem very natural. (2) New parsing strategies for polyhedra overcome some limitations of previous work. A special feature is that the processes of parsing and identification are carried out simultaneously.

Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. Statements can be asserted and perhaps later withdrawn as the state of the world changes. Under BACKTRACK control structure, the hierarchy of activations of functions previously executed is maintained so that it is possible to revert to any previous state. Thus programs can easily manipulate elaborate hypothetical tentative states. In addition PLANNER uses multiprocessing so that there can be multiple loci of changes in state. Goals can be established and dismissed when they are satisfied. The deductive system of PLANNER is subordinate to the hierarchical control structure in order to maintain the desired degree of control. The use of a general-purpose matching language as the basis of the deductive system increases the flexibility of the system. Instead of explicitly naming procedures in calls, procedures can be invoked implicitly by patterns of what the procedure is supposed to accomplish. The language is being applied to solve problems faced by a robot, to write special purpose routines from goal oriented language, to express and prove properties of procedures, to abstract procedures from protocols of their actions, and as a semantic base for English.

High-performance liquid chromatography-tandem mass spectrometry for identification of isoflavones and description of the biotransformation of kudzu root

High-performance liquid chromatography-tandem mass spectrometry has been used to identify isoflavone aglycones and glycosides in kudzu root. Fourteen isoflavones were detected. Among these, six were identified by comparison with authentic standards. Tentative identifications of the other isoflavones are based on UV spectra, mass spectra of protonated and deprotonated molecules, and MS-MS data. Several are reported for the first time in kudzu root. The bioactivity and bioavailability of isoflavone aglycones are usually greater than those of their glycosides. To improve the bioavailability of kudzu root isoflavones, crude beta-glycosidases prepared from microbes were used to hydrolyze the isoflavone glycosides. Several MS modes are combined not only to identify the isoflavones in kudzu root, but also to describe the biotransformation of kudzu root isoflavone glycosides. It is also proved that crude beta-glycosidases have high selectivity toward the O-glycosides of isoflavones.

JUSTEIS: JISC Usage Surveys: Trends in Electronic Information Services Final report 2003/2004 Cycle Five

Urquhart, C., Spink, S., Thomas, R., Yeoman, A., Durbin, J., Turner, J., Fenton, R. & Armstrong, C. (2004). JUSTEIS: JISC Usage Surveys: Trends in Electronic Information Services Final report 2003/2004 Cycle Five. Aberystwyth: Department of Information Studies, University of Wales Aberystwyth. Sponsorship: JISC

JUSTEIS (JISC Usage Surveys: Trends in Electronic Information Services) Strand A: survey of end users of all electronic information services (HE and FE), with Action research report. Final report 2002/2003 Cycle Four.

Urquhart, C. (editor for JUSTEIS team), Spink, S., Thomas, R., Yeoman, A., Durbin, J., Turner, J., Armstrong, A., Lonsdale, R. & Fenton, R. (2003). JUSTEIS (JISC Usage Surveys: Trends in Electronic Information Services) Strand A: survey of end users of all electronic information services (HE and FE), with Action research report. Final report 2002/2003 Cycle Four. Aberystwyth: Department of Information Studies, University of Wales Aberystwyth with Information Automation Ltd (CIQM). Sponsorship: JISC

Single Mueller matrix description of the propagation of degree of polarisation in a uniformly anisotropic single-mode optical fibre

R. Zwiggelaar and M.G.F. Wilson, 'Single Mueller matrix description of the propagation of degree of polarisation in a uniformly anisotropic single-mode optical fibre', IEE Proceedings Optoelectronics 141 (6), 367-372 (1994)

The EXACT description of biomedical protocols

Soldatova, L. N., Aubrey, W., King, R. D., Clare, A. J. (2008). The EXACT description of biomedical protocols. Bioinformatics, 24 (13), i295-i303 Sponsorship: BBSRC / RAEng / EPSRC specialissue: ISMB

Influence of blood donation on O-2 uptake on-kinetics, peak O-2 uptake and time to exhaustion during severe-intensity cycle exercise in humans

Thatcher, Rhys, et al., 'Influence of blood donation on O-2 uptake on-kinetics, peak O-2 uptake and time to exhaustion during severe-intensity cycle exercise in humans', Experimental Physiology (2006) 91(3) pp.499-509 RAE2008

A betting market: Description and a theoretical explanation of bets in pelota matches

In pelota matches, bets are made between viewers through a middleman who receives 16% of the finally paid amount. In this paper a description of the way bets are made and an explanation of the existence of those markets is presented. Taking betting markets as a simplified analogy for financial markets we have searched for the explanation in a world where both sides of the market are not different in believes and preferences. Taking observations from actually made bets a preliminary analysis about the biases of those markets is presented.

A view of the history, literature, and religion of the Hindoos : including a minute description of their manners and customs, and translations from their principal works / by Rev. W. Ward.

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

By Eskimo dog-sled and kayak a description of a missionary's experiences and adventures in Labrador

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

Hinduism and Christianity in Orissa: containing a brief description of the country, religion, manners and customs, of the Hindus, and an account of the operations of the American Freewill Baptist Mission in northern Orissa ... By O.R. Bacheler ...

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

Spiritual Narratives in Everyday Life: A Description of the Project

John Templeton Foundation

Building Responsive Systems from Physically-correct Specifications

Predictability - the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is the Time-constrained Reactive Automaton (TRA) formalism, which adopts a fundamental notion of space and time that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Using the TRA model, unrealistic systems - possessing properties such as clairvoyance, caprice, in finite capacity, or perfect timing - cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. The TRA model is presented to system developers through the CLEOPATRA programming language. CLEOPATRA features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. CLEOPATRA is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem proving techniques. Since 1989, an ancestor of CLEOPATRA has been in use as a specification and simulation language for embedded time-critical robotic processes.