Optimal electromaterial structures for energy applications. This project aims to develop new mathematical and modelling approaches to determine optimal configurations and parameters for material structures created from three-dimensional printing of combined metals and electromaterials. Electromaterials are needed for sustainable energy, but solving coupled-systems of highly nonlinear governing equations is needed for optimal control of spatial arrangement and composition in nano and micro-struct ....Optimal electromaterial structures for energy applications. This project aims to develop new mathematical and modelling approaches to determine optimal configurations and parameters for material structures created from three-dimensional printing of combined metals and electromaterials. Electromaterials are needed for sustainable energy, but solving coupled-systems of highly nonlinear governing equations is needed for optimal control of spatial arrangement and composition in nano and micro-structural domains. Dealing with this mathematical complexity is critical to developing high efficiency energy generation and gas storage systems. This is expected to enhance transport mechanisms within electrochemical devices and create opportunities for industry to use electrofunctional materials.Read moreRead less
A new approach to compressed sensing. Compressed sensing is an exciting new paradigm promising vastly improved signal sampling and reconstruction in a wide variety of applications including digital cameras, mobile phones and MRI machines. This project will explore a newly discovered approach to compressed sensing which uses mathematical arrays known as hash families.
Expander graphs, isoperimetric numbers, and forwarding indices. Expanders are sparse but well connected networks. With numerous applications to modern technology, they have attracted many world leaders in mathematics and computer science. This project aims at substantial advancement on some important problems on expanders and related areas. It will put Australia at the forefront of this topical field.
Fuzzy modelling and design of complex networked systems. This project aims to develop analysis and synthesis approaches for non-linear networked control systems, including modelling, stability analysis and design problems. The non-linear effects and analysis of networked control systems have received considerable attention because of the universal existence of nonlinearities in practice. Network-based non-linear systems are widely used but face problems from non-linearities and networks. This pr ....Fuzzy modelling and design of complex networked systems. This project aims to develop analysis and synthesis approaches for non-linear networked control systems, including modelling, stability analysis and design problems. The non-linear effects and analysis of networked control systems have received considerable attention because of the universal existence of nonlinearities in practice. Network-based non-linear systems are widely used but face problems from non-linearities and networks. This project will establish a software-based nonlinear networked control system platform to test the presented algorithms and strengthen the scenarios in applications. This project is expected to increase Australian excellence in cyber-security and advanced manufacturing.Read moreRead less
Relaxed correctness criteria for modern multi-core architectures. This project seeks to lay groundwork for fully exploiting the potential of multicore computers. Multicore computers have become ubiquitous over the last decade, now being standard in everything from laptops to mobile phones. Their benefits are clear – better performance leading to more sophisticated applications. Key to ensuring those benefits are complex, and often subtle, algorithms that exploit the parallelism that multicore co ....Relaxed correctness criteria for modern multi-core architectures. This project seeks to lay groundwork for fully exploiting the potential of multicore computers. Multicore computers have become ubiquitous over the last decade, now being standard in everything from laptops to mobile phones. Their benefits are clear – better performance leading to more sophisticated applications. Key to ensuring those benefits are complex, and often subtle, algorithms that exploit the parallelism that multicore computers offer. This project aims to lay foundations for extending those benefits to applications where high reliability is a concern. It plans to do so by developing theoretical results about the correctness of algorithms on standard multicore computers, and practical tools and techniques to help programmers of multicore computers to better understand the behaviour of their code.Read moreRead less
More information for better utility; less information for better privacy. More information for better utility; less information for better privacy. The contradiction is everywhere in contemporary IT: doctors need accurate information for diagnosis, but insurance companies' access should be limited; on-line retailers use your postcode to present interesting products, but they also deduce from it how much you will pay. One way to manage this contradiction is to tolerate "small" information flows p ....More information for better utility; less information for better privacy. More information for better utility; less information for better privacy. The contradiction is everywhere in contemporary IT: doctors need accurate information for diagnosis, but insurance companies' access should be limited; on-line retailers use your postcode to present interesting products, but they also deduce from it how much you will pay. One way to manage this contradiction is to tolerate "small" information flows providing the risks involved can be accurately gauged. This project will build on recent advances in information measuring to develop new techniques for measuring the extent to which computer systems can defend against threats to privacy. Success in this project will lead to completely novel methods for security analysis of on-line applications where privacy is a critical issue.Read moreRead less
Beyond Planarity: Algorithms for Visualisation of Sparse Non-Planar Graphs. This project aims to develop new efficient algorithms to enable analysts to visually understand complex data and detect anomalies or patterns. It aims to develop visualisation algorithms for sparse non-planar graphs arising from real-world networks. Specifically, the project plans to investigate structural properties of sparse non-planar topological graphs such as k-planar graphs, k-skew graphs, and k-quasi-planar graphs ....Beyond Planarity: Algorithms for Visualisation of Sparse Non-Planar Graphs. This project aims to develop new efficient algorithms to enable analysts to visually understand complex data and detect anomalies or patterns. It aims to develop visualisation algorithms for sparse non-planar graphs arising from real-world networks. Specifically, the project plans to investigate structural properties of sparse non-planar topological graphs such as k-planar graphs, k-skew graphs, and k-quasi-planar graphs, and design efficient testing algorithms, embedding algorithms, and drawing algorithms. These algorithms will be evaluated with real-world social networks and biological networks. New insights into the mathematical interplay between combinatorial and geometric structures would provide a theoretical foundation for a new generation of complex network visualisation methods with potential applications in social networks, systems biology, health informatics, finance and security.Read moreRead less
Reliable and efficient algorithms for modelling dynamical systems from data. Mathematical and computational models are increasingly important in diverse areas of science and engineering including aircraft and automotive design, robotics, medical sensing, and biology. However, finding an accurate model remains a difficult task. This project will develop new methods to reliably find highly accurate models from recorded data.
New mathematics for multi-extremal optimization and diffusion tensor imaging. This project aims to establish numerically certifiable mathematical theory and methods for semi-algebraic optimisation problems. Numerically certifiable optimisation principles and techniques are vital for the practical use of optimisation technologies because they can be readily implemented by common computer models and algorithms. Yet no such methodologies exist for multi-extremal, semi-algebraic optimisation problem ....New mathematics for multi-extremal optimization and diffusion tensor imaging. This project aims to establish numerically certifiable mathematical theory and methods for semi-algebraic optimisation problems. Numerically certifiable optimisation principles and techniques are vital for the practical use of optimisation technologies because they can be readily implemented by common computer models and algorithms. Yet no such methodologies exist for multi-extremal, semi-algebraic optimisation problems which are common in modern science and medicine. The expected outcomes of this project include enhanced optimisation methods for diffusion tensor imaging, an emerging technology in brain sciences.Read moreRead less
A New Approach to High-Performance Control of Nonlinear Systems. The coming generation of robots are highly mobile and will interact significantly with their environment, each other, and human collaborators. However, this leads to highly coupled nonlinear dynamical behaviour, and achieving accurate and reliable control of these systems is pushing current control theory to breaking point. This project aims to develop a new approach to control of nonlinear systems based on contraction theory and c ....A New Approach to High-Performance Control of Nonlinear Systems. The coming generation of robots are highly mobile and will interact significantly with their environment, each other, and human collaborators. However, this leads to highly coupled nonlinear dynamical behaviour, and achieving accurate and reliable control of these systems is pushing current control theory to breaking point. This project aims to develop a new approach to control of nonlinear systems based on contraction theory and convex optimisation, extending the power of optimisation-based control from linear to non-linear systems. The project is expected to lead to new theoretical developments, constructive algorithms and software, and experimental demonstrations on a range of platforms including bipedal walking robots and underwater robots.Read moreRead less