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
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
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
A Buddhist challenge to Western conceptions of logic. This project aims to advance and defend a theory about the nature of logic and rationality. The project will draw on Buddhist logic texts and demonstrate their relevance to contemporary Western debates about the nature of logic. It seeks to show that a Buddhist theory of logic can challenge widely-entrenched but unexamined Western conceptions of the nature of logic. The project is expected to advance intellectual engagement between Buddhist a ....A Buddhist challenge to Western conceptions of logic. This project aims to advance and defend a theory about the nature of logic and rationality. The project will draw on Buddhist logic texts and demonstrate their relevance to contemporary Western debates about the nature of logic. It seeks to show that a Buddhist theory of logic can challenge widely-entrenched but unexamined Western conceptions of the nature of logic. The project is expected to advance intellectual engagement between Buddhist and Western philosophers, bring attention to texts and theories not currently available to the Western philosophical world, and demonstrate the importance of a collaborative, interdisciplinary approach to global philosophy.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
Ship response under corrosion, fatigue and complex sea-state environments. This project will improve understanding of the gradual deterioration of ships and maritime structures subject to metal corrosion, fatigue and extreme sea-state conditions. Increasingly such understanding is necessary for optimal asset management decisions. These include the potential economic, personnel and other risks involved for ship owners and operators, including the Royal Australian Navy (RAN). The project will use ....Ship response under corrosion, fatigue and complex sea-state environments. This project will improve understanding of the gradual deterioration of ships and maritime structures subject to metal corrosion, fatigue and extreme sea-state conditions. Increasingly such understanding is necessary for optimal asset management decisions. These include the potential economic, personnel and other risks involved for ship owners and operators, including the Royal Australian Navy (RAN). The project will use numerical simulation. It will tackle the Fluid-Structure Interaction problem of ships in waves by integrating Finite Element structural response analysis with cutting-edge Smoothed Particle Hydrodynamics methods. The outcomes will provide new insight into remaining asset life and for exploring optimal maintenance strategiesRead moreRead less
Languages of Barrier Islands, Sumatra: Description, History and Typology. This project aims to investigate endangered languages of the Asia-Pacific via four undocumented languages in the Barrier Islands, Indonesia. New knowledge will be generated into the languages, cultures and societies of the region on an unprecedented scale, and be made freely available to the public. New data will uncover past migration patterns in Southeast Asia, advance language theory (such as linguistic typology and lan ....Languages of Barrier Islands, Sumatra: Description, History and Typology. This project aims to investigate endangered languages of the Asia-Pacific via four undocumented languages in the Barrier Islands, Indonesia. New knowledge will be generated into the languages, cultures and societies of the region on an unprecedented scale, and be made freely available to the public. New data will uncover past migration patterns in Southeast Asia, advance language theory (such as linguistic typology and language change), and support the computational modelling of Austronesian for future language technologies. Connections with Indonesian institutions will strengthen Australia’s regional engagement, and support language revitalisation and maintenance among minority communities for the preservation of their culture and history.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Waiet: Archaeology of a Torres Strait Islander ritual pathway. The project aims to provide a high-resolution archaeological record of ritual mobility by examining a Torres Strait Islander initiation pathway. The project is expected to generate new knowledge about human movement and improve public understanding of Indigenous peoples connection with country. Anticipated outcomes of the multi-disciplinary and community-led research include the first detailed record of ancient ritual mobility in nor ....Waiet: Archaeology of a Torres Strait Islander ritual pathway. The project aims to provide a high-resolution archaeological record of ritual mobility by examining a Torres Strait Islander initiation pathway. The project is expected to generate new knowledge about human movement and improve public understanding of Indigenous peoples connection with country. Anticipated outcomes of the multi-disciplinary and community-led research include the first detailed record of ancient ritual mobility in northern Australia and development of a web-based system to transfer archival information between cultural institutions and remote communities. This should provide significant benefits and assist Meriam people to engage with their cultural heritage and expand public knowledge about Indigenous forms of mobility.Read moreRead less