Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and ....Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and more efficient than previous work. Here we wish to extend this family to operate effectively in a specific architecture increasingly favoured by many modern distributed high-performance computing systems.Read moreRead less
Development of mechanisms for understanding language contact and cross-cultural communication. The project will make a significant contribution to the cross-linguistic study of how languages affect each other, and change as a result of contact. The perspectives revealed will have application to the multicultural and multilingual immigrant situation in Australia, and contribute to overcoming potential miscommunications due to different language backgrounds, advancing our understanding of our regi ....Development of mechanisms for understanding language contact and cross-cultural communication. The project will make a significant contribution to the cross-linguistic study of how languages affect each other, and change as a result of contact. The perspectives revealed will have application to the multicultural and multilingual immigrant situation in Australia, and contribute to overcoming potential miscommunications due to different language backgrounds, advancing our understanding of our region and the world (a goal of the National Priority 'Safeguarding Australia'). The project offers technological advances for recording and managing data on language relationships, and will enhance the study of previously unknown endangered languages, thus contributing to the preservation of cultural and linguistic diversity.Read moreRead less
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
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
The Madrid Skylitzes: Electronic reproduction and international interdisciplinary study of the first illustrated history book. With its 574 miniatures, the Madrid Skylitzes is the only known illustrated Greek chronicle (and the sole source for certain periods). But is it Europe's first illustrated history book or copied from a Constantinopolitan original? Token Greek resistance to the increasing Latinization of tri-cultural Sicily or Norman propaganda to undermine Byzantine claims to the island? ....The Madrid Skylitzes: Electronic reproduction and international interdisciplinary study of the first illustrated history book. With its 574 miniatures, the Madrid Skylitzes is the only known illustrated Greek chronicle (and the sole source for certain periods). But is it Europe's first illustrated history book or copied from a Constantinopolitan original? Token Greek resistance to the increasing Latinization of tri-cultural Sicily or Norman propaganda to undermine Byzantine claims to the island?
Isolated studies have produced starkly contradictory answers. Recent cross-disciplinary investigations by an international team have yielded better results. The collaborators will apply the methods of codicology, palaeography, stylistics, art history, historiography, computational linguistics, narratology and intertextuality to elucidate this key cultural product.
Read moreRead less
Lexical typology, a new integrated approach to semantics: a reciprocal case study. This proposal will bring out Professor Leila Behrens (U. Cologne), one of the co-founders of a new approach to linguistics, Lexical Typology, which looks at how all of a language's expressive components interact, instead of just focussing on one element such as grammar or vocabulary. With the CI she will develop this theory further, with respect to the expression of reciprocal relationships in English, German, Hun ....Lexical typology, a new integrated approach to semantics: a reciprocal case study. This proposal will bring out Professor Leila Behrens (U. Cologne), one of the co-founders of a new approach to linguistics, Lexical Typology, which looks at how all of a language's expressive components interact, instead of just focussing on one element such as grammar or vocabulary. With the CI she will develop this theory further, with respect to the expression of reciprocal relationships in English, German, Hungarian, Tagalog, Vietnamese, Indonesian, and the Australian Aboriginal languages Kayardild, Bininj Gun-wok and Dalabon.Read moreRead less
Fellowship for on site German-Australian collaboration to research the everyday music practices of marginalised youth as pathways to socio-economic inclusion. This project aims to deepen our successful multi-sited collaborative project, DP0345917. Humboldt's Institut fur Sozialwissenschaften has already begun a formal M.O.U. process with The Hawke Research Institute, University of South Australia. Cohen's expertise and sustained onsite co-fieldwork with the Australian CIs will augment this link, ....Fellowship for on site German-Australian collaboration to research the everyday music practices of marginalised youth as pathways to socio-economic inclusion. This project aims to deepen our successful multi-sited collaborative project, DP0345917. Humboldt's Institut fur Sozialwissenschaften has already begun a formal M.O.U. process with The Hawke Research Institute, University of South Australia. Cohen's expertise and sustained onsite co-fieldwork with the Australian CIs will augment this link, the fellowship further ensuring reciprocal understandings of the specificity of each research site, collaborative publications and consistency of methodological approaches. Adherence to common research aims and objectives and cross-cultural benchmarking will significantly enhance Australian leadership in international best practice in youth policy implementations and development programs.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
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.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