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
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
Approximate structures for efficient processing of data streams. This project aims to increase the volume of streamed data that can be handled on a low-powered device with limited memory. In finance, health, and transport, data arrives at enormous rates, and data-driven decisions must be made quickly. Likewise, to keep Australia secure, national agencies monitor and gather vast data sets. Increasingly, devices and monitors that have limited resources are making these decisions and they require c ....Approximate structures for efficient processing of data streams. This project aims to increase the volume of streamed data that can be handled on a low-powered device with limited memory. In finance, health, and transport, data arrives at enormous rates, and data-driven decisions must be made quickly. Likewise, to keep Australia secure, national agencies monitor and gather vast data sets. Increasingly, devices and monitors that have limited resources are making these decisions and they require computational techniques that run extremely efficiently. The project expects to develop and improve approximate data structures that operate in tight resource bounds. Anticipated outcomes are improved event recognition and dramatic speedup in analysis of streams in areas such as finance, health, transport, and urban 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
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
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
Efficient Compression and Querying Techniques for Massive Text Collections. Web search services have become a fundamental tool used by governments, businesses, and individuals, and play a key role in our access to knowledge and information. In this project we aim to develop new techniques for representing the indexes at the heart of web search services, and to devise new processing algorithms with reduced resource requirements for resolving queries and providing useful and topical answers. Hig ....Efficient Compression and Querying Techniques for Massive Text Collections. Web search services have become a fundamental tool used by governments, businesses, and individuals, and play a key role in our access to knowledge and information. In this project we aim to develop new techniques for representing the indexes at the heart of web search services, and to devise new processing algorithms with reduced resource requirements for resolving queries and providing useful and topical answers. Higher query throughput and reduced storage load will benefit providers though reduced hardware and electricity costs, and will benefit society through better access to information, enhanced opportunities to connect and collaborate, and greater long-term scalability as on-line resources continue to multiply.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
Trisections, triangulations and the complexity of manifolds. This project aims at practical representations of 3-dimensional and 4-dimensional spaces as needed in applications. Topology is the mathematical study of the shapes of spaces. Geometry endows spaces with additional structure such as distance, angle and curvature. Special combinatorial structures, such as minimal triangulations, are often closely connected to geometric structures or topological properties. This project aims to construct ....Trisections, triangulations and the complexity of manifolds. This project aims at practical representations of 3-dimensional and 4-dimensional spaces as needed in applications. Topology is the mathematical study of the shapes of spaces. Geometry endows spaces with additional structure such as distance, angle and curvature. Special combinatorial structures, such as minimal triangulations, are often closely connected to geometric structures or topological properties. This project aims to construct computable invariants, connectivity results for triangulations, and algorithms to recognise fundamental topological properties and structures such as trisections and bundles.Read moreRead less