Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Open Cities: urban citizenship in Sydney and Berlin. This collaboration will contribute directly to National Research Priority "Safeguarding Australia: Understanding our region and the world". By analysing the differential dynamics of cultural citizenship in global cities such as Sydney, researchers, community service providers and policymakers will be given contemporary knowledge to invigorate their efforts to create and maintain a shared sense of security and belonging in a highly diverse cont ....Open Cities: urban citizenship in Sydney and Berlin. This collaboration will contribute directly to National Research Priority "Safeguarding Australia: Understanding our region and the world". By analysing the differential dynamics of cultural citizenship in global cities such as Sydney, researchers, community service providers and policymakers will be given contemporary knowledge to invigorate their efforts to create and maintain a shared sense of security and belonging in a highly diverse context. Drawing upon the latest research from European contexts will add rigour and validity to the research program and open opportunities for connecting with emerging EU research priorities concerned with managing identity formation across national boundaries.Read moreRead less
A cross-linguistic investigation of lexical stress using corpus analyses, behavioural testing and computational modelling. Some languages exhibit variable patterns of emphasis or 'lexical stress' across words ('ZEbra' v 'girAFFE'). This research will provide a more precise understanding of the role of lexical stress in language processing. This will assist educators/clinicians working with normally developing children and those with developmental delays as well as educators/students in second-l ....A cross-linguistic investigation of lexical stress using corpus analyses, behavioural testing and computational modelling. Some languages exhibit variable patterns of emphasis or 'lexical stress' across words ('ZEbra' v 'girAFFE'). This research will provide a more precise understanding of the role of lexical stress in language processing. This will assist educators/clinicians working with normally developing children and those with developmental delays as well as educators/students in second-language learning. It will also lead to improved automatic speech recognition/synthesis - used in commercial applications such as phone banking, edutainment/epistemic computer games and communication devices (speech-to-text dictation systems for those with limited mobility and text-to-speech systems for those unable to speak). Undertaken in collaboration with a high-profile research lab in the UK this project will maintain Australia's competitive edge in cognitive science.Read moreRead less
Urban Imaginaries/Cultural Landscapes: An Asia-Pacific Transnational and Cross-Cultural Research Collaboration. The aim of the program is to foster research collaboration between the ANU's Humanities Research Centre and Lingnan University's Cultural Research and Development Program by examining public culture, transnational culture, urban landscapes and urban cultural identities in the contemporary Asia-Pacific and Australian context. We will do this by extending ties with researchers from the ....Urban Imaginaries/Cultural Landscapes: An Asia-Pacific Transnational and Cross-Cultural Research Collaboration. The aim of the program is to foster research collaboration between the ANU's Humanities Research Centre and Lingnan University's Cultural Research and Development Program by examining public culture, transnational culture, urban landscapes and urban cultural identities in the contemporary Asia-Pacific and Australian context. We will do this by extending ties with researchers from the region including early career and students and by developing a comparative cross-cultural methodology capable of encompassing specific socio-historical patterns and processes of dynamically changing public cultural formations in contemporary urban centres in the Asia-Pacific, including Australia. Specific outcomes include a book, e-journal and a multi-media exhibition.
Read moreRead less