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…

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…

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…

Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions and multiple viewpoints. A formalization of Omega is developed as a framework…

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…

How can we construct a program that will understand stories that children would understand? By understand we mean the ability to answer questions about the story. We are interested here with understanding natural language in a very broad area. In…

This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report describes an approach to dealing with this problem based on making some knowledge…

This paper introduces a model of spatial cognition to describe the states of partial knowledge that people have about the spatial structure of a large-scale environment. Spatial knowledge has several different representations, each of which captures one aspect of the…