Social engagement in Spiritualism. This project aims to investigate the sociological, anthropological and historical dimensions of Spiritualism in Australia, a small but highly influential religious movement. 19th century Spiritualist ideas about the afterlife have shaped many citizens’ beliefs that individual personality survives death in a family-centred spirit realm. Combining both sociological and anthropological approaches, the project will map the production and effect of belief on family, ....Social engagement in Spiritualism. This project aims to investigate the sociological, anthropological and historical dimensions of Spiritualism in Australia, a small but highly influential religious movement. 19th century Spiritualist ideas about the afterlife have shaped many citizens’ beliefs that individual personality survives death in a family-centred spirit realm. Combining both sociological and anthropological approaches, the project will map the production and effect of belief on family, civic participation and ethics. This project aims to give scholars a fuller, more accurate view of religious dynamics in Australia.Read moreRead less
Fast effective clustering technologies for highly dynamic massive networks. Clustering is a fundamental data mining and analysis task. In an interconnected evolving world, friendships and information flows are modelled as large dynamic networks. Structural clustering and correlation clustering are important and well-studied approaches for static networks; for evolving networks, where links appear and disappear over time, we lack efficient techniques. Anticipated outcomes are new practical cluste ....Fast effective clustering technologies for highly dynamic massive networks. Clustering is a fundamental data mining and analysis task. In an interconnected evolving world, friendships and information flows are modelled as large dynamic networks. Structural clustering and correlation clustering are important and well-studied approaches for static networks; for evolving networks, where links appear and disappear over time, we lack efficient techniques. Anticipated outcomes are new practical clustering algorithms for dynamic networks – with performance guarantees of efficiency and clustering quality – and prototype software, guiding us to pick a good clustering. Expected benefits include better understanding of spread in evolving social networks, accelerating the software testing cycle, and improved topic detection.Read moreRead less
A Unified Theory of 'If's. This project aims to develop a unified theory of ‘if’s. Our understanding of an uncertain and risky world requires hypothetical reasoning involving ‘if’s. They are significant theoretically: in science, history, politics, economics, psychology, computer science, linguistics, and philosophy. They are significant practically: in our planning, decision-making, policy priorities, legal judgments, environmental and medical interventions. Yet we lack a comprehensive, readily ....A Unified Theory of 'If's. This project aims to develop a unified theory of ‘if’s. Our understanding of an uncertain and risky world requires hypothetical reasoning involving ‘if’s. They are significant theoretically: in science, history, politics, economics, psychology, computer science, linguistics, and philosophy. They are significant practically: in our planning, decision-making, policy priorities, legal judgments, environmental and medical interventions. Yet we lack a comprehensive, readily implementable theory of ‘if’s. The project expects to provide such a theory, based on probability, improving on approaches from philosophy and linguistics, and benefitting both these fields. It also promises significant benefits for artificial intelligence/machine learning.
Read moreRead less
Voices of Regional Australia: The linguistic patterning of local attachment. This project aims to investigate language and social dynamics among regional Australians, who, despite representing one third of the population, have been often neglected in the research to date. The project expects to generate new knowledge around regional attachment and the impact that has on speech patterns, adapting for the first time recently developed international metrics to the Australian context. Expected outco ....Voices of Regional Australia: The linguistic patterning of local attachment. This project aims to investigate language and social dynamics among regional Australians, who, despite representing one third of the population, have been often neglected in the research to date. The project expects to generate new knowledge around regional attachment and the impact that has on speech patterns, adapting for the first time recently developed international metrics to the Australian context. Expected outcomes include a better understanding of models of language change across urban and rural areas, and a novel dataset recording the stories of regional Australians, and in particular, their experiences facing bushfire. This should provide significant benefits as a record of life, language and community in regional Australia.Read moreRead less
Verification and analysis of quantum programs. This project aims to develop theoretical foundations and techniques, as well as efficient algorithms and effective tools, for the verification and analysis of quantum programs. This project will introduce new ideas and techniques to tackle the problem of verifying and analysing quantum programs and provide efficient algorithms and effective tools to help quantum program compilation and optimisation. Successful development of the outcomes and tools i ....Verification and analysis of quantum programs. This project aims to develop theoretical foundations and techniques, as well as efficient algorithms and effective tools, for the verification and analysis of quantum programs. This project will introduce new ideas and techniques to tackle the problem of verifying and analysing quantum programs and provide efficient algorithms and effective tools to help quantum program compilation and optimisation. Successful development of the outcomes and tools in this project will help Australian industries build frontier technologies for quantum software engineering and establish and preserve their competitive status in the era of quantum computing.Read moreRead less
Fluid-thermal-structural interactions on high-speed aerospace vehicles. Sixteen years after the retirement of Concorde, high-speed commercial flight is once again on the rise with the development of new supersonic business jets and small airliners as well as hypersonic transport and reusable space launch systems. Robust and efficient designs for these light-weight vehicles must address the problem of aerodynamic heating and its effect on structural performance and lifing. This project will desig ....Fluid-thermal-structural interactions on high-speed aerospace vehicles. Sixteen years after the retirement of Concorde, high-speed commercial flight is once again on the rise with the development of new supersonic business jets and small airliners as well as hypersonic transport and reusable space launch systems. Robust and efficient designs for these light-weight vehicles must address the problem of aerodynamic heating and its effect on structural performance and lifing. This project will design and perform first-of-kind experiments that reproduce the complex fluid-thermal-structural interactions representative of those experienced by these aircraft and rockets. We will then use these measurements to assess, validate and improve the current state-of-the-art of simulation and modelling approaches for design.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
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
Adaptive Key-value Store for Future Extreme Heterogeneous Systems. Safe, lasting storage of data, and efficient access to it, is vital for all aspects of computing, ranging from e-commerce applications, and data-management in governments. For the storage of data, persistent key-value stores are central in modern computing platforms. However, contemporary key-value stores have not been designed for emerging extreme heterogeneous computational systems with future hardware accelerators and storage ....Adaptive Key-value Store for Future Extreme Heterogeneous Systems. Safe, lasting storage of data, and efficient access to it, is vital for all aspects of computing, ranging from e-commerce applications, and data-management in governments. For the storage of data, persistent key-value stores are central in modern computing platforms. However, contemporary key-value stores have not been designed for emerging extreme heterogeneous computational systems with future hardware accelerators and storage capabilities, including graphics processor and flash-based memory. This project will devise an adaptive key-value store framework for heterogeneous systems. Our new framework will adaptively harvest the performance potential of future hardware such that applications can cope with fast-growing data sets.Read moreRead less
Towards logarithmic representation theory of W-algebras. Aims: To construct and analyse indecomposable representations of significance in conformal field theory.
Significance: Conformal field theory plays a key role in many developments in mathematics and physics. Logarithmic conformal field theories govern important systems such as two-dimensional critical percolation. This proposal aims to develop the representation theory necessary for understanding salient features of critical systems des ....Towards logarithmic representation theory of W-algebras. Aims: To construct and analyse indecomposable representations of significance in conformal field theory.
Significance: Conformal field theory plays a key role in many developments in mathematics and physics. Logarithmic conformal field theories govern important systems such as two-dimensional critical percolation. This proposal aims to develop the representation theory necessary for understanding salient features of critical systems described by logarithmic conformal field theory.
Expected Outcomes: Novel representations of fundamental importance in logarithmic conformal field theory.
Benefit: Resolution of open problems in logarithmic conformal field theory, thus continuing the strong tradition in the field in Australia.
Read moreRead less