Spherical sample holders to improve the susceptibility measurement of superparamagnetic materials

The design of two custom sample holders with a spherical cavity for commercial vibrating sample magnetometer systems is described. For such cavities, the magnetization M[over ->] and the internal magnetic field H(i)[over ->] of a sample are both homogeneous. Consequently, the material parameter M(H(i)) of a sample can be determined even for liquids and powders with a high magnetic susceptibility.     

Pre‐convolved Radiance Caching

The incident indirect light over a range of image pixels is often coherent. Two common approaches to exploit this inter‐pixel coherence to improve rendering performance are Irradiance Caching and Radiance Caching. Both compute incident indirect light only for a small subset of pixels (the cache), and later interpolate between pixels. Irradiance Caching uses scalar values that can be interpolated efficiently, but cannot account for shading variations caused by normal and reflectance variation between cache items. Radiance Caching maintains directional information, e.g., to allow highlights between cache items, but at the cost of storing and evaluating a Spherical Harmonics (SH) function per pixel. The arithmetic and bandwidth cost for this evaluation is linear in the number of coefficients and can be substantial. In this paper, we propose a method to replace it by an efficient per‐cache item pre‐filtering based on MIP maps — such as previously done for environment maps — leading to a single constant‐time lookup per pixel. Additionally, per‐cache item geometry statistics stored in distance‐MIP maps are used to improve the quality of each pixel's lookup. Our approximate interactive global illumination approach is an order of magnitude faster than Radiance Caching with Phong BRDFs and can be combined with Monte Carlo‐raytracing, Point‐based Global Illumination or Instant Radiosity.     

Verifying compiled file system code

This article presents a case study on retrospective verification of the Linux Virtual File System (VFS), which is aimed at checking violations of API usage rules and memory properties. Since VFS maintains dynamic data structures and is written in a mixture of C and inlined assembly, modern software model checkers cannot be applied. Our case study centres around our novel automated software verification tool, the SOCA Verifier, which symbolically executes and analyses compiled code. We describe how this verifier deals with complex features such as memory access, pointer aliasing and computed jumps in the VFS implementation, while reducing manual modelling to a minimum. Our results show that the SOCA Verifier is capable of analysing the complex Linux VFS implementation reliably and efficiently, thereby going beyond traditional testing tools and into niches that current software model checkers do not reach. This testifies to the SOCA Verifier’s suitability as an effective and efficient bug-finding tool during the development of operating system components.     

User-centred process for the definition of free-hand gestures applied to controlling music playback

Music is a fundamental part of most cultures. Controlling music playback has commonly been used to demonstrate new interaction techniques and algorithms. In particular, controlling music playback has been used to demonstrate and evaluate gesture recognition algorithms. Previous work, however, used gestures that have been defined based on intuition, the developers’ preferences, and the respective algorithm’s capabilities. In this paper we propose a refined process for deriving gestures from constant user feedback. Using this process every result and design decision is validated in the subsequent step of the process. Therefore, comprehensive feedback can be collected from each of the conducted user studies. Along the process we develop a set of free-hand gestures for controlling music playback. The situational context is analysed to shape the usage scenario and derive an initial set of necessary functions. In a successive user study the set of functions is validated and proposals for gestures are collected from participants for each function. Two gesture sets containing static and dynamic gestures are derived and analysed in a comparative evaluation. The comparative evaluation shows the suitability of the identified gestures and allows further refinement. Our results indicate that the proposed process, that includes validation of each design decision, improves the final results. By using the process to identify gestures for controlling music playback we not only show that the refined process can successfully be applied, but we also provide a consistent gesture set that can serve as a realistic benchmark for gesture recognition algorithms.     

Strongdeco: Expansion of analytical,strongly correlated quantum states into a many-body basis

We provide a Mathematica code for decomposing strongly correlated quantum states described by a first-quantized, analytical wave function into many-body Fock states. Within them, the single-particle occupations refer to the subset of Fock–Darwin functions with no nodes. Such states, commonly appearing in two-dimensional systems subjected to gauge fields, were first discussed in the context of quantum Hall physics and are nowadays very relevant in the field of ultracold quantum gases. As important examples, we explicitly apply our decomposition scheme to the prominent Laughlin and Pfaffian states. This allows for easily calculating the overlap between arbitrary states with these highly correlated test states, and thus provides a useful tool to classify correlated quantum systems. Furthermore, we can directly read off the angular momentum distribution of a state from its decomposition. Finally we make use of our code to calculate the normalization factors for Laughlin?s famous quasi-particle/quasi-hole excitations, from which we gain insight into the intriguing fractional behavior of these excitations.Program summaryProgram title: StrongdecoCatalogue identifier: AELA_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AELA_v1_0.htmlProgram obtainable from: CPC Program Library, Queen?s University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 5475No. of bytes in distributed program, including test data, etc.: 31 071Distribution format: tar.gzProgramming language: MathematicaComputer: Any computer on which Mathematica can be installedOperating system: Linux, Windows, MacClassification: 2.9Nature of problem: Analysis of strongly correlated quantum states.Solution method: The program makes use of the tools developed in Mathematica to deal with multivariate polynomials to decompose analytical strongly correlated states of bosons and fermions into a standard many-body basis. Operations with polynomials, determinants and permanents are the basic tools.Running time: The distributed notebook takes a couple of minutes to run.     

Implementation of physical coordination training and cognitive behavioural training interventions at cleaning workplaces--secondary analyses of a randomised controlled trial

This study evaluates the implementation of physical coordination training (PCT) and cognitive behavioural training (CBTr) interventions in a randomised controlled trial at nine cleaners' workplaces. Female cleaners (n = 294) were randomised into a PCT, a CBTr or a reference (REF) group. Both 12-week interventions were performed in groups guided by an instructor. Records were kept on intervention dose (adherence) unanticipated events at the work place (context) and quality of intervention delivery (fidelity). Participant adherence was 37% in the PCT and 49% in the CBTr interventions. Optimal implementation was reached by only 6% in PCT and 42% in the CBTr. Analysis of the barriers to successful implementation indicated that the intervention process is sensitive to unanticipated events. In order to succeed in improving the health of high-risk populations such as cleaners and to correctly interpret intervention effects, more research on implementation is needed. Trial registration: ISRCTN96241850. PRACTITIONER SUMMARY: Both physical coordination training and cognitive behavioural training are potential effective workplace interventions among low educated job groups with high physical work demands. However, thorough consideration should be given to feasibility in the design of interventions. The optimal intervention should be tailored to closely match the implementation context and be robust and flexible to minimise susceptibility to changes in work organisation.     

Science and technology in the region: The output of regional science and technology, its strengths and its leading institutions

Summary We operationalize scientific output in a region by means of the number of articles (as in the SciSearch database) per year and technology output by means of the number of patent applications (as in the database of the European Patent Office) per priority year. All informetric analyses were done using the DIALOG online-system. The main research questions are the following: Which scientific and technological fields or topics are most influent within a region and which institutions or companies are mainly publishing articles or holding patents? Do the distributions of regional science and technology fields and of publishing institutions follow the well-known informetric function? Are there - as it is expected - only few fields and few institutions which dominate the region? Is there a connection between the economic power of a region and the regional publication and patent output? Examples studied in detail are seven German regions: Aachen, Düsseldorf, Hamburg, Köln (Cologne), Leipzig - Halle - Dessau, München (Munich), and Stuttgart. Three different indicators were used, science and technology attraction of a region (number of scientific articles and patents), science and technology intensity (articles and patents per 1,000 inhabitants), and science and technology density (articles and patents per 1 billion EURO gross value added). Top region concerning both attraction and intensity is Munich, concerning density it is Aachen.     

From the Hough Transform to a New Approach for the Detection and Approximation of Elliptical Arcs

The edges of simple geometrical (e.g., manufactured) parts can generally be approximated sufficiently accurately by straight-line segments and elliptical arcs in order, for example, to carry out a dimensional analysis of these parts, such as required by inspection tasks. Hough transforms are robust methods for the detection of straight-line segments but are not directly suitable for the detection of elliptical arcs, for which the processing time and memory space necessary are too important. We present in this paper a new method which allows the determination of the parameters of elliptical arcs (or of ellipses) by use of a two-dimensional discretized parameter space defined similarly to the usual Hough space. This new method allows both the detection and characterization of ellipses whose major and minor axis lengths can be as small as four pixels long or of elliptical arcs with a small angular aperture.