Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic…

In this study I deal with the conception of "elocutio" as described and explained in the "Institutio oratoria". My main point of view is the semiotic one, since the analysis of syntactic, semantic, and pragmatic aspects of this rhetorical operation…

When faced with challenging technical problems, R&D personnel would often turn to technical papers to seek inspiration for a solution. The building of a corpus of such papers and the easy retrieval of relevant papers by the user in his…

We prove that the scale map of the zero-crossings of almost all signals filtered by the second derivative of a gaussian of variable size determines the signal uniquely, up to a constant scaling and a harmonic function. Our proof provides…

KAM is a computer program that can automatically plan, monitor, and interpret numerical experiments with Hamiltonian systems with two degrees of freedom. The program has recently helped solve an open problem in hydrodynamics. Unlike other approaches to qualitative reasoning about…

At a time when it is clear that climate change adaptation and mitigation are failing, this book examines how our assumptions about (valid and usable) knowledge are preventing effective climate action. Through a cross-disciplinary, empirically-based analysis of climate science and…

The goal of the commodity expert project was to develop a prototype program that would act as an intelligent assistant to a commodity market analyst. Since expert analysis must deal with very large, yet incomplete, data bases of unreliable facts…

This thesis describes a methodology, a representation, and an implemented program for troubleshooting digital circuit boards at roughly the level of expertise one might expect in a human novice. Existing methods for model-based troubleshooting have not scaled up to deal…

This paper considers the use of narrative exchanges in the form of letters and conversations as a legitimate research method when collecting “secret data” within organisational settings. It refers to narrative exchanges the authors’ undertook over a three‑month period, regarding…

The activity of designing and developing large, complex, discrete, physical, and engineered products faces the challenges in the physical product system, the organization of people, and the larger systems in which the product resides-the natural and societal systems. This thesis…