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
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
Transforming the early modern archive: the Emmerson Collection at SLV. In 2015, State Library Victoria (SLV) received the bequest of the Emmerson Collection: a national treasure of over 5000 early modern rare books and manuscripts, the first and only early modern archive of scale to be held by an Australian institution. Bringing together experts in early modern studies and the digital humanities with specialist library staff, this project will uncover the contents and scope of the collection and ....Transforming the early modern archive: the Emmerson Collection at SLV. In 2015, State Library Victoria (SLV) received the bequest of the Emmerson Collection: a national treasure of over 5000 early modern rare books and manuscripts, the first and only early modern archive of scale to be held by an Australian institution. Bringing together experts in early modern studies and the digital humanities with specialist library staff, this project will uncover the contents and scope of the collection and promote its international scholarly significance to the wider world. In doing so, it will develop new digital tools designed to unlock the value of this unique public resource for a wide range of end-users.Read moreRead less
Access to justice in interpreted proceedings: the role of Judicial Officers. This project aims to examine the ways judicial officers can improve courtroom communication and prevent miscommunication and error, particularly in criminal cases where speakers of the 'new and emerging' and Aboriginal languages are involved, and where interpreters receive limited or no specialised training. Using an innovative interdisciplinary approach, the project aims to generate new knowledge in examining the varia ....Access to justice in interpreted proceedings: the role of Judicial Officers. This project aims to examine the ways judicial officers can improve courtroom communication and prevent miscommunication and error, particularly in criminal cases where speakers of the 'new and emerging' and Aboriginal languages are involved, and where interpreters receive limited or no specialised training. Using an innovative interdisciplinary approach, the project aims to generate new knowledge in examining the variations in judicial officers communications practice when working with interpreters, and their impact on the effective transmission of information in the courtroom. Expected outcomes of this project will include improved outcomes of interpreted communication and a better access to justice for non-English speaking participants.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
Standing up to racism and racial bullying among Australian school students. This project aims to substantially increase understandings of bystander responses (including their extent, nature, potential, merits, benefits, and constraints) as a means of countering racism and racial bullying among Australian school students. This aims to be achieved through examining experiences of, attitudes towards, and responses to, racism and racial bullying among school students; identifying health, wellbeing, ....Standing up to racism and racial bullying among Australian school students. This project aims to substantially increase understandings of bystander responses (including their extent, nature, potential, merits, benefits, and constraints) as a means of countering racism and racial bullying among Australian school students. This aims to be achieved through examining experiences of, attitudes towards, and responses to, racism and racial bullying among school students; identifying health, wellbeing, education and social outcomes of racism and racial bullying for individuals, schools and communities; exploring the enablers and obstacles associated with bystander responses to racism and racial bullying; and by developing and piloting a school-based program to foster bystander responses to racism and racial bullying.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Locating the mobile: intergenerational locative media practices in Tokyo, Melbourne and Shanghai. From providing convenience at a fingertip to helping criminal investigations, using locative media has become an essential part of everyday life for individuals, families, businesses and government. Responding to this nascent phenomenon, this project will provide the first cross-cultural, intergenerational study of locative media use.