Fault roughness of the Campo Felice fault – data and scripts

This dataset contains fault surface scans of the Campo Felice fault in the Italian Apennines, and scripts required to process these scans in order to investigate the fractal properties of fault roughness

Central Tottori Earthquake geodetic slip inversion tools and data

This dataset contains all the data required to run perform a geodetic slip inversion using the software slipBERI (https://doi.org/10.5518/444) for the 2016, Mw 6.2 Central Tottori, Japan earthquake. Additionally this dataset contains the models runs of the solutions found in the associated thesis and paper

Napa Valley Earthquake geodetic slip inversion tools and data

This dataset contains all the data required to run perform a geodetic slip inversion using the software slipBERI (https://doi.org/10.5518/444) for the 2014 Mw 6.0 Napa Valley, California, earthquake. Additionally this dataset contains the models runs of the solutions found in the associated thesis and paper

Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

An evolutionarily-unique heterodimeric voltage-gated cation channel found in aphids

We describe the identification in aphids of a unique heterodimeric voltage-gated sodium channel which has an atypical ion selectivity filter and, unusually for insect channels, is highly insensitive to tetrodotoxin. We demonstrate that this channel has most likely arisen by adaptation (gene fission or duplication) of an invertebrate ancestral mono(hetero)meric channel. This is the only identifiable voltage-gated sodium channel homologue in the aphid genome(s), and the channel's novel selectivity filter motif (DENS instead of the usual DEKA found in other eukaryotes) may result in a loss of sodium selectivity, as indicated experimentally in mutagenised Drosophila channels

New Faculty on the Block: Issues of Stress and Support

The research reported investigated the experiences of new faculty in their first three years of employment in higher education administration programs. New faculty face stress relative to work-life integration, issues pertaining to gender or color, teaching responsibilities, and unclear expectations. The findings of this study highlight the role of graduate school socialization and identification as a chosen student targeting a faculty position as an influence on new faculty and their acclimation during their first years. Implications include the need for intentional mentoring, inclusive support for all students seeking faculty roles, and the need for specificity on the part of hiring committees and new departments regarding expectations. Key to new faculty success is obtaining a sense of work-life integration

Measurement of νˉμ\bar{\nu}_{\mu} and νμ\nu_{\mu} charged current inclusive cross sections and their ratio with the T2K off-axis near detector

We report a measurement of cross section $\sigma(\nu_{\mu}+{\rm nucleus}\rightarrow\mu^{-}+X)$ and the first measurements of the cross section $\sigma(\bar{\nu}_{\mu}+{\rm nucleus}\rightarrow\mu^{+}+X)$ and their ratio $R(\frac{\sigma(\bar \nu)}{\sigma(\nu)})$ at (anti-)neutrino energies below 1.5 GeV. We determine the single momentum bin cross section measurements, averaged over the T2K $\bar{\nu}/\nu$-flux, for the detector target material (mainly Carbon, Oxygen, Hydrogen and Copper) with phase space restricted laboratory frame kinematics of $\theta_{\mu}$500 MeV/c. The results are $\sigma(\bar{\nu})=\left( 0.900\pm0.029{\rm (stat.)}\pm0.088{\rm (syst.)}\right)\times10^{-39}$ and $\sigma(\nu)=\left( 2.41\ \pm0.022{\rm{(stat.)}}\pm0.231{\rm (syst.)}\ \right)\times10^{-39}$in units of cm$^{2}$/nucleon and$R\left(\frac{\sigma(\bar{\nu})}{\sigma(\nu)}\right)= 0.373\pm0.012{\rm (stat.)}\pm0.015{\rm (syst.)}$.Comment: 18 pages, 8 figure

Measurement of inclusive double-differential νμ charged-current cross section with improved acceptance in the T2K off-axis near detector

We report a measurement of the flux-integrated cross section for inclusive muon neutrino charged-current interactions on carbon. The double-differential measurements are given as a function of the muon momentum and angle. Relative to our previous publication on this topic, these results have an increased angular acceptance and higher statistics. The data sample presented here corresponds to 5.7×1020 protons on target. The total flux-integrated cross section is measured to be (6.950±0.662)×10-39 cm2 nucleon-1 and is consistent with our simulation

Search for CP Violation in Neutrino and Antineutrino Oscillations by the T2K Experiment with 2.2×1021 Protons on Target

The T2K experiment measures muon neutrino disappearance and electron neutrino appearance in accelerator-produced neutrino and antineutrino beams. With an exposure of 14.7(7.6)×1020 protons on target in the neutrino (antineutrino) mode, 89 νe candidates and seven anti-νe candidates are observed, while 67.5 and 9.0 are expected for δCP=0 and normal mass ordering. The obtained 2σ confidence interval for the CP-violating phase, δCP, does not include the CP-conserving cases (δCP=0, π). The best-fit values of other parameters are sin2θ23=0.526-0.036+0.032 and Δm322=2.463-0.070+0.071×10-3 eV2/c4

Characterization of nuclear effects in muon-neutrino scattering on hydrocarbon with a measurement of final-state kinematics and correlations in charged-current pionless interactions at T2K

This paper reports measurements of final-state proton multiplicity, muon and proton kinematics, and their correlations in charged-current pionless neutrino interactions, measured by the T2K ND280 near detector in its plastic scintillator (C8H8) target. The data were taken between years 2010 and 2013, corresponding to approximately 6×1020 protons on target. Thanks to their exploration of the proton kinematics and of imbalances between the proton and muon kinematics, the results offer a novel probe of the nuclear-medium effects most pertinent to the (sub-)GeV neutrino-nucleus interactions that are used in accelerator-based long-baseline neutrino oscillation measurements. These results are compared to many neutrino-nucleus interaction models which all fail to describe at least part of the observed phase space. In case of events without a proton above a detection threshold in the final state, a fully consistent implementation of the local Fermi gas model with multinucleon interactions gives the best description of the data. In the case of at least one proton in the final state, the spectral function model agrees well with the data, most notably when measuring the kinematic imbalance between the muon and the proton in the plane transverse to the incoming neutrino. Within the models considered, only the existence of multinucleon interactions are able to describe the extracted cross section within regions of high transverse kinematic imbalance. The effect of final-state interactions is also discussed