Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that woul ....Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that would benefit by such technology is the Australian Navy, which is increasingly being confronted with the challenge of integrating off-the-shelf components in large Naval Combat Systems. Read moreRead less
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in log ....The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in logic, there are spin-offs for mathematics, cognitive science, computer studies, and the arts and entertainment industries.Read moreRead less
Graph isomorphism and quantisation of longest cycles by means of determinants and spectra. A characterisation of the difficulty of the Hamiltonian cycle problem and the graphs isomorphism problem will be a significant conceptual advancement with repercussions in a number of fields including combinatorial optimisation and theoretical computer science, in particular, the Google PageRank. Applications of tensor networks technique will lead to a design of a quantum computer that enumerates all Hamil ....Graph isomorphism and quantisation of longest cycles by means of determinants and spectra. A characterisation of the difficulty of the Hamiltonian cycle problem and the graphs isomorphism problem will be a significant conceptual advancement with repercussions in a number of fields including combinatorial optimisation and theoretical computer science, in particular, the Google PageRank. Applications of tensor networks technique will lead to a design of a quantum computer that enumerates all Hamiltonian cycles in a graph. Analysis of the determinant objective function in terms of the eigenvalues may lead to new spectral properties of stochastic matrices. Algorithmic advances exploiting such a characterisation will significantly contribute to existing technologies for solving problems in a wide range of applications.Read moreRead less
M.C.Escher and his Contemporaries: the Genesis of the Impossible. The project aims to produce a conceptual history of the twentieth-century impossible pictures movement which developed around M.C.Escher, to classify kinds of impossible pictures, and particularly to establish priorities over who discovered what. This requires geometrical construction, and rigorous logical and mathematical analysis. The project will employ the novel techniques available within the theory of inconsistency. The sign ....M.C.Escher and his Contemporaries: the Genesis of the Impossible. The project aims to produce a conceptual history of the twentieth-century impossible pictures movement which developed around M.C.Escher, to classify kinds of impossible pictures, and particularly to establish priorities over who discovered what. This requires geometrical construction, and rigorous logical and mathematical analysis. The project will employ the novel techniques available within the theory of inconsistency. The significance of this work is that it demonstrates the rich conceptual resources available within inconsistent content. Expected outcomes are a book aimed at the general reader, technical articles in logic and mathematics journals, and a expanded understanding of our human ability to grasp inconsistent visual contents. Read moreRead less
J. M. Coetzee and Making Sense in LIterature. Focusing on the work of Nobel Prize winning South African-Australian novelist J. M. Coetzee, this project examines how Coetzee’s fiction develops techniques that generate or produce meaning about the world and involves levels of ‘translatability’ that allow it to maintain relevance across cultures. A detailed analysis that focuses on how Coetzee makes us question the nature of meaning itself has not yet been undertaken, even though this is of central ....J. M. Coetzee and Making Sense in LIterature. Focusing on the work of Nobel Prize winning South African-Australian novelist J. M. Coetzee, this project examines how Coetzee’s fiction develops techniques that generate or produce meaning about the world and involves levels of ‘translatability’ that allow it to maintain relevance across cultures. A detailed analysis that focuses on how Coetzee makes us question the nature of meaning itself has not yet been undertaken, even though this is of central importance to his work.Read moreRead less
Transnational selves: French narratives of migration to Australia. This project aims to examine texts authored by French-speaking migrants to Australia in order to explore how migrating subjects write their identity, how migrants represent the self between nations and between languages, and how Australia is viewed through the prism of another language. Expected outcomes to this project include enhanced knowledge of Australian literature, of practices of migrant writing, and of the construction ....Transnational selves: French narratives of migration to Australia. This project aims to examine texts authored by French-speaking migrants to Australia in order to explore how migrating subjects write their identity, how migrants represent the self between nations and between languages, and how Australia is viewed through the prism of another language. Expected outcomes to this project include enhanced knowledge of Australian literature, of practices of migrant writing, and of the construction of Australian identity. This will provide significant benefits, such as a wider understanding of the diversity of Australian literature, an increased awareness of literature in Languages Other Than English in Australia, and a more nuanced appreciation of Australian identity.Read moreRead less
Computational Intelligence Methods for Financial Applications. Complex financial problems can be better addressed with software that can learn from available data and adapt to environmental changes. It is therefore essential to develop technologies that enable prediction and optimisation in constrained and dynamic environments. There are currently some limitations in existing business decision support systems despite their ubiquity providing an opportunity for Australia to be at the forefront as ....Computational Intelligence Methods for Financial Applications. Complex financial problems can be better addressed with software that can learn from available data and adapt to environmental changes. It is therefore essential to develop technologies that enable prediction and optimisation in constrained and dynamic environments. There are currently some limitations in existing business decision support systems despite their ubiquity providing an opportunity for Australia to be at the forefront as new standards in the field are developed. Furthermore, the fund management industry (particularly superannuation) is significant to the Australian economy and development of this technology has the potential to enhance its performance and reputation.Read moreRead less
Indigenous Life Narratives and Racial Reconciliation in Australia and South Africa. The project studies the relationship between indigenous storytelling (life narratives, storytelling, testimony)and political campaigns for human rights and racial reconciliation in South Africa and Australia. It analyses the contexts of production, dissemination and consumption of these stories and their effects on indigenous and non-indigenous tellers and listeners within and beyond the respective nations, inclu ....Indigenous Life Narratives and Racial Reconciliation in Australia and South Africa. The project studies the relationship between indigenous storytelling (life narratives, storytelling, testimony)and political campaigns for human rights and racial reconciliation in South Africa and Australia. It analyses the contexts of production, dissemination and consumption of these stories and their effects on indigenous and non-indigenous tellers and listeners within and beyond the respective nations, including the emergence of new national literatures, indigenous identities, discourses on ethics, responsibility and racial reconciliation within and beyond the nations. The study offers a significant theoretical and methodological advance within the emerging field of critical global studies and the changing formations of nationhood.Read moreRead less
Assessing the intercultural in language learning. The implementation of Intercultural Language Learning (ICLL) is a priority in policy for the Commonwealth and States and is important in developing better understanding of people fro different cultures and countries. A key problem is the development of assessment models. This project is a first investigation of the process and theory of task-based assessment in ICLL and of the process of judgement in assessing languages and interculturality. The ....Assessing the intercultural in language learning. The implementation of Intercultural Language Learning (ICLL) is a priority in policy for the Commonwealth and States and is important in developing better understanding of people fro different cultures and countries. A key problem is the development of assessment models. This project is a first investigation of the process and theory of task-based assessment in ICLL and of the process of judgement in assessing languages and interculturality. The project will contribute to the quality of languages education nationally by enhancing languages teaching and learning and especially the contribution of languages learning to understanding, respecting and engaging with linguistic and cultural diversity, both in Australia and globally.Read moreRead less