Transformations between HCLP and PCSP

We present a general methodology for transforming between HCLP and PCSP in both directions. HCLP and PCSP each have advantages when modelling problems, and each have advantages when implementing models and solving them. Using the work presented in this paper, the appropriate paradigm can be used for each of these steps, with a meaning-preserving transformation in between if necessary

Managing professional identity within a changing market environment: New Zealand optometrists’ responses to the growth of corporate optometry

This research investigated the effects of changes in the market environment for optometry services and products on the professional identity of New Zealand optometrists. It explored three issues. First, ways participants’ location within either the independent or corporate sectors shaped their professional identities. Second, ways potential ethical conflicts between participants’ healthcare and retailing identities were resolved. Last, participants’ opinions concerning the future of their profession. Twelve male and fourteen female optometrists were interviewed. Nineteen participants worked within independent optometry practices. Seven worked within practices that were part of international optometry chains. Six participants were recent graduates, the rest experienced optometrists. All participants identified primarily as healthcare professionals. All recognised that practising optometry within a commercial market created the possibility of ethical conflicts between healthcare and business imperatives. There were differences in the ways participants managed this boundary, with participants working within corporate optometry seeming more comfortable with the business aspects of their profession. All participants thought the profession was changing and several suggested that the future of independent optometry was limited. The article concludes that recent changes within the market environment of optometry have heightened tensions between optometrists’ medical and entrepreneurial identities and contributed to changing work patterns within the profession.fals

Integrated maneuvering and life support system simulation Final report

Integrated maneuvering and life support system simulatio

Local measurements of velocity fluctuations and diffusion coefficients for a granular material flow

Measurements were made of two components of the average and fluctuating velocities, and of the local self-diffusion coefficients in a flow of granular material. The experiments were performed in a 1 m-high vertical channel with roughened sidewalls and with polished glass plates at the front and the back to create a two-dimensional flow. The particles used were glass spheres with a nominal diameter of 3 mm. The flows were high density and were characterized by the presence of long-duration frictional contacts between particles. The velocity measurements indicated that the flows consisted of a central uniform regime and a shear regime close to the walls. The fluctuating velocities in the transverse direction increased in magnitude from the centre towards the walls. A similar variation was not observed for the streamwise fluctuations. The self-diffusion coefficients showed a significant dependence on the fluctuating velocities and the shear rate. The velocity fluctuations were highly anistropic with the streamwise components being 2 to 2.5 times the transverse components. The self-diffusion coefficients for the streamwise direction were an order-of-magnitude higher than those for the transverse direction. The surface roughness of the particles led to a decrease in the self-diffusion coefficients

The Adaptive Priority Queue with Elimination and Combining

Priority queues are fundamental abstract data structures, often used to manage limited resources in parallel programming. Several proposed parallel priority queue implementations are based on skiplists, harnessing the potential for parallelism of the add() operations. In addition, methods such as Flat Combining have been proposed to reduce contention by batching together multiple operations to be executed by a single thread. While this technique can decrease lock-switching overhead and the number of pointer changes required by the removeMin() operations in the priority queue, it can also create a sequential bottleneck and limit parallelism, especially for non-conflicting add() operations. In this paper, we describe a novel priority queue design, harnessing the scalability of parallel insertions in conjunction with the efficiency of batched removals. Moreover, we present a new elimination algorithm suitable for a priority queue, which further increases concurrency on balanced workloads with similar numbers of add() and removeMin() operations. We implement and evaluate our design using a variety of techniques including locking, atomic operations, hardware transactional memory, as well as employing adaptive heuristics given the workload.Comment: Accepted at DISC'14 - this is the full version with appendices, including more algorithm

Alternative criterion for two-dimensional wrapping percolation

Based on the differences between a spanning cluster and a wrapping cluster, an alternative criterion for testing wrapping percolation is provided for two-dimensional lattices. By following the Newman-Ziff method, the finite size scaling of estimates for percolation thresholds are given. The results are consistent with those from Machta's method.Comment: 4 pages, 2 figure

Star-forming Galaxies in the 'Redshift Desert'

We describe results of optical and near-IR observations of a large spectroscopic sample of star-forming galaxies photometrically-selected to lie in the redshift range 1.4 < z < 2.5, often called the ``redshift desert'' because of historical difficulty in obtaining spectroscopic redshifts in this range. We show that the former ``redshift desert'' is now very much open to observation.Comment: 10 pages, 6 figures, to appear in the Proceedings of the ESO/USM/MPE Workshop on "Multiwavelength Mapping of Galaxy Formation and Evolution", eds. R. Bender and A. Renzin

Driving forces in free visual search : An ethology

Peer reviewedPostprin