Retracing the Early Evolution of Metazoa using Novel Methods and Strategies. Metazoa is one of the best-characterised groups of species in terms of its morphology, fossil record, development, and genetic make-up, but the phylogeny remains obscure because the fossil record is incomplete and because molecular phylogenetic methods have not yet been developed with the complexity of genomic data in mind. We will develop methods and strategies for the analysis of whole genomes, and use them in studies ....Retracing the Early Evolution of Metazoa using Novel Methods and Strategies. Metazoa is one of the best-characterised groups of species in terms of its morphology, fossil record, development, and genetic make-up, but the phylogeny remains obscure because the fossil record is incomplete and because molecular phylogenetic methods have not yet been developed with the complexity of genomic data in mind. We will develop methods and strategies for the analysis of whole genomes, and use them in studies of the mitochondrial genome. We will infer the animal phylogeny, and use it to chart the evolution of animal morphology and development, and the evolution of mitochondrial genetic codes, gene order, and nucleotide content.Read moreRead less
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be 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
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less
Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build ....Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.Read moreRead less
House hunting honey bees: speed-accuracy trade-offs in collective decision-making. This project will uncover the mechanisms that underlie the trade-off between speed and accuracy in collective decision-making. We will study two species of honey bee that differ in the relative importance of speed and accuracy when deciding on a new home. Natural selection has shaped the decision-making process differently in the two species, one favouring speed, the other accuracy. We will use the natural wisdom ....House hunting honey bees: speed-accuracy trade-offs in collective decision-making. This project will uncover the mechanisms that underlie the trade-off between speed and accuracy in collective decision-making. We will study two species of honey bee that differ in the relative importance of speed and accuracy when deciding on a new home. Natural selection has shaped the decision-making process differently in the two species, one favouring speed, the other accuracy. We will use the natural wisdom evolved by the bees to design new mathematical models of collective decision-making. These can be applied to create efficient decision-making tools that will be useful for any large organization.Read moreRead less
Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can ....Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can help Australian energy industry to reduce greenhouse emissions. It will also result in education of the next generation research leaders in this emerging field.Read moreRead less
Dynamic Analysis and Control for Hybrid Systems and Networks. Hybrid systems are now accepted as the best way to model many high-tech situations in transport, energy management, networking, household and industrial automation. This project will develop the theoretical tools needed to ensure such systems operate stably and efficiently despite imperfections and outside disturbances.
Towards a unified theory of constrained control and estimation. The project will investigate the implications of duality and other connections between constrained control and estimation. We believe that the research will result in a richer understanding of these problems. In particular, we envisage an impact in at least four areas: (i) Computational issues, i.e., development of more efficient algorithms for constrained problems. (ii) Geometry of constrained problems, by extending recent results ....Towards a unified theory of constrained control and estimation. The project will investigate the implications of duality and other connections between constrained control and estimation. We believe that the research will result in a richer understanding of these problems. In particular, we envisage an impact in at least four areas: (i) Computational issues, i.e., development of more efficient algorithms for constrained problems. (ii) Geometry of constrained problems, by extending recent results pertaining to constrained control to estimation problems. (iii) Problems with mixed constraints, for example, interval and finite set constraints. (iv) Fundamental limitations imposed by constraints to filtering and control problems.Read moreRead less
Parsimonious Quantization in Signal Processing and Control. In today's society there is an abundance of data. Indeed, it could be argued that we suffer from data 'overload'. Thus to turn 'data' into actions, the need for parsimony in signal processing and control arises. For that purpose, the data must be sampled (in time) and quantized (in space). Within this context, the current project is aimed at understanding aspects of sampled parsimonious quantization. The results have widespread practica ....Parsimonious Quantization in Signal Processing and Control. In today's society there is an abundance of data. Indeed, it could be argued that we suffer from data 'overload'. Thus to turn 'data' into actions, the need for parsimony in signal processing and control arises. For that purpose, the data must be sampled (in time) and quantized (in space). Within this context, the current project is aimed at understanding aspects of sampled parsimonious quantization. The results have widespread practical uses including digital cameras, video compression, audio quantization, control over communication networks, switching of electronic devices and many others.Read moreRead less