173 research outputs found

    Costing the lifecycle of networked learning: Documenting the costs from conception to evaluation

    Get PDF
    This paper reports the development of a course development lifecycle model which is intended to inform the identification of ‘hidden’ costs associated with network‐based learning. The development of this model formed part of a six‐month research study funded by the Joint Information Systems Committee of the UK Funding Councils. The study aimed to produce a planning document and financial schema through which the full costs of networked learning could be documented A discussion is given of the initial five‐stage model, the testing and development of this model and the evolution of a final three‐phase model. Hypothetical examples are given of the use of the three‐phase model

    Bibliography of benchmarking e-learning version 1

    Get PDF
    This version of the bibliography has been compiled as part of the work to create an overarching analysis of the methodologies used and considered in the Higher Education Academy/JISC Benchmarking of e-Learning Programme and related activities. It is hoped that future versions will more fully cover activities in other countries and sectors

    Benchmarking E-learning in UK Universities: Lessons from and for The International Context

    Get PDF
    Using participant-observer evaluation with documentary review, the author traces the history of the Pick&amp;Mix benchmarking methodology in the UK programme on benchmarking elearning up to the current day. The paper aims to show how other countries can use a similar methodology, and discusses the ranges of applicability.The paper focusses on: benefits of an open educational methodology; refinement of criteria; issues of alignment to national government and quality agency mandates; project management approaches; making use of consortia, and how to ensure deep discussion within institutions. In particular, evidence is put forward for the restriction to around 24 criteria.The author has been active in all four phases of the UK programme; has been an international advisor to the Australian scheme, collaborated closely with the main New Zealand expert, worked with EU projects, and analysed other schemes for their relevance to the UK. The author had a unique position in the UK programme including creating one of the leading methodologies (Pick&amp;Mix) and updating three others, directly overseeing half the activity and being in charge of the final phase in Wales. The full range of comparative work on criteria has not been published and the conclusions on international use are new.</p

    Policy Approaches to Open Education - Case Studies from 28 EU Member States (OpenEdu Policies)

    Get PDF
    This study provides the first-ever EU-wide overview of the state of play with policies on open education involving all the 28 Member States. For each Member State, a full account of their understanding of open education and strategic policy approach is given.  JRC.B.4-Human Capital and Employmen

    Quantifier-Free Interpolation of a Theory of Arrays

    Get PDF
    The use of interpolants in model checking is becoming an enabling technology to allow fast and robust verification of hardware and software. The application of encodings based on the theory of arrays, however, is limited by the impossibility of deriving quantifier- free interpolants in general. In this paper, we show that it is possible to obtain quantifier-free interpolants for a Skolemized version of the extensional theory of arrays. We prove this in two ways: (1) non-constructively, by using the model theoretic notion of amalgamation, which is known to be equivalent to admit quantifier-free interpolation for universal theories; and (2) constructively, by designing an interpolating procedure, based on solving equations between array updates. (Interestingly, rewriting techniques are used in the key steps of the solver and its proof of correctness.) To the best of our knowledge, this is the first successful attempt of computing quantifier- free interpolants for a variant of the theory of arrays with extensionality
    corecore