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.
Literature, Language and the Expression of Cultural Change in the Francophone Pacific. The proposal aims to analyse and document in monographs, critical editions, doctoral theses and other forms the evolution of linguistic and cultural change in the French Pacific through a comprehensive case study of the contemporary literature and press of New Caledonia. After years of civil unrest, stability was restored to this French Pacific Territory, a near neighbour of Australia, through the Matignon and ....Literature, Language and the Expression of Cultural Change in the Francophone Pacific. The proposal aims to analyse and document in monographs, critical editions, doctoral theses and other forms the evolution of linguistic and cultural change in the French Pacific through a comprehensive case study of the contemporary literature and press of New Caledonia. After years of civil unrest, stability was restored to this French Pacific Territory, a near neighbour of Australia, through the Matignon and Noumea Accords (1988, 1998).This has led to the emergence of new forms of cultural expression, particularly in literature, and a specific form of Pacific French, as part of a process of nation-building in New Caledonia.Read moreRead less
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
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.
Clearing the path towards literacy and numeracy: language for learning in Indigenous schooling. The Australian and State Governments are committed to halving the gap between Indigenous and other Australians, notably in education outcomes. This project will provide a platform for a better understanding of how language is used in Indigenous classrooms, and set foundations for improving practices for teaching these students, in particular for literacy and numeracy. The project will investigate how ....Clearing the path towards literacy and numeracy: language for learning in Indigenous schooling. The Australian and State Governments are committed to halving the gap between Indigenous and other Australians, notably in education outcomes. This project will provide a platform for a better understanding of how language is used in Indigenous classrooms, and set foundations for improving practices for teaching these students, in particular for literacy and numeracy. The project will investigate how children's language use differs from Standard Australian English. Where teachers are aware of such differences, and adapt their classroom communication styles, greater engagement from children can be expected. This will ultimately lead to improved retention rates and learning outcomes, giving Indigenous students a better start to life.Read moreRead less
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