This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…

Nature and Gnosticism are problematic terms. With the discovery of a library of so called heretical Gnostic texts in 1945, theologians, historians, and believers the world over have been exposed to Christian texts that call into question the liturgical lineage…

Recent advances in biology have afforded scientists with the knowledge that polysaccharides play an active role in modulating cellular activities. Glycosaminoglycans (GAGs) are one such family of polysaccharides that play a very important role in regulating the functions of numerous…

This paper presents an adaptive learning model for market-making under the reinforcement learning framework. Reinforcement learning is a learning technique in which agents aim to maximize the long-term accumulated rewards. No knowledge of the market environment, such as the order…

Recent advances in microdroplet generation and deposition processes have made it possible to directly form solder bumps on integrated circuits using micron-sized molten metal droplets. The direct droplet deposition bumping process can potentially produce uniform-sized bumps more economically than the…

We have developed a technique called RISE (Random Image Structure Evolution), by which one may systematically sample continuous paths in a high-dimensional image space. A basic RISE sequence depicts the evolution of an object's image from a random field, along…

All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the…

This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used…

This thesis confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a computational performance model, HACKER, is displayed. Hacker is a computer…

The water-gas shift reaction is an exothermic and reversible catalytic process that converts carbon monoxide and water (steam) to hydrogen and carbon dioxide. In regard to energy-related issues, the water-gas shift is part of the process of reforming hydrocarbons to…