3,778 research outputs found
What Local Officials Need to Know About Wind Power in Their Communities
working paper for project on local policy and the green economyIf the topic of industrial wind development was on the table in your community, where would
you begin the discussion? In this working paper, we will provide information to help local
officials understand the complicated issue of industrial wind farms. First, we'll describe the basics
of wind development and the actors involved. Then, we'll suggest how three actions - planning
ahead with residents about their questions and concerns, developing zoning and wind
ordinances, and working with a neutral third party who can help with negotiations and
regulations - can enable local officials to manage the process of deciding whether wind
development is a good option for their communities
Rehearsal: A Configuration Verification Tool for Puppet
Large-scale data centers and cloud computing have turned system configuration
into a challenging problem. Several widely-publicized outages have been blamed
not on software bugs, but on configuration bugs. To cope, thousands of
organizations use system configuration languages to manage their computing
infrastructure. Of these, Puppet is the most widely used with thousands of
paying customers and many more open-source users. The heart of Puppet is a
domain-specific language that describes the state of a system. Puppet already
performs some basic static checks, but they only prevent a narrow range of
errors. Furthermore, testing is ineffective because many errors are only
triggered under specific machine states that are difficult to predict and
reproduce. With several examples, we show that a key problem with Puppet is
that configurations can be non-deterministic.
This paper presents Rehearsal, a verification tool for Puppet configurations.
Rehearsal implements a sound, complete, and scalable determinacy analysis for
Puppet. To develop it, we (1) present a formal semantics for Puppet, (2) use
several analyses to shrink our models to a tractable size, and (3) frame
determinism-checking as decidable formulas for an SMT solver. Rehearsal then
leverages the determinacy analysis to check other important properties, such as
idempotency. Finally, we apply Rehearsal to several real-world Puppet
configurations.Comment: In proceedings of ACM SIGPLAN Conference on Programming Language
Design and Implementation (PLDI) 201
Prey Preference of Snow Leopard (Panthera uncia) in South Gobi, Mongolia
International audienceAccurate information about the diet of large carnivores that are elusive and inhabit inaccessible terrain, is required to properly design conservation strategies. Predation on livestock and retaliatory killing of predators have become serious issues throughout the range of the snow leopard. Several feeding ecology studies of snow leopards have been conducted using classical approaches. These techniques have inherent limitations in their ability to properly identify both snow leopard feces and prey taxa. To examine the frequency of livestock prey and nearly-threatened argali in the diet of the snow leopard, we employed the recently developed DNA-based diet approach to study a snow leopard population located in the Tost Mountains, South Gobi, Mongolia. After DNA was extracted from the feces, a region of ~100 bp long from mitochondrial 12S rRNA gene was amplified, making use of universal primers for vertebrates and a blocking oligonucleotide specific to snow leopard DNA. The amplicons were then sequenced using a next-generation sequencing platform. We observed a total of five different prey items from 81 fecal samples. Siberian ibex predominated the diet (in 70.4% of the feces), followed by domestic goat (17.3%) and argali sheep (8.6%). The major part of the diet was comprised of large ungulates (in 98.8% of the feces) including wild ungulates (79%) and domestic livestock (19.7%). The findings of the present study will help to understand the feeding ecology of the snow leopard, as well as to address the conservation and management issues pertaining to this wild cat
Clustering of Very Red Galaxies in the Las Campanas IR Survey
We report results from the first 1000 square arc-minutes of the Las Campanas
IR survey. We have imaged 1 square degree of high latitude sky in six distinct
fields to a 5-sigma H-band depth of 20.5 (Vega). Optical imaging in the
V,R,I,and z' bands allow us to select color subsets and
photometric-redshift-defined shells. We show that the angular clustering of
faint red galaxies (18 3) is an order of magnitude stronger
than that of the complete H-selected field sample. We employ three approaches
to estimate in order to invert w(theta) to derive r_0. We find that our
n(z) is well described by a Gaussian with = 1.2, sigma(z) = 0.15. From this
we derive a value for r_0 of 7 (+2,-1) co-moving H^{-1} Mpc at = 1.2. This
is a factor of ~ 2 larger than the clustering length for Lyman break galaxies
and is similar to the expectation for early type galaxies at this epoch.Comment: 5 pages, 2 figures, 1 table. To appear in proceedings of the
ESO/ECF/STScI workshop "Deep Fields" held in Garching, Germany, 9-12 October
200
Effects of Art from the Heart on Nurse Satisfaction and Patient Well-Being
Introduction. Art programs have been shown to positively affect unit culture, quality of care, and nursing practices. Art interventions improve well-being, reduce stress, and enhance nurse-patient communication. Art from the Heart (AFTH) is an art program that provides art supplies, visual art, and patient About Me pages to patients, families and employees at University of Vermont Medical Center (UVMMC).Objective. Assess the efficacy of AFTH through nursing staff perceptions, understanding, and attitudes toward the program.Methods. Structured interviews were conducted on Baird 4, an adult inpatient ward, at UVMMC. A 19-question survey using Likert scales and short answer formats was administered to nursing staff. Questions assessed perceptions of effects of art on patient anxiety and pain, communication, and job satisfaction. Surveys were analyzed to extract major and minor themes.Results. Twenty-eight interviews were obtained and two major themes emerged: nurse satisfaction and patient well-being. Nursing staff satisfaction minor themes included improved productivity, promoting conversation, and creating a positive influence on the unit. Respondents reported that AFTH helped initiate conversations with patients (100% of respondents) and reduced workday stress (68%). The second major theme, patient well-being, included benefits to patients with dementia, providing comfort, and serving as an outlet or distraction. Utilizing AFTH improved perceived patient mood (100%), health (78.5%), and reduced patient anxiety (89.3%).Conclusions. AFTH provides positive benefits by reducing nursing staff stress and perceived patient anxiety; improving communication, perceived patient mood and health; and creating a sense of community. AFTH should be expanded to the entire 6 Community Agency: Burlington City Arts, Art from the Hearthttps://scholarworks.uvm.edu/comphp_gallery/1240/thumbnail.jp
Quantifying Kinematic Substructure in the Milky Way's Stellar Halo
We present and analyze the positions, distances, and radial velocities for
over 4000 blue horizontal-branch (BHB) stars in the Milky Way's halo, drawn
from SDSS DR8. We search for position-velocity substructure in these data, a
signature of the hierarchical assembly of the stellar halo. Using a cumulative
"close pair distribution" (CPD) as a statistic in the 4-dimensional space of
sky position, distance, and velocity, we quantify the presence of
position-velocity substructure at high statistical significance among the BHB
stars: pairs of BHB stars that are close in position on the sky tend to have
more similar distances and radial velocities compared to a random sampling of
these overall distributions. We make analogous mock-observations of 11
numerical halo formation simulations, in which the stellar halo is entirely
composed of disrupted satellite debris, and find a level of substructure
comparable to that seen in the actually observed BHB star sample. This result
quantitatively confirms the hierarchical build-up of the stellar halo through a
signature in phase (position-velocity) space. In detail, the structure present
in the BHB stars is somewhat less prominent than that seen in most simulated
halos, quite possibly because BHB stars represent an older sub-population. BHB
stars located beyond 20 kpc from the Galactic center exhibit stronger
substructure than at kpc.Comment: 29 page, 10 figures, 1 table; accepted by APJ; for related article by
another group see arXiv:1011.192
- …
