his dissertation analyzes how local knowledge improves environmental decisions. The premise is that controlling pollution and addressing public health disparities are not problems that professionals alone can solve. Concerned lay publics, especially low-income populations and people of color that experience…

This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. WATSONs task is to isolate failures in radio receivers whose…

The analysis of high sports performance by means of technological advances has often been used to calculate the routes of sportsmen in the distances covered, or to calculate speed in orienteering. However, there is still little information on data for…

Descripción completa.

Most studies on Japanese supplier-automaker relationships have focused on the nature of
the dyadic inter-firm relationship and the performance of the assembler. We examine the
relationship between a Japanese supplier's "customer scope strategy" (i.e. number of
customers) and the supplier's…

We develop a qualitative method for understanding and representing phase space structures of complex systems and demonstrate the method with a program, MAPS --- Modeler and Analyzer for Phase Spaces, using deep domain knowledge of dynamical system theory. Given a…

This paper proposes a process management system that enables new dynamic manufacturing models to be implemented. This system facilitates the automation of process modelling, thus reducing the workload for process engineers. To this end, it focuses on the incorporation of…

Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…

The supervision of postgraduate Master's Degree dissertations has attracted little attention in the
academic literature and is an under researched area of supervisory activity. This research was a
response to generate new knowledge concerning the praxis of supervisors who supervise…

Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for scientists and engineers. These tools autonomously prepare simulation experiments from high-level specifications of…