Radial distribution of the inner magnetosphere plasma pressure using low-altitude satellite data during geomagnetic storm: the March 1-8, 1982 Event

Plasma pressure distribution in the inner magnetosphere is one of the key parameters for understanding the main magnetospheric processes including geomagnetic storms and substorms. However, the pressure profiles obtained from in-situ particle measurements by the high-altitude satellites do not allow tracking the pressure variations related to the storms and substorms, because a time interval needed to do this generally exceeds the characteristic times of them. On contrary, fast movement of low-altitude satellites makes it possible to retrieve quasi-instantaneous profiles of plasma pressure along the satellite trajectory, using the fluxes of precipitating particles. For this study, we used the Aureol-3 satellite data for plasma pressure estimation, and the IGRF, Tsyganenko 2001 and Tsyganenko 2004 storm time geomagnetic field models for the pressure mapping into the equatorial plane. It was found that during quiet geomagnetic condition the radial pressure profiles obtained coincide with the profiles, obtained previously from the high-altitude measurements. On the contrary, it was found that during geomagnetic storm the plasma pressure profiles became sharper; the position of the maximum of plasma pressure corresponds to expected one for given Dst minimum; the maximum value of inner magnetosphere static pressure correlates with the solar wind dynamic pressure. Increase in the plasma pressure profiles indicates the possibility to consider the interchange instability as one of important factors for the development of the main phase of geomagnetic storm.Comment: Accepted in Advances in Space Researc

Faster linearizability checking via PP-compositionality

Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing's locality principle, which says that a concurrent system is linearizable if and only if all of its constituent parts (so-called objects) are linearizable. This paper presents $P$-compositionality, which generalizes the idea behind the locality principle to operations on the same concurrent data type. We implement $P$-compositionality in a novel linearizability checker. Our experiments with over nine implementations of concurrent sets, including Intel's TBB library, show that our linearizability checker is one order of magnitude faster and/or more space efficient than the state-of-the-art algorithm.Comment: 15 pages, 2 figure

Which mathematics for the Information Society?

MathIS is a new project that aims to reinvigorate secondary- school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here.Long-term collaboration with J. N. Oliveira on calculational approaches to mathematics is deeply acknowledged. We are also grateful to the anonymous referees for their valuable comments. This research was supported by FCT (the Portuguese Foundation for Science and Technology), in the context of the MATHIS Project under contract PTDC/EIA/73252/2006. The work of Joao F. Ferreira and AlexandraMendeswas further supported by FCT grants SFRH/BD/24269/2005 and SFRH/BD/29553/2006, respectively

Abundances of the elements in the solar system

A review of the abundances and condensation temperatures of the elements and their nuclides in the solar nebula and in chondritic meteorites. Abundances of the elements in some neighboring stars are also discussed.Comment: 42 pages, 11 tables, 8 figures, chapter, In Landolt- B\"ornstein, New Series, Vol. VI/4B, Chap. 4.4, J.E. Tr\"umper (ed.), Berlin, Heidelberg, New York: Springer-Verlag, p. 560-63

Search for lepton-flavor violation at HERA

A search for lepton-flavor-violating interactions $e p \to \mu X$ and $e p\to \tau X$ has been performed with the ZEUS detector using the entire HERA I data sample, corresponding to an integrated luminosity of 130 pb^{-1}. The data were taken at center-of-mass energies, $\sqrt{s}$, of 300 and 318 GeV. No evidence of lepton-flavor violation was found, and constraints were derived on leptoquarks (LQs) that could mediate such interactions. For LQ masses below $\sqrt{s}$, limits were set on $\lambda_{eq_1} \sqrt{\beta_{\ell q}}$, where $\lambda_{eq_1}$ is the coupling of the LQ to an electron and a first-generation quark $q_1$, and $\beta_{\ell q}$ is the branching ratio of the LQ to the final-state lepton $\ell$ ($\mu$ or $\tau$) and a quark $q$. For LQ masses much larger than $\sqrt{s}$, limits were set on the four-fermion interaction term $\lambda_{e q_\alpha} \lambda_{\ell q_\beta} / M_{\mathrm{LQ}}^2$ for LQs that couple to an electron and a quark $q_\alpha$ and to a lepton $\ell$ and a quark $q_\beta$, where $\alpha$ and $\beta$ are quark generation indices. Some of the limits are also applicable to lepton-flavor-violating processes mediated by squarks in $R$-Parity-violating supersymmetric models. In some cases, especially when a higher-generation quark is involved and for the process $e p\to \tau X$, the ZEUS limits are the most stringent to date.Comment: 37 pages, 10 figures, Accepted by EPJC. References and 1 figure (Fig. 6) adde

Multijet production in neutral current deep inelastic scattering at HERA and determination of alpha_s

Multijet production rates in neutral current deep inelastic scattering have been measured in the range of exchanged boson virtualities 10 < Q2 < 5000 GeV2. The data were taken at the ep collider HERA with centre-of-mass energy sqrt(s) = 318 GeV using the ZEUS detector and correspond to an integrated luminosity of 82.2 pb-1. Jets were identified in the Breit frame using the k_T cluster algorithm in the longitudinally invariant inclusive mode. Measurements of differential dijet and trijet cross sections are presented as functions of jet transverse energy E_{T,B}{jet}, pseudorapidity eta_{LAB}{jet} and Q2 with E_{T,B}{jet} > 5 GeV and -1 < eta_{LAB}{jet} < 2.5. Next-to-leading-order QCD calculations describe the data well. The value of the strong coupling constant alpha_s(M_Z), determined from the ratio of the trijet to dijet cross sections, is alpha_s(M_Z) = 0.1179 pm 0.0013(stat.) {+0.0028}_{-0.0046}(exp.) {+0.0064}_{-0.0046}(th.)Comment: 22 pages, 5 figure

Observation of Scaling Violations in Scaled Momentum Distributions at HERA

Charged particle production has been measured in deep inelastic scattering (DIS) events over a large range of $x$ and $Q^2$ using the ZEUS detector. The evolution of the scaled momentum, $x_p$, with $Q^2,$ in the range 10 to 1280 $GeV^2$, has been investigated in the current fragmentation region of the Breit frame. The results show clear evidence, in a single experiment, for scaling violations in scaled momenta as a function of $Q^2$.Comment: 21 pages including 4 figures, to be published in Physics Letters B. Two references adde

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.

Photoproduction of D∗±D^{*\pm} mesons associated with a leading neutron

The photoproduction of $D^{*\pm} (2010)$ mesons associated with a leading neutron has been observed with the ZEUS detector in $ep$ collisions at HERA using an integrated luminosity of 80 pb$^{-1}$. The neutron carries a large fraction, {$x_L>0.2$}, of the incoming proton beam energy and is detected at very small production angles, {$\theta_n<0.8$ mrad}, an indication of peripheral scattering. The $D^*$ meson is centrally produced with pseudorapidity {$|\eta| 1.9$ GeV}, which is large compared to the average transverse momentum of the neutron of 0.22 GeV. The ratio of neutron-tagged to inclusive $D^*$ production is $8.85\pm 0.93({\rm stat.})^{+0.48}_{-0.61}({\rm syst.})\%$ in the photon-proton center-of-mass energy range {$130 <W<280$ GeV}. The data suggest that the presence of a hard scale enhances the fraction of events with a leading neutron in the final state.Comment: 28 pages, 4 figures, 2 table