287 research outputs found
Classroom assessment and education: challenging the assumptions of socialisation and instrumentality
The opportunity offered by the Umea Symposium to probe the intersection of quality and assessment immediately brings into focus a wider issue – that of the quality of education which assessment aspires to support. Prompted by recent research into formative assessment in Scottish primary school contexts, the paper explores how formative assessment has become associated with an overly benign understanding of learning which misrecognises the possibility of undesirable learning and does not seem to address the inherently political nature of education. Having illuminated the potential inequities of formative assessment practices, the paper then asks what role formative assessment might play to support an understanding of education that is not simply about the transmission of traditional social norms, but also aspires to illuminate their social construction and their political nature
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals
The importance of the Electronic Health Record (EHR) has been addressed in recent years by governments and institutions.Many large scale projects have been funded with the aim to allow healthcare professionals to consult patients data. Properties such as confidentiality, authentication and authorization are the key for the success for these projects. The Integrating the Healthcare Enterprise (IHE) initiative promotes the coordinated use of established standards for authenticated and secure EHR exchanges among clinics and hospitals. In particular, the IHE integration profile named XUA permits to attest user identities by relying on SAML assertions, i.e. XML documents containing authentication statements. In this paper, we provide a formal model for the secure issuance of such an assertion. We first specify the scenario using the process calculus COWS and then analyse it using the model checker CMC. Our analysis reveals a potential flaw in the XUA profile when using a SAML assertion in an unprotected network. We then suggest a solution for this flaw, and model check and implement this solution to show that it is secure and feasible
Managing Dynamic User Communities in a Grid of Autonomous Resources
One of the fundamental concepts in Grid computing is the creation of Virtual
Organizations (VO's): a set of resource consumers and providers that join
forces to solve a common problem. Typical examples of Virtual Organizations
include collaborations formed around the Large Hadron Collider (LHC)
experiments. To date, Grid computing has been applied on a relatively small
scale, linking dozens of users to a dozen resources, and management of these
VO's was a largely manual operation. With the advance of large collaboration,
linking more than 10000 users with a 1000 sites in 150 counties, a
comprehensive, automated management system is required. It should be simple
enough not to deter users, while at the same time ensuring local site autonomy.
The VO Management Service (VOMS), developed by the EU DataGrid and DataTAG
projects[1, 2], is a secured system for managing authorization for users and
resources in virtual organizations. It extends the existing Grid Security
Infrastructure[3] architecture with embedded VO affiliation assertions that can
be independently verified by all VO members and resource providers. Within the
EU DataGrid project, Grid services for job submission, file- and database
access are being equipped with fine- grained authorization systems that take VO
membership into account. These also give resource owners the ability to ensure
site security and enforce local access policies. This paper will describe the
EU DataGrid security architecture, the VO membership service and the local site
enforcement mechanisms Local Centre Authorization Service (LCAS), Local
Credential Mapping Service(LCMAPS) and the Java Trust and Authorization
Manager.Comment: Talk from the 2003 Computing in High Energy and Nuclear Physics
(CHEP03), La Jolla, Ca, USA, March 2003, 7 pages, LaTeX, 5 eps figures. PSN
TUBT00
Synthetic High-Resolution Line Spectra of Star-Forming Galaxies Below 1200A
We have generated a set of far-ultraviolet stellar libraries using spectra of
OB and Wolf-Rayet stars in the Galaxy and the Large and Small Magellanic Cloud.
The spectra were collected with the Far Ultraviolet Spectroscopic Explorer and
cover a wavelength range from 1003.1 to 1182.7A at a resolution of 0.127A. The
libraries extend from the earliest O- to late-O and early-B stars for the
Magellanic Cloud and Galactic libraries, respectively. Attention is paid to the
complex blending of stellar and interstellar lines, which can be significant,
especially in models using Galactic stars. The most severe contamination is due
to molecular hydrogen. Using a simple model for the H line strength, we
were able to remove the molecular hydrogen lines in a subset of Magellanic
Cloud stars. Variations of the photospheric and wind features of CIII 1176, OVI
1032, 1038, PV 1118, 1128, and SIV 1063, 1073, 1074 are discussed as a function
of temperature and luminosity class. The spectral libraries were implemented
into the LavalSB and Starburst99 packages and used to compute a standard set of
synthetic spectra of star-forming galaxies. Representative spectra are
presented for various initial mass functions and star formation histories. The
valid parameter space is confined to the youngest ages of less than 10 Myr for
an instantaneous burst, prior to the age when incompleteness of spectral types
in the libraries sets in. For a continuous burst at solar metallicity, the
parameter space is not limited. The suite of models is useful for interpreting
the restframe far-ultraviolet in local and high-redshift galaxies.Comment: 33 pages including 13 figures, accepted for publication in Ap
Blaming the victim: assessment, examinations, and the responsibilisation of students and teachers in neo-liberal governance
Historically, for a period of a hundred years or more from the 1860s to the 1960s, assessment developed as an educational technology for selecting and certificating small numbers of individual students. This process was largely focused on excluding the majority. Over the last 30–40 years, the focus and purpose of assessment has changed. The emphasis is now on education for all and the development of a fit-for-purpose assessment system as a system, that is, as part of an integrated approach to national human resource development. These changes have been both driven by, and contributed to, the development of the knowledge economy and neo-liberalism. Students and teachers have been ‘responsibilised’ for the quality and outcomes of education, with assessment and examinations providing the quintessential vehicle for individualising and responsibilising success and failure in relation to achievement and social mobility
Far-ultraviolet Spectroscopy of Venus and Mars at 4 A Resolution with the Hopkins Ultraviolet Telescope on Astro-2
Far-ultraviolet spectra of Venus and Mars in the range 820-1840 A at 4 A
resolution were obtained on 13 and 12 March 1995, respectively, by the Hopkins
Ultraviolet Telescope (HUT), which was part of the Astro-2 observatory on the
Space Shuttle Endeavour. Longward of 1250 A, the spectra of both planets are
dominated by emission of the CO Fourth Positive band system and strong OI and
CI multiplets. In addition, CO Hopfield-Birge bands, B - X (0,0) at 1151 A and
C - X (0,0) at 1088 A, are detected for the first time, and there is a weak
indication of the E - X (0,0) band at 1076 A in the spectrum of Venus. The B -
X band is blended with emission from OI 1152. Modeling the relative intensities
of these bands suggests that resonance fluorescence of CO is the dominant
source of the emission, as it is for the Fourth Positive system. Shortward of
Lyman-alpha, other emission features detected include OII 834, OI lambda 989,
HI Lyman-beta, and NI 1134 and 1200. For Venus, the derived disk brightnesses
of the OI, OII, and HI features are about one-half of those reported by Hord et
al. (1991) from Galileo EUV measurements made in February 1990. This result is
consistent with the expected variation from solar maximum to solar minimum. The
ArI 1048, 1066 doublet is detected only in the spectrum of Mars and the derived
mixing ratio of Ar is of the order of 2%, consistent with previous
determinations.Comment: 8 pages, 5 figures, accepted for publication in ApJ, July 20, 200
Curricular orientations to real-world contexts in mathematics
A common claim about mathematics education is that it should equip students to use mathematics in the ‘real world’. In this paper, we examine how relationships between mathematics education and the real world are materialised in the curriculum across a sample of eleven jurisdictions. In particular, we address the orientation of the curriculum towards application of mathematics, the ways that real-world contexts are positioned within the curriculum content, the ways in which different groups of students are expected to engage with real-world contexts, and the extent to which high-stakes assessments include real-world problem solving. The analysis reveals variation across jurisdictions and some lack of coherence between official orientations towards use of mathematics in the real world and the ways that this is materialised in the organisation of the content for students
Far Ultraviolet Spectra of B Stars near the Ecliptic
Spectra of B stars in the wavelength range of 911-1100 A have been obtained
with the EURD spectrograph onboard the Spanish satellite MINISAT-01 with ~5 A
spectral resolution. IUE spectra of the same stars have been used to normalize
Kurucz models to the distance, reddening and spectral type of the corresponding
star. The comparison of 8 main-sequence stars studied in detail (alpha Vir,
epsilon Tau, lambda Tau, tau Tau, alpha Leo, zeta Lib, theta Oph, and sigma
Sgr) shows agreement with Kurucz models, but observed fluxes are 10-40% higher
than the models in most cases. The difference in flux between observations and
models is higher in the wavelength range between Lyman alpha and Lyman beta. We
suggest that Kurucz models underestimate the FUV flux of main-sequence B stars
between these two Lyman lines. Computation of flux distributions of
line-blanketed model atmospheres including non-LTE effects suggests that this
flux underestimate could be due to departures from LTE, although other causes
cannot be ruled out. We found the common assumption of solar metallicity for
young disk stars should be made with care, since small deviations can have a
significant impact on FUV model fluxes. Two peculiar stars (rho Leo and epsilon
Aqr), and two emission line stars (epsilon Cap and pi Aqr) were also studied.
Of these, only epsilon Aqr has a flux in agreement with the models. The rest
have strong variability in the IUE range and/or uncertain reddening, which
makes the comparison with models difficult.Comment: 25 pages, 6 figures, to be published in The Astrophysical Journa
A type reduction theory for systems with replicated components
The Parameterised Model Checking Problem asks whether an implementation
Impl(t) satisfies a specification Spec(t) for all instantiations of parameter
t. In general, t can determine numerous entities: the number of processes used
in a network, the type of data, the capacities of buffers, etc. The main theme
of this paper is automation of uniform verification of a subclass of PMCP with
the parameter of the first kind, i.e. the number of processes in the network.
We use CSP as our formalism. We present a type reduction theory, which, for a
given verification problem, establishes a function \phi that maps all
(sufficiently large) instantiations T of the parameter to some fixed type T^
and allows us to deduce that if Spec(T^) is refined by \phi(Impl(T)), then
(subject to certain assumptions) Spec(T) is refined by Impl(T). The theory can
be used in practice by combining it with a suitable abstraction method that
produces a t-independent process Abstr that is refined by {\phi}(Impl(T)) for
all sufficiently large T. Then, by testing (with a model checker) if the
abstract model Abstr refines Spec(T^), we can deduce a positive answer to the
original uniform verification problem. The type reduction theory relies on
symbolic representation of process behaviour. We develop a symbolic operational
semantics for CSP processes that satisfy certain normality requirements, and we
provide a set of translation rules that allow us to concretise symbolic
transition graphs. Based on this, we prove results that allow us to infer
behaviours of a process instantiated with uncollapsed types from known
behaviours of the same process instantiated with a reduced type. One of the
main advantages of our symbolic operational semantics and the type reduction
theory is their generality, which makes them applicable in a wide range of
settings
Extreme Energy Cosmic Rays (EECR) Observation Capabilities of an "Airwatch from Space'' Mission
The longitudinal development and other characteristics of the EECR induced
atmospheric showers can be studied from space by detecting the fluorescence
light induced in the atmospheric nitrogen. According to the Airwatch concept a
single fast detector can be used for measuring both intensity and time
development of the streak of fluorescence light produced by the atmospheric
shower induced by an EECR. In the present communication the detection
capabilities for the EECR observation from space are discussed.Comment: 3 pages (LaTeX). To appear in the Proceedings of TAUP'9
- …