Evolutionary improvement of programs

Most applications of genetic programming (GP) involve the creation of an entirely new function, program or expression to solve a specific problem. In this paper, we propose a new approach that applies GP to improve existing software by optimizing its non-functional properties such as execution time, memory usage, or power consumption. In general, satisfying non-functional requirements is a difficult task and often achieved in part by optimizing compilers. However, modern compilers are in general not always able to produce semantically equivalent alternatives that optimize non-functional properties, even if such alternatives are known to exist: this is usually due to the limited local nature of such optimizations. In this paper, we discuss how best to combine and extend the existing evolutionary methods of GP, multiobjective optimization, and coevolution in order to improve existing software. Given as input the implementation of a function, we attempt to evolve a semantically equivalent version, in this case optimized to reduce execution time subject to a given probability distribution of inputs. We demonstrate that our framework is able to produce non-obvious optimizations that compilers are not yet able to generate on eight example functions. We employ a coevolved population of test cases to encourage the preservation of the function's semantics. We exploit the original program both through seeding of the population in order to focus the search, and as an oracle for testing purposes. As well as discussing the issues that arise when attempting to improve software, we employ rigorous experimental method to provide interesting and practical insights to suggest how to address these issues

Searching for invariants using genetic programming and mutation testing

Invariants are concise and useful descriptions of a program's behaviour. As most programs are not annotated with invariants, previous research has attempted to automatically generate them from source code. In this paper, we propose a new approach to invariant generation using search. We reuse the trace generation front-end of existing tool Daikon and integrate it with genetic programming and a mutation testing tool. We demonstrate that our system can find the same invariants through search that Daikon produces via template instantiation, and we also find useful invariants that Daikon does not. We then present a method of ranking invariants such that we can identify those that are most interesting, through a novel application of program mutation

Constraints on short, hard gamma-ray burst beaming angles from gravitational wave observations

The first detection of a binary neutron star merger, GW170817, and an associated short gamma-ray burst confirmed that neutron star mergers are responsible for at least some of these bursts. The prompt gamma-ray emission from these events is thought to be highly relativistically beamed. We present a method for inferring limits on the extent of this beaming by comparing the number of short gamma-ray bursts (SGRBs) observed electromagnetically with the number of neutron star binary mergers detected in gravitational waves. We demonstrate that an observing run comparable to the expected Advanced LIGO (aLIGO) 2016–2017 run would be capable of placing limits on the beaming angle of approximately \theta \in (2\buildrel{\circ}\over{.} 88,14\buildrel{\circ}\over{.} 15), given one binary neutron star detection, under the assumption that all mergers produce a gamma-ray burst, and that SGRBs occur at an illustrative rate of ${{ \mathcal R }}_{\mathrm{grb}}=10\,{\mathrm{Gpc}}^{-3}\,{\mathrm{yr}}^{-1}$. We anticipate that after a year of observations with aLIGO at design sensitivity in 2020, these constraints will improve to \theta \in (8\buildrel{\circ}\over{.} 10,14\buildrel{\circ}\over{.} 95), under the same efficiency and SGRB rate assumptions

Treatment of input uncertainty in hydrologic modeling: Doing hydrology backward with Markov chain Monte Carlo simulation

There is increasing consensus in the hydrologic literature that an appropriate framework for streamflow forecasting and simulation should include explicit recognition of forcing and parameter and model structural error. This paper presents a novel Markov chain Monte Carlo (MCMC) sampler, entitled differential evolution adaptive Metropolis (DREAM), that is especially designed to efficiently estimate the posterior probability density function of hydrologic model parameters in complex, high-dimensional sampling problems. This MCMC scheme adaptively updates the scale and orientation of the proposal distribution during sampling and maintains detailed balance and ergodicity. It is then demonstrated how DREAM can be used to analyze forcing data error during watershed model calibration using a five-parameter rainfall-runoff model with streamflow data from two different catchments. Explicit treatment of precipitation error during hydrologic model calibration not only results in prediction uncertainty bounds that are more appropriate but also significantly alters the posterior distribution of the watershed model parameters. This has significant implications for regionalization studies. The approach also provides important new ways to estimate areal average watershed precipitation, information that is of utmost importance for testing hydrologic theory, diagnosing structural errors in models, and appropriately benchmarking rainfall measurement devices

Green roofs provide habitat for urban bats

AbstractUnderstanding bat use of human-altered habitat is critical for developing effective conservation plans for this ecologically important taxon. Green roofs, building rooftops covered in growing medium and vegetation, are increasingly important conservation tools that make use of underutilized space to provide breeding and foraging grounds for urban wildlife. Green roofs are especially important in highly urbanized areas such as New York City (NYC), which has more rooftops (34%) than green space (13%). To date, no studies have examined the extent to which North American bats utilize urban green roofs. To investigate the role of green roofs in supporting urban bats, we monitored bat activity using ultrasonic recorders on four green and four conventional roofs located in highly developed areas of NYC, which were paired to control for location, height, and local variability in surrounding habitat and species diversity. We then identified bat vocalizations on these recordings to the species level. We documented the presence of five of nine possible bat species over both roof types: Lasiurus borealis, L. cinereus, L. noctivagans, P. subflavus,andE. fuscus. Of the bat calls that could be identified to the species level, 66% were from L. borealis. Overall levels of bat activity were higher over green roofs than over conventional roofs. This study provides evidence that, in addition to well documented ecosystem benefits, urban green roofs contribute to urban habitat availability for several North American bat species

Reduction in the efficiency of light use due to disease

Foram estudados os efeitos de uma micose causada por Ascochyta fabae na intercepção de luz solar pelo copado e no crescimento de Vicia faba, durante o seu cultivo no campo (Universidade de Nottingham, Inglaterra). Infecções precoces reduziram a “duração da área foliar” e a “eficiência de utilização de luz”, originando um decréscimo na produção de matéria seca da culturainfo:eu-repo/semantics/publishedVersio

Groundnut seedling emergence in relation to thermal-time and soil water

A medição do efeito de várias combinações de temperatura e água do solo sobre a emergência do amendoim permite verificar que as curvas de emergência relativamente à acumulação de temperatura são bem descritas por funções logísticas que se interpretam como curvas de probabilidade acumulada. Tais curvas permitem determinar facilmente o tempo-térmico para 50% da emergência final, a dispersão da emergência e a duração-térmica para ocorrência duma emergência de 80% da final. Verifica-se que estes parâmetros são praticamente invariantes (relativamente ao tempo, à temperatura e à água) para teores de água no solo superiores a 45% da capacidade de campo e temperaturas inferiores à óptima para a emergência, pelo que a sua medição pontual é representativa para toda esta gama de condições ambientaisinfo:eu-repo/semantics/publishedVersio

Impact of pressure drop oscillations on surface temperature and critical heat flux during flow boiling in a microchannel

Flow boiling in microchannel heat sinks is capable of providing the high-heat-flux dissipation required for thermal management of next-generation wide bandgap power electronics at low pumping power and uniform surface temperatures. One of the primary issues preventing implementation of these technologies is the presence of flow boiling instabilities, which may reduce the heat transfer performance. However, the effect of individual instabilities, such as the parallel channel instability or pressure drop oscillations, on the overall heat transfer coefficient and critical heat flux in microchannel heat sinks has not been fully quantified. The primary cause of these dynamic flow boiling instabilities is the interaction between the inertia of a two-phase mixture in a heated channel and sources of compressibility located upstream of the inlet. In order to isolate the effect of pressure drop oscillations on flow boiling heat transfer performance, experiments are performed in a single square microchannel cut into a copper heat sink, with a controlled level of upstream compressibility. The impact of pressure drop oscillations on the heat transfer coefficient and critical heat flux is characterized through analysis of both time-averaged steady-state data as well as high-frequency pressure signals synchronized with high-speed visualization. The dielectric working fluid HFE-7100 is used in all experiments with a saturation temperature of 60°C at the channel outlet pressure. The occurrence and effect of pressure drop oscillations in 20 mm long microchannels of three different channel widths (0.5, 0.75, and 1 mm) are related to mass flux, the degree of two-phase flow confinement, and the severity of pressure drop oscillations

Effective theory for wall-antiwall system

We propose a useful method for deriving the effective theory for a system where BPS and anti-BPS domain walls coexist. Our method respects an approximately preserved SUSY near each wall. Due to the finite width of the walls, SUSY breaking terms arise at tree-level, which are exponentially suppressed. A practical approximation using the BPS wall solutions is also discussed. We show that a tachyonic mode appears in the matter sector if the corresponding mode function has a broader profile than the wall width.Comment: LaTeX file, 30 page, 5 eps figures, references adde

Islamic Associations and the Middle Class

To what extent are Islamic associations vehicles for recruitment for Islamist movements? Whom do they recruit? How does recruitment occur? Does the mere provision of health care suffice as a basis for recruitment? Can we assume that all those who work and volunteer in Islamic associations are Islamists with a political agenda? These represent some of the questions that motivated research in Jordan in 1998 to examine the political significance of the Islamic Centre Charity Society (ICCS) as part of a larger comparative study of Islamic associations in Jordan, Yemen, and Egypt