Negative ternary set-sharing

The Set-Sharing domain has been widely used to infer at compiletime interesting properties of logic programs such as occurs-check reduction, automatic parallelization, and flnite-tree analysis. However, performing abstract uniflcation in this domain requires a closure operation that increases the number of sharing groups exponentially. Much attention has been given to mitigating this key inefflciency in this otherwise very useful domain. In this paper we present a novel approach to Set-Sharing: we define a new representation that leverages the complement (or negative) sharing relationships of the original sharing set, without loss of accuracy. Intuitively, given an abstract state sh\> over the finite set of variables of interest V, its negative representation is p(V) \ shy. Using this encoding during analysis dramatically reduces the number of elements that need to be represented in the abstract states and during abstract uniflcation as the cardinality of the original set grows toward 2 . To further compress the number of elements, we express the set-sharing relationships through a set of ternary strings that compacts the representation by eliminating redundancies among the sharing sets. Our experiments show that our approach can compress the number of relationships, reducing signiflcantly the memory usage and running time of all abstract operations, including abstract uniflcation

Graphics for relatedness research

Studies of relatedness have been crucial in molecular ecology over the last decades. Good evidence of this is the fact that studies of population structure, evolution of social behaviours, genetic diversity and quantitative genetics all involve relatedness research. The main aim of this article is to review the most common graphical methods used in allele sharing studies for detecting and identifying family relationships. Both IBS and IBD based allele sharing studies are considered. Furthermore, we propose two additional graphical methods from the field of compositional data analysis: the ternary diagram and scatterplots of isometric log-ratios of IBS and IBD probabilities. We illustrate all graphical tools with genetic data from the HGDP-CEPH diversity panel, using mainly 377 microsatellites genotyped for 25 individuals from the Maya population of this panel. We enhance all graphics with convex hulls obtained by simulation and use these to confirm the documented relationships. The proposed compositional graphics are shown to be useful in relatedness research, as they also single out the most prominent related pairs. The ternary diagram is advocated for its ability to display all three allele sharing probabilities simultaneously. The log-ratio plots are advocated as an attempt to overcome the problems with the Euclidean distance interpretation in the classical graphics.Peer ReviewedPostprint (published version

Relatedness Measures to Aid the Transfer of Building Blocks among Multiple Tasks

Multitask Learning is a learning paradigm that deals with multiple different tasks in parallel and transfers knowledge among them. XOF, a Learning Classifier System using tree-based programs to encode building blocks (meta-features), constructs and collects features with rich discriminative information for classification tasks in an observed list. This paper seeks to facilitate the automation of feature transferring in between tasks by utilising the observed list. We hypothesise that the best discriminative features of a classification task carry its characteristics. Therefore, the relatedness between any two tasks can be estimated by comparing their most appropriate patterns. We propose a multiple-XOF system, called mXOF, that can dynamically adapt feature transfer among XOFs. This system utilises the observed list to estimate the task relatedness. This method enables the automation of transferring features. In terms of knowledge discovery, the resemblance estimation provides insightful relations among multiple data. We experimented mXOF on various scenarios, e.g. representative Hierarchical Boolean problems, classification of distinct classes in the UCI Zoo dataset, and unrelated tasks, to validate its abilities of automatic knowledge-transfer and estimating task relatedness. Results show that mXOF can estimate the relatedness reasonably between multiple tasks to aid the learning performance with the dynamic feature transferring.Comment: accepted by The Genetic and Evolutionary Computation Conference (GECCO 2020

A value for bi-cooperative games

Bi-cooperative games were introduced by Bilbao et al. as a generalization of TU cooperative games, in which each player can participate positively, negatively, or not at all. In this paper, we propose a definition of a share of the worth obtained by some players after they decided on their participation in the game. It turns out that the cost allocation rule does not look for a given player to her contribution at the opposite participation option to the one she chooses. The relevance of the value is discussed on several examples.Bi-cooperative games ;Value ;Efficiency

A phase-field study of elastic stress effects on phase separation in ternary alloys

Most of the commercially important alloys are multicomponent, producing multiphase microstructures as a result of processing. When the coexisting phases are elastically coherent, the elastic interactions between these phases play a major role in the development of microstructures. To elucidate the key effects of elastic stress on microstructural evolution when more than two misfitting phases are present in the microstructure, we have developed a microelastic phase-field model in two dimensions to study phase separation in ternary alloy system. Numerical solutions of a set of coupled Cahn-Hilliard equations for the composition fields govern the spatiotemporal evolution of the three-phase microstructure. The model incorporates coherency strain interactions between the phases using Khachaturyan's microelasticity theory. We systematically vary the misfit strains (magnitude and sign) between the phases along with the bulk alloy composition to study their effects on the morphological development of the phases and the resulting phase separation kinetics. We also vary the ratio of interfacial energies between the phases to understand the interplay between elastic and interfacial energies on morphological evolution. The sign and degree of misfit affect strain partitioning between the phases during spinodal decomposition, thereby affecting their compositional history and morphology. Moreover, strain partitioning affects solute partitioning and alters the kinetics of coarsening of the phases. The phases associated with higher misfit strain appear coarser and exhibit wider size distribution compared to those having lower misfit. When the interfacial energies satisfy complete wetting condition, phase separation leads to development of stable core-shell morphology depending on the misfit between the core (wetted) and the shell (wetting) phases