Emergent Non-Consumptive Predator Effects Alter Habitat Colonization By Dipteran Prey

When ovipositing, prey organisms avoid habitat patches containing predator cues because predators consume, and negatively affect the fitness of their prey. Richness of predator species often enhances the strength of consumptive predator effects, but little is known about how multiple predators combined affect prey non-consumptively. We quantified dipteran colonization in aquatic mesocosms in response to varied predator richness. Multiple predator species combined reduced oviposition by Culex mosquitoes, chironomid midges, and the general colonizing dipteran community more than predicted by the effects of the independent predator species. Previous research which quantifies effects of multiple predators on prey as prey abundance, but does not measure consumption by predators, may be underestimating or overestimating the strength of effect by assuming equal colonization. Our findings enhance understanding of the ways predators influence abundances and distributions of their prey, and yields insight into the ways predators may non-consumptively affect prey by changing prey behavior

Emergent non-consumptive predator effects alter habitat colonization by mosquitoes

Top-down consumptive control (suppression) is an important driver of populations and communities of prey organisms. Diverse predator assemblages often yield non-linear suppression with respect to constituent species’ effects (emergence); most often diversity enhances suppression. Predators also affect prey organisms non-consumptively through changes in prey physiological, physical, spatial, temporal, and behavioral responses to predators. Role of predator diversity in non-consumptive response by prey is relatively un-studied. Role of predator diversity in shaping prey populations and communities through habitat colonization is a novel question

Analog hardware for detecting discontinuities in early vision

The detection of discontinuities in motion, intensity, color, and depth is a well-studied but difficult problem in computer vision [6]. We discuss the first hardware circuit that explicitly implements either analog or binary line processes in a deterministic fashion. Specifically, we show that the processes of smoothing (using a first-order or membrane type of stabilizer) and of segmentation can be implemented by a single, two-terminal nonlinear voltage-controlled resistor, the “resistive fuse”; and we derive its current-voltage relationship from a number of deterministic approximations to the underlying stochastic Markov random fields algorthms. The concept that the quadratic variation functionals of early vision can be solved via linear resistive networks minimizing power dissipation [37] can be extended to non-convex variational functionals with analog or binary line processes being solved by nonlinear resistive networks minimizing the electrical co-content. We have successfully designed, tested, and demonstrated an analog CMOS VLSI circuit that contains a 1D resistive network of fuses implementing piecewise smooth surface interpolation. We furthermore demonstrate the segmenting abilities of these analog and deterministic “line processes” by numerically simulating the nonlinear resistive network computing optical flow in the presence of motion discontinuities. Finally, we discuss various circuit implementations of the optical flow computation using these circuits

Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study

Work on automated test generation has produced several tools capable of generating test data which achieves high structural coverage over a program. In the absence of a specification, developers are expected to manually construct or verify the test oracle for each test input. Nevertheless, it is assumed that these generated tests ease the task of testing for the developer, as testing is reduced to checking the results of tests. While this assumption has persisted for decades, there has been no conclusive evidence to date confirming it. However, the limited adoption in industry indicates this assumption may not be correct, and calls into question the practical value of test generation tools. To investigate this issue, we performed two controlled experiments comparing a total of 97 subjects split between writing tests manually and writing tests with the aid of an automated unit test generation tool, EvoSuite. We found that, on one hand, tool support leads to clear improvements in commonly applied quality metrics such as code coverage (up to 300% increase). However, on the other hand, there was no measurable improvement in the number of bugs actually found by developers. Our results not only cast some doubt on how the research community evaluates test generation tools, but also point to improvements and future work necessary before automated test generation tools will be widely adopted by practitioners

Evaluation of Roadway Lighting Practices

Adequate roadway lighting allows better driver visibility during nighttime conditions. Research studies show that lighted roadways on average experience 28 percent fewer vehicles crashes on all roadway types. Most state DOTs have historically used High-Pressure Sodium (HPS) lights for their roadside lighting programs due to their wide availability and relatively low purchase costs. However, the short lifespan of HPS results in frequent replacement, leading to high life cycle costs. Light-Emitting Diode (LED) lights consume less energy, demonstrate improved performance, and require less overall maintenance due to their longer lifespans. Over time, this translates into maintenance cost savings for stateDOTs. In recent years, several state and local governments have begun increasing their use of LED lighting. KTC reviewed other state’s best practices for roadway lighting and assisted KYTC with analyzing the performance differences between HPS and LED. KTC also compiled a statewide roadside lighting inventory through coordination with each KYTC district.After developing the full inventory, the research team conducted light surveys at locations across Kentucky. The light surveys confirmed that LED lights routinely outperform HPS lights. It is recommended that Kentucky continue to transition to LED lighting, find a method for keeping the statewide lighting inventory up to date, and specify light spacing for new installations

Improvement of Fatal Crash Analysis and Follow-Up

Executive Summary Fatalities resulting from traffic crashes in Kentucky increased from a low of 638 in 2013 to 834 in 2016 (a 31% increase), and there is not a full understanding of the underlying causes for this trend. This study analyzes fatal crashes using data from both Kentucky’s crash reports and the National Highway Traffic Safety Administration’s (NHTSA) Fatal Accident Reporting System (FARS) to identify countermeasures to combat increasing fatal crash rates. In addition, this study compares Kentucky’s crash reports to the fatal crash data in FARS to identify data inconsistencies and recommend procedures to eliminate these inconsistencies. Emphasis was placed on fatal crashes involving alcohol and drugs because police-reported crash data in Kentucky do not clearly represent the magnitude of alcohol- and drug-related fatal crashes. More detailed analysis of fatal crashes involving alcohol and drugs provides an understanding of the patterns of impaired drivers in terms of their overall characteristics, crash locations, time of day, types of drugs, and other identifying factors that affect patterns and behavior. The study identified crashes involving mature drivers (65+) and lane departure crashes as fatal crash types with the greatest increases since 2013. Pedestrian, motorcycle, intersection, and impairment-related fatal crashes also demonstrated increasing fatal crash rates in 2016. Analysis of restraint use showed that almost 54% of the fatally injured people in 2016 were not wearing a seatbelt when one was available to them. Of those fatally injured in a motorcycle crash, nearly 72% were not wearing a helmet. Based on FARS data, there were 160 fatal crashes in Kentucky in which a driver tested positive for alcohol and 266 fatal crashes where a driver tested positive for at least one drug. The drugs most frequently found in drivers were tetrahydrocannabinol (THC), hydrocodone, and Xanax. In general, fatal crash frequency spiked during the morning and afternoon peak hour periods, with fatalities occurring more frequently between 11 am and 11 pm. The percent of potentially impaired (alcohol- and drug-involved) fatal crashes increased between 5 pm and 4 am from around 40% to a peak of 81% at 4 am. Eastern Kentucky was identified as a region with high fatal crash rates and potentially impaired fatal crash rates. Both Ballard and Union Counties in Western Kentucky showed high fatality and potentially impaired fatality rates as well. Comparisons between the FARS database and Kentucky’s crash reports revealed inconsistencies between the date, time, location, injury severity, and impairment indications in the two databases. Recommendations stemming from this study were divided into four categories: enforcement, legislation/licensing, public involvement, and data collection. The recommendations are aimed at reducing crash fatalities, improving crash data collection, and improving consistency between Kentucky’s crash reports and the national FARS database

Development and Characterization of an Air-Cooled Loop Heat Pipe With a Wick in the Condenser

Thermal management of modern electronics is rapidly becoming a critical bottleneck of their computational performance. Air-cooled heat sinks offer ease and flexibility in installation and are currently the most widely used solution for cooling electronics. We report the characterization of a novel loop heat pipe (LHP) with a wick in the condenser, developed for the integration into an air-cooled heat sink. The evaporator and condenser are planar (102 mm × 102 mm footprint) and allow for potential integration of multiple, stacked condensers. The condenser wick is used to separate the liquid and vapor phases during condensation by capillary menisci and enables the use of multiple condensers with equal condensation behavior and performance. In this paper, the thermal–fluidic cycle is outlined, and the requirements to generate capillary pressure in the condenser are discussed. The LHP design to fulfill the requirements is then described, and the experimental characterization of a single-condenser version of the LHP is reported. The thermal performance was dependent on the fan speed and the volume of the working fluid; a thermal resistance of 0.177  °C/W was demonstrated at a heat load of 200 W, fan speed of 5000 rpm and fluid volume of 67 mL. When the LHP was filled with the working fluid to the proper volume, capillary pressure in the condenser was confirmed for all heat loads tested, with a maximum of 3.5 kPa at 200 W. When overfilled with the working fluid, the condenser was flooded with liquid, preventing the formation of capillary pressure and significantly increasing the LHP thermal resistance. This study provides the detailed thermal–fluidic considerations needed to generate capillary pressure in the condenser for controlling the condensation behavior and serves as the basis of developing multiple-condenser LHPs with low thermal resistance.United States. Defense Advanced Research Projects Agency (W31P4Q-09-1-0007

Search for High-Energy Neutrinos From Binary Neutron Star Merger GW170817 With ANTARES, IceCube, and the Pierre Auger Observatory

The Advanced LIGO and Advanced Virgo observatories recently discovered gravitational waves from a binary neutron star inspiral. A short gamma-ray burst (GRB) that followed the merger of this binary was also recorded by the Fermi Gamma-ray Burst Monitor (Fermi-GBM), and the Anti-Coincidence Shield for the Spectrometer for the International Gamma-Ray Astrophysics Laboratory (INTEGRAL), indicating particle acceleration by the source. The precise location of the event was determined by optical detections of emission following the merger. We searched for high-energy neutrinos from the merger in the GeV–EeV energy range using the ANTARES, IceCube, and Pierre Auger Observatories. No neutrinos directionally coincident with the source were detected within ±500 s around the merger time. Additionally, no MeV neutrino burst signal was detected coincident with the merger. We further carried out an extended search in the direction of the source for high-energy neutrinos within the 14 day period following the merger, but found no evidence of emission. We used these results to probe dissipation mechanisms in relativistic outflows driven by the binary neutron star merger. The non-detection is consistent with model predictions of short GRBs observed at a large off-axis angle

Target Zones in History and Theory: Lessons from an Austro-Hungarian Experiment (1896-1914)

The first known experiment with an exchange rate band took place in Austria- Hungary between 1896 and 1914. The rationale for introducing this policy rested on precisely those intuitions that the modern literature has emphasized: the band was designed to secure both exchange rate stability and monetary policy autonomy. However, unlike more recent experiences, such as the ERM, this policy was not undermined by credibility problems. The episode provides an ideal testing ground for some important ideas in modern macroeconomics: specifically, can formal rules, when faithfully adhered to, provide policy makers with some advantages such as short term autonomy? First, we find that a credible band has a "microeconomic" influence on exchange rate stability. By reducing uncertainty, a credible fluctuation band improves the quality of expectations, a channel that has been neglected in the modern literature. Second, we show that the standard test of the basic target zone model is flawed and develop an alternative methodology. We believe that these findings shed a new light on the economics of exchange rate bands

Constructing Search Spaces for Search-Based Software Testing Using Neural Networks

A central requirement for any Search-Based Software Testing (SBST) technique is a convenient and meaningful fitness landscape. Whether one follows a targeted or a diversification driven strategy, a search landscape needs to be large, continuous, easy to construct and representative of the underlying property of interest. Constructing such a landscape is not a trivial task often requiring a significant manual effort by an expert. We present an approach for constructing meaningful and convenient fitness landscapes using neural networks (NN) – for targeted and diversification strategies alike. We suggest that output of an NN predictor can be interpreted as a fitness for a targeted strategy. The NN is trained on a corpus of execution traces and various properties of interest, prior to searching. During search, the trained NN is queried to predict an estimate of a property given an execution trace. The outputs of the NN form a convenient search space which is strongly representative of a number of properties. We believe that such a search space can be readily used for driving a search towards specific properties of interest. For a diversification strategy, we propose the use of an autoencoder; a mechanism for compacting data into an n-dimensional “latent” space. In it, datapoints are arranged according to the similarity of their salient features. We show that a latent space of execution traces possesses characteristics of a convenient search landscape: it is continuous, large and crucially, it defines a notion of similarity to arbitrary observations