'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will a ....'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will also deepen our understanding of the underlying mathematics of such systems, and of other mathematical foundations of economic research. One application will be a new measure of the relative power resulting from voting rules. Such measures assist the design of democratic institutions by allowing the designer to assess the fairness of the outcomes they produce.Read moreRead less
Searching for near-exact protein models. This project aims to develop novel and efficient heuristic-based algorithms leading to near accurate protein tertiary structure models. Knowledge about protein structures is fundamental to our understanding of living systems. The progress on experimental determination of these structures has been extremely limited and remains an open challenge in molecular biology. Computational prediction of protein structures from sequences is emerging as a promising ap ....Searching for near-exact protein models. This project aims to develop novel and efficient heuristic-based algorithms leading to near accurate protein tertiary structure models. Knowledge about protein structures is fundamental to our understanding of living systems. The progress on experimental determination of these structures has been extremely limited and remains an open challenge in molecular biology. Computational prediction of protein structures from sequences is emerging as a promising approach, but its accuracy is far from satisfactory. The software systems developed in this project will be used in structural identification of target proteins in drug design. This will make drug design process more efficient, saving time and cost, potentially saving lives.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
Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
Sociophysical Interactions: understanding the role of social and tangible technologies in maintaining good habits into old age. How can technology help us 'age well'? The project will study, design and evaluate novel information systems that integrate and support social engagement and physical activity in order to build foundational knowledge about these technologies and maintain the opportunities for social engagement and physical activity in our ageing population.
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
Improved detection and characterisation of breast cancer using magnetic resonance imaging, and novel image analysis and pattern recognition techniques. Breast cancer is a leading cause of death in Australian women. With no clear cause, one mainstay of management has been early detection. Newer medical imaging technologies such as magnetic resonance imaging require complex analysis to achieve their full benefit. Should the computationally demanding analyses of these images provide more sensitive ....Improved detection and characterisation of breast cancer using magnetic resonance imaging, and novel image analysis and pattern recognition techniques. Breast cancer is a leading cause of death in Australian women. With no clear cause, one mainstay of management has been early detection. Newer medical imaging technologies such as magnetic resonance imaging require complex analysis to achieve their full benefit. Should the computationally demanding analyses of these images provide more sensitive and specific detection of early cancers, the potential reductions in morbidity and mortality from breast cancer will be of immense value. Successful implementation of the proposed project will further enhance Australia's position as a world leader in biomedical research and application of computational technologies to health problems.Read moreRead less
Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficie ....Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficient algorithms and data structures for gathering high-quality approximations of the full proximity information, and will use these innovations as the basis for new, practical tools for visualization, and clustering in data mining.Read moreRead less
Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordi ....Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordinating these lower-level "skills". Such languages allow development of sophisticated robot controllers. We aim to develop a cognitive robotics language capable of controlling robots in real-time and in a multi-agent setting requiring coordination among agents.Read moreRead less