Pattern matching is the process of comparing two objects to see if they are similar to each other. Objects can be physical objects, situations, facts or events. The criteria of matching can be exact or partial. Traditional pattern matching systems rely on exact matches, in which a small set of...
Multimedia networking is one of the most exciting developments in today's Internet. Streaming technology; which allows the player to start playing audio/video data immediately instead of waiting for the entire file to be downloaded, presents an attractive vehicle for the distribution of multimedia content over the Internet. However, transmitting real-time...
The Structural Active-Object System (SAOS) approach allows rapid development of various concurrent systems by structural and hierarchical object composition (SHOC). We implemented, as a SAOS program, a graphical editing and simulation program for automatic guided vehicle (AGV) systems, which carry around parts in automated factories. It is difficult to predict...
Ammonia oxidation is the first and rate-limiting step in nitrification and is dominated by two distinct groups of microorganisms in soil: ammonia-oxidizing archaea (AOA) and ammonia-oxidizing bacteria (AOB). AOA are often more abundant than AOB and dominate activity in acid soils. The mechanism of ammonia oxidation under acidic conditions has...
Ammonia oxidation is the first and rate-limiting step in nitrification and is dominated by two distinct groups of microorganisms in soil: ammonia-oxidizing archaea (AOA) and ammonia-oxidizing bacteria (AOB). AOA are often more abundant than AOB and dominate activity in acid soils. The mechanism of ammonia oxidation under acidic conditions has...
Programming style is important for program understanding in programming tasks such as maintenance. testing, and debugging. The goal of programming style is to improve the readability of the source program without adversely affecting its performance.
Critique is a FORTRAN source program style critic which analyzes the source program and outputs...
Hayes, in his Naive Physics Manifesto, identified two alternate ontologies for reasoning about liquids, an ontology based on the notion of a contained substance and one based on the notion of a molecular collection. Qualitative Process theory, proposed by Forbus, lends itself easily to encoding the contained substance ontology. It...
In this report, we describe an implementation of a prototype information resources management system for the synthesis and integration project of the forest response program using a 4GL application development system ACCELL. Our system is called Prototype Virtual Data Management System (PVDMS). ACCELL is a software package that combines a...
With sequential computing technology reaching its speed limits, parallel processing is emerging as the key to very-high-speed computation. However, developing a parallel program is by no means a simple task; neither is analyzing the performance of parallel programs.
C* is a high-level data-parallel language that hides explicit message passing and...