Verification-guided modelling of salience and cognitive load

Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture, based on higher-order logic and developed for the formal verification of usability properties. The interface of a fire engine dispatch task from the empirical studies is then formally modelled and verified. The outcomes of this verification and their comparison with the empirical data provide a way of assessing our salience and load rules. They also guide further iterative refinements of these rules. Furthermore, the juxtaposition of the outcomes of formal analysis and empirical studies suggests new experimental hypotheses, thus providing input to researchers in cognitive science

Consequences of energy conservation in relativistic heavy-ion collisions

Complete characterization of particle production and emission in relativistic heavy-ion collisions is in general not feasible experimentally. This work demonstrates, however, that the availability of essentially complete pseudorapidity distributions for charged particles allows for a reliable estimate of the average transverse momenta and energy of emitted particles by requiring energy conservation in the process. The results of such an analysis for Au+Au collisions at sqrt{s_{NN}}= 130 and 200 GeV are compared with measurements of mean-p_T and mean-E_T in regions where such measurements are available. The mean-p_T dependence on pseudorapidity for Au+Au collisions at 130 and 200 GeV is given for different collision centralities.Comment: 8 pages, 8 figures, Submitted to Phys. Rev.

Overview of Solid Target Studies for a Neutrino Factory

The UK pro­gramme of high power tar­get de­vel­op­ments for a Neu­tri­no Fac­to­ry is cen­tred on the study of high-Z ma­te­ri­als (tung­sten, tan­ta­lum). A de­scrip­tion of life­time shock tests on can­di­date ma­te­ri­als is given as part of the re­search into a solid tar­get so­lu­tion. A fast high cur­rent pulse is ap­plied to a thin wire of the sam­ple ma­te­ri­al and the life­time mea­sured from the num­ber of puls­es be­fore fail­ure. These mea­sure­ments are made at tem­per­a­tures up to ~2000 K. The stress on the wire is cal­cu­lat­ed using the LS-DY­NA code and com­pared to the stress ex­pect­ed in the real Neu­tri­no Fac­to­ry tar­get. It has been found that tan­ta­lum is too weak to sus­tain pro­longed stress at these tem­per­a­tures but a tung­sten wire has reached over 26 mil­lion puls­es (equiv­a­lent to more than ten years of op­er­a­tion at the Neu­tri­no Fac­to­ry). An ac­count is given of the op­ti­mi­sa­tion of sec­ondary pion pro­duc­tion from the tar­get and the is­sues re­lat­ed to mount­ing the tar­get in the muon cap­ture solenoid and tar­get sta­tion are dis­cussed

Energy and system dependence of high-pTp_T triggered two-particle near-side correlations

Previous studies have indicated that the near-side peak of high-$p_T$ triggered correlations can be decomposed into two parts, the \textit{Jet} and the \textit{Ridge}. We present data on the yield per trigger of the \textit{Jet} and the \textit{Ridge} from $d+Au$, $Cu+Cu$ and $Au+Au$ collisions at $\sqrt{s_{NN}}$ = 62.4 GeV and 200 GeV and compare data on the \textit{Jet} to PYTHIA 8.1 simulations for $p+p$. PYTHIA describes the \textit{Jet} component up to a scaling factor, meaning that PYTHIA can provide a better understanding of the \textit{Ridge} by giving insight into the effects of the kinematic cuts. We present collision energy and system dependence of the \textit{Ridge} yield, which should help distinguish models for the production mechanism of the \textit{Ridge}.Comment: 4 pages, 6 figures, proceedings for Hot Quarks in Estes Park, Colorad

Field Work Reflections: Journeys in Knowing and Not-Knowing

In this paper, I retrace my interest in narrative forms of inquiry. I begin by revisiting a series of research projects that I conducted early in my career, describing some of my own dissatisfactions with the methods I used at the time. I move on to a detailed reexamination of my first piece of narrative research, completed during my PhD. In that project I used a narrative pointed psychosocial method in an attempt to develop new knowledge in the field of drugs, ‘race’ and ethnicity. In the final section, I consider what I have learned from this approach in terms of knowing and not-knowing and how I have used this experience to explore different approaches to narrative inquiry. I finish by drawing out some lessons I have learned from these different studies, which I hope might be of relevance to other social work researchers

Implementation of a local principal curves algorithm for neutrino interaction reconstruction in a liquid argon volume

A local principal curve algorithm has been implemented in three dimensions for automated track and shower reconstruction of neutrino interactions in a liquid argon time projection chamber. We present details of the algorithm and characterise its performance on simulated data sets.Comment: 14 pages, 17 figures; typing correction to Eq 5, the definition of the local covariance matri