Integrating holistic processing and face-space approaches to the perception of facial identity. Recognising faces is a socially crucial task, and humans are remarkably good at it. Scientists investigating the 'software' our brains use to recognise faces have referred to two different theories -- one when explaining why we distinguish faces better than objects, and the other in explaining why we distinguish some people's faces more easily than others. The project aims to integrate these two theor ....Integrating holistic processing and face-space approaches to the perception of facial identity. Recognising faces is a socially crucial task, and humans are remarkably good at it. Scientists investigating the 'software' our brains use to recognise faces have referred to two different theories -- one when explaining why we distinguish faces better than objects, and the other in explaining why we distinguish some people's faces more easily than others. The project aims to integrate these two theories. This has two potential long-term benefits: it will give a stronger basis for understanding what goes wrong in people where face recognition does not develop normally; and, the improved knowledge from a biological system may also lead to improved computer face recognition algorithms (eg. for airport security).Read moreRead less
Feedback Architectures with Parallel Communication Channels. Feedback control is an enabling, though often hidden, technology. For example, without control loops, cars, mining and manufacturing plants cannot operate in an efficient and safe manner. To reduce costs, there has been a trend to use general purpose communication systems, such as WiFi, for feedback control. These communication systems have only limited capacity and reliability. This can lead to performance degradation and system failu ....Feedback Architectures with Parallel Communication Channels. Feedback control is an enabling, though often hidden, technology. For example, without control loops, cars, mining and manufacturing plants cannot operate in an efficient and safe manner. To reduce costs, there has been a trend to use general purpose communication systems, such as WiFi, for feedback control. These communication systems have only limited capacity and reliability. This can lead to performance degradation and system failure. The current project aims at proposing novel robust networked control system architectures. Our results will be useful to allow industries to use standard communications technology for control, thus, alleviating costs associated with developing dedicated application specific communication infrastructure.Read moreRead less
Applications of Bayesian methods in Genomics and Comparative Genomics. Bayesian statistics provides a unified and versatile approach to problems of data analysis, inference and hypothesis testing. This project will involve the application of Bayesian methods to four topics of commercial and scientific importance in the fields of Genomics and Comparative Genomics. The four topics are: data analysis for a novel DNA sequencing technology, investigating genomic structure using multiple change-point ....Applications of Bayesian methods in Genomics and Comparative Genomics. Bayesian statistics provides a unified and versatile approach to problems of data analysis, inference and hypothesis testing. This project will involve the application of Bayesian methods to four topics of commercial and scientific importance in the fields of Genomics and Comparative Genomics. The four topics are: data analysis for a novel DNA sequencing technology, investigating genomic structure using multiple change-point analysis, phlogenetic inference with multiple genes and detection of incongruent phylogenies. The overall goal of the project is to advance understanding of the structure, function and evolution of genomes.Read moreRead less
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Adaptiveness of self-organised decision making. Complex systems are an important international research focus in many disciplines, and their engineering applications are plentiful. The new mathematical approach developed by this project will enable different disciplines for the first time to communicate using a common formal framework. This will open the path to a generalized understanding of self-organized systems in dynamic environments. Creating the tools for a unified interdisciplinary a ....Adaptiveness of self-organised decision making. Complex systems are an important international research focus in many disciplines, and their engineering applications are plentiful. The new mathematical approach developed by this project will enable different disciplines for the first time to communicate using a common formal framework. This will open the path to a generalized understanding of self-organized systems in dynamic environments. Creating the tools for a unified interdisciplinary approach will allow Australia to gain a stronger position in biomimetic engineering and to take a lead in international research on collective behavior.
Read moreRead less
Topological Optimisation of Fluid Mixing. The proposed research is aimed at improving the efficiency of fluid mixers,
which in the long term has potential to reduce vastly the economic and
environmental costs associated with large-scale mixing processes in Australian
chemical industries. The research will not only impact on practical mixer
design, but will also develop important results in the application of topology
to the the field of chaotic dynamical systems. This project will also prov ....Topological Optimisation of Fluid Mixing. The proposed research is aimed at improving the efficiency of fluid mixers,
which in the long term has potential to reduce vastly the economic and
environmental costs associated with large-scale mixing processes in Australian
chemical industries. The research will not only impact on practical mixer
design, but will also develop important results in the application of topology
to the the field of chaotic dynamical systems. This project will also provide a
graduate student and post-doctoral researcher with training to pursue a career
in fluid dynamics or general applied mathematics research.
Read moreRead less
Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by s ....Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by series of correctness-preserving transformations from a knowledge-based specification. This project will generalize this work to a calculus for systems that lack a global clock, and implement a tool providing automated support for use of the calculus.Read moreRead less
Using Mathematics to Maximize the Efficiency of Shared Infrastructure in Australia's Coal Export Supply Chain. Port Waratah Coal Services operates the world's largest coal export terminal, servicing about 14 coal mining companies in the Hunter Valley, NSW. It is responsible for around $15 billion in annual export income for Australia. The coal supply chain is a complex operation, hampered by bottlenecks in critical shared infrastructure. Such limitations are estimated to cost Australia about $2 ....Using Mathematics to Maximize the Efficiency of Shared Infrastructure in Australia's Coal Export Supply Chain. Port Waratah Coal Services operates the world's largest coal export terminal, servicing about 14 coal mining companies in the Hunter Valley, NSW. It is responsible for around $15 billion in annual export income for Australia. The coal supply chain is a complex operation, hampered by bottlenecks in critical shared infrastructure. Such limitations are estimated to cost Australia about $2 billion pa in lost sales. This project will support the design of new infrastructure and processes to ensure an efficient supply chain. The new science resulting will benefit other coal operations in Australia, and potentially other bulk goods supply chains.Read moreRead less
Robust Dynamical System Identification. Innovative robust system identification methods are a Frontier Technology for Transforming Australian Industries. Robust system identification will provide a technology for generating high fidelity models by the use of breakthrough science. With the majority of advanced industrial control systems reliant on accurate models significant savings could be made due to the implicit improvement in process control. Furthermore, system identification is a key enabl ....Robust Dynamical System Identification. Innovative robust system identification methods are a Frontier Technology for Transforming Australian Industries. Robust system identification will provide a technology for generating high fidelity models by the use of breakthrough science. With the majority of advanced industrial control systems reliant on accurate models significant savings could be made due to the implicit improvement in process control. Furthermore, system identification is a key enabling technology in most modern systems (e.g. in aerospace, manufacturing, mining, minerals processing and telecommunications) and is also important in the emerging areas of nanotechnology and systems biology.Read moreRead less
New System Identification Techniques Utilising Misspecified Models. National benefits of the proposed research project will result from improvements in control due to a better, more complete understanding of the models obtained by the newly proposed system identification technique. The resulting effect on industrial practice will be an increase in efficiency, by reduced waste, lower pollution levels and increased throughput. Also, the techniques developed will be directly applicable to current r ....New System Identification Techniques Utilising Misspecified Models. National benefits of the proposed research project will result from improvements in control due to a better, more complete understanding of the models obtained by the newly proposed system identification technique. The resulting effect on industrial practice will be an increase in efficiency, by reduced waste, lower pollution levels and increased throughput. Also, the techniques developed will be directly applicable to current research in the areas of complex systems, such as smart structures and biological studies of the dynamic effects of drugs and hormones on genes.Read moreRead less