“Trunk-like” heavy ion structures observed by the Van Allen Probes

Dynamic ion spectral features in the inner magnetosphere are the observational signatures of ion acceleration, transport, and loss in the global magnetosphere. We report “trunk-like” ion structures observed by the Van Allen Probes on 2 November 2012. This new type of ion structure looks like an elephant's trunk on an energy-time spectrogram, with the energy of the peak flux decreasing Earthward. The trunks are present in He+ and O+ ions but not in H+. During the event, ion energies in the He+ trunk, located at L = 3.6–2.6, magnetic local time (MLT) = 9.1–10.5, and magnetic latitude (MLAT) = −2.4–0.09°, vary monotonically from 3.5 to 0.04 keV. The values at the two end points of the O+ trunk are energy = 4.5–0.7 keV, L = 3.6–2.5, MLT = 9.1–10.7, and MLAT = −2.4–0.4°. Results from backward ion drift path tracings indicate that the trunks are likely due to (1) a gap in the nightside ion source or (2) greatly enhanced impulsive electric fields associated with elevated geomagnetic activity. Different ion loss lifetimes cause the trunks to differ among ion species

A white humpback whale (Megaptera novaeangliae) in the Atlantic Ocean, Svalbard, Norway, August 2012

A white humpback whale (Megaptera novaeangliae) was observed on several occasions off Svalbard, Norway, during August 2012. The animal was completely white, except for a few small dark patches on the ventral side of its fluke. The baleen plates were light-coloured, but the animal's eyes had normal (dark) colouration. This latter characteristic indicates that the animal was not an albino; it was a leucistic individual. The animal was a full-sized adult and was engaged in “bubble-feeding”, together with 15–20 other humpback whales, each time it was seen. Subsequent to these sightings, polling of the marine mammal science community has resulted in the discovery of two other observations of white humpback whales in the Barents Sea area, one in 2004 and another in 2006; in both cases the observed individuals were adult animals. It is likely that all of these sightings are of the same individual, but there is no genetic or photographic evidence to confirm this suggestion. The rarity of observations of such white individuals suggests that they are born at very low frequencies or that the ontogenetic survival rates of the colour morph are low

D* Production in Deep Inelastic Scattering at HERA

This paper presents measurements of D^{*\pm} production in deep inelastic scattering from collisions between 27.5 GeV positrons and 820 GeV protons. The data have been taken with the ZEUS detector at HERA. The decay channel $D^{*+}\to (D^0 \to K^- \pi^+) \pi^+$ (+ c.c.) has been used in the study. The $e^+p$ cross section for inclusive D^{*\pm} production with $5<Q^2<100 GeV^2$ and $y<0.7$ is 5.3 \pms 1.0 \pms 0.8 nb in the kinematic region {$1.3<p_T(D^{*\pm})<9.0$ GeV and $| \eta(D^{*\pm}) |<1.5$}. Differential cross sections as functions of p_T(D^{*\pm}), $\eta(D^{*\pm}), W$ and $Q^2$ are compared with next-to-leading order QCD calculations based on the photon-gluon fusion production mechanism. After an extrapolation of the cross section to the full kinematic region in p_T(D^{*\pm}) and $\eta$(D^{*\pm}), the charm contribution $F_2^{c\bar{c}}(x,Q^2)$ to the proton structure function is determined for Bjorken $x$ between 2 $\cdot$ 10$^{-4}$ and 5 $\cdot$ 10$^{-3}$.Comment: 17 pages including 4 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

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [8, 9]. The paper gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, the existence of winning strategies, and then statistical model checking

Seasonal flows of international British Columbia-Alaska rivers: The nonlinear influence of ocean-atmosphere circulation patterns

The northern portion of the Pacific coastal temperate rainforest (PCTR) is one of the least anthropogenically modified regions on earth and remains in many respects a frontier area to science. Rivers crossing the northern PCTR, which is also an international boundary region between British Columbia, Canada and Alaska, USA, deliver large freshwater and biogeochemical fluxes to the Gulf of Alaska and establish linkages between coastal and continental ecosystems. We evaluate interannual flow variability in three transboundary PCTR watersheds in response to El Niño-Southern Oscillation (ENSO), Pacific Decadal Oscillation (PDO), Arctic Oscillation (AO), and North Pacific Gyre Oscillation (NPGO). Historical hydroclimatic datasets from both Canada and the USA are analyzed using an up-to-date methodological suite accommodating both seasonally transient and highly nonlinear teleconnections. We find that streamflow teleconnections occur over particular seasonal windows reflecting the intersection of specific atmospheric and terrestrial hydrologic processes. The strongest signal is a snowmelt-driven flow timing shift resulting from ENSO- and PDO-associated temperature anomalies. Autumn rainfall runoff is also modulated by these climate modes, and a glacier-mediated teleconnection contributes to a late-summer ENSO-flow association. Teleconnections between AO and freshet flows reflect corresponding temperature and precipitation anomalies. A coherent NPGO signal is not clearly evident in streamflow. Linear and monotonically nonlinear teleconnections were widely identified, with less evidence for the parabolic effects that can play an important role elsewhere. The streamflow teleconnections did not vary greatly between hydrometric stations, presumably reflecting broad similarities in watershed characteristics. These results establish a regional foundation for both transboundary water management and studies of long-term hydroclimatic and environmental change