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
Discovery Early Career Researcher Award - Grant ID: DE220100544
Funder
Australian Research Council
Funding Amount
$356,000.00
Summary
Fuzzy logics for graded reasoning in applied contexts. Many things we care about, such as friendship or safety, come in degrees, but our current systems for tracking information are not built to handle this. This project aims to enhance many-valued logic as a tool to manage graded information. It expects to generate new knowledge in the area of logical languages for fuzzy databases and finite domains using an interdisciplinary approach between philosophers, mathematicians and computer scientists ....Fuzzy logics for graded reasoning in applied contexts. Many things we care about, such as friendship or safety, come in degrees, but our current systems for tracking information are not built to handle this. This project aims to enhance many-valued logic as a tool to manage graded information. It expects to generate new knowledge in the area of logical languages for fuzzy databases and finite domains using an interdisciplinary approach between philosophers, mathematicians and computer scientists. Expected outcomes include new logical methods and modelling techniques for many-valued logics. This will provide significant benefits, such as the enhancement of fuzzy logic as a tool in artificial intelligence to handle reasoning with imprecise concepts, giving meaning to complex real-life 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
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
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
Representation theory in exactly solvable systems. This project aims to develop the representation theory of Lie and generalised Lie algebras related to exactly solvable models. The project will exploit several innovative ideas on the structure of quadratic algebras, Casimir invariants, differential operator realisations, roots systems, characters and indecomposable representations. This will give fundamental mathematical insight and allow the construction of new, exactly solvable models. This w ....Representation theory in exactly solvable systems. This project aims to develop the representation theory of Lie and generalised Lie algebras related to exactly solvable models. The project will exploit several innovative ideas on the structure of quadratic algebras, Casimir invariants, differential operator realisations, roots systems, characters and indecomposable representations. This will give fundamental mathematical insight and allow the construction of new, exactly solvable models. This will have an impact on theoretical physics as exactly solvable models play a central role in our understanding of a plethora of physical phenomena.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less
The Ricci curvature of homogeneous spaces. The geometry of homogeneous spaces is an area of research with applications in numerous fields, including topology, harmonic analysis, relativity and quantum theory. This project aims to resolve a fundamental problem in this area, known as the prescribed Ricci curvature problem for homogeneous metrics, and to settle the important and closely related question of Ricci iteration existence and convergence. Moreover, the project aims to exploit the interpla ....The Ricci curvature of homogeneous spaces. The geometry of homogeneous spaces is an area of research with applications in numerous fields, including topology, harmonic analysis, relativity and quantum theory. This project aims to resolve a fundamental problem in this area, known as the prescribed Ricci curvature problem for homogeneous metrics, and to settle the important and closely related question of Ricci iteration existence and convergence. Moreover, the project aims to exploit the interplay between geometry and algebra to provide new insight into the physically significant problem of classifying unitary Lie algebra representations. This project is expected to facilitate interdisciplinary interaction leading to exciting developments across a range of fields.Read moreRead less