2,031 research outputs found

    Set-Theoretic Types for Polymorphic Variants

    Get PDF
    Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification. This yields an awkward formalization and results in a type system whose behaviour is in some cases unintuitive and/or unduly restrictive. In this work, we present an alternative formalization of poly-morphic variants, based on set-theoretic types and subtyping, that yields a cleaner and more streamlined system. Our formalization is more expressive than the current one (it types more programs while preserving type safety), it can internalize some meta-theoretic properties, and it removes some pathological cases of the current implementation resulting in a more intuitive and, thus, predictable type system. More generally, this work shows how to add full-fledged union types to functional languages of the ML family that usually rely on the Hindley-Milner type system. As an aside, our system also improves the theory of semantic subtyping, notably by proving completeness for the type reconstruction algorithm.Comment: ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ICFP 16, 21st ACM SIGPLAN International Conference on Functional Programming, 201

    On the existence of supersolid helium-4 monolayer films

    Full text link
    Extensive Monte Carlo simulations of helium-4 monolayer films adsorbed on weak substrates have been carried out, aimed at ascertaining the possible occurrence of a quasi-two-dimensional supersolid phase. Only crystalline films not registered with underlying substrates are considered. Numerical results yield strong evidence that helium-4 will not form a supersolid film on {any} substrate strong enough to stabilize a crystalline layer. On weaker substrates, continuous growth of a liquid film takes place

    Accountancy and academic/professional inter-dependency (or mutual exclusivity?)

    Full text link
    This paper is a report on an Accounting Education Symposium held during the 2009 Annual Congress of the EAA in Tampere, Finland. This was the fourth occasion on which there has been an Accounting Education Symposium (or similar) within an EAA Annual Congress. Previous events were as follows: 2005 (Gotenburg, Sweden) EAA Accounting Educators\u27 Forum 2006 (Dublin, Ireland) \u27Universities and Professional Bodies: Complementary or Colliding Roles in Educating and Training Future Accounting Practitioners?\u27 (sponsored by the Irish Accountancy Educational Trust) 2008 (Rotterdam, the Netherlands) \u27Accounting Education: The Common Content Project\u27 (sponsored by Royal NIVRA). <br /

    The Globular Cluster System of M60 (NGC 4649). II. Kinematics of the Globular Cluster System

    Full text link
    We present a kinematic analysis of the globular cluster (GC) system in the giant elliptical galaxy (gE) M60 in the Virgo cluster. Using the photometric and spectroscopic database of 121 GCs (83 blue GCs and 38 red GCs), we have investigated the kinematics of the GC system. We have found that the M60 GC system shows a significant overall rotation. The rotation amplitude of the blue GCs is slightly smaller than or similar to that of the red GCs, and their angles of rotation axes are similar. The velocity dispersions about the mean velocity and about the best fit rotation curve for the red GCs are marginally larger than those for the blue GCs. Comparison of observed stellar and GC velocity dispersion profiles with those calculated from the stellar mass profile shows that the mass-to-light ratio should be increased as the galactocentric distance increases, indicating the existence of an extended dark matter halo. The entire sample of GCs in M60 is found to have a tangentially biased velocity ellipsoid unlike the GC systems in other gEs. Two subsamples appear to have different velocity ellipsoids. The blue GC system has a modest tangentially biased velocity ellipsoid, while the red GC system has a modest radially biased or an isotropic velocity ellipsoid. From the comparison of the kinematic properties of the M60 GC system to those of other gEs (M87, M49, NGC 1399, NGC 5128, and NGC 4636), it is found that the velocity dispersion of the blue GC system is similar to or larger than that of the red GC system except for M60, and the rotation of the GC system is not negligible. The entire sample of each GC system shows an isotropic velocity ellipsoid except for M60, while the subsamples show diverse velocity ellipsoids. We discuss the implication of these results for the formation models of the GC system in gEs.Comment: 48 pages, 16 figures. To appear in Ap

    The Globular Cluster System of M60 (NGC 4649). I. CFHT MOS Spectroscopy and Database

    Full text link
    We present the measurement of radial velocities for globular clusters in M60, giant elliptical galaxy in the Virgo cluster. Target globular cluster candidates were selected using the Washington photometry based on the deep 16\arcmin \times 16\arcmin images taken at the KPNO 4m and using the VIVI photometry derived from the HST/WFPC2 archive images. The spectra of the target objects were obtained using the Multi-Object Spectrograph (MOS) at the Canada-France-Hawaii Telescope (CFHT). We have measured the radial velocity for 111 objects in the field of M60: 93 globular clusters (72 blue globular clusters with 1.0≀(C−T1)<1.71.0\le(C-T_1)<1.7 and 21 red globular clusters with 1.7≀(C−T1)<2.41.7\le(C-T_1)<2.4), 11 foreground stars, 6 small galaxies, and the nucleus of M60. The measured velocities of the 93 globular clusters range from ∌500\sim 500 km s−1^{-1} to ∌1600\sim 1600 km s−1^{-1}, with a mean value of 1070−25+271070_{-25}^{+27} km s−1^{-1}, which is in good agreement with the velocity of the nucleus of M60 (vgal=1056v_{\rm gal}=1056 km s−1^{-1}). Combining our results with data in the literature, we present a master catalog of radial velocities for 121 globular clusters in M60. The velocity dispersion of the globular clusters in the master catalog is found to be 234−14+13234_{-14}^{+13} km s−1^{-1} for the entire sample, 223−16+13223_{-16}^{+13} km s−1^{-1} for 83 blue globular clusters, and 258−31+21258_{-31}^{+21} km s−1^{-1} for 38 red globular clusters.Comment: 29 pages, 8 figures. To appear in Ap

    Washington CCD Photometry of the Globular Cluster System of the Giant Elliptical Galaxy M60 in Virgo

    Full text link
    We present a photometric study of the globular clusters in the giant elliptical galaxy M60 in the Virgo cluster, based on deep, relatively wide field Washington CT_1 CCD images. The color-magnitude diagram reveals a significant population of globular clusters in M60, and a large number of young luminous clusters in NGC 4647, a small companion spiral galaxy north-west of M60. The color distribution of the globular clusters in M60 is clearly bimodal, with a blue peak at (C-T_1)=1.37, and a red peak at (C-T_1)=1.87. We derive two new transformation relations between the (C-T_1)_0 color and [Fe/H] using the data for the globular clusters in our Galaxy and M49. Using these relations we derive the metallicity distribution of the globular clusters in M60, which is also bimodal: a dominant metal-poor component with center at [Fe/H]=-1.2, and a weaker metal-rich component with center at [Fe/H]=-0.2. The radial number density profile of the globular clusters is more extended than that of the stellar halo, and the radial number density profile of the blue globular clusters is more extended than that of the red globular clusters. The number density maps of the globular clusters show that the spatial distribution of the blue globular clusters is roughly circular, while that of the red globular cluster is elongated similarly to that of the stellar halo. We estimate the total number of the globular clusters in M60 to be 3600+/-500$,and the specific frequency to be S_N=3.8+/-0.4. The mean color of the bright blue globular clusters gets redder as they get brighter in both the inner and outer region of M60. This blue tilt is seen also in the outer region of M49, the brightest Virgo galaxy. Implications of these results are discussed.Comment: 32 pages, 22 figues, Accepted by Ap

    Scrutinizing LSP Dark Matter at the LHC

    Get PDF
    We show that LHC experiments might well be able to determine all the parameters required for a prediction of the present density of thermal LSP relics from the Big Bang era. If the LSP is an almost pure bino we usually only need to determine its mass and the mass of the SU(2) singlet sleptons. This information can be obtained by reconstructing the cascade q~L→χ~20q→ℓ~Rℓq→χ~10ℓ+ℓ−q\tilde{q}_L \to \tilde{\chi}_2^0 q \to \tilde{\ell}_R \ell q \to \tilde{\chi}_1^0 \ell^+ \ell^- q. The only requirement is that mℓ~R<mχ~20m_{\tilde{\ell}_R} < m_{\tilde{\chi}_2^0}, which is true for most of the cosmologically interesting parameter space. If the LSP has a significant higgsino component, its predicted thermal relic density is smaller than for an equal--mass bino. We show that in this case squark decays also produce significant numbers of χ~40\tilde{\chi}_4^0 and χ~2±\tilde{\chi}_2^\pm. Reconstructing the corresponding decay cascades then allows to determine the higgsino component of the LSP

    The Effects of an AGN on Host Galaxy Colour and Morphology Measurements

    Full text link
    We assess the effects of simulated active galactic nuclei (AGNs) on the colour and morphology measurements of their host galaxies. To test the morphology measurements, we select a sample of galaxies not known to host AGNs and add a series of point sources scaled to represent specified fractions of the observed V band light detected from the resulting systems; we then compare morphology measurements of the simulated systems to measurements of the original galaxies. AGN contributions >20 per cent bias most of the morphology measurements tested, though the extent of the apparent bias depends on the morphological characteristics of the original galaxies. We test colour measurements by adding to non-AGN galaxy spectra a quasar spectrum scaled to contribute specified fractions of the rest-frame B band light detected from the resulting systems. A quasar fraction of 5 per cent can move the NUV-r colour of an elliptical galaxy from the UV-optical red sequence to the green valley, and 20 per cent can move it into the blue cloud. Combining the colour and morphology results, we find that a galaxy/AGN system with an AGN contribution >20 per cent may appear bluer and more bulge-dominated than the underlying galaxy. We conclude that (1) bulge-dominated, E/S0/Sa, and early-type morphology classifications are accurate for red AGN host galaxies and may be accurate for blue host galaxies, unless the AGN manifests itself as a well-defined point source; and (2) although highly unobscured AGNs, such as the quasar used for our experiments, can significantly bias the measured colours of AGN host galaxies, it is possible to identify such systems by examining optical images of the hosts for the presence of a point source and/or measuring the level of nuclear obscuration.Comment: 18 pages, 19 figures, 1 table. Accepted for publication in MNRA

    Environmental DNA (eDNA) for monitoring marine mammals: Challenges and opportunities

    Get PDF
    Monitoring marine mammal populations is essential to permit assessment of population status as required by both national and international legislation. Traditional monitoring methods often rely on visual and/or acoustic detections from vessels and aircraft, but limitations including cost, errors in the detection of some species and dependence on taxonomic expertise, as well as good weather and visibility conditions often limit the temporal and spatial scale of effective, long-term monitoring programs. In recent years, environmental DNA (eDNA) has emerged as a revolutionary tool for cost-effective, sensitive, noninvasive species monitoring in both terrestrial and aquatic realms. eDNA is a rapidly developing field and a growing number of studies have successfully implemented this approach for the detection and identification of marine mammals. Here, we review 21 studies published between 2012 and 2021 that employed eDNA for marine mammal monitoring including single species detection, biodiversity assessment and genetic characterization. eDNA has successfully been used to infer species presence (especially useful for rare, elusive or threatened species) and to characterize the population genetic structure, although additional research is needed to support the interpretation of non-detections. Finally, we discuss the challenges and the opportunities that eDNA could bring to marine mammal monitoring as a complementary tool to support visual and acoustic methods
    • 

    corecore