Adult numeracy teacher training programmes in England: A suggested typology

Nationally approved adult numeracy teacher training programmes were started in September 2002 following the introduction of subject specifications by the Department for Education and Skills and the Further Education National Training Organisation in England. These programmes delivered by higher education institutions and further education colleges were found to consist of a wide variation of course structure and delivery style. This article offers a conceptual typological framework to classify the diversity of these programmes. It uses examples of adult numeracy courses drawn from a research project, which investigates the diverse curriculum approaches to teaching the subject specifications, the issues around implementation, and the way that subject knowledge was translated into classroom skills. The typology uses Bernstein’s theories on curriculum knowledge, transmission and recontextualization pedagogic processes as a framework to classify and enhance our understanding of the raison d’etre of this subject area of teacher training courses i.e. teach trainees how to be teachers of adult numeracy. The article also offers an ‘ideal’ teacher training course where some of its elements are drawn from best practices identified in the project. Finally, this article might act as platform for practitioners to critically assess how adult numeracy teacher training courses might be structured and classifie

Microprocessor utilization in search and rescue missions

The position of an emergency transmitter may be determined by measuring the Doppler shift of the distress signal as received by an orbiting satellite. This requires the computation of an initial estimate and refinement of this estimate through an iterative, nonlinear, least squares estimation. A version of the algorithm was implemented and tested by locating a transmitter on the premises and obtaining observations from a satellite. The computer used was an IBM 360/95. The position was determined within the desired 10 km radius accuracy. The feasibility of performing the same task in real time using microprocessor technology, was determined. The least squares algorithm was implemented on an Intel 8080 microprocessor. The results indicate that a microprocessor can easily match the IBM implementation in accuracy and be performed inside the time limitations set

The XMM-Newton wide-field survey in the COSMOS field. IV: X-ray spectral properties of Active Galactic Nuclei

We present a detailed spectral analysis of point-like X-ray sources in the XMM-COSMOS field. Our sample of 135 sources only includes those that have more than 100 net counts in the 0.3-10 keV energy band and have been identified through optical spectroscopy. The majority of the sources are well described by a simple power-law model with either no absorption (76%) or a significant intrinsic, absorbing column (20%).As expected, the distribution of intrinsic absorbing column densities is markedly different between AGN with or without broad optical emission lines. We find within our sample four Type-2 QSOs candidates (L_X > 10^44 erg/s, N_H > 10^22 cm^-2), with a spectral energy distribution well reproduced by a composite Seyfert-2 spectrum, that demonstrates the strength of the wide field XMM/COSMOS survey to detect these rare and underrepresented sources.Comment: 16 pages, ApJS COSMOS Special Issue, 2007 in press. The full-resolution version is available at http://www.mpe.mpg.de/XMMCosmos/PAPERS/mainieri_cosmos.ps.g

Workers researching the workplace: The confessions of a work based learning tutor

This paper discusses the work based learning module at the University of Chester, its philosophical underpinnings and the community of practice amongst tutors; the evolution of the facilitation of workplace research, how it is currently deilvered and future developments; practitioner enquiry; a research agenda

Automated Oracle Generation via Denotational Semantics

Software failure detection is typically done by comparing the running behaviors from a software under test (SUT) against its expected behaviors, called test oracles. In this paper, we present a formal approach to specifying test oracles in denotational semantics for systems with structured inputs. The approach introduces formal semantic evaluation rules, based on the denotational semantics methodology, defined on each productive grammar rule. We extend our grammar-based test generator, GENA, with automated test oracle generation. We provide three case studies of software testing: (i) a benchmark of Java programs on arithmetic calculations, (ii) an open source software on license identification, and (ii) selenium-based web testing. Experimental results demonstrate the effectiveness of our approach and illustrate the success of the application on the software testing