An Experiment in the Use of Graphics for Musical Interpretation

Not provided

Detecting Threats from Constituent Parts: A Fuzzy Signal Detection Theory Analysis of Individual Differences

Signal detection theory (SDT) provides a theoretical framework for describing performance on decision making tasks, and fuzzy signal detection theory (FSDT) extends this description to include tasks in which there are levels of uncertainty regarding the categorization of stimulus events. Specifically, FSDT can be used to quantify the degree to which an event is \u27signal-like\u27, i.e., the degree to which a stimulus event can be characterized by both signal and non-signal properties. For instance, an improvised explosive device (IED) poses little threat when missing key elements of its assembly (a stimulus of low, but not zero, signal strength) whereas the threat is greater when all elements necessary to ignite the device are present (a stimulus of high signal strength). This research develops a link between key individual cognitive (i.e., spatial orientation and visualization) and personality (i.e., extroversion, conscientiousness, and neuroticism) differences among observers to performance on a fuzzy signal detection task, in which the items to be detected (IEDs) are presented in various states of assembly. That is, this research relates individual difference measures to task performance, uses FSDT in target detection, and provides application of the theory to vigilance tasks. In two experiments, participants viewed pictures of IEDs, not all of which are assembled or include key components, and categorize them using a fuzzy rating scale (no threat, low threat potential, moderate threat potential, or definite threat). In both experiments, there were significant interactions between the stimulus threat level category and the variability of images within each category. The results of the first experiment indicated that spatial and mechanical ability were stronger predictors of performance when the signal was ambiguous than when individuals viewed stimuli in which the signal was fully absent or fully present (and, thus, less ambiguous). The second study showed that the length of time a stimulus is viewed is greatest when the signal strength is low and there is ambiguity regarding the threat level of the stimulus. In addition, response times were substantially longer in study 2 than in study 1, although patterns of performance accuracy, as measured by the sensitivity index d\u27, were similar across the two experiments. Together, the experiments indicate that individuals take longer to evaluate a potential threat as less critical, than to identify either an absence of threat or a high degree of threat and that spatial and mechanical ability assist decision making when the threat level is unclear. These results can be used to increase the efficiency of employees working in threat-detection positions, such as luggage screeners, provides an exemplar of use of FSDT, and contributes to the understanding of human decision making

A Branching Time Model of CSP

I present a branching time model of CSP that is finer than all other models of CSP proposed thus far. It is obtained by taking a semantic equivalence from the linear time - branching time spectrum, namely divergence-preserving coupled similarity, and showing that it is a congruence for the operators of CSP. This equivalence belongs to the bisimulation family of semantic equivalences, in the sense that on transition systems without internal actions it coincides with strong bisimilarity. Nevertheless, enough of the equational laws of CSP remain to obtain a complete axiomatisation for closed, recursion-free terms.Comment: Dedicated to Bill Roscoe, on the occasion of his 60th birthda

Global geometry optimization of clusters using a growth strategy optimized by a genetic algorithm

A new strategy for global geometry optimization of clusters is presented. Important features are a restriction of search space to favorable nearest-neighbor distance ranges, a suitable cluster growth representation with diminished correlations, and easy transferability of the results to larger clusters. The strengths and possible limitations of the method are demonstrated for Si10 using an empirical potential.Comment: accepted by Chem.Phys.Letters; 10 pages text, plus 3 pages for Title, abstract, and figure caption; figures 1a and 1

Supergravity Higgs Inflation and Shift Symmetry in Electroweak Theory

We present a model of inflation in a supergravity framework in the Einstein frame where the Higgs field of the next to minimal supersymmetric standard model (NMSSM) plays the role of the inflaton. Previous attempts which assumed non-minimal coupling to gravity failed due to a tachyonic instability of the singlet field during inflation. A canonical K\"{a}hler potential with \textit{minimal coupling} to gravity can resolve the tachyonic instability but runs into the $\eta$-problem. We suggest a model which is free of the $\eta$-problem due to an additional coupling in the K\"{a}hler potential which is allowed by the Standard Model gauge group. This induces directions in the potential which we call K-flat. For a certain value of the new coupling in the (N)MSSM, the K\"{a}hler potential is special, because it can be associated with a certain shift symmetry for the Higgs doublets, a generalization of the shift symmetry for singlets in earlier models. We find that K-flat direction has $H_u^0=-H_d^{0*}.$ This shift symmetry is broken by interactions coming from the superpotential and gauge fields. This direction fails to produce successful inflation in the MSSM but produces a viable model in the NMSSM. The model is specifically interesting in the Peccei-Quinn (PQ) limit of the NMSSM. In this limit the model can be confirmed or ruled-out not just by cosmic microwave background observations but also by axion searches.Comment: matches the published version at JCA

Elaborating Transition Interface Sampling Methods

We review two recently developed efficient methods for calculating rate constants of processes dominated by rare events in high-dimensional complex systems. The first is transition interface sampling (TIS), based on the measurement of effective fluxes through hypersurfaces in phase space. TIS improves efficiency with respect to standard transition path sampling (TPS) rate constant techniques, because it allows a variable path length and is less sensitive to recrossings. The second method is the partial path version of TIS. Developed for diffusive processes, it exploits the loss of long time correlation. We discuss the relation between the new techniques and the standard reactive flux methods in detail. Path sampling algorithms can suffer from ergodicity problems, and we introduce several new techniques to alleviate these problems, notably path swapping, stochastic configurational bias Monte Carlo shooting moves and order-parameter free path sampling. In addition, we give algorithms to calculate other interesting properties from path ensembles besides rate constants, such as activation energies and reaction mechanisms.Comment: 36 pages, 5 figure

Quantized Majorana conductance

Majorana zero-modes hold great promise for topological quantum computing. Tunnelling spectroscopy in electrical transport is the primary tool to identify the presence of Majorana zero-modes, for instance as a zero-bias peak (ZBP) in differential-conductance. The Majorana ZBP-height is predicted to be quantized at the universal conductance value of 2e2/h at zero temperature. Interestingly, this quantization is a direct consequence of the famous Majorana symmetry, 'particle equals antiparticle'. The Majorana symmetry protects the quantization against disorder, interactions, and variations in the tunnel coupling. Previous experiments, however, have shown ZBPs much smaller than 2e2/h, with a recent observation of a peak-height close to 2e2/h. Here, we report a quantized conductance plateau at 2e2/h in the zero-bias conductance measured in InSb semiconductor nanowires covered with an Al superconducting shell. Our ZBP-height remains constant despite changing parameters such as the magnetic field and tunnel coupling, i.e. a quantized conductance plateau. We distinguish this quantized Majorana peak from possible non-Majorana origins, by investigating its robustness on electric and magnetic fields as well as its temperature dependence. The observation of a quantized conductance plateau strongly supports the existence of non-Abelian Majorana zero-modes in the system, consequently paving the way for future braiding experiments.Comment: 5 figure

Influence of a knot on the strength of a polymer strand

Many experiments have been done to determine the relative strength of different knots, and these show that the break in a knotted rope almost invariably occurs at a point just outside the `entrance' to the knot. The influence of knots on the properties of polymers has become of great interest, in part because of their effect on mechanical properties. Knot theory applied to the topology of macromolecules indicates that the simple trefoil or `overhand' knot is likely to be present with high probability in any long polymer strand. Fragments of DNA have been observed to contain such knots in experiments and computer simulations. Here we use {\it ab initio} computational methods to investigate the effect of a trefoil knot on the breaking strength of a polymer strand. We find that the knot weakens the strand significantly, and that, like a knotted rope, it breaks under tension at the entrance to the knot.Comment: 3 pages, 4 figure

Electric field tunable superconductor-semiconductor coupling in Majorana nanowires

We study the effect of external electric fields on superconductor-semiconductor coupling by measuring the electron transport in InSb semiconductor nanowires coupled to an epitaxially grown Al superconductor. We find that the gate voltage induced electric fields can greatly modify the coupling strength, which has consequences for the proximity induced superconducting gap, effective g-factor, and spin-orbit coupling, which all play a key role in understanding Majorana physics. We further show that level repulsion due to spin-orbit coupling in a finite size system can lead to seemingly stable zero bias conductance peaks, which mimic the behavior of Majorana zero modes. Our results improve the understanding of realistic Majorana nanowire systems.Comment: 10 pages, 5 figures, supplemental information as ancillary fil

mHealth Series:mHealth project in Zhao County, rural China - Description of objectives, field site and methods

BACKGROUND: We set up a collaboration between researchers in China and the UK that aimed to explore the use of mHealth in China. This is the first paper in a series of papers on a large mHealth project part of this collaboration. This paper included the aims and objectives of the mHealth project, our field site, and the detailed methods of two studies. FIELD SITE: The field site for this mHealth project was Zhao County, which lies 280 km south of Beijing in Hebei Province, China. METHODS: We described the methodology of two studies: (i) a mixed methods study exploring factors influencing sample size calculations for mHealth–based health surveys and (ii) a cross–over study determining validity of an mHealth text messaging data collection tool. The first study used mixed methods, both quantitative and qualitative, including: (i) two surveys with caregivers of young children, (ii) interviews with caregivers, village doctors and participants of the cross–over study, and (iii) researchers’ views. We combined data from caregivers, village doctors and researchers to provide an in–depth understanding of factors influencing sample size calculations for mHealth–based health surveys. The second study, a cross–over study, used a randomised cross–over study design to compare the traditional face–to–face survey method to the new text messaging survey method. We assessed data equivalence (intrarater agreement), the amount of information in responses, reasons for giving different responses, the response rate, characteristics of non–responders, and the error rate. CONCLUSIONS: This paper described the objectives, field site and methods of a large mHealth project part of a collaboration between researchers in China and the UK. The mixed methods study evaluating factors that influence sample size calculations could help future studies with estimating reliable sample sizes. The cross–over study comparing face–to–face and text message survey data collection could help future studies with developing their mHealth tools