Reliable and Seamless Service Provisioning in Mobile Edge Computing . This project aims to develop enabling technologies to provide reliable and seamless services in mobile edge computing environments. This project will develop advanced algorithms with performance guarantees and efficient mechanisms for such service provisioning. The project expects to lay theoretical foundations and generate new knowledge for the provisioning of reliability-aware and mobility-aware services in mobile edge compu ....Reliable and Seamless Service Provisioning in Mobile Edge Computing . This project aims to develop enabling technologies to provide reliable and seamless services in mobile edge computing environments. This project will develop advanced algorithms with performance guarantees and efficient mechanisms for such service provisioning. The project expects to lay theoretical foundations and generate new knowledge for the provisioning of reliability-aware and mobility-aware services in mobile edge computing. The expected outcome of the project is a set of solutions to the myriad of services relying on mobile edge computing including e-Health, autonomous vehicles, and Internet of Things. This project will develop key fundamental technologies to improve Australia’s standing in the international research community.
Read moreRead less
Quantum computation: through the algorithm and complexity theory lens. This project aims to advance our knowledge of quantum computation through the lens of algorithm and complexity theory. Three core areas of the theory will be examined: interactive computing models, query complexity, and circuit lower bounds. The expected outcomes include: revealing the quantum advantages of interactive computing models; techniques for verifying quantum devices in the cloud and quantum cloud computing in gener ....Quantum computation: through the algorithm and complexity theory lens. This project aims to advance our knowledge of quantum computation through the lens of algorithm and complexity theory. Three core areas of the theory will be examined: interactive computing models, query complexity, and circuit lower bounds. The expected outcomes include: revealing the quantum advantages of interactive computing models; techniques for verifying quantum devices in the cloud and quantum cloud computing in general; sharpening the separation between algorithm performance in quantum and classical query models; establishing both unconditional and conditional hardness results for quantum circuits. This comprehensive understanding will enhance Australia's research portfolio in the theory of quantum computing.Read moreRead less
Devising tools for big data sets to support computational movement analysis. This project aims to devise practical fundamental algorithms and multi-purpose data structures with performance guarantees for big spatio-temporal data sets. Systematic analysis of trajectory data has been occurring since the 1950s, but with the recent technological advances the size of the data sets has recently soared. Existing computational tools were developed for small to mid-size data sets. This project aims to d ....Devising tools for big data sets to support computational movement analysis. This project aims to devise practical fundamental algorithms and multi-purpose data structures with performance guarantees for big spatio-temporal data sets. Systematic analysis of trajectory data has been occurring since the 1950s, but with the recent technological advances the size of the data sets has recently soared. Existing computational tools were developed for small to mid-size data sets. This project aims to devise practical fundamental algorithms that will enable the development of domain specific tools for a wide range of applications, including sports, behavioural ecology, transport, and surveillance.Read moreRead less
Faithful Visual Analytics: models, metrics and algorithms. This project aims to deliver new models, metrics and algorithms for Faithful Visual Analytics of complex data. For a purported visual representation of some data, "faithfulness" measures how accurately the visual representation describes the data. This project will develop new models for Faithful Visual Analytics, design new faithfulness metrics for faithful visual analytics of complex networks, design new algorithms to compute faithful ....Faithful Visual Analytics: models, metrics and algorithms. This project aims to deliver new models, metrics and algorithms for Faithful Visual Analytics of complex data. For a purported visual representation of some data, "faithfulness" measures how accurately the visual representation describes the data. This project will develop new models for Faithful Visual Analytics, design new faithfulness metrics for faithful visual analytics of complex networks, design new algorithms to compute faithful visualisations, and evaluate using real world social network and biological network data sets. The new models, metrics and algorithms produced by this project will be used in the next generation Visual Analytic tools to enable analysts develop accurate insights and new knowledge of complex data.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
Sublinear algorithms for visual analytics of extreme-scale networks. This project aims to design new sublinear algorithms for the visual analytics of extreme-scale networks, involving billions of nodes. Based on algorithmics for graph drawing, integrating sublinear algorithms and distributed algorithms, the project will introduce new quality metrics for good visualisation of extreme-scale networks, design new sublinear-time algorithms to compute good visualisation, implement them in a distribute ....Sublinear algorithms for visual analytics of extreme-scale networks. This project aims to design new sublinear algorithms for the visual analytics of extreme-scale networks, involving billions of nodes. Based on algorithmics for graph drawing, integrating sublinear algorithms and distributed algorithms, the project will introduce new quality metrics for good visualisation of extreme-scale networks, design new sublinear-time algorithms to compute good visualisation, implement them in a distributed computing environment, and evaluate with a real world social network and biological network data sets. The new algorithms produced by this project will be used in the next generation visual analytic tools for extreme-scale data to enable analysts develop new insights and new knowledge of extreme-scale data.Read moreRead less
Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from ....Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from the field of parameterised complexity, creating powerful, practical solutions for these problems. It is expected to shed much-needed light on the vast and puzzling gap between theory and practice, and give researchers fast new software tools for large-scale experimentation and cutting-edge computer proofs.Read moreRead less
Improved algorithms via random sampling. Randomized methods have recently come into the spotlight when it comes to solving computationally "intractable" subset problems. The running time of a range of algorithms has been improved by replacing their first steps by a simple method of adding to the solution a small subset uniformly at random, and repeating the process many times. This project will explore various other ways how (not necessarily uniform) random sampling can improve the running time ....Improved algorithms via random sampling. Randomized methods have recently come into the spotlight when it comes to solving computationally "intractable" subset problems. The running time of a range of algorithms has been improved by replacing their first steps by a simple method of adding to the solution a small subset uniformly at random, and repeating the process many times. This project will explore various other ways how (not necessarily uniform) random sampling can improve the running time of algorithms; and explore the analysis of polynomial-time randomized algorithms. The project will focus on cycle cutsets and domination problems that have applications in operating systems, chip design and verification, facility location, and surveillance and monitoring.
Read moreRead less