An extended abstract of "Metamorphic testing: testing the untestable"

This document is an extended abstract of an IEEE Software paper, "Metamorphic Testing: Testing the Untestable," presented as a J1C2 (Journal publication first, Conference presentation following) at the IEEE Computer Society signature conference on Computers, Software and Applications (COMPSAC 2019), hosted by Marquette University, Milwaukee, Wisconsin, USA. © 2019 IEEE

Role of Neuroepithelial Sonic hedgehog in Hypothalamic Patterning

The hypothalamus is a region of the diencephalon with particularly complex patterning. Sonic hedgehog (Shh), encoding a protein with key developmental roles, shows a peculiar and dynamic diencephalic expression pattern. Here, we use transgenic strategies and in vitro experiments to test the hypothesis that Shh expressed in the diencephalic neuroepithelium (neural Shh) coordinates tissue growth and patterning in the hypothalamus. Our results show that neural Shh coordinates anteroposterior and dorsoventral patterning in the hypothalamus and in the diencephalon-telencephalon junction. Neural Shh also coordinates mediolateral hypothalamic patterning, since it is necessary for the lateral hypothalamus to attain proper size and is required for the specification of hypocretin/orexin cells. Finally, neural Shh is necessary to maintain expression of differentiation markers including survival factor Foxb1

A hyperchaotic system without equilibrium

Abstract: This article introduces a new chaotic system of 4-D autonomous ordinary differential equations, which has no equilibrium. This system shows a hyper-chaotic attractor. There is no sink in this system as there is no equilibrium. The proposed system is investigated through numerical simulations and analyses including time phase portraits, Lyapunov exponents, and Poincaré maps. There is little difference between this chaotic system and other chaotic systems with one or several equilibria shown by phase portraits, Lyapunov exponents and time series methods, but the Poincaré maps show this system is a chaotic system with more complicated dynamics. Moreover, the circuit realization is also presented

A CsI(Tl) Scintillating Crystal Detector for the Studies of Low Energy Neutrino Interactions

Scintillating crystal detector may offer some potential advantages in the low-energy, low-background experiments. A 500 kg CsI(Tl) detector to be placed near the core of Nuclear Power Station II in Taiwan is being constructed for the studies of electron-neutrino scatterings and other keV-MeV range neutrino interactions. The motivations of this detector approach, the physics to be addressed, the basic experimental design, and the characteristic performance of prototype modules are described. The expected background channels and their experimental handles are discussed.Comment: 34 pages, 11 figures, submitted to Nucl. Instrum. Method

A minimal set of invariants as a systematic approach to higher order gravity models: Physical and Cosmological Constraints

We compare higher order gravity models to observational constraints from magnitude-redshift supernova data, distance to the last scattering surface of the CMB, and Baryon Acoustic Oscillations. We follow a recently proposed systematic approach to higher order gravity models based on minimal sets of curvature invariants, and select models that pass some physical acceptability conditions (free of ghost instabilities, real and positive propagation speeds, and free of separatrices). Models that satisfy these physical and observational constraints are found in this analysis and do provide fits to the data that are very close to those of the LCDM concordance model. However, we find that the limitation of the models considered here comes from the presence of superluminal mode propagations for the constrained parameter space of the models.Comment: 12 pages, 6 figure

The energy spectrum of all-particle cosmic rays around the knee region observed with the Tibet-III air-shower array

We have already reported the first result on the all-particle spectrum around the knee region based on data from 2000 November to 2001 October observed by the Tibet-III air-shower array. In this paper, we present an updated result using data set collected in the period from 2000 November through 2004 October in a wide range over 3 decades between $10^{14}$ eV and $10^{17}$ eV, in which the position of the knee is clearly seen at around 4 PeV. The spectral index is -2.68 $\pm$ 0.02(stat.) below 1PeV, while it is -3.12 $\pm$ 0.01(stat.) above 4 PeV in the case of QGSJET+HD model, and various systematic errors are under study now.Comment: 12 pages, 7 figures, accepted by Advances in space researc

Moon Shadow by Cosmic Rays under the Influence of Geomagnetic Field and Search for Antiprotons at Multi-TeV Energies

We have observed the shadowing of galactic cosmic ray flux in the direction of the moon, the so-called moon shadow, using the Tibet-III air shower array operating at Yangbajing (4300 m a.s.l.) in Tibet since 1999. Almost all cosmic rays are positively charged; for that reason, they are bent by the geomagnetic field, thereby shifting the moon shadow westward. The cosmic rays will also produce an additional shadow in the eastward direction of the moon if cosmic rays contain negatively charged particles, such as antiprotons, with some fraction. We selected 1.5 x10^{10} air shower events with energy beyond about 3 TeV from the dataset observed by the Tibet-III air shower array and detected the moon shadow at $\sim 40 \sigma$ level. The center of the moon was detected in the direction away from the apparent center of the moon by 0.23$^\circ$ to the west. Based on these data and a full Monte Carlo simulation, we searched for the existence of the shadow produced by antiprotons at the multi-TeV energy region. No evidence of the existence of antiprotons was found in this energy region. We obtained the 90% confidence level upper limit of the flux ratio of antiprotons to protons as 7% at multi-TeV energies.Comment: 13pages,4figures; Accepted for publication in Astroparticle Physic

Proton and Li-Ion Permeation through Graphene with Eight-Atom-Ring Defects

Defect-free graphene is impermeable to gases and liquids but highly permeable to thermal protons. Atomic-scale defects such as vacancies, grain boundaries and Stone-Wales defects are predicted to enhance graphene's proton permeability and may even allow small ions through, whereas larger species such as gas molecules should remain blocked. These expectations have so far remained untested in experiment. Here we show that atomically thin carbon films with a high density of atomic-scale defects continue blocking all molecular transport, but their proton permeability becomes ~1,000 times higher than that of defect-free graphene. Lithium ions can also permeate through such disordered graphene. The enhanced proton and ion permeability is attributed to a high density of 8-carbon-atom rings. The latter pose approximately twice lower energy barriers for incoming protons compared to the 6-atom rings of graphene and a relatively low barrier of ~0.6 eV for Li ions. Our findings suggest that disordered graphene could be of interest as membranes and protective barriers in various Li-ion and hydrogen technologies

Measurement of (anti)deuteron and (anti)proton production in DIS at HERA

The first observation of (anti)deuterons in deep inelastic scattering at HERA has been made with the ZEUS detector at a centre-of-mass energy of 300--318 GeV using an integrated luminosity of 120 pb-1. The measurement was performed in the central rapidity region for transverse momentum per unit of mass in the range 0.3<p_T/M<0.7. The particle rates have been extracted and interpreted in terms of the coalescence model. The (anti)deuteron production yield is smaller than the (anti)proton yield by approximately three orders of magnitude, consistent with the world measurements.Comment: 26 pages, 9 figures, 5 tables, submitted to Nucl. Phys.

Forward jet production in deep inelastic ep scattering and low-x parton dynamics at HERA

Differential inclusive jet cross sections in neutral current deep inelastic ep scattering have been measured with the ZEUS detector. Three phase-space regions have been selected in order to study parton dynamics where the effects of BFKL evolution might be present. The measurements have been compared to the predictions of leading-logarithm parton shower Monte Carlo models and fixed-order perturbative QCD calculations. In the forward region, QCD calculations at order alpha_s^1 underestimate the data up to an order of magnitude at low x. An improved description of the data in this region is obtained by including QCD corrections at order alpha_s^2, which account for the lowest-order t-channel gluon-exchange diagrams, highlighting the importance of such terms in parton dynamics at low x.Comment: 25 pages, 4 figure