Towards a Generic Trace for Rule Based Constraint Reasoning

CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their testing and debugging phases. Current CHR implementations support those phases by offering tracing facilities with limited information. In this report, we propose a new trace for CHR which contains enough information to analyze any aspects of \CHRv\ execution at some useful abstract level, common to several implementations. %a large family of rule based solvers. This approach is based on the idea of generic trace. Such a trace is formally defined as an extension of the $\omega_r^\lor$ semantics of CHR. We show that it can be derived form the SWI Prolog CHR trace

Analogies between the crossing number and the tangle crossing number

Tanglegrams are special graphs that consist of a pair of rooted binary trees with the same number of leaves, and a perfect matching between the two leaf-sets. These objects are of use in phylogenetics and are represented with straightline drawings where the leaves of the two plane binary trees are on two parallel lines and only the matching edges can cross. The tangle crossing number of a tanglegram is the minimum crossing number over all such drawings and is related to biologically relevant quantities, such as the number of times a parasite switched hosts. Our main results for tanglegrams which parallel known theorems for crossing numbers are as follows. The removal of a single matching edge in a tanglegram with $n$ leaves decreases the tangle crossing number by at most $n-3$, and this is sharp. Additionally, if $\gamma(n)$ is the maximum tangle crossing number of a tanglegram with $n$ leaves, we prove $\frac{1}{2}\binom{n}{2}(1-o(1))\le\gamma(n)<\frac{1}{2}\binom{n}{2}$. Further, we provide an algorithm for computing non-trivial lower bounds on the tangle crossing number in $O(n^4)$ time. This lower bound may be tight, even for tanglegrams with tangle crossing number $\Theta(n^2)$.Comment: 13 pages, 6 figure

Dwarf elliptical galaxies in Centaurus A group: stellar populations in AM 1339-445 and AM 1343-452

We study the red giant populations of two dE galaxies, AM 1339-445 and AM 1343-452, with the aim of investigating the number and luminosity of any upper asymptotic giant branch (AGB) stars present. The galaxies are members of the Centaurus A group (D~3.8 Mpc) and are classified as outlying (R~350 kpc) satellites of Cen A. The analysis is based on near-IR photometry for individual red giant stars, derived from images obtained with ISAAC on the VLT. The photometry, along with optical data derived from WFPC2 images retrieved from the HST science archive, enable us to investigate the stellar populations of the dEs in the vicinity of the red giant branch (RGB) tip. In both systems we find stars above the RGB tip, which we interpret as intermediate-age upper-AGB stars. The presence of such stars is indicative of extended star formation in these dEs similar to that seen in many, but not all, dEs in the Local Group. For AM 1339-445, the brightest of the upper-AGB stars have Mbol~-4.5 while those in AM 1343-452 have Mbol~-4.8 mag. These luminosities suggest ages of approximately 6.5+/-1 and 4+/-1 Gyr as estimates for the epoch of the last episode of significant star formation in these systems. In both cases the number of upper-AGB stars suggests that ~15% of the total stellar population is in the form of intermediate-age stars, considerably less than is the case for outlying dE satellites of the Milky Way such as Fornax and LeoI.Comment: 18 pages, 19 figures, A&A accepted; high resolution version available from: http://www.eso.org/~mrejkuba/CenA_dEs_I.pd

ESO Imaging Survey. The Stellar Catalogue in the Chandra Deep Field South

(abridged) Stellar catalogues in five passbands (UBVRI) over an area of approximately 0.3 deg^2, comprising about 1200 objects, and in seven passbands (UBVRIJK) over approximately 0.1 deg^2, comprising about 400 objects, in the direction of the Chandra Deep Field South are presented. The 90% completeness level of the number counts is reached at approximately U = 23.8, B = 24.0, V = 23.5, R = 23.0, I = 21.0, J = 20.5, K = 19.0. A scheme is presented to select point sources from these catalogues, by combining the SExtractor parameter CLASS_STAR from all available passbands. Probable QSOs and unresolved galaxies are identified by using the previously developed \chi^2-technique (Hatziminaoglou et al 2002), that fits the overall spectral energy distributions to template spectra and determines the best fitting template. The observed number counts, colour-magnitude diagrams, colour-colour diagrams and colour distributions are presented and, to judge the quality of the data, compared to simulations based on the predictions of a Galactic Model convolved with the estimated completeness functions and the error model used to describe the photometric errors of the data. The resulting stellar catalogues and the objects identified as likely QSOs and unresolved galaxies with coordinates, observed magnitudes with errors and assigned spectral types by the $\chi^2$-technique are presented and are publicly available.Comment: Paper as it will appear in print. Complete figures and tables can be obtained from: http://www.eso.org/science/eis/eis_pub/eis_pub.html. Astronomy & Astrophysics, accepted for publicatio

Experimental evidence that livestock grazing intensity affects cyclic vole population regulation processes

Peer reviewedPublisher PD

Stellar over-densities in the halo: the extent of the Virgo over-density

We map the three dimensional extent of the Virgo Over-density by combining distance information from RR Lyrae variables and projected spatial information from SEKBO (Keller et al. 2008) and Sloan Digital Sky Survey (SDSS) DR6 photometry. The Virgo Over-density is seen to comprise two filaments 14.5 x 3 degrees and 10 x 3 degrees and a circular structure 3 degrees in diameter. Together the three features span 38 degrees of right ascension and declinations of +2 to -15 degrees. RR Lyrae variables place the two filamentary features at heliocentric distances of 20 and 17 kpc respectively, with projected dimensions of 5 x 1 kpc and 3 x 1 kpc.Comment: 6 pages, 5 figures, MNRAS accepte

A wide-area view of the Phoenix dwarf galaxy from VLT/FORS imaging

We present results from a wide-area photometric survey of the Phoenix dwarf galaxy, one of the rare dwarf irregular/ dwarf spheroidal transition type galaxies (dTs) of the Local Group (LG). These objects offer the opportunity to study the existence of possible evolutionary links between the late- and early- type LG dwarf galaxies, since the properties of dTs suggest that they may be dwarf irregulars in the process of transforming into dwarf spheroidals. Using FORS at the VLT we have acquired VI photometry of Phoenix. The data reach a S/N~10 just below the horizontal branch of the system and consist of a mosaic of images that covers an area of 26' x 26' centered on the coordinates of the optical center of the galaxy. Examination of the colour-magnitude diagram and luminosity function revealed the presence of a bump above the red clump, consistent with being a red giant branch bump. The deep photometry combined with the large area covered allows us to put on a secure ground the determination of the overall structural properties of the galaxy and to derive the spatial distribution of stars in different evolutionary phases and age ranges, from 0.1 Gyr to the oldest stars. The best-fitting profile to the overall stellar population is a Sersic profile of Sersic radius R_S = 1.82'+-0.06' and m=0.83+-0.03. We confirm that the spatial distribution of stars is found to become more and more centrally concentrated the younger the stellar population, as reported in previous studies. This is similar to the stellar population gradients found for close-by Milky Way dwarf spheroidal galaxies. We quantify such spatial variations by analyzing the surface number density profiles of stellar populations in different age ranges; [Abridged]Comment: 21 pages; 11 figures. Accepted for publication in MNRA

Antlia Dwarf Galaxy: Distance, quantitative morphology and recent formation history via statistical field correction

We apply a statistical field correction technique originally designed to determine membership of high redshift galaxy clusters to Hubble Space Telescope imaging of the Antlia Dwarf Galaxy; a galaxy at the very edge of the Local Group. Using the tip of the red giant branch standard candle method coupled with a simple Sobel edge detection filter we find a new distance to Antlia of 1.31 +/- 0.03 Mpc. For the first time for a Local Group Member, we compute the concentration, asymmetry and clumpiness (CAS) quantitative morphology parameters for Antlia from the distribution of resolved stars in the HST/ACS field, corrected with a new method for contaminants and complement these parameters with the Gini coefficient (G) and the second order moment of the brightest 20 per cent of the flux (M_20). We show that it is a classic dwarf elliptical (C = 2.0, A = 0.063, S = 0.077, G = 0.39 and M_20 = -1.17 in the F814W band), but has an appreciable blue stellar population at its core, confirming on-going star-formation. The values of asymmetry and clumpiness, as well as Gini and M_20 are consistent with an undisturbed galaxy. Although our analysis suggests that Antlia may not be tidally influenced by NGC 3109 it does not necessarily preclude such interaction.Comment: Accepted for publication in MNRA