Simplifying transformations for type-alpha certificates

This paper presents an algorithm for simplifying NDL deductions. An array of simplifying transformations are rigorously defined. They are shown to be terminating, and to respect the formal semantis of the language. We also show that the transformations never increase the size or complexity of a deduction---in the worst case, they produce deductions of the same size and complexity as the original. We present several examples of proofs containing various types of "detours", and explain how our procedure eliminates them, resulting in smaller and cleaner deductions. All of the given transformations are fully implemented in SML-NJ. The complete code listing is presented, along with explanatory comments. Finally, although the transformations given here are defined for NDL, we point out that they can be applied to any type-alpha DPL that satisfies a few simple conditions.

Special Educational Needs in Wales

Special Educational Needs in Wales (with K Williams and B Rainey), (2004) 3 Wales Journal of Law and Policy 17-33. RAE2008

Robert Heinich, Michael Molenda, James D. Russell, Sharon E. Smaldino, Instructional Media and Technologies for Learning, Prentice-Hall, Inc., Englewood Cliffs, New Jersey 1996, ss. 446. Steven Hackbarth, The Educational Technology Handbook. A Comprehensive Guide, Educational Technology Publications Inc., Englewood Cliffs, New Jersey 1996, ss. 351

Recenzje i sprawozdania z książek

Planning humanitarian projects with educational focus in Guinea rural areas

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Acção Humanitária, Cooperação e Desenvolvimento

Educational missions.

http://www.archive.org/details/educationalmissi008437mbp

Christian education in China : a study made by an educational commission representing the mission boards and societies conducting work in China.

http://www.archive.org/details/christianeducati008935mbp

Analysis of educational materials and destruction/opt-out initiatives for storage and use of residual newborn screening samples.

In recent years, the storage and use of residual newborn screening (NBS) samples has gained attention. To inform ongoing policy discussions, this article provides an update of previous work on new policies, educational materials, and parental options regarding the storage and use of residual NBS samples. A review of state NBS Web sites was conducted for information related to the storage and use of residual NBS samples in January 2010. In addition, a review of current statutes and bills introduced between 2005 and 2009 regarding storage and/or use of residual NBS samples was conducted. Fourteen states currently provide information about the storage and/or use of residual NBS samples. Nine states provide parents the option to request destruction of the residual NBS sample after the required storage period or the option to exclude the sample for research uses. In the coming years, it is anticipated that more states will consider policies to address parental concerns about the storage and use of residual NBS samples. Development of new policies regarding storage and use of residual NBS samples will require careful consideration of impact on NBS programs, parent and provider educational materials, and respect for parents among other issues.

The Design and Implementation of an Educational Computer Game and Its Study as a Motivational Tool for Middle School ESOL Students

Gemstone Team ILL (Interactive Language Learning)

Educational Mismatch and Employment Contracts: A Labour Productivity Analysis

SCOPUS: no.j

Metadaten für Open Educational Resources (OER). Eine Handreichung für die öffentliche Hand, erstellt von der Technischen Informationsbibliothek (TIB)

"Im Zuge der weiteren Verbreitung der Social Media und der internetbasierten Lehre, gewinnen eLearning Inhalte immer mehr an Bedeutung. In den Kontext von eLearning und internetbasierter Lehre gehören auch Open Educational Resources (OER). OER sind digitale Lern- und Lehrmaterialien, die frei für Lehrende und Studierende zugänglich sind und auch frei verbreitet werden dürfen. [...] Um OER auszutauschen, zu finden, zu beschaffen und sie auf einer breiten Basis zugänglich zu machen, insbesondere auch über Suchmaschinen und dadurch verwenden zu können, werden für die jeweiligen Materialien Metadaten benötigt. [...] Um die Frage nach dem Handlungs- und Forschungsbedarf zum Thema Metadaten für Open Educational Resources zu untersuchen, wird zunächst ein Überblick über die momentan bestehenden nationalen und internationalen Metadatenstandards für eLearning Objekte gegeben. [...] Hieraus ergeben sich Empfehlungen, welche Metadaten-Standards für die weitere Nutzung und Förderung geeignet sein könnten. Es werden außerdem die Möglichkeiten der Erstellung eines neuen Metadaten-Standards sowie eines gemeinsamen Portals für OER erörtert. Hierbei wird vor allem auf die zu erwartenden Probleme und die damit verbundenen Anforderungen eingegangen." (DIPF/Orig.)

An investigation into regional differences in educational performance in the National Child Development Study

The National Child Development Study (NCDS) is used to investigate factors which affect children's educational performance over time. Multilevel modelling techniques are used on a subset of the NCDS to investigate variation in educational performance in 11 regions in the UK, and in local education authorities within these regions. Social characteristics of the NCDS members are also analysed. Differences between regions and education authorities are found to be negligible, the main source of variation in achievement being due to differences in social background.

Aspects of care 5: the continuing educational needs of midwives

This is the fifth in a series of six papers presenting key findings from a national study that was undertaken to investigate the role and responsibilities of midwives and to identify continuing educational need. The background to the study and the titles of the other papers in the series have been outlined in the first paper. This paper focuses on the methods used to identify the continuing educational needs of midwives, and provides an overview of the findings related to midwives' perceived confidence/competence to practice and their continuing educational needs.