A descriptive analysis of a five-county attitude study: outdoor recreation and industrialization

Exact date of working paper unknown

Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing

Property-based testing uses randomly generated inputs to validate high-level program specifications. It can be shockingly effective at finding bugs, but it often requires generating a very large number of inputs to do so. In this paper, we apply ideas from combinatorial testing, a powerful and widely studied testing methodology, to modify the distributions of our random generators so as to find bugs with fewer tests. The key concept is combinatorial coverage, which measures the degree to which a given set of tests exercises every possible choice of values for every small combination of input features. In its “classical” form, combinatorial coverage only applies to programs whose inputs have a very particular shape—essentially, a Cartesian product of finite sets. We generalize combinatorial coverage to the richer world of algebraic data types by formalizing a class of sparse test descriptions based on regular tree expressions. This new definition of coverage inspires a novel combinatorial thinning algorithm for improving the coverage of random test generators, requiring many fewer tests to catch bugs. We evaluate this algorithm on two case studies, a typed evaluator for System F terms and a Haskell compiler, showing significant improvements in both

Exploring the Nexus of Energy Burden, Social Capital, and Environmental Quality in Shaping Health in US Counties

The United States spends more on health care than any other OECD country, yet the nation’s health is declining. Recent research has identified multiple sources for this decline, including one’s position in social and economic structures, environmental quality, and individual and collective social capital. This paper assesses the primary hypotheses that the health effects of household energy burden, social capital and environmental quality on aggregated community health levels remain while controlling for other determinants. The analysis moves beyond prior research by integrating multiple secondary data sources to assess those effects across US counties. Three indicators of public health are analyzed (premature mortality, self-reported health, and life expectancy). The county-level energy burden is measured by the percent of household income spent on housing energy bills for low- and moderate-income households. In addition to energy burden, social capital, environmental quality and other determinants are included in the analysis. The results produced by multivariate regression models support the primary hypotheses, even while a number of control variables also have a significant effect on health. The paper concludes that public health is associated with a complex nexus of factors, including environmental quality and social capital, and that energy burden needs to be among the considerations

Concordance rate between copy number variants detected using either high- or medium-density single nucleotide polymorphism genotype panels and the potential of imputing copy number variants from flanking high density single nucleotide polymorphism haplotypes in cattle

peer-reviewedBackground The trading of individual animal genotype information often involves only the exchange of the called genotypes and not necessarily the additional information required to effectively call structural variants. The main aim here was to determine if it is possible to impute copy number variants (CNVs) using the flanking single nucleotide polymorphism (SNP) haplotype structure in cattle. While this objective was achieved using high-density genotype panels (i.e., 713,162 SNPs), a secondary objective investigated the concordance of CNVs called with this high-density genotype panel compared to CNVs called from a medium-density panel (i.e., 45,677 SNPs in the present study). This is the first study to compare CNVs called from high-density and medium-density SNP genotypes from the same animals. High (and medium-density) genotypes were available on 991 Holstein-Friesian, 1015 Charolais, and 1394 Limousin bulls. The concordance between CNVs called from the medium-density and high-density genotypes were calculated separately for each animal. A subset of CNVs which were called from the high-density genotypes was selected for imputation. Imputation was carried out separately for each breed using a set of high-density SNPs flanking the midpoint of each CNV. A CNV was deemed to be imputed correctly when the called copy number matched the imputed copy number. Results For 97.0% of CNVs called from the high-density genotypes, the corresponding genomic position on the medium-density of the animal did not contain a called CNV. The average accuracy of imputation for CNV deletions was 0.281, with a standard deviation of 0.286. The average accuracy of imputation of the CNV normal state, i.e. the absence of a CNV, was 0.982 with a standard deviation of 0.022. Two CNV duplications were imputed in the Charolais, a single CNV duplication in the Limousins, and a single CNV duplication in the Holstein-Friesians; in all cases the CNV duplications were incorrectly imputed. Conclusion The vast majority of CNVs called from the high-density genotypes were not detected using the medium-density genotypes. Furthermore, CNVs cannot be accurately predicted from flanking SNP haplotypes, at least based on the imputation algorithms routinely used in cattle, and using the SNPs currently available on the high-density genotype panel

Reynolds number influences in aeronautics

Reynolds number, a measure of the ratio of inertia to viscous forces, is a fundamental similarity parameter for fluid flows and therefore, would be expected to have a major influence in aerodynamics and aeronautics. Reynolds number influences are generally large, but monatomic, for attached laminar (continuum) flow; however, laminar flows are easily separated, inducing even stronger, non-monatomic, Reynolds number sensitivities. Probably the strongest Reynolds number influences occur in connection with transitional flow behavior. Transition can take place over a tremendous Reynolds number range, from the order of 20 x 10(exp 3) for 2-D free shear layers up to the order of 100 x 10(exp 6) for hypersonic boundary layers. This variability in transition behavior is especially important for complex configurations where various vehicle and flow field elements can undergo transition at various Reynolds numbers, causing often surprising changes in aerodynamics characteristics over wide ranges in Reynolds number. This is further compounded by the vast parameterization associated with transition, in that any parameter which influences mean viscous flow development (e.g., pressure gradient, flow curvature, wall temperature, Mach number, sweep, roughness, flow chemistry, shock interactions, etc.), and incident disturbance fields (acoustics, vorticity, particulates, temperature spottiness, even electro static discharges) can alter transition locations to first order. The usual method of dealing with the transition problem is to trip the flow in the generally lower Reynolds number wind tunnel to simulate the flight turbulent behavior. However, this is not wholly satisfactory as it results in incorrectly scaled viscous region thicknesses and cannot be utilized at all for applications such as turbine blades and helicopter rotors, nacelles, leading edge and nose regions, and High Altitude Long Endurance and hypersonic airbreathers where the transitional flow is an innately critical portion of the problem

Efficiency of spinal anesthesia versus general anesthesia for lumbar spinal surgery: a retrospective analysis of 544 patients.

BACKGROUND: Previous studies have shown varying results in selected outcomes when directly comparing spinal anesthesia to general in lumbar surgery. Some studies have shown reduced surgical time, postoperative pain, time in the postanesthesia care unit (PACU), incidence of urinary retention, postoperative nausea, and more favorable cost-effectiveness with spinal anesthesia. Despite these results, the current literature has also shown contradictory results in between-group comparisons. MATERIALS AND METHODS: A retrospective analysis was performed by querying the electronic medical record database for surgeries performed by a single surgeon between 2007 and 2011 using procedural codes 63030 for diskectomy and 63047 for laminectomy: 544 lumbar laminectomy and diskectomy surgeries were identified, with 183 undergoing general anesthesia and 361 undergoing spinal anesthesia (SA). Linear and multivariate regression analyses were performed to identify differences in blood loss, operative time, time from entering the operating room (OR) until incision, time from bandage placement to exiting the OR, total anesthesia time, PACU time, and total hospital stay. Secondary outcomes of interest included incidence of postoperative spinal hematoma and death, incidence of paraparesis, plegia, post-dural puncture headache, and paresthesia, among the SA patients. RESULTS: SA was associated with significantly lower operative time, blood loss, total anesthesia time, time from entering the OR until incision, time from bandage placement until exiting the OR, and total duration of hospital stay, but a longer stay in the PACU. The SA group experienced one spinal hematoma, which was evacuated without any long-term neurological deficits, and neither group experienced a death. The SA group had no episodes of paraparesis or plegia, post-dural puncture headaches, or episodes of persistent postoperative paresthesia or weakness. CONCLUSION: SA is effective for use in patients undergoing elective lumbar laminectomy and/or diskectomy spinal surgery, and was shown to be the more expedient anesthetic choice in the perioperative setting

Space Station Engineering Design Issues

Space Station Freedom topics addressed include: general design issues; issues related to utilization and operations; issues related to systems requirements and design; and management issues relevant to design