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
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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347049
Funder
Australian Research Council
Funding Amount
$403,000.00
Summary
Building Australian Literary Knowledge Infrastructure. The primary goal of AustLit: the Australian Literature Gateway is to facilitate and encourage research in, and teaching of, the nation's creative and critical literature. AustLit's innovative world class resource discovery service utilises best practice techniques in information management and knowledge sharing. In 2003, AustLit will develop new technical services and important new content to meet the defined needs of a wide range of educati ....Building Australian Literary Knowledge Infrastructure. The primary goal of AustLit: the Australian Literature Gateway is to facilitate and encourage research in, and teaching of, the nation's creative and critical literature. AustLit's innovative world class resource discovery service utilises best practice techniques in information management and knowledge sharing. In 2003, AustLit will develop new technical services and important new content to meet the defined needs of a wide range of education and information consumers in the area. AustLit provides the foundation for a subject specific digital library that will retain and expand its usefulness into the future.Read moreRead less
Defining the Status of Culturally and Linguistically Diverse Young People. This project aims to improve the social cohesion of Australian society and the living standards of a significant group of our young people. Around 25 per cent of all Australians aged 12 to 24 are from culturally and linguistically diverse (CALD) backgrounds. In collaboration with nine Australian organisations, the project aims to critically define the status of CALD youth; develop the first national status reporting frame ....Defining the Status of Culturally and Linguistically Diverse Young People. This project aims to improve the social cohesion of Australian society and the living standards of a significant group of our young people. Around 25 per cent of all Australians aged 12 to 24 are from culturally and linguistically diverse (CALD) backgrounds. In collaboration with nine Australian organisations, the project aims to critically define the status of CALD youth; develop the first national status reporting framework for the group that will generate new social, economic and cultural indicators; and build a knowledge hub to store and curate CALD youth data. Data and understanding from this project is intended to enable governments to meet the group’s specific needs and enhance their opportunities.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
Two-way Auslan: Automatic Machine Translation of Australian Sign Language. This project aims to develop an automatic two-way machine-translation system between Auslan (Australian Sign Language) and English by researching and leveraging advanced computer vision and machine learning technology. The project expects to advance research in AI technology on topics including visual recognition, language processing and deep learning. This will boost Australia's national research capacity and global com ....Two-way Auslan: Automatic Machine Translation of Australian Sign Language. This project aims to develop an automatic two-way machine-translation system between Auslan (Australian Sign Language) and English by researching and leveraging advanced computer vision and machine learning technology. The project expects to advance research in AI technology on topics including visual recognition, language processing and deep learning. This will boost Australia's national research capacity and global competitiveness. Expected outcomes of this project will help to break the communication barriers between the Deaf and hearing population. This should provide significant benefits to Deaf communities through enhanced communication and improved quality-of-life, leading to a fair, more inclusive and resilient Australian society.Read moreRead less