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
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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE140100082
Funder
Australian Research Council
Funding Amount
$500,000.00
Summary
An Australasian facility for the automated fabrication of high performance bespoke components. A facility for the automated fabrication of high performance bespoke components: The project will create a new coordinated facility for composites research including modern automated infrastructure. The facility will bring Australia in line with leading international research centres and promote fundamental and applied research into a range of fields including underwater renewable energy systems, space ....An Australasian facility for the automated fabrication of high performance bespoke components. A facility for the automated fabrication of high performance bespoke components: The project will create a new coordinated facility for composites research including modern automated infrastructure. The facility will bring Australia in line with leading international research centres and promote fundamental and applied research into a range of fields including underwater renewable energy systems, space vehicle structures, multifunctional and smart materials and infrastructure capacity extension. The facility will position Australian research for significant international collaboration through endorsement of next-generation manufacturing technology and enable leading outcomes for Australasian science and engineering in aerospace, marine, civil, automotive, renewable energy and primary resources.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
Special Research Initiatives - Grant ID: SR0566892
Funder
Australian Research Council
Funding Amount
$220,000.00
Summary
The EarthByte software and database system. Earth processes over geological timescales cannot be understood outside of a plate tectonic context. However, no standard tool exists to explore the causes and effects of lithosphere-mantle interaction in accordance with past plate configurations. Our aim is to develop a Palaeo-Geographic Information System called EarthByte that will connect the open source and architecture-independent GPlates and GMT software, and implement XML-based service interfac ....The EarthByte software and database system. Earth processes over geological timescales cannot be understood outside of a plate tectonic context. However, no standard tool exists to explore the causes and effects of lithosphere-mantle interaction in accordance with past plate configurations. Our aim is to develop a Palaeo-Geographic Information System called EarthByte that will connect the open source and architecture-independent GPlates and GMT software, and implement XML-based service interfaces and databases. EarthByte will create the foundation for an e-geoscience framework for grid-based data access and Earth process modelling by linking geological and geophysical observations to palaeogeographic models for constraining mantle convection and lithospheric deformation.Read moreRead less
On effectively modelling and efficiently discovering communities from large networks. Finding and maintaining close communities from very large scale, dynamically changing networks is interesting and challenging. This project aims to develop new techniques to identify such communities as fast as possible through exploiting the rich semantics and individual relationships within the communities.
How free is free?: word order in Australian Indigenous languages. This project aims to address the fundamental issue of how the grammatical structure of the language we speak shapes the way we plan and interpret sentences. The project will use innovative methodologies to investigate language production and comprehension in three Australian Indigenous languages that have unusually free word order, where the words in a sentence can be varied in multiple ways without changing the overall meaning. E ....How free is free?: word order in Australian Indigenous languages. This project aims to address the fundamental issue of how the grammatical structure of the language we speak shapes the way we plan and interpret sentences. The project will use innovative methodologies to investigate language production and comprehension in three Australian Indigenous languages that have unusually free word order, where the words in a sentence can be varied in multiple ways without changing the overall meaning. Expected outcomes include new knowledge of the relationship between language structure and human cognition, a deeper understanding of the grammatical structure of three Indigenous languages and how they differ from other languages, and important contributions to Indigenous language maintenance and education.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC220100003
Funder
Australian Research Council
Funding Amount
$4,930,205.00
Summary
ARC Training Centre for Biofilm Research and Innovation . The ARC Training Centre for Biofilm Research and Innovation aims to transform biofouling management strategies for maritime platforms by building on local and international expertise to mentor and train the next generation of interdisciplinary scientists and engineers. Anticipating evolving regulatory stringency, this project expects to establish a dynamic environment for industry partners, students and scientists to collaborate and devel ....ARC Training Centre for Biofilm Research and Innovation . The ARC Training Centre for Biofilm Research and Innovation aims to transform biofouling management strategies for maritime platforms by building on local and international expertise to mentor and train the next generation of interdisciplinary scientists and engineers. Anticipating evolving regulatory stringency, this project expects to establish a dynamic environment for industry partners, students and scientists to collaborate and develop biofilm management strategies. Expected outcomes include new and enhanced collaborations that advance and translate knowledge to better manage biofouling. The significant benefits will include a generation of industry-focused researchers critical for growing Australia’s Defence industry.Read moreRead less
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence appl ....Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.Read moreRead less
Social cognition and language - the design resources of grammatical diversity. This project will (a) improve Australia's capacity to interact and communicate with other cultures (b) promote advanced training and research (including 9 doctoral students) on the languages of our region (c) carry out extensive new research on 20 languages of the Pacific region, most of which represent gravely endangered cultural traditions (d) draw on the design solutions identified in these languages to develop ....Social cognition and language - the design resources of grammatical diversity. This project will (a) improve Australia's capacity to interact and communicate with other cultures (b) promote advanced training and research (including 9 doctoral students) on the languages of our region (c) carry out extensive new research on 20 languages of the Pacific region, most of which represent gravely endangered cultural traditions (d) draw on the design solutions identified in these languages to develop models appropriate to the social cognition element of human-computer and computer-computer interfacesRead moreRead less