Reforming the public sector: personalised activation services in the UK

This paper highlights the degree of flexibility and personalisation in the UK’s welfare to work programmes. The Labour Government’s New Deals as originally designed were meant to provide personalised and tailor-made services and to meet the needs of individuals. The programmes have evolved and become more personalised and promote flexible service delivery. The chapter explores the Personal Adviser model and focuses on the development of New Deal for Young People and New Deal 25 Plus. In recent years a number of factors appear to have encouraged the development of more personalised activation services in the UK.

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.