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
New Theory and Algorithms for Nonsmooth Optimisation with Application to Integer Programming. Mathematical optimisation plays a key role in a wide variety of applications in business, industry, engineering and science. For example, airlines cannot fly and radiation treatment for cancer cannot be delivered without solving (a series of) optimisation problems. Some classes of optimisation problem are very well solved, with clear mathematical foundations, efficient algorithms, and reliable software ....New Theory and Algorithms for Nonsmooth Optimisation with Application to Integer Programming. Mathematical optimisation plays a key role in a wide variety of applications in business, industry, engineering and science. For example, airlines cannot fly and radiation treatment for cancer cannot be delivered without solving (a series of) optimisation problems. Some classes of optimisation problem are very well solved, with clear mathematical foundations, efficient algorithms, and reliable software implementations. Both nonsmooth and integer optimisation problems have a good mathematical basis, but there are "gaps"; existing methods cannot always solve real industrial problems. This project will deliver better methods, built on better theory, and so will yield better solutions for important applications.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
Response of Proteins to External Non-Ionising Radiation: an Experimental and Computer Modelling Investigation. The expanding use of digital technologies such as mobile phones has led to major health concerns about the effects of non-ionising pulsed radiation exposure which has been shown to produce instantaneous temperature rises undetectable by normal thermometry. The health implications of exposure are not understandable without establishing molecular mechanisms by which pulsed microwaves can ....Response of Proteins to External Non-Ionising Radiation: an Experimental and Computer Modelling Investigation. The expanding use of digital technologies such as mobile phones has led to major health concerns about the effects of non-ionising pulsed radiation exposure which has been shown to produce instantaneous temperature rises undetectable by normal thermometry. The health implications of exposure are not understandable without establishing molecular mechanisms by which pulsed microwaves can cause biological effects. We aim to establish methods for studying the molecular mechanisms of protein structural and energetic changes occurring due to non-ionising radiation. The results will help our industry partner to design specific drugs as well as formulate a scientifically based standard for microwave utilisation.Read moreRead less