Making software more reliable using a new model for entropies of computers' internal state. A new mathematical analysis of the way computer systems exchange data between their components has led to novel design approaches for the programs implementing those systems. This reduces their cost and increases their reliability, with improvements ranging from small-scale smart devices to widely distributed internet protocols.
Design and deployment of practical anonymous access systems. This project aims to design, test and deploy a practical and highly secure anonymous access system for online businesses that offer services on a free trial basis. Currently, online businesses are unable to take advantage of feedback from customers during and after trial periods; nor do currently available mechanisms offer practical privacy protection to customers. The project expects to overcome these barriers by developing innovative ....Design and deployment of practical anonymous access systems. This project aims to design, test and deploy a practical and highly secure anonymous access system for online businesses that offer services on a free trial basis. Currently, online businesses are unable to take advantage of feedback from customers during and after trial periods; nor do currently available mechanisms offer practical privacy protection to customers. The project expects to overcome these barriers by developing innovative cryptographic solutions and security testing methods that will inform new protocol design and implementation, which will bring long-term benefits to online businesses and their customers. The project also aims to develop new, distributed ledger technology, which is a strategic technology trend. This will provide significant benefits such as a practical, reliable and highly secure anonymous access system for online businesses, in Australia and worldwide, that offer services on a free trial basis, which would enable these service providers to add value to and enhance their product offerings.Read moreRead less
Unleashing the potential of VR: reducing sickness in head-mounted displays. Virtual reality (VR) is a breakthrough technology with a host of applied uses. Unfortunately, many people become sick when using head-mounted displays (HMDs). Our project proposes, and aims to test, a new theory of this cybersickness. We intend to quantify the sensory conflicts produced by HMD VR for the first time and measure their effects on perception, eye-movements, balance and well-being. The project will 1) determi ....Unleashing the potential of VR: reducing sickness in head-mounted displays. Virtual reality (VR) is a breakthrough technology with a host of applied uses. Unfortunately, many people become sick when using head-mounted displays (HMDs). Our project proposes, and aims to test, a new theory of this cybersickness. We intend to quantify the sensory conflicts produced by HMD VR for the first time and measure their effects on perception, eye-movements, balance and well-being. The project will 1) determine the causes of, and conditions responsible for, cybersickness; and 2) offer practical information on how to prevent it. These outcomes are expected to directly benefit, and greatly improve HMD use in, fields ranging from defence, education, entertainment, gaming, medicine, real estate, simulation training and tourism.Read moreRead less
Estimation of Complex Networked Dynamic Systems. An essential part of science and engineering is the development of mathematical models to describe how observed quantities relate to one another. For example, such models have proven to be extremely powerful in predicting the value of financial instruments, in providing high performance control of robots, and in detecting faults or changes in petrochemical processing plants. Constructing these models based on measurements from the system itself is ....Estimation of Complex Networked Dynamic Systems. An essential part of science and engineering is the development of mathematical models to describe how observed quantities relate to one another. For example, such models have proven to be extremely powerful in predicting the value of financial instruments, in providing high performance control of robots, and in detecting faults or changes in petrochemical processing plants. Constructing these models based on measurements from the system itself is known as system identification. This project is directed at developing new system identification methods for situations that, on the one hand, have previously been considered unsolvable, and on the other, are acknowledged as being of high practical interest.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