7,017 research outputs found
Airborne Thermal Infrared Multispectral Scanner (TIMS) images over disseminated gold deposits, Osgood Mountains, Humboldt County, Nevada
The U.S. Geological Survey (USGS) acquired airborne Thermal Infrared Multispectral Scanner (TIMS) images over several disseminated gold deposits in northern Nevada in 1983. The aerial surveys were flown to determine whether TIMS data could depict jasperoids (siliceous replacement bodies) associated with the gold deposits. The TIMS data were collected over the Pinson and Getchell Mines in the Osgood Mountains, the Carlin, Maggie Creek, Bootstrap, and other mines in the Tuscarora Mountains, and the Jerritt Canyon Mine in the Independence Mountains. The TIMS data seem to be a useful supplement to conventional geochemical exploration for disseminated gold deposits in the western United States. Siliceous outcrops are readily separable in the TIMS image from other types of host rocks. Different forms of silicification are not readily separable, yet, due to limitations of spatial resolution and spectral dynamic range. Features associated with the disseminated gold deposits, such as the large intrusive bodies and fault structures, are also resolvable on TIMS data. Inclusion of high-resolution thermal inertia data would be a useful supplement to the TIMS data
Long-Term Testing and Properties of Acrylic for the Daya Bay Antineutrino Detectors
The Daya Bay reactor antineutrino experiment has recently measured the
neutrino mixing parameter sin22{\theta}13 by observing electron antineutrino
disappearance over kilometer-scale baselines using six antineutrino detectors
at near and far distances from reactor cores at the Daya Bay nuclear power
complex. Liquid scintillator contained in transparent target vessels is used to
detect electron antineutrinos via the inverse beta-decay reaction. The Daya Bay
experiment will operate for about five years yielding a precision measurement
of sin22{\theta}13. We report on long-term studies of poly(methyl methacrylate)
known as acrylic, which is the primary material used in the fabrication of the
target vessels for the experiment's antineutrino detectors. In these studies,
acrylic samples are subjected to gaseous and liquid environmental conditions
similar to those experienced during construction, transport, and operation of
the Daya Bay acrylic target vessels and detectors. Mechanical and optical
stability of the acrylic as well as its interaction with detector liquids is
reported.Comment: 17 pages, 13 figures Submitted to JINS
SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups
We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products.Final Accepted Versio
Algorithmic Verification of Asynchronous Programs
Asynchronous programming is a ubiquitous systems programming idiom to manage
concurrent interactions with the environment. In this style, instead of waiting
for time-consuming operations to complete, the programmer makes a non-blocking
call to the operation and posts a callback task to a task buffer that is
executed later when the time-consuming operation completes. A co-operative
scheduler mediates the interaction by picking and executing callback tasks from
the task buffer to completion (and these callbacks can post further callbacks
to be executed later). Writing correct asynchronous programs is hard because
the use of callbacks, while efficient, obscures program control flow.
We provide a formal model underlying asynchronous programs and study
verification problems for this model. We show that the safety verification
problem for finite-data asynchronous programs is expspace-complete. We show
that liveness verification for finite-data asynchronous programs is decidable
and polynomial-time equivalent to Petri Net reachability. Decidability is not
obvious, since even if the data is finite-state, asynchronous programs
constitute infinite-state transition systems: both the program stack and the
task buffer of pending asynchronous calls can be potentially unbounded.
Our main technical construction is a polynomial-time semantics-preserving
reduction from asynchronous programs to Petri Nets and conversely. The
reduction allows the use of algorithmic techniques on Petri Nets to the
verification of asynchronous programs.
We also study several extensions to the basic models of asynchronous programs
that are inspired by additional capabilities provided by implementations of
asynchronous libraries, and classify the decidability and undecidability of
verification questions on these extensions.Comment: 46 pages, 9 figure
Optimal jet radius in kinematic dijet reconstruction
Obtaining a good momentum reconstruction of a jet is a compromise between
taking it large enough to catch the perturbative final-state radiation and
small enough to avoid too much contamination from the underlying event and
initial-state radiation. In this paper, we compute analytically the optimal jet
radius for dijet reconstructions and study its scale dependence. We also
compare our results with previous Monte-Carlo studies.Comment: 30 pages, 11 figures; minor corrections; published in JHE
Relation of lineaments to sulfide deposits: Bald Eagle Mountain, Centre County, Pennsylvania
The author has identified the following significant results. Discrete areas of finely-fractured and brecciated sandstone float are present along the crest of Bald Mountain and are commonly sites of sulfide mineralization, as evidenced by the presence of barite and limonite gossans. The frequency distributions of the brecciated float as the negative binomial distribution supports the interpretation of a separate population of intensely fractured material. Such zones of concentrated breccia float have an average width of one kilometer with a range from 0.4 to 1.6 kilometers and were observed in a quarry face to have subvertical dips. Direct spatial correlation of the Landsat-derived lineaments to the fractured areas on the ridge is low; however, the mineralized and fracture zones are commonly assymetrical to the lineament positions. Such a systematic dislocation might result from an inherent bias in the float population or could be the product of the relative erosional resistance of the silicified material in the mineralized areas in relation to the erosionally weak material at the stream gaps
Jet Trimming
Initial state radiation, multiple interactions, and event pileup can
contaminate jets and degrade event reconstruction. Here we introduce a
procedure, jet trimming, designed to mitigate these sources of contamination in
jets initiated by light partons. This procedure is complimentary to existing
methods developed for boosted heavy particles. We find that jet trimming can
achieve significant improvements in event reconstruction, especially at high
energy/luminosity hadron colliders like the LHC.Comment: 20 pages, 11 figures, 3 tables - Minor changes to text/figure
TB132: An Annotated Bibliography of Predator Research in Maine, 1974-1988
From 1974 to 1988, graduate students (13 M.S. and 5 Ph.D.) and faculty members from the University of Maine conducted a series of studies regarding the ecology of coyotes, red foxes, bobcats, pine martens, fishers, otters, and their prey. This research was reported in 67 theses, journal articles, or other reports, which are abstracted here. An introductory section summarizes the major findings.https://digitalcommons.library.umaine.edu/aes_techbulletin/1068/thumbnail.jp
- …