UX research with distance learners

In order to avoid restricting the Open University Library's User Experience research to those students who happen to live within easy travelling distance of our Milton Keynes campus, we conduct as much UX as possible remotely online. This chapter talks about some of the methods we have used

Everyone’s a Critic: Defamation and Anonymity on the Internet

Internet publishing is easy and has become commonplace in ourtechnology-focused society. Although this type of publication can beexciting and helpful for those interested in communicating an idea, theissue of anonymous speech on the Internet has created some complications in the rather established tort of defamation. This article will discuss two approaches recently taken by two different courts in response to the Internet-anonymity issue and will evaluate them based on their ability to strike a balance between protecting free speech and protecting against defamation

A numerical method to solve the Boltzmann equation for a spin valve

We present a numerical algorithm to solve the Boltzmann equation for the electron distribution function in magnetic multilayer heterostructures with non-collinear magnetizations. The solution is based on a scattering matrix formalism for layers that are translationally invariant in plane so that properties only vary perpendicular to the planes. Physical quantities like spin density, spin current, and spin-transfer torque are calculated directly from the distribution function. We illustrate our solution method with a systematic study of the spin-transfer torque in a spin valve as a function of its geometry. The results agree with a hybrid circuit theory developed by Slonczewski for geometries typical of those measured experimentally.Comment: 13 pages, 8 figure

Spin Transport at Interfaces with Spin-Orbit Coupling: Phenomenology

This paper presents the boundary conditions needed for drift-diffusion models to treat interfaces with spin-orbit coupling. Using these boundary conditions for heavy metal/ferromagnet bilayers, solutions of the drift-diffusion equations agree with solutions of the spin-dependent Boltzmann equation and allow for a much simpler interpretation of the results. A key feature of these boundary conditions is their ability to capture the role that in-plane electric fields have on the generation of spin currents that flow perpendicularly to the interface. The generation of these spin currents is a direct consequence of the effect of interfacial spin-orbit coupling on interfacial scattering. In heavy metal/ferromagnet bilayers, these spin currents provide an important mechanism for the creation of damping-like and field-like torques; they also lead to possible reinterpretations of experiments in which interfacial contributions to spin torques are thought to be suppressed.Comment: 16 pages, 4 figures; abstract revised, introduction extended, references added, results unchange

Now we are 13. Open Research Online becomes a teenager!

The history of the Open University (UK) institutional repository (Open Research Online) is one of changing requirements as defined by its research community, institutional administrators and external HE policy. How the repository has responded to these changes has ensured its success. However, how we manage the (potentially) competing requirements of compliance monitoring and Open Access dissemination will determine the future of the repository

Performance and Safety Characteristics of Lithium-molybdenum Disulfide Cells

The lithium-molybdenum disulfide system offers attractive characteristics including high rate capability, successful operation up to 75 C, a very low self-discharge rate, a good cycle life and safety characteristics which compare favorably to those of other lithium cells. Moreover, the materials and manufacturing costs for the system is effectively controlled, so the cells should ultimately be competitive with currently marketed rechargeable cells

Safe and Verifiable Design of Concurrent Java Programs

The design of concurrent programs has a reputation for being difficult, and thus potentially dangerous in safetycritical real-time and embedded systems. The recent appearance of Java, whilst cleaning up many insecure aspects of OO programming endemic in C++, suffers from a deceptively simple threads model that is an insecure variant of ideas that are over 25 years old [1]. Consequently, we cannot directly exploit a range of new CASE tools -- based upon modern developments in parallel computing theory -- that can verify and check the design of concurrent systems for a variety of dangers\ud such as deadlock and livelock that otherwise plague us during testing and maintenance and, more seriously, cause catastrophic failure in service. \ud Our approach uses recently developed Java class\ud libraries based on Hoare's Communicating Sequential Processes (CSP); the use of CSP greatly simplifies the design of concurrent systems and, in many cases, a parallel approach often significantly simplifies systems originally approached sequentially. New CSP CASE tools permit designs to be verified against formal specifications\ud and checked for deadlock and livelock. Below we introduce CSP and its implementation in Java and develop a small concurrent application. The formal CSP description of the application is provided, as well as that of an equivalent sequential version. FDR is used to verify the correctness of both implementations, their\ud equivalence, and their freedom from deadlock and livelock