Refining Fitness Functions for Search-Based Automated Program Repair: A Case Study with ARJA and ARJA-e

Several tools support code templates as a means to specify searches within a program’s source code. Despite their ubiquity, code templates can often prove difficult to specify, and may produce too many or too few match results. In this paper, we present a search-based approach to support developers in specifying templates. This approach uses a suite of mutation operators to recommend changes to a given template, such that it matches with a desired set of code snippets. We evaluate our approach on the problem of inferring a code template that matches all instances of a design pattern, given one instance as a starting template

Visual intracortical and transthalamic pathways carry distinct information to cortical areas.

Sensory processing involves information flow between neocortical areas, assumed to rely on direct intracortical projections. However, cortical areas may also communicate indirectly via higher-order nuclei in the thalamus, such as the pulvinar or lateral posterior nucleus (LP) in the visual system of rodents. The fine-scale organization and function of these cortico-thalamo-cortical pathways remains unclear. We find that responses of mouse LP neurons projecting to higher visual areas likely derive from feedforward input from primary visual cortex (V1) combined with information from many cortical and subcortical areas, including superior colliculus. Signals from LP projections to different higher visual areas are tuned to specific features of visual stimuli and their locomotor context, distinct from the signals carried by direct intracortical projections from V1. Thus, visual transthalamic pathways are functionally specific to their cortical target, different from feedforward cortical pathways, and combine information from multiple brain regions, linking sensory signals with behavioral context

MO-ParamILS: A Multi-objective Automatic Algorithm Configuration Framework

International audienceAutomated algorithm configuration procedures play an increasingly important role in the development and application of algorithms for a wide range of computationally challenging problems. Until very recently, these configuration procedures were limited to optimising a single performance objective, such as the running time or solution quality achieved by the algorithm being configured. However, in many applications there is more than one performance objective of interest. This gives rise to the multi-objective automatic algorithm configuration problem, which involves finding a Pareto set of configurations of a given target algorithm that characterises trade-offs between multiple performance objectives. In this work, we introduce MO-ParamILS, a multi-objective extension of the state-of-the-art single-objective algorithm configuration framework ParamILS, and demonstrate that it produces good results on several challenging bi-objective algorithm configuration scenarios compared to a base-line obtained from using a state-of-the-art single-objective algorithm configurator

Haemoglobin S and haemoglobin C: 'quick but costly' versus 'slow but gratis' genetic adaptations to Plasmodium falciparum malaria

Haemoglobin S (HbS; beta 6Glu -> Val) and HbC (beta 6Glu -> Lys) strongly protect against clinical Plasmodium falciparum malaria. HbS, which is lethal in homozygosity, has a multi-foci origin and a widespread geographic distribution in sub-Saharan Africa and Asia whereas HbC, which has no obvious CC segregational load, occurs only in a small area of central West-Africa. To address this apparent paradox, we adopted two partially independent haplotypic approaches in the Mossi population of Burkina Faso where both the local S (S-Benin) and the C alleles are common (0.05 and 0.13). Here we show that: both C and S-Benin are monophyletic; C has accumulated a 4-fold higher recombinational and DNA slippage haplotypic variability than the S-Benin allele (P = 0.003) implying higher antiquity; for a long initial lag period, the C alleles did apparently remain very few. These results, consistent with epidemiological evidences, imply that the C allele has been accumulated mainly through a recessive rather than a semidominant mechanism of selection. This evidence explains the apparent paradox of the uni-epicentric geographic distribution of HbC, representing a 'slow but gratis' genetic adaptation to malaria through a transient polymorphism, compared to the polycentric 'quick but costly' adaptation through balanced polymorphism of HbS