181,322 research outputs found
Event-Clock Nested Automata
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
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
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
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
- …
