Stochastic Geometry for Multi-sensor Data Fusion System. The aim of this project is to develop efficient algorithms for tracking and sensor management in a multi-sensor multi-target environment. Finite random set theory provides a natural way of representing a random number of (random) object states, an issue that has been largely ignored in the tracking literature until recently. Although a satisfactory foundation for multiple object filtering has been provided by random set theory, in this ear ....Stochastic Geometry for Multi-sensor Data Fusion System. The aim of this project is to develop efficient algorithms for tracking and sensor management in a multi-sensor multi-target environment. Finite random set theory provides a natural way of representing a random number of (random) object states, an issue that has been largely ignored in the tracking literature until recently. Although a satisfactory foundation for multiple object filtering has been provided by random set theory, in this early stage no algorithm capable of tracking many targets has emerged from this framework. We are confident that efficient algorithms can be developed by exploiting the insights and mathematical tools of stochastic geometryRead moreRead less
Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.Read moreRead less
Beyond black-box models: interaction in eXplainable Artificial Intelligence. This project addresses a key issue in automated decision making: explaining how a decision was reached by a computer system to its users. Its aim is to progress towards a new generation of explainable decision models, which would match the performance of current black-box systems while at the same time allow for transparency and detailed interpretation of the underlying logic. This project expects to generate new knowl ....Beyond black-box models: interaction in eXplainable Artificial Intelligence. This project addresses a key issue in automated decision making: explaining how a decision was reached by a computer system to its users. Its aim is to progress towards a new generation of explainable decision models, which would match the performance of current black-box systems while at the same time allow for transparency and detailed interpretation of the underlying logic. This project expects to generate new knowledge in modelling interdependencies of decision criteria using recent advances in the theory of capacities. The expected outcomes are sophisticated but tractable models in which mutual dependencies of decision rules and criteria are treated explicitly and can be thoroughly evaluated. Read moreRead less
Faster, cheaper, better: mathematical advances for improved design and scheduling of robotic instrumentation. This project extends previous research addressing mathematical challenges in the optimal design and scheduling of robotic instrumentation. The Partner Organisation manufactures instruments for cancer diagnostics, and designs instruments that need to produce rapid, high-quality results, at a reasonable cost in a competitive market. It is intended that powerful new scheduling algorithms wi ....Faster, cheaper, better: mathematical advances for improved design and scheduling of robotic instrumentation. This project extends previous research addressing mathematical challenges in the optimal design and scheduling of robotic instrumentation. The Partner Organisation manufactures instruments for cancer diagnostics, and designs instruments that need to produce rapid, high-quality results, at a reasonable cost in a competitive market. It is intended that powerful new scheduling algorithms will be devised to handle their complex problem, which is more challenging than standard problems. The developed methodologies aim to reduce the product development cycle and boost the competitiveness of Australian manufacturers. In addition, new theoretical and algorithmic contributions aim to enable improved scheduling in other application areas.Read moreRead less
Designing minimum-cost networks that are robust and avoid obstacles. The goal of this project is to construct a mathematical framework for the design of minimum-cost networks that are robust and avoid obstacles. Physical networks such as those required for communication, power and transportation are vital for our society, but are costly from economic and environmental viewpoints. There is a need for mathematical optimisation tools to design minimum-cost networks that take into account practical ....Designing minimum-cost networks that are robust and avoid obstacles. The goal of this project is to construct a mathematical framework for the design of minimum-cost networks that are robust and avoid obstacles. Physical networks such as those required for communication, power and transportation are vital for our society, but are costly from economic and environmental viewpoints. There is a need for mathematical optimisation tools to design minimum-cost networks that take into account practical considerations such as surviving local connectivity failures and avoiding pre-existing obstacles. These are recognised as mathematically challenging problems. Current approaches employ restrictive models that do not capture the flexibility of modern infrastructure networks. This project aims to develop geometric design methods using variable ‘Steiner points’, leading to fast algorithms for optimally solving these problems.Read moreRead less
Distributed Optimisation without Central Coordination. This project will develop the mathematical foundations for discovery and analysis of iterative methods for optimisation problems in distributed computing systems. Most methods in distributed optimisation were not designed for distributed computing, rather they were adapted for purpose post-hoc. By building on recent advances in monotone operator splitting, this project expects to develop a mathematical theory for decentralised optimisation a ....Distributed Optimisation without Central Coordination. This project will develop the mathematical foundations for discovery and analysis of iterative methods for optimisation problems in distributed computing systems. Most methods in distributed optimisation were not designed for distributed computing, rather they were adapted for purpose post-hoc. By building on recent advances in monotone operator splitting, this project expects to develop a mathematical theory for decentralised optimisation algorithms specially designed for distributed systems. The framework is expected to produce a suite of algorithms, each customised to exploit a specific network configuration. The project will provide significant benefits in distributed machine learning applications such as federated learning.Read moreRead less
Derivative free algorithms for large scale nonsmooth and global optimization and their applications. The outcomes expected from this research fall broadly into two categories: 1) the development of a new class of effective readily implementable derivative free techniques for large scale non-smooth and global optimisation and 2) the development of new algorithms based on derivative free optimization techniques for solving data mining, resource allocation problems and some problems in bioinformati ....Derivative free algorithms for large scale nonsmooth and global optimization and their applications. The outcomes expected from this research fall broadly into two categories: 1) the development of a new class of effective readily implementable derivative free techniques for large scale non-smooth and global optimisation and 2) the development of new algorithms based on derivative free optimization techniques for solving data mining, resource allocation problems and some problems in bioinformatics. In particular, the application of these techniques to molecular biology and cluster analysis will be very important for the development of competitive technologies for Australia.
Read moreRead less
Approximate bundle methods in nonsmooth optimisation and their applications in some complex systems. Non-smooth and non-convex optimisation has many applications in industry and science. One of the powerful methods in non-smooth optimisation is a bundle method. This project will develop new versions of the bundle method by using continuous approximations to the sub-differential and extend this method for solving non-convex (smooth and non-smooth) optimisation problems by using max-min of linear ....Approximate bundle methods in nonsmooth optimisation and their applications in some complex systems. Non-smooth and non-convex optimisation has many applications in industry and science. One of the powerful methods in non-smooth optimisation is a bundle method. This project will develop new versions of the bundle method by using continuous approximations to the sub-differential and extend this method for solving non-convex (smooth and non-smooth) optimisation problems by using max-min of linear functions for the approximation of the functions involved. The outcome will be a new class of effective readily implementable algorithms for the minimization of non-smooth and non-convex functions, whose usefulness will be demonstrated by applications in cluster analysis, biochemistry and robotics.
Read moreRead less
Constrained and Stable Solutions of Nonlinear and Semismooth Equations. In this project, comprehensive models for designing safe power system parameters will be proposed, efficient algorthms for solving these models will be constructed. The new models and algorithms in this project will provide efficient tools to prevent catastrophic events in power systems, which is related with national security. This project will also strengthen collaboration of Australian applied
mathematians with inter ....Constrained and Stable Solutions of Nonlinear and Semismooth Equations. In this project, comprehensive models for designing safe power system parameters will be proposed, efficient algorthms for solving these models will be constructed. The new models and algorithms in this project will provide efficient tools to prevent catastrophic events in power systems, which is related with national security. This project will also strengthen collaboration of Australian applied
mathematians with international researchers and engineering scientists. This is important for the advance of science and technology in
Australia.Read moreRead less
Scalable Robust Video Surveillance over Constrained Networks. Real-time monitoring of large numbers of people is becoming increasingly important for applications such as efficient service delivery and security against both common crime and terrorism. The use of human operators for such tasks is infeasible due to the large amount of data collected. Existing autonomous video surveillance systems are prone to high numbers of false alarms and often require expensive hardware. This proposal seeks ....Scalable Robust Video Surveillance over Constrained Networks. Real-time monitoring of large numbers of people is becoming increasingly important for applications such as efficient service delivery and security against both common crime and terrorism. The use of human operators for such tasks is infeasible due to the large amount of data collected. Existing autonomous video surveillance systems are prone to high numbers of false alarms and often require expensive hardware. This proposal seeks to address both difficulties by using rigorous statistical signal processing methods to optimally fuse information from a network of low-cost cameras.Read moreRead less