1,333 research outputs found

    Partially Ordered Two-way B\"uchi Automata

    Full text link
    We introduce partially ordered two-way B\"uchi automata and characterize their expressive power in terms of fragments of first-order logic FO[<]. Partially ordered two-way B\"uchi automata are B\"uchi automata which can change the direction in which the input is processed with the constraint that whenever a state is left, it is never re-entered again. Nondeterministic partially ordered two-way B\"uchi automata coincide with the first-order fragment Sigma2. Our main contribution is that deterministic partially ordered two-way B\"uchi automata are expressively complete for the first-order fragment Delta2. As an intermediate step, we show that deterministic partially ordered two-way B\"uchi automata are effectively closed under Boolean operations. A small model property yields coNP-completeness of the emptiness problem and the inclusion problem for deterministic partially ordered two-way B\"uchi automata.Comment: The results of this paper were presented at CIAA 2010; University of Stuttgart, Computer Scienc

    The contribution of qualitative behavioural assessment to appraisal of livestock welfare

    Get PDF
    Animal welfare is increasingly important for the Australian livestock industries, to maintain social licence to practice as well as ensuring market share overseas. Improvement of animal welfare in the livestock industries requires several important key steps. Paramount among these, objective measures are needed for welfare assessment that will enable comparison and contrast of welfare implications of husbandry procedures or housing options. Such measures need to be versatile (can be applied under a wide range of on- and off-farm situations), relevant (reveal aspects of the animal’s affective or physiological state that is relevant to their welfare), reliable (can be repeated with confidence in the results), relatively economic to apply, and they need to have broad acceptance by all stakeholders. Qualitative Behavioural Assessment (QBA) is an integrated measure that characterises behaviour as a dynamic, expressive body language. QBA is a versatile tool requiring little specialist equipment suiting application to in situ assessments that enables comparative, hypothesis-driven evaluation of various industry-relevant practices. QBA is being increasingly used as part of animal welfare assessments in Europe, and although most other welfare assessment methods record ‘problems’ (e.g. lameness, injury scores, and so on), QBA can capture positive aspects of animal welfare (e.g. positively engaged with their environment, playfulness). In this viewpoint, we review the outcomes of recent QBA studies and discuss the potential application of QBA, in combination with other methods, as a welfare assessment tool for the Australian livestock industries

    Divergent selection on locally adapted major histocompatibility complex immune genes experimentally proven in the field

    Get PDF
    Although crucial for the understanding of adaptive evolution, genetically resolved examples of local adaptation are rare. To maximize survival and reproduction in their local environment, hosts should resist their local parasites and pathogens. The major histocompatibility complex (MHC) with its key function in parasite resistance represents an ideal candidate to investigate parasite-mediated local adaptation. Using replicated field mesocosms, stocked with second-generation lab-bred three-spined stickleback hybrids of a lake and a river population, we show local adaptation of MHC genotypes to population-specific parasites, independently of the genetic background. Increased allele divergence of lake MHC genotypes allows lake fish to fight the broad range of lake parasites, whereas more specific river genotypes confer selective advantages against the less diverse river parasites. Hybrids with local MHC genotype gained more body weight and thus higher fitness than those with foreign MHC in either habitat, suggesting the evolutionary significance of locally adapted MHC genotypes

    Planet gap opening across stellar masses

    Get PDF
    Annular structures in proto-planetary discs, such as gaps and rings, are now ubiquitously found by high-resolution ALMA observations. Under the hypothesis that they are opened by planets, in this paper we investigate how the minimum planet mass needed to open a gap varies across different stellar host masses and distances from the star. The dependence on the stellar host mass is particularly interesting because, at least in principle, gap opening around low mass stars should be possible for lower mass planets, giving us a look into the young, low mass planet population. Using dusty hydrodynamical simulations, we find however the opposite behaviour, as a result of the fact that discs around low mass stars are geometrically thicker: gap opening around low mass stars can require more massive planets. Depending on the theoretical isochrone employed to predict the relationship between stellar mass and luminosity, the gap opening planet mass could also be independent of stellar mass, but in no case we find that gap opening becomes easier around low mass stars. This would lead to the expectation of a lower incidence of such structures in lower mass stars, since exoplanet surveys show that low mass stars have a lower fraction of giant planets. More generally, our study enables future imaging observations as a function of stellar mass to be interpreted using information on the mass vs. luminosity relations of the observed samples.Interstellar matter and star formatio

    Geometry of Frictionless and Frictional Sphere Packings

    Get PDF
    We study static packings of frictionless and frictional spheres in three dimensions, obtained via molecular dynamics simulations, in which we vary particle hardness, friction coefficient, and coefficient of restitution. Although frictionless packings of hard-spheres are always isostatic (with six contacts) regardless of construction history and restitution coefficient, frictional packings achieve a multitude of hyperstatic packings that depend on system parameters and construction history. Instead of immediately dropping to four, the coordination number reduces smoothly from z=6z=6 as the friction coefficient Ό\mu between two particles is increased.Comment: 6 pages, 9 figures, submitted to Phys. Rev.

    Morphology and terminology of dung beetles (Coleoptera : Scarabaeidae : Scarabaeinae) male genitalia

    Get PDF
    The external and internal male genitalia of 327 species of 11 tribes of the subfamily Scarabaeinae, including species of Deltochilini, Scarabaeini, Gymnopleurini, Ateuchini, and Coprini, among others, were examined. Descriptions of the variations in the genital segment, the aedeagus, the internal sac, and its sclerites and raspules are presented. An exhaustive comparison of structures, names, and terminology used in literature for Scarabaeinae male genitalia are discussed. The internal sac of the aedeagus is divided in areas for an easer comparison of its internal structures; basal, submedial, medial, and apical areas are described in detail and compared. The variation of apical and medial sclerites, as well as the raspules of the submedial area, are described and compared in detail among all the taxa studied.Part of this study was funded by National Research Foundation (NRF) and the University of Pretoria studentship to the first author.http://www.mapress.com/zootaxa/hb2013ab201

    Impacts of local human activities on the Antarctic environment

    Get PDF
    We review the scientific literature, especially from the past decade, on the impacts of human activities on the Antarctic environment. A range of impacts has been identified at a variety of spatial and temporal scales. Chemical contamination and sewage disposal on the continent have been found to be long-lived. Contemporary sewage management practices at many coastal stations are insufficient to prevent local contamination but no introduction of non-indigenous organisms through this route has yet been demonstrated. Human activities, particularly construction and transport, have led to disturbances of flora and fauna. A small number of non-indigenous plant and animal species has become established, mostly on the northern Antarctic Peninsula and southern archipelagos of the Scotia Arc. There is little indication of recovery of overexploited fish stocks, and ramifications of fishing activity oil bycatch species and the ecosystem could also be far-reaching. The Antarctic Treaty System and its instruments, in particular the Convention for the Conservation of Antarctic Marine Living Resources and the Environmental Protocol, provide a framework within which management of human activities take place. In the face of the continuing expansion of human activities in Antarctica, a more effective implementation of a wide range of measures is essential, in order to ensure comprehensive protection of the Antarctic environment, including its intrinsic, wilderness and scientific values which remains a fundamental principle of the Antarctic Treaty System. These measures include effective environmental impact assessments, long-term monitoring, mitigation measures for non-indigenous species, ecosystem-based management of living resources, and increased regulation of National Antarctic Programmes and tourism activities
    • 

    corecore