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…

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…

In a Communication Bootstrapping system, peer components with different perceptual worlds invent symbols and syntax based on correlations between their percepts. I propose that Communication Bootstrapping can also be used to acquire functional definitions of words and causal reasoning knowledge.…

The Social Worker's Guide to Child and Adolescent Mental Health provides a comprehensive guide to working with children and young people who are experiencing mental health problems, and equips the reader with the knowledge and skills to provide the best…

Reverse logistics activities require the ability to generate new knowledge to reduce high uncertainty and to solve problems resulting of these activities. In this sense the purpose of this research is to understand how the modes of knowledge conversion (Nonaka…

The first social work course to focus on children's mental health in the UK began in 1929 at the London School of Economics and Political Science. The subsequent child guidance movement spawned the genesis of child and adolescent mental health…

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…