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
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
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
RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this ....RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this project is to design new public-key cryptography hardware to provide faster, more secure communications for computers, networks and smart cards. Achieving this will require innovations in the way computers perform arithmetic and how this arithmetic is realised as an integrated circuit.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
Intelligent Resource Allocation Techniques for Next Generation Wireless Mobile Communication Networks. The project will develop radio and network resource allocation techniques to maximise network utilisation and to offer guaranteed Quality of Service (QoS) for multimedia traffic in 3G/4G wireless mobile communication networks. In particular, this work will study the problem of radio channel allocation in wireless IP (Internet protocol) multimedia networks. The project will develop resource allo ....Intelligent Resource Allocation Techniques for Next Generation Wireless Mobile Communication Networks. The project will develop radio and network resource allocation techniques to maximise network utilisation and to offer guaranteed Quality of Service (QoS) for multimedia traffic in 3G/4G wireless mobile communication networks. In particular, this work will study the problem of radio channel allocation in wireless IP (Internet protocol) multimedia networks. The project will develop resource allocation algorithms based on traffic conditions, link qualities and service requirements using statistical traffic models, mobile software agents and neural network techniques.
Read moreRead less
Improving flow management for the control of blue-green algal blooms. Cyanobacterial (blue-green algal) blooms are a major water quality problem worldwide. They are toxic, produce odours and are estimated to cost around $200 million/year in Australia alone. Flow management is one of the most promising approaches for combating the cyanobacterial bloom problem in rivers. In this research, a new risk-based approach for quantifying the impact of flow management on cyanobacterial blooms is developed, ....Improving flow management for the control of blue-green algal blooms. Cyanobacterial (blue-green algal) blooms are a major water quality problem worldwide. They are toxic, produce odours and are estimated to cost around $200 million/year in Australia alone. Flow management is one of the most promising approaches for combating the cyanobacterial bloom problem in rivers. In this research, a new risk-based approach for quantifying the impact of flow management on cyanobacterial blooms is developed, which can be applied to rivers world wide. The utility of the approach is demonstrated for key sites in the Murray-Darling basin, providing a valuable decision support tool for river managers.Read moreRead less
The Next Step in Intelligent Decision-Support Systems (IDSS): Systems that Learn and Adapt. This project will benefit Australia's scientific knowledge and technology base in the areas of evolutionary computation, business intelligence, and decision management. The outcomes will advance Australian companies and organisations, as many common yet complex business problems can be better addressed with systems that automatically learn and adapt to environmental changes. Such complex business problems ....The Next Step in Intelligent Decision-Support Systems (IDSS): Systems that Learn and Adapt. This project will benefit Australia's scientific knowledge and technology base in the areas of evolutionary computation, business intelligence, and decision management. The outcomes will advance Australian companies and organisations, as many common yet complex business problems can be better addressed with systems that automatically learn and adapt to environmental changes. Such complex business problems include dynamic scheduling (in the manufacturing sector), resource allocation optimisation (in the defence, mining, and agriculture sectors), and network design optimisation (in the telecommunications and energy sectors).Read moreRead less
Adaptive Agents Simulation of Freshwater Ecosystems: Artificial Intelligence Framework to Discover and Forecast Emergent Ecosystem Structures and Behaviours in Response to Environmental Changes. The project aims at intelligent adaptive agent models for lakes and rivers in order to improve understanding and proactive management of these highly complex ecosystems. Little is known about species succession in freshwater ecosystems in response to local and global environmental changes. Evolutionary a ....Adaptive Agents Simulation of Freshwater Ecosystems: Artificial Intelligence Framework to Discover and Forecast Emergent Ecosystem Structures and Behaviours in Response to Environmental Changes. The project aims at intelligent adaptive agent models for lakes and rivers in order to improve understanding and proactive management of these highly complex ecosystems. Little is known about species succession in freshwater ecosystems in response to local and global environmental changes. Evolutionary algorithms embodied in differential equations, neural networks and rules allow adaptive agents to simulate emergent structures and behaviours of algae and zooplankton communities interacting by competition and predation. The agents are trained and tested by ecological time-series of twelve lakes and rivers, and validated for the Mediterranean Myponga Reservoir, South Australia, and the temperate Burrinjuck Reservoir, NSW.Read moreRead less