Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less
Understanding communication about advance care planning across the lifespan. This project aims to understand how people communicate about advance care planning for children, adolescents, and adults. This project expects to generate new knowledge by using leading social scientific and linguistic methods to analyse real-world advance care planning conversations and documents. Expected outcomes include detailed knowledge about challenges people encounter in these conversations and how to manage the ....Understanding communication about advance care planning across the lifespan. This project aims to understand how people communicate about advance care planning for children, adolescents, and adults. This project expects to generate new knowledge by using leading social scientific and linguistic methods to analyse real-world advance care planning conversations and documents. Expected outcomes include detailed knowledge about challenges people encounter in these conversations and how to manage these challenges. Over 170,000 Australians die each year, most from serious illness. This project should provide significant benefits to future initiatives for enhancing communication about advance care planning, especially in relation to young Australians, older Australians, and Australians with disabilities.Read moreRead less
New Electronic Archives for Australian Literature. Information capacity in Australian literary studies has been dramatically expanded by national investment in electronic archives, while trends in the discipline increasingly demand empirical support for claims about literary history and literary value. At the same time, research about Australian literature remains primarily theoretical, insufficiently informed by newly available data. This project aims to further enrich the new data sets, and to ....New Electronic Archives for Australian Literature. Information capacity in Australian literary studies has been dramatically expanded by national investment in electronic archives, while trends in the discipline increasingly demand empirical support for claims about literary history and literary value. At the same time, research about Australian literature remains primarily theoretical, insufficiently informed by newly available data. This project aims to further enrich the new data sets, and to use them in an innovative return to the classical issues in Australian literary criticism and history. It will provide demonstration applications of data in new electronic archives.Read moreRead less
Mobile Indonesians: social differentiation and digital literacies in the twenty first century. This is the first dedicated study of the social implications of mobile telephony's recent and rapid popularisation throughout the country. This project will study metropolitan, urban and rural users to understand how mobile phones create the new and unexpected social networks which will shape tomorrow's Indonesians.
Engaging ethnic minority and majority blood donors in donor recruitment. Word-of-mouth is a potentially powerful way to recruit blood donors. Talking about donation increases awareness, trust, commitment and positive feelings about donating, particularly in ethnic minority groups. However, donors seldom tell others about donating. This project aims to determine how to motivate blood donors to recruit new donors using word-of-mouth, through research comprising co-design, surveys, and experiments. ....Engaging ethnic minority and majority blood donors in donor recruitment. Word-of-mouth is a potentially powerful way to recruit blood donors. Talking about donation increases awareness, trust, commitment and positive feelings about donating, particularly in ethnic minority groups. However, donors seldom tell others about donating. This project aims to determine how to motivate blood donors to recruit new donors using word-of-mouth, through research comprising co-design, surveys, and experiments. This project will generate new knowledge of how to encourage effective word-of-mouth for pro-social behaviours. Expected outcomes include producing culturally relevant, validated resources that will significantly benefit Australia by encouraging effective conversations to promote blood donation in all communities.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0238930
Funder
Australian Research Council
Funding Amount
$350,000.00
Summary
Austlit: The Australian Literature Gateway - Enhancement Stage Two. The Austlit: The Australian Literature Gateway Enhancement Stage Two Project will deliver enhanced functionality for researchers using the integrated resource discovery service developed in 2000 and 2001. In 2002, the Gateway will add new bibliographic, biographical and full text sources to the service, and map rich literary relationships based on this data, supporting the development of new research questions on the place of th ....Austlit: The Australian Literature Gateway - Enhancement Stage Two. The Austlit: The Australian Literature Gateway Enhancement Stage Two Project will deliver enhanced functionality for researchers using the integrated resource discovery service developed in 2000 and 2001. In 2002, the Gateway will add new bibliographic, biographical and full text sources to the service, and map rich literary relationships based on this data, supporting the development of new research questions on the place of the national literature in Australian culture. The Gateway's technical infrastructure will be developed to offer a sophisticated browsing interface, customised services to support specific research, and broader interoperability with other services, including flexible education and portal services.Read moreRead less
Voices of Regional Australia: The linguistic patterning of local attachment. This project aims to investigate language and social dynamics among regional Australians, who, despite representing one third of the population, have been often neglected in the research to date. The project expects to generate new knowledge around regional attachment and the impact that has on speech patterns, adapting for the first time recently developed international metrics to the Australian context. Expected outco ....Voices of Regional Australia: The linguistic patterning of local attachment. This project aims to investigate language and social dynamics among regional Australians, who, despite representing one third of the population, have been often neglected in the research to date. The project expects to generate new knowledge around regional attachment and the impact that has on speech patterns, adapting for the first time recently developed international metrics to the Australian context. Expected outcomes include a better understanding of models of language change across urban and rural areas, and a novel dataset recording the stories of regional Australians, and in particular, their experiences facing bushfire. This should provide significant benefits as a record of life, language and community in regional Australia.Read moreRead less
Electron Transpiration Cooling of Hypersonic Vehicles. Future aircraft for flight at hypersonic speeds require sharp leading edges for the best aerodynamic performance. Sharp leading edges incur high heat loads and cannot be adequately cooled with current technologies. The project aim is to investigate novel surface materials that emit electrons when heated. This emission of electrons from the surface can significantly contribute to the cooling of the sharp leading edges. This project is expecte ....Electron Transpiration Cooling of Hypersonic Vehicles. Future aircraft for flight at hypersonic speeds require sharp leading edges for the best aerodynamic performance. Sharp leading edges incur high heat loads and cannot be adequately cooled with current technologies. The project aim is to investigate novel surface materials that emit electrons when heated. This emission of electrons from the surface can significantly contribute to the cooling of the sharp leading edges. This project is expected to deliver new experimental data on novel surface materials exposed to a hypersonic flow environment and computer models that can simulate their cooling effect. This investigation will contribute towards enabling technologies for sustained hypersonic flight by overcoming critical head load limitations.Read moreRead less