Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0989831
Funder
Australian Research Council
Funding Amount
$205,000.00
Summary
The Australian Music Navigator: research infrastructure for discovering, accessing and analysing Australia's musical landscape. The aim of the Australian Music Navigator initiative is to enhance the research, analysis, discoverability and understanding of Australian art music practice through the development of an innovative online facility. In addition to enabling access to digital sound and score objects, the facility will allow for sophisticated explorations of the rich inter-relationships be ....The Australian Music Navigator: research infrastructure for discovering, accessing and analysing Australia's musical landscape. The aim of the Australian Music Navigator initiative is to enhance the research, analysis, discoverability and understanding of Australian art music practice through the development of an innovative online facility. In addition to enabling access to digital sound and score objects, the facility will allow for sophisticated explorations of the rich inter-relationships between creators, performs, works, manifestations, events, genres, venues, awards and research. This infrastructure will ensure the prominence and accessibility of Australian music as a subject for research, and thereby contribute to our collective ability to engage with and understand our musical heritage.Read moreRead less
Efficient structure search over large graphs. The project aims to develop advanced search technology to support large-scale graph applications. The success of the project not only brings a breakthrough in technology development but also provides training for high quality personnel in this important and growing area, and brings considerable economic and social benefits to Australia.
Development of Models for the Three-Dimensional Analysis of Jack-Up Structures. Mobile jack-up structures perform most of the world's offshore drilling in water depths up to 120m, but have a higher accident rate then fixed installations. To improve their safety, this research will develop the framework for the integrated assessment of jack-up behaviour in three dimensions. To achieve this, an advanced plasticity model that describes cyclic behaviour of the circular shallow foundations of jack-up ....Development of Models for the Three-Dimensional Analysis of Jack-Up Structures. Mobile jack-up structures perform most of the world's offshore drilling in water depths up to 120m, but have a higher accident rate then fixed installations. To improve their safety, this research will develop the framework for the integrated assessment of jack-up behaviour in three dimensions. To achieve this, an advanced plasticity model that describes cyclic behaviour of the circular shallow foundations of jack-ups in both clay and sand will be developed and incorporated with random wave loading of seas in a dynamic structural analysis program. The anticipated advantages of the modelling techniques will be assessed against existing two dimensional industry guidelines and monitored field data. Read moreRead less
Investigation of potential spudcan punch through failure. The safe and economic use of mobile jack-up structures is critical to the prosperous development of Australia's significant offshore oil and gas industry. However, their use is hindered by potential 'punch-through' failure during installation, when their large conical footings can unexpectedly and uncontrollably push a locally strong zone of soil into underlying softer material. To improve their safety, this research will investigate a po ....Investigation of potential spudcan punch through failure. The safe and economic use of mobile jack-up structures is critical to the prosperous development of Australia's significant offshore oil and gas industry. However, their use is hindered by potential 'punch-through' failure during installation, when their large conical footings can unexpectedly and uncontrollably push a locally strong zone of soil into underlying softer material. To improve their safety, this research will investigate a potential new site-investigation procedure and develop an appropriate calculation method for predicting failures for sites where sand overlies clay. Results will be based on a series of innovative physical and numerical experiments, and assessed against field data and existing industry standards.Read moreRead less
Preventing Exfiltration of Sensitive Data by Malicious Insiders or Malwares. Data exfiltration is a serious threat as highlighted in recent leakage of sensitive data that resulted in huge economic losses as well as unprecedented breaches of national security. The aim of this project is to develop a comprehensive and robust solution for detection and prevention of sensitive data exfiltration attempts by malware and unauthorised human users. Expected outcomes include scalable monitoring methods an ....Preventing Exfiltration of Sensitive Data by Malicious Insiders or Malwares. Data exfiltration is a serious threat as highlighted in recent leakage of sensitive data that resulted in huge economic losses as well as unprecedented breaches of national security. The aim of this project is to develop a comprehensive and robust solution for detection and prevention of sensitive data exfiltration attempts by malware and unauthorised human users. Expected outcomes include scalable monitoring methods and efficient algorithms that will be able to prevent real-time exfiltration and identify previously undetected exfiltration of sensitive data. This should provide significant benefits to governments, defence networks as well as businesses and health sectors, as it will protect them from sophisticated cyber attacks.
Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE120101266
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
Low-complexity factor-graph-based receiver design for bandwidth-efficient communication systems over doubly selective channels. This project aims to solve challenging problems in future wireless communications using graph-based signal processing techniques. It will provide practical solutions for future broadband mobile communications to the bush and high-speed underwater acoustic communications in the oceans that are particularly important to Australia.
Blind separation of mutually correlated sources. This project is aimed at developing novel techniques for blind separation of mutually correlated sources. The expected outcomes will significantly advance the theory of blind source separation and improve the performance of important practical systems, such as densely deployed sensor networks and wireless video surveillance systems.
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Symmetry and computation. The overall objective of the project is to explore connections between symmetry and computation, especially the theory and algorithms that facilitate the use of groups in computational science. The main outcome will be theoretically fast algorithms and implementations to drive applications in the sciences and for secure communication.