We describe an extension of the Pvs system that provides a reasonably eecient and practical notion of reeection and thus allows for soundly adding formalized and veriied new proof procedures. These proof procedures work on representations of a part of the underlying logic and their correctness is expressed at the object level using a computational reeection function. The implementation of the P...

Multi-level research that attempts to describe ecological eVects in themselves (for example, the eVect on individual health from living in deprived communities), while also including individual level effects (for example, the eVect of personal socioeconomic disadvantage), is now prominent in research on the socioeconomic determinants of health and disease. Such research often involves the appli...

The UK educational system is currently under pressure from many quarters to increase its use of educational technology. Within this context, this thesis investigates the nature of a range of factors which influence teachers’ use of computer assisted learning (CAL), focusing on biology teachers in Further Education (FE). The factors were identified from the literature, and include aspects such a...