Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Symmetry and computation. The overall objective of the project is to explore connections between symmetry and computation, especially the theory and algorithms that facilitate the use of groups in computational science. The main outcome will be theoretically fast algorithms and implementations to drive applications in the sciences and for secure communication.
Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power f ....Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for working with them. The fundamental research outcomes, in terms of theorems, algorithms, and the training of young research mathematicians, will thus both enhance the high international standing of Australian mathematics, and strengthen Australia's capabilities in these important areas.Read moreRead less
Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially facto ....Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially factor huge groups into smaller building-block groups in a manner akin to factoring an integer into its prime factors. The anticipated goal is to include the outcomes in publicly available symbolic algebra computer packages. As the theory of symmetry has broad applications in the mathematical and physical sciences, there is the potential for far reaching benefits.Read moreRead less
Modelling network innovation performance capability: a multidisciplinary approach. Innovation is created in complex network interactions.
By combining agent-based and fuzzy logic modelling, this project will identify combinations of resources to generate new ideas/technologies. This will enable managers and policy makers to understand the mechanisms behind innovation and implement policies aimed at enhancing innovation processes.
Efficient structure search over large graphs. The project aims to develop advanced search technology to support large-scale graph applications. The success of the project not only brings a breakthrough in technology development but also provides training for high quality personnel in this important and growing area, and brings considerable economic and social benefits to Australia.
Devising sophisticated computational comparative genomic analysis strategies for animal and plant genomes. Given the significance of comparative genomic analysis, this research proposal brings together Australian scientists with a track record in comparative genomic analysis, bioinformatics, molecular biology and statistics to work on consolidating a computational framework for comparative genomic analysis and investigating transcriptome data by capitalising on international collaborations and i ....Devising sophisticated computational comparative genomic analysis strategies for animal and plant genomes. Given the significance of comparative genomic analysis, this research proposal brings together Australian scientists with a track record in comparative genomic analysis, bioinformatics, molecular biology and statistics to work on consolidating a computational framework for comparative genomic analysis and investigating transcriptome data by capitalising on international collaborations and involvement. The outcomes of this research will be of benefit to the national community through technology transfer (such as the identification of novel and functional genomic non-coding sequences), training (in bioinformatics related activities) and national coordination (of bioinformatics activities).Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE120102388
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
From Bayesian filtering to smoothing and prediction for multiple object systems. This project will develop new and improved algorithms for tracking multiple targets, such as tanks, submarines or planes, using the state of the art in mathematical and computational design. These will enable more efficient and accurate technologies for defence related applications including intelligence, surveillance and reconnaissance.
Parameter estimation for multi-object systems. Parameter estimation in multi-object system is essential to the application of multi-object filtering to a wider range of practical problems with social and commercial benefits. This project develops the necessary parameter estimation techniques for complete 'plug-and-play' multi-object filtering solutions that facilitates widespread applications.