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...
An execution of a database system is considered correct if its net effect is as if transactions were executed serially, and such an execution is called serializable. In this short paper we show that the serializability test problem can be reduced to a simple pebbling problem. Our characterization is intuitive...
In this report, we present future projections of climate and climate-related natural hazards in Benton County for the 2020s (2010–2039) and 2050s (2040–2069) relative to the 1971–2000 historical baseline. The projections are based on multiple global climate models for both a lower greenhouse gas emissions scenario (RCP 4.5) and a...
Listeria monocytogenes is the third most deadly foodborne pathogen in the United States. The young and elderly, as well as pregnant and immunocompromised people are the population most susceptible to serious illness and death from listeriosis infections.
Unlike most foodborne pathogens, L. monocytogenes does not live a solely enteric lifestyle....
This paper explores the use of sonification, the conversion of data into sound, to convey the significance of SARS-COV-2 and its global impact. It emphasizes sonification as a valuable tool for making complex data accessible, particularly in high school education. Sonification, an interdisciplinary field, leverages the human auditory system's pattern...