Realising the promise of neural networks for practical optimisation: improving their efficiency and effectivess through chaotic dynamics and hardware implementation. Combinatorial optimisation problems such as transportation routing and assembly-line scheduling are critical to the efficiency of many industries, but their combinatorial explosion makes rapid solution difficult. Neural networks (NNs) hold much potential for rapid solution though hardware implementation, but we need to improve the q ....Realising the promise of neural networks for practical optimisation: improving their efficiency and effectivess through chaotic dynamics and hardware implementation. Combinatorial optimisation problems such as transportation routing and assembly-line scheduling are critical to the efficiency of many industries, but their combinatorial explosion makes rapid solution difficult. Neural networks (NNs) hold much potential for rapid solution though hardware implementation, but we need to improve the quality of their solutions before developing hardware. We have previously shown that the rich dynamics of chaos can improve the efficiency and effectiveness of NNs. We aim to develop new chaotic NN models, rigorously evaluate them on industrially significant problems such as those arising in manufacturing, logistics and telecommunications, and demonstrate their speed through hardware acceleration.Read moreRead less
Statistical Analysis of Some Partially Observed Processes Arising in Ecological Research. The expected outcomes of this project are the provision of statistical methods to draw important information from samples from wild animal populations and the training of researchers to conduct high quality statistical ecological research. The national benefit lies on the availability of the developed techniques and researchers from this project to the society for finding better ways of managing Australia's ....Statistical Analysis of Some Partially Observed Processes Arising in Ecological Research. The expected outcomes of this project are the provision of statistical methods to draw important information from samples from wild animal populations and the training of researchers to conduct high quality statistical ecological research. The national benefit lies on the availability of the developed techniques and researchers from this project to the society for finding better ways of managing Australia's ecological systems and making Australia environmentally sustainable.Read moreRead less
Doing Bayesian Statistics Better: an Inter-Disciplinary Perspective for Improving Models, Priors, Design and Applications. Through improving methods for data analysis and design, this project increases the capability of individuals, communities and governments to make correct decisions based on data, leading to immeasurable human, social and financial benefits. It will also directly enhance Australia's international research reputation, promote inter-disciplinary links, promote research by wome ....Doing Bayesian Statistics Better: an Inter-Disciplinary Perspective for Improving Models, Priors, Design and Applications. Through improving methods for data analysis and design, this project increases the capability of individuals, communities and governments to make correct decisions based on data, leading to immeasurable human, social and financial benefits. It will also directly enhance Australia's international research reputation, promote inter-disciplinary links, promote research by women in a non-traditional area, keep intellectual property within Australia, train quality undergraduates and postgraduates, and contribute to public good through its focus on applications in key national priorities: health, environment and genetics. Read moreRead less
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less
Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build ....Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.Read moreRead less
Geometric structures in representation theory. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will formulate and develop three new fundamental mathematical concepts: cellular algebras, eigenspace geometries, and diagram algebras. Benefits include enhancement of Australi ....Geometric structures in representation theory. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will formulate and develop three new fundamental mathematical concepts: cellular algebras, eigenspace geometries, and diagram algebras. Benefits include enhancement of Australia's position at the very frontier of world class mathematical research, and a myriad of potential applications to physics, coding theory, information technology, electronic security and experimental design.Read moreRead less
The geometry of exotic nilpotent cones. This research will describe the geometry of some important objects which sit at the boundary of algebra, geometry, and combinatorics. It has intrinsic value as a significant addition to the heritage of mathematical thought, and will strengthen Australian traditions in these areas of mathematics.
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less