Effective and efficient keyword search for relevant entities over Extensible Markup Language (XML) data. This project aims to greatly improve the relevancy of returned XML entities by keyword queries as well as the efficiency of searching. Effective approaches and efficient algorithms for finding relevant entities from large number of XML data sources will be delivered.
Automatic software verification: harnessing constraint technologies. As we come to rely on software to manage more and more aspects of our lives, the importance of software reliability increases; yet as programs become increasingly complex, reliability becomes ever more elusive. This project will develop automated tools and techniques to ensure that programs do what they were intended to do.
Analysing Computer Arithmetic to Improve Software Reliability. Most computer programs deal with integers. Automated tools designed to verify the correct behaviour of software usually assume the software deals with idealised mathematical integers, since this simplifies reasoning significantly. In reality, most programs work with integer number representations that approximate the ideal. This compromises the soundness of many verification tools. This project will design sound reasoning tools that ....Analysing Computer Arithmetic to Improve Software Reliability. Most computer programs deal with integers. Automated tools designed to verify the correct behaviour of software usually assume the software deals with idealised mathematical integers, since this simplifies reasoning significantly. In reality, most programs work with integer number representations that approximate the ideal. This compromises the soundness of many verification tools. This project will design sound reasoning tools that are aware of the true nature of computer integer arithmetic.Read moreRead less
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
The Old Zhuang Script: a Vernacular Character Script from Southern China. The Zhuang are a Tai-speaking people and the most populous of China's minority peoples. Traditionally they used a modified version of the Chinese character script. The aim of this project is to provide the wherewithal for a decipherment of the old Zhuang character script, to present evidence for the age of the script, and to describe the social and political conditions that gave it birth and influenced its development.
The role of feedback in second language learning processes. Teachers spend an inordinate amount of time providing feedback to second language learners on their written work. This research investigation has two stages. Stage one aims to examine the effectiveness of different kinds of feedback, the extent to which learners take notice of the feedback, and the extent to which learners are able to incorporate the feedback into their developing second language systems both in the short term, and th ....The role of feedback in second language learning processes. Teachers spend an inordinate amount of time providing feedback to second language learners on their written work. This research investigation has two stages. Stage one aims to examine the effectiveness of different kinds of feedback, the extent to which learners take notice of the feedback, and the extent to which learners are able to incorporate the feedback into their developing second language systems both in the short term, and the longer term. In the second stage we investigate the success with which the findings from the first stage can be transferred into the classroom context.Read moreRead less
Structure and meaning of intonation in three Australian languages. Creating a comprehensive record of Australian Indigenous languages is a goal of a number of interest groups including Indigenous language speakers, linguists and the general public. In this project, unique linguistic and pronunciation features will be documented to better understand communicative processes in three endangered languages.
Small stones can break big canoes: Securing records of the world's indigenous languages. Fragile records of the world’s Indigenous languages are at risk of being lost. Better research methods that can benefit not only academics but also the general public aim to be developed in this project and used to train new researchers and community members in creating better records. Collaborating across Australia and the Pacific in building tools that will result in better research practices, it will incr ....Small stones can break big canoes: Securing records of the world's indigenous languages. Fragile records of the world’s Indigenous languages are at risk of being lost. Better research methods that can benefit not only academics but also the general public aim to be developed in this project and used to train new researchers and community members in creating better records. Collaborating across Australia and the Pacific in building tools that will result in better research practices, it will increase knowledge of what research has been done, and will target areas for future focus. Modelling new fieldwork methods, building reusable datasets, and curating long-term collections of language records will all be part of this project, as will outreach to support similar work both in linguistics and in the broader community.Read moreRead less
New methodologies for representing and accessing resources on endangered languages: a case study from South Efate. Linguists produce material which has immense cultural significance as it is often the only record of endangered cultures. With new technologies come new ways of working with indigenous languages. This APD will develop an innovative methodology for documenting and archiving data from a language of the Pacific. It will do this by linking a dictionary, texts, audio, video, images and a ....New methodologies for representing and accessing resources on endangered languages: a case study from South Efate. Linguists produce material which has immense cultural significance as it is often the only record of endangered cultures. With new technologies come new ways of working with indigenous languages. This APD will develop an innovative methodology for documenting and archiving data from a language of the Pacific. It will do this by linking a dictionary, texts, audio, video, images and a grammar to facilitate presentation of both the data and its analysis to speakers, fellow linguists, and the general public. The methodology developed in this APD will result in innovative linguistic data management techniques conformant to emerging international standards.Read moreRead less
Writing Identity onto the Screen: Subtitles and captions in Japanese media. This project analyses how varieties of language (dialect, gendered speech styles, youth slang) are written onto the screen in audiovisual media as subtitles and impact-captions. It explores the attitudes held by editors, producers and translators towards language which influence this process. It aims to use the Japanese global media, which is well-known for its heavy use of text-on-screen and its rich diversity of langu ....Writing Identity onto the Screen: Subtitles and captions in Japanese media. This project analyses how varieties of language (dialect, gendered speech styles, youth slang) are written onto the screen in audiovisual media as subtitles and impact-captions. It explores the attitudes held by editors, producers and translators towards language which influence this process. It aims to use the Japanese global media, which is well-known for its heavy use of text-on-screen and its rich diversity of language styles, as a case study. This is expected to lead to a greater understanding of textual representation of identity in contemporary digital media.Read moreRead less