Let's face the music: A behavioral and electrophysiological exploration of score reading

This experiment was carried out to determine whether reading diatonic violations in a musical score elicits similar endogenous ERP components when hearing such violations in the auditory modality. In the behavioral study, musicians were visually presented with 120 scores of familiar musical pieces, half of which contained a diatonic violation. The score was presented in a measure-by-measure manner. Self-paced reading was significantly delayed for measures containing a violation, indicating that sight reading a violation requires additional effort. In the ERP study, the musical phrases were presented in a “RSVP”-like manner. We predicted that diatonic violations would elicit a late positive component. However, the ERP associated with the measure where a violation was presented showed a negativity instead. The negativity started around 100 ms and lasted for the entire recording period. This long-lasting negativity encompassed at least three distinct effects that were possibly related to violation detection, working memory processing, and a further integration/interpretation process

Development of a pilot data management infrastructure for biomedical researchers at University of Manchester – approach, findings, challenges and outlook of the MaDAM Project

Management and curation of digital data has been becoming ever more important in a higher education and research environment characterised by large and complex data, demand for more interdisciplinary and collaborative work, extended funder requirements and use of e-infrastructures to facilitate new research methods and paradigms. This paper presents the approach, technical infrastructure, findings, challenges and outlook (including future development within the successor project, MiSS) of the ‘MaDAM: Pilot data management infrastructure for biomedical researchers at University of Manchester’ project funded under the infrastructure strand of the JISC Managing Research Data (JISCMRD) programme. MaDAM developed a pilot research data management solution at the University of Manchester based on biomedical researchers’ requirements, which includes technical and governance components with the flexibility to meet future needs across multiple research groups and disciplines

Stabilized Schemes for the Hydrostatic Stokes Equations

Some new stable finite element (FE) schemes are presented for the hydrostatic Stokes system or primitive equations of the ocean. It is known that the stability of the mixed formulation ap- proximation for primitive equations requires the well-known Ladyzhenskaya–Babuˇska–Brezzi condi- tion related to the Stokes problem and an extra inf-sup condition relating the pressure and the vertical velocity. The main goal of this paper is to avoid this extra condition by adding a residual stabilizing term to the vertical momentum equation. Then, the stability for Stokes-stable FE combinations is extended to the primitive equations and some error estimates are provided using Taylor–Hood P2 –P1 or miniele- ment (P1 +bubble)–P1 FE approximations, showing the optimal convergence rate in the P2 –P1 case. These results are also extended to the anisotropic (nonhydrostatic) problem. On the other hand, by adding another residual term to the continuity equation, a better approximation of the vertical derivative of pressure is obtained. In this case, stability and error estimates including this better approximation are deduced, where optimal convergence rate is deduced in the (P 1 +bubble)–P1 case. Finally, some numerical experiments are presented supporting previous results

Damage mechanisms of ultrahigh strength steels in bending application to a trip steel

International audienceIn order to optimize their metallurgical quality, the present study aims at understanding damage mechanisms involved in bending of Ultra High Strength Steels (UHSSs). It focuses on a TRansformation Induced Plasticity (TRIP)-aided steel. This work is based on three complementary approaches: first, instrumented V-bending and stretch bending tests that are usually performed to compare the bending behaviour of various steels, then, metallographic observations carried out to investigate damage initiation and finally, simulation of bending tests by finite element methods. Three-point-bending and stretch bending tests involve different crack initiation areas. Metallographic observations performed on V-bent specimens show crack initiation just below the outer surface, whereas in a stretch bending test, the crack clearly initiates from the central segregation (if any). V-bending tests were modelled with a finite element simulation approach to assess the stress and strain fields by comparison with experimental results. Modelling of stretch bending is currently in progress

Predictions for the Cosmogenic Neutrino Flux in Light of New Data from the Pierre Auger Observatory

The Pierre Auger Observatory (PAO) has measured the spectrum and composition of the ultrahigh energy cosmic rays with unprecedented precision. We use these measurements to constrain their spectrum and composition as injected from their sources and, in turn, use these results to estimate the spectrum of cosmogenic neutrinos generated in their propagation through intergalactic space. We find that the PAO measurements can be well fit if the injected cosmic rays consist entirely of nuclei with masses in the intermediate (C, N, O) to heavy (Fe, Si) range. A mixture of protons and heavier species is also acceptable but (on the basis of existing hadronic interaction models) injection of pure light nuclei (p, He) results in unacceptable fits to the new elongation rate data. The expected spectrum of cosmogenic neutrinos can vary considerably, depending on the precise spectrum and chemical composition injected from the cosmic ray sources. In the models where heavy nuclei dominate the cosmic ray spectrum and few dissociated protons exceed GZK energies, the cosmogenic neutrino flux can be suppressed by up to two orders of magnitude relative to the all-proton prediction, making its detection beyond the reach of current and planned neutrino telescopes. Other models consistent with the data, however, are proton-dominated with only a small (1-10%) admixture of heavy nuclei and predict an associated cosmogenic flux within the reach of upcoming experiments. Thus a detection or non-detection of cosmogenic neutrinos can assist in discriminating between these possibilities.Comment: 10 pages, 7 figure

Tactics for Reasoning modulo AC in Coq

We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We handle associative only operations, neutral elements, uninterpreted function symbols, and user-defined equivalence relations. By relying on type-classes for the reification phase, we can infer these properties automatically, so that end-users do not need to specify which operation is A or AC, or which constant is a neutral element.Comment: 16

Nonlinear Competition Between Small and Large Hexagonal Patterns

Recent experiments by Kudrolli, Pier and Gollub on surface waves, parametrically excited by two-frequency forcing, show a transition from a small hexagonal standing wave pattern to a triangular ``superlattice'' pattern. We show that generically the hexagons and the superlattice wave patterns bifurcate simultaneously from the flat surface state as the forcing amplitude is increased, and that the experimentally-observed transition can be described by considering a low-dimensional bifurcation problem. A number of predictions come out of this general analysis.Comment: 4 pages, RevTex, revised, to appear in Phys. Rev. Let