Design of dynamic visual signals. Models of the design of visual signals depend heavily upon analyses of static ornaments. Nothing is known about dynamic visual signals. We will use an array of new techniques to tackle this problem for the first time. Motion analyses will define the task faced by the visual system. Sensory limitations will be measured to identify constraints on signal evolution. Digital video playback studies will assess recognition and explain aspects of signal design. Results ....Design of dynamic visual signals. Models of the design of visual signals depend heavily upon analyses of static ornaments. Nothing is known about dynamic visual signals. We will use an array of new techniques to tackle this problem for the first time. Motion analyses will define the task faced by the visual system. Sensory limitations will be measured to identify constraints on signal evolution. Digital video playback studies will assess recognition and explain aspects of signal design. Results will test the generality of principles that have been developed in studies of female mate choice and extend these ideas to address intra-sexual selection operating through opponent assessment.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
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
Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algori ....Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algorithms with the aim of designing algorithms better able to exploit prior knowledge, and to extend existing algorithms to new problem domains thus offering well principled and well understood algorithms for solving a variety of novel online problems.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
Kernel and Margin Based Machine Learning Algorithms. Certain machine learning algorithms, such as support vector machines, utilizing
the ideas of large margins and kernels have attracted much attention lately
because of their impressive performance on real world problems such as optical
character recognition. We plan to refine and extend such algorithms to a wide
range of different machine learning problems such as gene sequence analysis,
image processing and text classification. Expected ....Kernel and Margin Based Machine Learning Algorithms. Certain machine learning algorithms, such as support vector machines, utilizing
the ideas of large margins and kernels have attracted much attention lately
because of their impressive performance on real world problems such as optical
character recognition. We plan to refine and extend such algorithms to a wide
range of different machine learning problems such as gene sequence analysis,
image processing and text classification. Expected outcomes include the
development of software that allows the solution of hitherto unsolved machine
learning problems, and the ability to solve problems larger than those solvable
by the current generation of machine learning tools.Read moreRead less
Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial o ....Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial optimisation problems, and it will motivate and test our systems by means of case studies from both of these areas.Read moreRead less
Designing Global Sydney: The negotiation of public and private interests. This project links planning policy, urban design and planning history. It assesses the contribution of design-led policy to reconciling private ambitions for economic growth with aspirations for quality public outcomes in the planning approval processes for major commercial development in the Sydney Central Business District (CBD). Concentrating on the past decade, it aims to examine the changing economic structure of the ....Designing Global Sydney: The negotiation of public and private interests. This project links planning policy, urban design and planning history. It assesses the contribution of design-led policy to reconciling private ambitions for economic growth with aspirations for quality public outcomes in the planning approval processes for major commercial development in the Sydney Central Business District (CBD). Concentrating on the past decade, it aims to examine the changing economic structure of the CBD, linking the changing form of the city to evolving design policies. It seeks to recover the experiences of participants in the development approval process and communicate instructive stories of the complex intersection between market forces and design regimens.Read moreRead less
Flow process and visible-light driven reactions for polymer manufacturing. This project aims to develop rapid, scalable light-driven continuous flow processing techniques that allow the production of value-added synthetic polymers that cannot be achieved by existing technologies. The project will take advantage of the spatio-temporal control of the light mediated polymerisation with flow process to achieve control over the primary structure, the sequential arrangement of monomer units in a polym ....Flow process and visible-light driven reactions for polymer manufacturing. This project aims to develop rapid, scalable light-driven continuous flow processing techniques that allow the production of value-added synthetic polymers that cannot be achieved by existing technologies. The project will take advantage of the spatio-temporal control of the light mediated polymerisation with flow process to achieve control over the primary structure, the sequential arrangement of monomer units in a polymer chain and the molecular weight distribution. The project will result in the preparation of functional polymers containing a specific arrangement of monomers in the polymer chain and a precise distribution of polymer chains. The development of such process will result in the development of advanced materials.Read moreRead less
Physics of Base Flows of Planetary Entry Configurations. Continued investment by Australia in the AHI will help to maintain Australia's leading role in the exciting fields of space research and hypersonics and to encourage future international collaboration. The research will use the unique existing experimental infrastructure (largely ARC funded) for space related research, which will enable Australia to make a valuable contribution to the design of future planetary missions. The project will p ....Physics of Base Flows of Planetary Entry Configurations. Continued investment by Australia in the AHI will help to maintain Australia's leading role in the exciting fields of space research and hypersonics and to encourage future international collaboration. The research will use the unique existing experimental infrastructure (largely ARC funded) for space related research, which will enable Australia to make a valuable contribution to the design of future planetary missions. The project will provide a stimulating, exciting and supportive environment for the training of postgraduate and postdoctoral personnel as well as students at the undergraduate level. It will help to motivate young Australians to pursue their interest in science and engineering.Read moreRead less