Are some languages better than others? It is important for the Australian community - speaking several hundred different indigenous and immigrant languages across the nation - to realise that each language has approximately (but not precisely) the same overall complexity as every other. One may have intricate word structure, while another has short words but elaborate rules for putting words together to make sentences. And, striding above 'political correctness', many people in Australia will be ....Are some languages better than others? It is important for the Australian community - speaking several hundred different indigenous and immigrant languages across the nation - to realise that each language has approximately (but not precisely) the same overall complexity as every other. One may have intricate word structure, while another has short words but elaborate rules for putting words together to make sentences. And, striding above 'political correctness', many people in Australia will be interested to know whether a certain language is a little more efficient than certain other languages for a particular purpose (for example, commercial business). Read moreRead less
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Onset Theory: Pushing the design envelope for textile composite structures. This study aims to exploit an innovative physics-based approach to predict the strength of textile composites. This is particularly important in areas such as aircraft design, where drastic weight savings are needed to allow designers to remain competitive in a low-carbon future. Improved theory and design tools will remove conservatism and account for a large part of these weight savings. The new approach is the first t ....Onset Theory: Pushing the design envelope for textile composite structures. This study aims to exploit an innovative physics-based approach to predict the strength of textile composites. This is particularly important in areas such as aircraft design, where drastic weight savings are needed to allow designers to remain competitive in a low-carbon future. Improved theory and design tools will remove conservatism and account for a large part of these weight savings. The new approach is the first to be consistent at all length scales — from atoms to aeroplanes — ensuring relevance for new and evolving composite material systems. A novel understanding of crack initiation in textile laminates is intended to reduce design and certification effort for new aircraft and help to design more efficient airframes at a lower cost.Read moreRead less
Macdonald polynomials: Combinatorics and representations. This proposal is part of the aim to build a world class research team in algebraic combinatorics and combinatorial representation theory at the University of Melbourne, led by the two CI.
These fields are currently experiencing very rapid growth and development, and a strong Australia based team will further enhance the country's strong reputation in combinatorics and algebra.
The project will also provide a perfect training ground fo ....Macdonald polynomials: Combinatorics and representations. This proposal is part of the aim to build a world class research team in algebraic combinatorics and combinatorial representation theory at the University of Melbourne, led by the two CI.
These fields are currently experiencing very rapid growth and development, and a strong Australia based team will further enhance the country's strong reputation in combinatorics and algebra.
The project will also provide a perfect training ground for Higher Degree Students with interests in pure mathematics as well as computer
algebra and symbolic computation.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
Developing a smart supervisory control system for pan stage operations in sugar factories. This project aims to develop a prototype smart supervisory control system for pan stage crystallisation operations in raw sugar processing. Intelligent systems technologies will be tailored to provide a standardised approach for pan operations by using key process measurements and combining them with the collective expertise and knowledge of pan operators. This project will lead to a significant advance in ....Developing a smart supervisory control system for pan stage operations in sugar factories. This project aims to develop a prototype smart supervisory control system for pan stage crystallisation operations in raw sugar processing. Intelligent systems technologies will be tailored to provide a standardised approach for pan operations by using key process measurements and combining them with the collective expertise and knowledge of pan operators. This project will lead to a significant advance in the development of intelligent systems techniques for industrial applications and provide a better decision making strategy for pan stage operations with the benefit of reduced costs of sugar manufacture and increased profitability of the Australian sugar industry.Read moreRead less
Representation theory of diagram algebras and logarithmic conformal field theory. Generalized models of polymers and percolation are notoriously difficult to handle mathematically, but can be described and solved using diagram algebras and logarithmic conformal field theory. Potential applications include polymer-like materials, filtering of drinking water, spatial spread of epidemics and bushfires, and tertiary recovery of oil.
Peopling educational policy: realising the new Australian English and mathematics curricula. Implementation of Australian curricula in English and mathematics provides an opportunity for school systems to re-examine practice. This project will identify resources and teacher learning opportunities needed to facilitate implementation of these curricula and use findings to develop interventions identified as likely to optimise implementation.
Using mathematics to solve real world problems. This project aims to identify, apply and refine teaching approaches that help secondary students learn mathematical modelling, using mathematics to solve real world problems. The study will investigate the mathematical, cognitive, social and environmental factors that "enable" Year 10/11 students to develop mathematical representations of a real world problem. This project expects to generate theoretical and practical insights into how these enable ....Using mathematics to solve real world problems. This project aims to identify, apply and refine teaching approaches that help secondary students learn mathematical modelling, using mathematics to solve real world problems. The study will investigate the mathematical, cognitive, social and environmental factors that "enable" Year 10/11 students to develop mathematical representations of a real world problem. This project expects to generate theoretical and practical insights into how these enablers promote successful modelling, tasks that support students' development as modellers, and effective teaching approaches that promote student capability and interest in mathematics.Read moreRead less
Investigating the relationship between teacher expectations, student persistence and the learning of mathematics. There is a culture in many classrooms in which teachers are encouraged by students to pose easy tasks. The project will explore what is needed to encourage students to embrace challenges and to persist even when tasks are difficult. The outcome will be enhanced mathematics learning and improved student confidence.