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
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
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
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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE210100013
Funder
Australian Research Council
Funding Amount
$600,000.00
Summary
Nyingarn: a platform for primary sources in Australian Indigenous languages. This project aims to build Nyingarn, an online platform of digital text versions of early Australian Indigenous language manuscripts with images of the original documents. There are over a thousand such documents that are foundational to understanding Australia's languages, and Nyingarn makes textual versions, accessions, and navigates such documents, with a means for adding more in future. Expected outcomes of this pro ....Nyingarn: a platform for primary sources in Australian Indigenous languages. This project aims to build Nyingarn, an online platform of digital text versions of early Australian Indigenous language manuscripts with images of the original documents. There are over a thousand such documents that are foundational to understanding Australia's languages, and Nyingarn makes textual versions, accessions, and navigates such documents, with a means for adding more in future. Expected outcomes of this project are accessible sources useful for educational materials, and for understanding the local language, its history, and its relationship to other languages. Nyingarn will provide cutting-edge methods for ingesting, analysing, and presenting these historical materials, both for research and for the general public.Read moreRead less
ARC Centre of Excellence for the Dynamics of Language. Language is central to human existence and to the flow of information. The Centre will address the most critical questions about language: How do languages evolve? How different can languages be? How do our brains acquire and process them? How can technologies deal with the complexity and enormous variability of language in its central role in human information processing? What can Australia do to increase its linguistic abilities at a time ....ARC Centre of Excellence for the Dynamics of Language. Language is central to human existence and to the flow of information. The Centre will address the most critical questions about language: How do languages evolve? How different can languages be? How do our brains acquire and process them? How can technologies deal with the complexity and enormous variability of language in its central role in human information processing? What can Australia do to increase its linguistic abilities at a time of increasingly multilingual demands in trade and information? The Centre will also secure language heritage, develop new language technologies, connect policy with indigenous and migrant communities, and build strategies to help 1st and 2nd language learning and those isolated by language difficulties.Read moreRead less