Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nati ....Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nation will benefit from a fundamental increase in efficiency of research and, therefore, in efficient use of research dollars.Read moreRead less
ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and c ....ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and cutting edge applied research outcomes. These outcomes will be of specific benefit to partner organizations including minerals, process, metal forming, and automotive industries.Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less
Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to ....Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to improve the performance and quality of many practical signal reconstruction methods. These are used by varied Australian industries from telecommunication to mining and by researchers in the digital arts and fields such as astronomy, physics, chemistry, bioscience, geoscience, engineering and medicine.Read moreRead less
Use of Interval Arithmetic and GRID Computing in Computational Molecular Science: Bounding Errors and Locating Global Minima. Catastrophic failure of the Ariane 5 rocket in 1996 and the inability of Patriot missile systems to reach their targets during the 1991 Gulf war were both attributed to numerical computing errors. Less dramatic, but in a similar vein, this project aims to study the numerical stability of contemporary computational molecular science applications. The focus will be on linea ....Use of Interval Arithmetic and GRID Computing in Computational Molecular Science: Bounding Errors and Locating Global Minima. Catastrophic failure of the Ariane 5 rocket in 1996 and the inability of Patriot missile systems to reach their targets during the 1991 Gulf war were both attributed to numerical computing errors. Less dramatic, but in a similar vein, this project aims to study the numerical stability of contemporary computational molecular science applications. The focus will be on linear scaling electronic structure codes, methods that are critical to the study of nano- and bio-materials, and are therefore of great importance to our economic future and medical well being. The project will build expertise within Australia in the area of interval arithmetic, an area that is currently poorly represented.Read moreRead less
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
Coarse Grained Parallel Algorithms. Various fields of research face barriers created by problems that are computationally hard and/or require processing of large amounts of data. For example, some computational biochemistry methods on protein or gene sequences can not be scaled up to data sets required for human health research because of performance problems. Parallel computing enables new research by increasing the size of solvable problems. In addition to fundamental parallel computing resear ....Coarse Grained Parallel Algorithms. Various fields of research face barriers created by problems that are computationally hard and/or require processing of large amounts of data. For example, some computational biochemistry methods on protein or gene sequences can not be scaled up to data sets required for human health research because of performance problems. Parallel computing enables new research by increasing the size of solvable problems. In addition to fundamental parallel computing research, this project studies parallel algorithms for structure-based drug design and protein-protein interaction prediction that will enable new biochemistry research, as well as parallel algorithms for data cubes that will help enable the next generation of very large data warehouses.Read moreRead less
Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading the ....Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading theoretical groups, which will greatly aid research student education. There are direct applications to experiments on molecule formation with ultra-cold fermions in the ARC Centre of Excellence for Quantum-Atom Optics.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
A Computational Study of Nonconvex and Nonlinear Semi-infinite Optimisation Problems in Signal Processing. The operation of filtering is an important part of most modern communication engineering systems. Many important problems, which arise naturally from communications engineering applications, can be formulated as nonconvex optimization problems and nonlinear semi-infinite and/or semi-definite optimization problems. New optimization theory, in combination with novel computationally efficient ....A Computational Study of Nonconvex and Nonlinear Semi-infinite Optimisation Problems in Signal Processing. The operation of filtering is an important part of most modern communication engineering systems. Many important problems, which arise naturally from communications engineering applications, can be formulated as nonconvex optimization problems and nonlinear semi-infinite and/or semi-definite optimization problems. New optimization theory, in combination with novel computationally efficient solution methods, and efficient hardware implementation will be developed. The outcomes will enhance Australia's reputation in this cutting edge research and facilitate opportunity for international collaboration as well as commercial opportunity. The project will also provide an excellent environment for the training of junior researchers in the area.Read moreRead less