The First Year IceCube-DeepCore Results

The IceCube Neutrino Observatory includes a tightly spaced inner array in the deepest ice, called DeepCore, which gives access to low-energy neutrinos with a sizable surrounding cosmic ray muon veto. Designed to be sensitive to neutrinos at energies as low as 10 GeV, DeepCore will be used to study diverse physics topics with neutrino signatures, such as dark matter annihilations and atmospheric neutrino oscillations. The first year of DeepCore physics data-taking has been completed, and the first observation of atmospheric neutrino-induced cascades with IceCube and DeepCore are presented.Comment: 4 pages, 3 figures, TAUP 2011 (Journal of Physics: Conference Series (JCPS)

The Performance of CRTNT Fluorescence Light Detector for Sub-EeV Cosmic Ray Observation

Cosmic Ray Tau Neutrino Telescopes (CRTNT) using for sub-EeV cosmic ray measurement is discussed. Performances of a stereoscope configuration with a tower of those telescopes plus two side-triggers are studied. This is done by using a detailed detector simulation driven by Corsika. Detector aperture as a function of shower energy above 10^17 eV is calculated. Event rate of about 20k per year for the second knee measurement is estimated. Event rate for cross calibration with detectors working on higher energy range is also estimated. Different configurations of the detectors are tried for optimization.Comment: 5 pages, 4 figures, submitted to HEP & N

Dethinning Extensive Air Shower Simulations

We describe a method for restoring information lost during statistical thinning in extensive air shower simulations. By converting weighted particles from thinned simulations to swarms of particles with similar characteristics, we obtain a result that is essentially identical to the thinned shower, and which is very similar to non-thinned simulations of showers. We call this method dethinning. Using non-thinned showers on a large scale is impossible because of unrealistic CPU time requirements, but with thinned showers that have been dethinned, it is possible to carry out large-scale simulation studies of the detector response for ultra-high energy cosmic ray surface arrays. The dethinning method is described in detail and comparisons are presented with parent thinned showers and with non-thinned showers

Ultra High Energy Cosmic Rays: Anisotropies and Spectrum

The recent results of the Pierre Auger Observatory on the possible correlation of Ultra High Energy Cosmic Rays events and several nearby discrete sources could be the starting point of a new era with charged particles astronomy. In this paper we introduce a simple model to determine the effects of any local distribution of sources on the expected flux. We consider two populations of sources: faraway sources uniformly distributed and local point sources. We study the effects on the expected flux of the local distribution of sources, referring also to the set of astrophysical objects whose correlation with the Auger events is experimentally claimed.Comment: 17 pages, 13 eps figures, version accepted for publication in Astroparticle Physic

Ultrahigh Energy Cosmic Rays and Neutrinos

The observation of neutrinos from cosmic accelerators will be revolutionary. High energy neutrinos are closely connected to ultrahigh energy cosmic rays and their sources. Cosmic ray sources are likely to produce neutrinos and the propagation of ultrahigh cosmic rays from distant sources can generate PeV to ZeV neutrinos. We briefly review recent progress on the observations of ultrahigh energy cosmic rays and their implications for the future detections of high energy neutrinos.Comment: 6 pages, 2 figures, Proceedings of NOW (Neutrino Oscillation Workshop) 2010, to appear in Nucl. Phys. B (Proc. Suppl.

Techniques for measuring atmospheric aerosols at the High Resolution Fly's Eye experiment

We describe several techniques developed by the High Resolution Fly's Eye experiment for measuring aerosol vertical optical depth, aerosol horizontal attenuation length, and aerosol phase function. The techniques are based on measurements of side-scattered light generated by a steerable ultraviolet laser and collected by an optical detector designed to measure fluorescence light from cosmic-ray air showers. We also present a technique to cross-check the aerosol optical depth measurement using air showers observed in stereo. These methods can be used by future air fluorescence experiments.Comment: Accepted for publication in Astroparticle Physics Journal 16 pages, 9 figure

Prospects for GMRT to Observe Radio Waves from UHE Particles Interacting with the Moon

Ultra high energy (UHE) particles of cosmic origin impact the lunar regolith and produce radio signals through Askaryan effect, signals that can be detected by Earth based radio telescopes. We calculate the expected sensitivity for observation of such events at the Giant Metrewave Radio Telescope (GMRT), both for UHE cosmic rays (CR) and UHE neutrino interactions. We find that for 30 days of observation time a significant number of detectable events is expected above $10^{20}$ eV for UHECR or neutrino fluxes close to the current limits. Null detection over a period of 30 days will lower the experimental bounds on UHE particle fluxes by magnitudes competitive to both present and future experiments at the very highest energies.Comment: 21 pages, 9 figure

Towards the Formal Reliability Analysis of Oil and Gas Pipelines

It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-free transport of hazardous materials. The main idea behind this reliability analysis is to model the given pipeline system as a Reliability Block Diagram (RBD) of segments such that the reliability of an individual pipeline segment can be represented by a random variable. Traditionally, computer simulation is used to perform this reliability analysis but it provides approximate results and requires an enormous amount of CPU time for attaining reasonable estimates. Due to its approximate nature, simulation is not very suitable for analyzing safety-critical systems like oil and gas pipelines, where even minor analysis flaws may result in catastrophic consequences. As an accurate alternative, we propose to use a higher-order-logic theorem prover (HOL) for the reliability analysis of pipelines. As a first step towards this idea, this paper provides a higher-order-logic formalization of reliability and the series RBD using the HOL theorem prover. For illustration, we present the formal analysis of a simple pipeline that can be modeled as a series RBD of segments with exponentially distributed failure times.Comment: 15 page

Cosmic Rays at the highest energies

After a century of observations, we still do not know the origin of cosmic rays. I will review the current state of cosmic ray observations at the highest energies, and their implications for proposed acceleration models and secondary astroparticle fluxes. Possible sources have narrowed down with the confirmation of a GZK-like spectral feature. The anisotropy observed by the Pierre Auger Observatory may signal the dawn of particle astronomy raising hopes for high energy neutrino observations. However, composition related measurements point to a different interpretation. A clear resolution of this mystery calls for much larger statistics than the reach of current observatories.Comment: 8 pages, 4 figures, in the Proceedings of TAUP 201