The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

Following the deaths of Victoria Climbié and of Peter Connelly (Baby P) the media has raged about social work competence, the public have expressed dismay and the government has responded with proposals designed to alter practice procedures. Altering procedures gives…

The assessment is the most complicated task in the teaching work and it should be especially useful to improve the features and results of the learning process proposed at the beginning of an academic year. It must incorporate tools with…

Designed to provide an introductory grounding in Typography, The Complete Typographer teaches the essentials for the effective use of type - technical expertise and historical knowledge, an understanding of the functional and aesthetic qualities of different typefaces, and the organization…

Building on the strength of the first edition, Quantitative Methods for Business and Economics provides a simple introduction to the mathematical and statistical techniques needed in business. This book is accessible and easy to use, with the emphasis clearly on…

The ability of building robust semantic space representations of environments is crucial for the development of truly autonomous robots. This task, inherently connected with cognition, is traditionally achieved by training the robot with a supervised learning phase. We argue that…

The past twenty years has seen growing academic and policy interest in the role of SMEs within a global context. There has been much debate surrounding the negative impact of globalisation on the international SME arising from increased competitive pressures.…

Social care and health services for older people in Cambridgeshire have been integrated since April 2004. This study examines the effect of the integration programme on service users. Previous research into health and social care integrations predominantly centre on process…

This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…