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
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
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.