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
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
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 integration of language and society. This project aims to seek associations between social and life-style differences and language structure. All human societies show pervasive similarities and all languages share recurrent features. Viewing society and language as an integrated whole, the project will study related groups in contrasting physical and social environments in PNG, Africa, East Asia, Amazonia and Australia. Inductive generalisations about associations between societal and langua ....The integration of language and society. This project aims to seek associations between social and life-style differences and language structure. All human societies show pervasive similarities and all languages share recurrent features. Viewing society and language as an integrated whole, the project will study related groups in contrasting physical and social environments in PNG, Africa, East Asia, Amazonia and Australia. Inductive generalisations about associations between societal and language parameters (e.g. varying techniques of address relating to articulated kin systems and social hierarchy) aim to provide insight into the human dynamic. Findings should benefit programmes for cultural awareness, language teaching and revitalisation and understanding of multicultural situations.Read moreRead less
Multiliteracies for addressing disadvantage in senior school science. Multiliteracies for addressing disadvantage in senior school science. This project aims to develop discipline-specific pedagogies in senior physics, chemistry and biology to improve disadvantaged students’ engagement and achievement. Many students from disadvantaged backgrounds fail to develop the linguistic precision and symbolic representational dexterity needed to comprehend and communicate senior school science concepts. T ....Multiliteracies for addressing disadvantage in senior school science. Multiliteracies for addressing disadvantage in senior school science. This project aims to develop discipline-specific pedagogies in senior physics, chemistry and biology to improve disadvantaged students’ engagement and achievement. Many students from disadvantaged backgrounds fail to develop the linguistic precision and symbolic representational dexterity needed to comprehend and communicate senior school science concepts. These pedagogies will ‘infuse’ multiliteracies in senior school science to improve access to science-based pathways for these students, and enable them to understand progressively more complex scientific concepts and demonstrate this in examinations. This project is expected to improve student retention, arrest declining enrolments in senior school science, and increase young people working in science.Read moreRead less
Enabling students' critical mathematical thinking. The capacity to use mathematics critically is essential for making prudent decisions and forming balanced judgements about economic, health, environmental and other challenges facing society. Developing Critical Mathematical Thinking (CMT) in the classroom provides students with the necessary skills to address complex real-world problems. Fostering CMT, however, is difficult and teaching practices around its development are under-researched and ....Enabling students' critical mathematical thinking. The capacity to use mathematics critically is essential for making prudent decisions and forming balanced judgements about economic, health, environmental and other challenges facing society. Developing Critical Mathematical Thinking (CMT) in the classroom provides students with the necessary skills to address complex real-world problems. Fostering CMT, however, is difficult and teaching practices around its development are under-researched and under-theorised. This study aims to generate new insight into teaching practices that can promote or inhibit students' CMT development. To address this aim, we use an innovative video-based methodology that integrates researcher and teacher perspectives on students' CMT development.Read moreRead less
Recirculating Indigenous traveling songs. This project aims to develop new understandings of how unrestricted Indigenous traveling songs have spread across vast geographic and linguistic boundaries in Australia, investigating ways these songs can contribute to greater social connectedness today. It intends to energise collaborative networks across Indigenous communities, language centres, and holding institutions around the world. Forging models to reinvigorate the performance of traveling songs ....Recirculating Indigenous traveling songs. This project aims to develop new understandings of how unrestricted Indigenous traveling songs have spread across vast geographic and linguistic boundaries in Australia, investigating ways these songs can contribute to greater social connectedness today. It intends to energise collaborative networks across Indigenous communities, language centres, and holding institutions around the world. Forging models to reinvigorate the performance of traveling songs across a wide and diverse range of interconnected localities, this project should advance the potential for Indigenous performance culture to contribute to language revitalisation, cultural identity, and the facilitation of cross-cultural diplomacy in national and international contexts.Read moreRead less
Improving classroom writing by enhancing reflexive decisions and practice. This project aims to contribute new evidence and deliver improvements in writing skills in Australian primary schools. The project will adopt a reflexive approach utilising the team's skills in writing development and pedagogy, reflexive practice and classroom ethnography, in order to build teachers' capacities and improve writing achievement in Australian schools. Expected outcomes include new writing pedagogies that mov ....Improving classroom writing by enhancing reflexive decisions and practice. This project aims to contribute new evidence and deliver improvements in writing skills in Australian primary schools. The project will adopt a reflexive approach utilising the team's skills in writing development and pedagogy, reflexive practice and classroom ethnography, in order to build teachers' capacities and improve writing achievement in Australian schools. Expected outcomes include new writing pedagogies that move beyond dependence-building strategies and target specific types of writers in context. This should provide significant benefits for teachers, enabling them to optimise classroom conditions, and enhance students' effective decision-making in writing to improve their achievement across all school subjects.Read moreRead less
Reasonable Adjustments to Maths for Students with Intellectual Disabilities. Reasonable adjustments to secondary mathematics – parents want it, students need it, the Australian law requires it – but how do teachers achieve it? The aim of this project is to find ways to adjust, teach and assess secondary mathematics for students with intellectual and developmental disabilities. The significance of this study is in solving a problem facing teachers who are required by law to teach mathematics with ....Reasonable Adjustments to Maths for Students with Intellectual Disabilities. Reasonable adjustments to secondary mathematics – parents want it, students need it, the Australian law requires it – but how do teachers achieve it? The aim of this project is to find ways to adjust, teach and assess secondary mathematics for students with intellectual and developmental disabilities. The significance of this study is in solving a problem facing teachers who are required by law to teach mathematics without evidence informed approaches. Expected outcomes are an evidence-base for reasonable adjustments to secondary mathematics and approaches and strategies for teachers for inclusive practices. If ways for teaching year-level mathematics to learners with intellectual disability are developed, many more students may benefit.
Read moreRead less