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.
A panel study of Kobe women’s interview discourse. This project aims to investigate women’s life transitions and language use over 30 years. Analysis of changes to the languages, societies and cultures of Asia is essential to Australia’s Asia literacy. This project will analyse shifts and changes in women’s language, discourse and identities by examining ethnographic data of a longitudinal research project into working-class women’s life trajectories in Kobe, Japan. The project will research lan ....A panel study of Kobe women’s interview discourse. This project aims to investigate women’s life transitions and language use over 30 years. Analysis of changes to the languages, societies and cultures of Asia is essential to Australia’s Asia literacy. This project will analyse shifts and changes in women’s language, discourse and identities by examining ethnographic data of a longitudinal research project into working-class women’s life trajectories in Kobe, Japan. The project will research language, gender, class and mobility in Japan in the transition from young adulthood to middle adulthood. Understanding how life transitions and identities shape ways of speaking Japanese is expected to contribute to sociocultural understandings, and influence social and public policies about Japan.Read moreRead less
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
Journals in Theory: Practices of Academic Judgment. This project aims to examine the way key journals transformed the discipline of literary studies from 1946 to now. It expects to generate new knowledge of how editorial practices of academic judgement institutionalised and legitimated new modes of reading, thinking and writing. Based on archival research on journals including Critical Inquiry, Tel Quel and The Australian Journal of Cultural Studies, the project's outcomes will show how, in brin ....Journals in Theory: Practices of Academic Judgment. This project aims to examine the way key journals transformed the discipline of literary studies from 1946 to now. It expects to generate new knowledge of how editorial practices of academic judgement institutionalised and legitimated new modes of reading, thinking and writing. Based on archival research on journals including Critical Inquiry, Tel Quel and The Australian Journal of Cultural Studies, the project's outcomes will show how, in bringing together new intellectual passions, governance structures and imagined readerships, journals bestowed on criticism its current working definition. Expected benefits include a better account of the relationship between conceptual innovation and institutional mechanisms for research integrity.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