Fault identification using multidisciplinary techniques at the Mars/Uranus Station antenna sites

A fault investigation was performed at the Mars and Uranus antenna sites at the Goldstone Deep Space Communications Complex in the Mojave desert. The Mars/Uranus Station consists of two large-diameter reflector antennas used for communication and control of deep-space probes and other missions. The investigation included interpretation of Landsat thematic mapper scenes, side-looking airborne radar transparencies, and both color-infrared and black-and-white aerial photography. Four photolineaments suggestive of previously undocumented faults were identified. Three generally discrete morphostratigraphic alluvial-fan deposits were also recognized and dated using geomorphic and soil stratigraphic techniques. Fourteen trenches were excavated across the four lineaments; the trenches show that three of the photolineaments coincide with faults. The last displacement of two of the faults occurred between about 12,000 and 35,000 years ago. The third fault was judged to be older than 12,000 years before present (ybp), although uncertainty remains. None of the surface traces of the three faults crosses under existing antennas or structures; however, their potential activity necessitates appropriate seismic retrofit designs and loss-prevention measures to mitigate potential earthquake damage to facilities and structures

Number of spanning clusters at the high-dimensional percolation thresholds

A scaling theory is used to derive the dependence of the average number of spanning clusters at threshold on the lattice size L. This number should become independent of L for dimensions d<6, and vary as log L at d=6. The predictions for d>6 depend on the boundary conditions, and the results there may vary between L^{d-6} and L^0. While simulations in six dimensions are consistent with this prediction (after including corrections of order loglog L), in five dimensions the average number of spanning clusters still increases as log L even up to L = 201. However, the histogram P(k) of the spanning cluster multiplicity does scale as a function of kX(L), with X(L)=1+const/L, indicating that for sufficiently large L the average will approach a finite value: a fit of the 5D multiplicity data with a constant plus a simple linear correction to scaling reproduces the data very well. Numerical simulations for d>6 and for d=4 are also presented.Comment: 8 pages, 11 figures. Final version to appear on Physical Review

A Method to Find Community Structures Based on Information Centrality

Community structures are an important feature of many social, biological and technological networks. Here we study a variation on the method for detecting such communities proposed by Girvan and Newman and based on the idea of using centrality measures to define the community boundaries (M. Girvan and M. E. J. Newman, Community structure in social and biological networks Proc. Natl. Acad. Sci. USA 99, 7821-7826 (2002)). We develop an algorithm of hierarchical clustering that consists in finding and removing iteratively the edge with the highest information centrality. We test the algorithm on computer generated and real-world networks whose community structure is already known or has been studied by means of other methods. We show that our algorithm, although it runs to completion in a time O(n^4), is very effective especially when the communities are very mixed and hardly detectable by the other methods.Comment: 13 pages, 13 figures. Final version accepted for publication in Physical Review

Continuum corrections to the level density and its dependence on excitation energy, n-p asymmetry, and deformation

In the independent-particle model, the nuclear level density is determined from the neutron and proton single-particle level densities. The single-particle level density for the positive-energy continuum levels is important at high excitation energies for stable nuclei and at all excitation energies for nuclei near the drip lines. This single-particle level density is subdivided into compound-nucleus and gas components. Two methods were considered for this subdivision. First in the subtraction method, the single-particle level density is determined from the scattering phase shifts. In the Gamov method, only the narrow Gamov states or resonances are included. The level densities calculated with these two methods are similar, both can be approximated by the backshifted Fermi-gas expression with level-density parameters that are dependent on A, but with very little dependence on the neutron or proton richness of the nucleus. However, a small decrease in the level-density parameter was predicted for some nuclei very close to the drip lines. The largest difference between the calculations using the two methods was the deformation dependence on the level density. The Gamov method predicts a very strong peaking of the level density at sphericity for high excitation energies. This leads to a suppression of deformed configurations and, consequently, the fission rate predicted by the statistical model is reduced in the Gamov method.Comment: 18 pages 24 figure

The Reliability of the Factor Structure of the Pediatric Daytime Sleepiness Scale in both a Spanish-Colombian and French-Canadian Version

Daytime sleepiness is characterized by an increased likelihood of falling asleep and adversely impacts youth’s academic performance, behavior, and mood. The National Sleep Foundation Sur­vey (2006) found almost 50% of youth sleep 1 to 2 hours less than the recommended 9 hours per night and 60% report daytime sleepiness. The Pediatric Daytime Sleepiness Scale (PDSS; Drake et al., 2003) is a self-report questionnaire used to evaluate the likelihood of youth falling asleep in various everyday situations. The original PDSS was developed with an English-speaking American sample (Mage=11.8; SD=.6 years), and the measure was thought to assess a uni-dimensional construct: day­time sleepiness. The PDSS has previously been translated into a Spanish version for an Argentinean sample (Mage=13.3; SD=1.5 years)

Performance of Hamamatsu 64-anode photomultipliers for use with wavelength--shifting optical fibres

Hamamatsu R5900-00-M64 and R7600-00-M64 photomultiplier tubes will be used with wavelength--shifting optical fibres to read out scintillator strips in the MINOS near detector. We report on measurements of the gain, efficiency, linearity, crosstalk, and dark noise of 232 of these PMTs, of which 219 met MINOS requirements.Comment: 15 pages, 12 figures. Accepted by Nucl. Inst. Meth.

Hydrodynamics near the QCD Phase Transition: Looking for the Longest-Lived Fireball

We propose a new strategy for the experimental search of the QCD phase transition in heavy ion collisions: One may tune collision energy around the point where the lifetime of the fireball is expected to be longest. We demonstrate that the hydrodynamic evolution of excited nuclear matter does change dramatically as the initial energy density goes through the "softest point" (where the pressure to energy density ratio reaches its minimum). For our choice of equation of state, this corresponds to epsilon_i approx. = 1.5 GeV/fm^3 and collision energy E_lab/A approx. = 30 GeV (for Au+Au). Various observables seem to show distinct changes near the softest point.Comment: 7 pages, 3 Postscript figures (tar compressed and uuencoded) submitte

A possible magnetar nature for IGR J16358-4726

We present detailed spectral and timing analysis of the hard X-ray transient IGR J16358-4726 using multisatellite archival observations. A study of the source flux time history over 6 yr suggests that lower luminosity transient outbursts can be occurring in intervals of at most 1 yr. Joint spectral fits of the higher luminosity outburst using simultaneous Chandra ACIS and INTEGRAL ISGRI data reveal a spectrum well described by an absorbed power-law model with a high-energy cutoff plus an Fe line. We detected the 1.6 hr pulsations initially reported using Chandra ACIS also in the INTEGRAL ISGRI light curve and in subsequent XMM-Newton observations. Using the INTEGRAL data, we identified a spin-up of 94 s ( = 1.6 × 10-4), which strongly points to a neutron star nature for IGR J16358-4726. Assuming that the spin-up is due to disk accretion, we estimate that the source magnetic field ranges between 1013 and 1015 G, depending on its distance, possibly supporting a magnetar nature for IGR J16358-4726

Towards a canonical classical natural deduction system

This paper studies a new classical natural deduction system, presented as a typed calculus named \lml. It is designed to be isomorphic to Curien-Herbelin's calculus, both at the level of proofs and reduction, and the isomorphism is based on the correct correspondence between cut (resp. left-introduction) in sequent calculus, and substitution (resp. elimination) in natural deduction. It is a combination of Parigot's $\lambda\mu$-calculus with the idea of ``coercion calculus'' due to Cervesato-Pfenning, accommodating let-expressions in a surprising way: they expand Parigot's syntactic class of named terms. This calculus aims to be the simultaneous answer to three problems. The first problem is the lack of a canonical natural deduction system for classical logic. \lml is not yet another classical calculus, but rather a canonical reflection in natural deduction of the impeccable treatment of classical logic by sequent calculus. The second problem is the lack of a formalization of the usual semantics of Curien-Herbelin's calculus, that explains co-terms and cuts as, respectively, contexts and hole-filling instructions. The mentioned isomorphism is the required formalization, based on the precise notions of context and hole-expression offered by \lml. The third problem is the lack of a robust process of ``read-back'' into natural deduction syntax of calculi in the sequent calculus format, that affects mainly the recent proof-theoretic efforts of derivation of $\lambda$-calculi for call-by-value. An isomorphic counterpart to the $Q$-subsystem of Curien-Herbelin's-calculus is derived, obtaining a new $\lambda$-calculus for call-by-value, combining control and let-expressions.Fundação para a Ciência e a Tecnologia (FCT