214 research outputs found

    Facilitating the development of the under threes: observations from Hong Kong

    Get PDF
    Conference Theme: Early Experiences matter: Policies and Practices for Ensuring the Holistic Development for Very Young ChildrenConcurrent Session 6: Presentation 6-4The Hong Kong government has always maintained that the primary responsibility for young children rests with the family and has a number of policies in place to support the development of young children. Hong Kong boasts of one of the lowest infant- and under-five mortality rates in the world and does well on other health indices. However, the territory is not without problems. For example, the high geni co-efficient signals inequality. Children from socially disadvantaged backgrounds have less stimulating home environments and less access to opportunities which promote early development. On the other hand ...postprin

    Compositional schedulability analysis of real-time actor-based systems

    Get PDF
    We present an extension of the actor model with real-time, including deadlines associated with messages, and explicit application-level scheduling policies, e.g.,"earliest deadline first" which can be associated with individual actors. Schedulability analysis in this setting amounts to checking whether, given a scheduling policy for each actor, every task is processed within its designated deadline. To check schedulability, we introduce a compositional automata-theoretic approach, based on maximal use of model checking combined with testing. Behavioral interfaces define what an actor expects from the environment, and the deadlines for messages given these assumptions. We use model checking to verify that actors match their behavioral interfaces. We extend timed automata refinement with the notion of deadlines and use it to define compatibility of actor environments with the behavioral interfaces. Model checking of compatibility is computationally hard, so we propose a special testing process. We show that the analyses are decidable and automate the process using the Uppaal model checke

    Evidence for Mito-Nuclear and Sex-Linked Reproductive Barriers between the Hybrid Italian Sparrow and Its Parent Species

    Get PDF
    Studies of reproductive isolation between homoploid hybrid species and their parent species have rarely been carried out. Here we investigate reproductive barriers between a recently recognized hybrid bird species, the Italian sparrow Passer italiae and its parent species, the house sparrow P. domesticus and Spanish sparrow P. hispaniolensis. Reproductive barriers can be difficult to study in hybrid species due to lack of geographical contact between taxa. However, the Italian sparrow lives parapatrically with the house sparrow and both sympatrically and parapatrically with the Spanish sparrow. Through whole-transcriptome sequencing of six individuals of each of the two parent species we identified a set of putatively parent species-diagnostic single nucleotide polymorphism (SNP) markers. After filtering for coverage, genotyping success (>97%) and multiple SNPs per gene, we retained 86 species-informative, genic, nuclear and mitochondrial SNP markers from 84 genes for analysis of 612 male individuals. We show that a disproportionately large number of sex-linked genes, as well as the mitochondria and nuclear genes with mitochondrial function, exhibit sharp clines at the boundaries between the hybrid and the parent species, suggesting a role for mito-nuclear and sex-linked incompatibilities in forming reproductive barriers. We suggest that genomic conflict via interactions between mitochondria and sex-linked genes with mitochondrial function ("mother's curse") at one boundary and centromeric drive at the other may best explain our findings. Hybrid speciation in the Italian sparrow may therefore be influenced by mechanisms similar to those involved in non-hybrid speciation, but with the formation of two geographically separated species boundaries instead of one. Spanish sparrow alleles at some loci have spread north to form reproductive barriers with house sparrows, while house sparrow alleles at different loci, including some on the same chromosome, have spread in the opposite direction to form barriers against Spanish sparrows
    • …
    corecore