181,322 research outputs found

    Event-Clock Nested Automata

    Full text link
    In this paper we introduce and study Event-Clock Nested Automata (ECNA), a formalism that combines Event Clock Automata (ECA) and Visibly Pushdown Automata (VPA). ECNA allow to express real-time properties over non-regular patterns of recursive programs. We prove that ECNA retain the same closure and decidability properties of ECA and VPA being closed under Boolean operations and having a decidable language-inclusion problem. In particular, we prove that emptiness, universality, and language-inclusion for ECNA are EXPTIME-complete problems. As for the expressiveness, we have that ECNA properly extend any previous attempt in the literature of combining ECA and VPA

    Advancing adult learning in Eastern Europe and Central Asia

    Get PDF
    This report presents available evidence on adult education and training in Europe and Central Asia (ECA), differentiating two separate types: continuing vocational education and training (CVET) for the employed, sought either by employers or individuals, and retraining and second chance education for the non?employed. This paper presents available evidence on the extent and patterns of lifelong learning in ECA. It argues that advancing adult education and training in ECA is important not only to meet the new skills demands but also to respond to a rapidly worsening demographic outlook across most of the region. While it is not equally important for all ECA countries, adult education and training should be high on the agenda of those ECA economies that are closest to the technological frontier and facing a demographic decline, such as the new European Union (EU) member States and Russia. The paper lays out a framework for government action to advance adult learning in ECA through a mix consisting of policy coordination between government and the enterprise sector, a sound regulatory regime and appropriate financial incentives.Access&Equity in Basic Education,Education For All,Primary Education,Teaching and Learning,Gender and Education

    Extending conceptualisations of the diversity and value of extracurricular activities: a cultural capital approach to graduate outcomes

    Get PDF
    This report presents the findings from the research project Extending conceptualisations of the diversity and value of extra curricular activities: a cultural capital approach to graduate outcomes. Very little research has directly addressed the question of what constitutes extra-curricular activities (ECA), the extent to which students engage in ECA, and how students experience and conceptualise benefits from their engagement. Nor is there research that looks at how staff understand ECA. This research sought to address these questions from a cultural capital approach. Traditionally conceived ECA include campus-based cultural and sporting activities and volunteering. An awareness is required of the fact that many students work for economic reasons, continue their faith and caring activities, and continue to live at home. The researchers were interested in the possible differential recognition and valuing of activities undertaken by different groups of students. This research explores issues of inter-generational capital that might shape both the capacities to participate and how students understood the benefits

    Towards a more natural and intelligent interface with embodied conversation agent

    Get PDF
    Conversational agent also known as chatterbots are computer programs which are designed to converse like a human as much as their intelligent allows. In many ways, they are the embodiment of Turing's vision. The ability for computers to converse with human users using natural language would arguably increase their usefulness. Recent advances in Natural Language Processing (NLP) and Artificial Intelligence (AI) in general have advances this field in realizing the vision of a more humanoid interactive system. This paper presents and discusses the use of embodied conversation agent (ECA) for the imitation games. This paper also presents the technical design of our ECA and its performance. In the interactive media industry, it can also been observed that the ECA are getting popular
    corecore