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
RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d ....RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
Read moreRead less
Aboriginal song cycles from the Simpson Desert and the Cooper: an integrated linguistic and musicological study. The project will produce a detailed linguistic analysis of four previously undocumented Wangkangurru song cycles from the Simpson Desert, recorded by the applicant in the nineteen sixties, including a study of the singer's comments on esoteric meanings. It also involves similar work with the Nguninta ?travelling ceremony? from the upper Cooper. Integrated with this will be an ethno-m ....Aboriginal song cycles from the Simpson Desert and the Cooper: an integrated linguistic and musicological study. The project will produce a detailed linguistic analysis of four previously undocumented Wangkangurru song cycles from the Simpson Desert, recorded by the applicant in the nineteen sixties, including a study of the singer's comments on esoteric meanings. It also involves similar work with the Nguninta ?travelling ceremony? from the upper Cooper. Integrated with this will be an ethno-musicological study aimed particularly at showing the distribution of song-styles and the way songs were transmitted.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
Cross-Cultural Lives: a Study of Narratives by Migrants Between Languages. This project examines recent autobiographies of non-English-speaking migrants to Australia and investigates ways in which immigrants into a new language are challenged to become different persons, and how particular individuals respond to this challenge. It combines the disciplines of literary, cultural and ethnic studies to address issues profoundly affecting Australia as a multi-ethnic society. It seeks to identify some ....Cross-Cultural Lives: a Study of Narratives by Migrants Between Languages. This project examines recent autobiographies of non-English-speaking migrants to Australia and investigates ways in which immigrants into a new language are challenged to become different persons, and how particular individuals respond to this challenge. It combines the disciplines of literary, cultural and ethnic studies to address issues profoundly affecting Australia as a multi-ethnic society. It seeks to identify some essential prerequisites for cross-culturally sensitive education programs, taking into account an individual's need for psychological and linguistic continuity. At the same time it opens a new theoretical perspective for literary and cross-cultural studies, based on close study of life-writing by migrants.Read moreRead less
Continental Theory in the Wake of Cognitive Literary Studies. In an era that is plainly 'post-theoretical', the recent pioneering attempts to bridge the gap between literary studies and the cognitive neurosciences have far-reaching consequences for the study of English literature. This project will address those consequences by implementing a comparative critical study of continental theory and cognitive poetics, and through this comparison enlarge and refine urgent debates about the future of t ....Continental Theory in the Wake of Cognitive Literary Studies. In an era that is plainly 'post-theoretical', the recent pioneering attempts to bridge the gap between literary studies and the cognitive neurosciences have far-reaching consequences for the study of English literature. This project will address those consequences by implementing a comparative critical study of continental theory and cognitive poetics, and through this comparison enlarge and refine urgent debates about the future of the humanities and the kinds of teaching practices carried out therein. The project will therefore provide important groundwork for future research carried out at the frontier of literature, critical theory and cognitive science.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