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

Oblique triangular antiferromagnetic phase in CsCu1−x_{1-x}Cox_xCl3_3

The spin-1/2 stacked triangular antiferromagnet CsCu$_{1-x}$Co$_x$Cl$_3$ with $0.015<x<0.032$ undergoes two phase transitions at zero field. The low-temperature phase is produced by the small amount of Co$^{2+}$ doping. In order to investigate the magnetic structures of the two ordered phases, the neutron elastic scattering experiments have been carried out for the sample with $x\approx 0.03$. It is found that the intermediate phase is identical to the ordered phase of CsCuCl$_3$, and that the low-temperature phase is an oblique triangular antiferromagnetic phase in which the spins form a triangular structure in a plane tilted from the basal plane. The tilting angle which is 42$^{\circ}$ at $T=1.6$ K decreases with increasing temperature, and becomes zero at $T_{\rm N2} =7.2$ K. An off-diagonal exchange term is proposed as the origin of the oblique phase.Comment: 6 pages, 7 figure

The impact of parent-created motivational climate on adolescent athletes' perceptions of physical self-concept

This is a preliminary version of this article. The official published version can be obtained from the link below.Grounded in expectancy-value model (Eccles, 1993) and achievement goal theory (Nicholls, 1989), this study examined the perceived parental climate and its impact on athletes' perceptions of competence and ability. Hierarchical regression analyses with a sample of 237 British adolescent athletes revealed that mothers and fathers' task- and ego-involving climate predicted their son's physical self-concept; the father in particular is the strongest influence in shaping a son's physical self-concept positively and negatively. It was also found that the self-concept of the young adolescent athlete is more strongly affected by the perceived parental-created motivational climate (both task and ego) than the older adolescent athlete's self-concept. These findings support the expectancy-value model assumptions related to the role of parents as important socializing agents, the existence of gender-stereotyping, and the heavy reliance younger children place on parents' feedback

An inverse method for estimating thickness and volume with time of a thin CO2-filled layer at the Sleipner Field, North Sea

Migration of CO 2 through storage reservoirs can be monitored using time lapse seismic reflection surveys. At the Sleipner Field, injected CO 2 is distributed throughout nine layers within the reservoir. These layers are too thin to be seismically resolvable by direct measurement of the separation between reflections from the top and bottom of each layer. Here we develop and apply an inverse method for measuring thick ness changes of the shallowest layer. Our approach combines differences in traveltime down to a specific reflection together with amplitude measurements to determine layer thicknesses from time lapse surveys. A series of synthetic forward models were used to test the robustness of our inverse approach and to quantify uncertainties. In the absence of ambient noise, this approach can unambiguously resolve layer thickness. If a realistic ambient noise distribution is included, layer thicknesses of 1–6 m are accurately retrieved with an uncertainty of ±0.5 m. We used this approach to generate a thickness map of the shallowest layer. The fidelity of this result was tested using measurements of layer thickness determined from the 2010 broadband seismic survey. The calculated volume of CO 2 within the shallowest layer increases at a rate that is quadratic in time, despite an approximately constant injection rate into the base of the reser voir. This result is consistent with a diminished growth rate of the areal extent of underlying layers. Finally, the relationship between caprock topography and layer thickness is explored and potential migration pathways that charge this layer are identified

Equivalence of two approaches for the inhomogeneous density in the canonical ensemble

In this article we show that the inhomogeneous density obtained from a density-functional theory of classical fluids in the canonical ensemble (CE), recently presented by White et al [Phys. Rev. Lett. 84 (2000) 1220], is equivalent to first order to the result of the series expansion of the CE inhomogeneous density introduced by Gonzalez et al [Phys. Rev. Lett. 79 (1997) 2466].Comment: 6 pages, RevTe

Old dog begging for new tricks: current practices and future directions in the diagnosis of delayed antimicrobial hypersensitivity

Purpose of review: Antimicrobials are a leading cause of severe T cell-mediated adverse drug reactions (ADRs). The purpose of this review is to address the current understanding of antimicrobial cross-reactivity and the ready availability of and evidence for in-vitro, in-vivo, and ex-vivo diagnostics for T cell-mediated ADRs. Recent findings: Recent literature has evaluated the efficacy of traditional antibiotic allergy management, including patch testing, skin prick testing, intradermal testing, and oral challenge. Although patch and intradermal testing are specific for the diagnosis of immune-mediated ADRs, they suffer from drug-specific limitations in sensitivity. The use of ex-vivo diagnostics, especially enzyme-linked immunospot, has been highlighted as a promising new approach to assigning causality. Knowledge of true rates of antimicrobial cross-reactivity aids empirical antibiotic choice in the setting of previous immune-mediated ADRs. Summary: In an era of increasing antimicrobial resistance and use of broad-spectrum antimicrobial therapy, ensuring patients are assigned the correct ‘allergy label’ is essential. Re-exposure to implicated antimicrobials, especially in the setting of severe adverse cutaneous reaction, is associated with significant morbidity and mortality. The process through which an antibiotic label gets assigned, acted on and maintained is still imprecise. Predicting T cell-mediated ADRs via personalized approaches, including human leukocyte antigen-typing, may pave future pathways to safer antimicrobial prescribing guidelines

Modeling energy and reproductive costs in caribou exposed to low flying military jet aircraft

We used simulation modeling to estimate the effect of low-flying military jet aircraft on the productivity of caribou. The base model (CARIBOU, CWS Whitehorse, Yukon Territory) uses daily intake and expenditure of energy to assess the condition of female caribou throughout the annual cycle. The activity budget of the model caribou was adjusted based on field observations of responses to noise disturbance. A subroutine was added that predicted the likelihood of conception based on fall body fat weight. Caribou responses to overflights were evaluated by equipping free-ranging caribou with radio collars and activity sensors that could distinguish between resting and active periods. Collared animals were exposed to 110 overflights by A-10, F-15 and F- 16 jet aircraft during late-winter, post-calving and the insect season. Noise exposure levels for individual animals either were measured directly with collar-mounted dosimeters or were estimated based on the proximity of the caribou to the aircraft during the overflight. A Time-averaged Sound Level (LT) was calculated from the total daily noise exposure for each animal and linear regression was used to evaluate the influence of daily noise exposure on daily hours spent resting. Results of these analyses then were used to modify the time budgets in the CARIBOU model. That is, if time spent resting declined, then time spent in the two rest classes (lying and standing) were proportionately redistributed into the three active classes (foraging, walking and running). Model simulations indicated that caribou increased forage intake in response to increased noise exposure, but it also predicted that increased noise exposure would cause a reduced accumulation of body fat. Because body fat in fall has successfully been used to predict the probability of pregnancy (see Gerhart et al, 1993), this relationship was used in the model. Preliminary model simulations indicate that increased noise exposure decreases the probability of pregnancy and that unfavorable environmental conditions (e.g., deep snow and severe insect harassment) exacerbate the situation. The threshold at which point the caribou fail to conceive has not been determined at this time, but appears to be well beyond the exposure to aircraft that caribou in the Delta herd are currently experiencing

The In-Orbit Performance of Four Microsat Spacecraft

On January 22, 1990, Ariane V-35 placed four Microsat spacecraft into orbit. The orbit achieved is nearly perfectly sun synchronous at 800 km altitude. The satellites, cubic structures measuring only 23 cm per side, were developed by the Radio Amateur Satellite Corporation of North America (AMSAT-NA). The time required to complete the project, from conception to delivery of the four satellites to Kourou, was exactly two years. Each satellite in orbit has a different mission and is performing in accordance with its intended design, although additional software is still being written to enhance the operating characteristics for each mission. This paper reviews the design objectives of the four spacecraft and summarizes their in-orbit performance against these prelaunch technical objectives. The level of technology employed by the Microsat spacecraft is briefly discussed and the software approach taken in implementing a real-time, multitasking operating system is summarized. The paper reviews the AMSAT experience as the first payload user group of the Ariane ASAP structure. Some of the findings regarding the current technology and how it may be expanded to fulfill other mission needs has been touched upon