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
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
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
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
High Resolution EPR Spectroscopy - A Tool for Determining Electronic and Geometric Structure of Metalloenzymes. High resolution orientation selective pulsed EPR and END(T)OR in conjunction with computer simulation (XSophe) and computational chemistry will allow the determination of the electronic and geometric structure (distance and orientation of nuclei surrounding the metal ion(s)) of multiple redox centres in DMSOR, DorC and DMSDH to be determined. In addition pulsed ELDOR in conjunction wi ....High Resolution EPR Spectroscopy - A Tool for Determining Electronic and Geometric Structure of Metalloenzymes. High resolution orientation selective pulsed EPR and END(T)OR in conjunction with computer simulation (XSophe) and computational chemistry will allow the determination of the electronic and geometric structure (distance and orientation of nuclei surrounding the metal ion(s)) of multiple redox centres in DMSOR, DorC and DMSDH to be determined. In addition pulsed ELDOR in conjunction with molecular modelling will enable the mapping (distance and orientation) of redox centres in complex multicentered metalloproteins (DMSDH and DorC) and in protein-protein complexes (DMSOR-DorC) providing information on the pathway of electron transfer and hence the role of the pyranopterins.Read moreRead less
Optimal Transforms of Random Vectors. This proposal focusses on development of optimal transforms to describe and model nonlinear phenomena when only statistical information is known. An optimal transform is a mathematical procedure that enables us to process information in a way that is most suited to the task in hand. These transforms have been successfully used in approximation, information theory, communications, control theory and signal and image processing. Applications include modelli ....Optimal Transforms of Random Vectors. This proposal focusses on development of optimal transforms to describe and model nonlinear phenomena when only statistical information is known. An optimal transform is a mathematical procedure that enables us to process information in a way that is most suited to the task in hand. These transforms have been successfully used in approximation, information theory, communications, control theory and signal and image processing. Applications include modelling of physical, chemical and biological systems, filtering and compression of signals and data classification and clustering. We propose two new hybrid models for realistic transforms in a general structural framework.
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
Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient al ....Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient algorithmic approaches for difficult problems enable advances in all areas of computer applications such as medical diagnosis and health prediction, national security, communications efficiency, industrial productivity and all fields of science and engineering.Read moreRead less
Duality, singular perturbations and numerical analysis in infinite dimensional linear programming problems related to problems of control of nonlinear dynamical systems. Problems of control of nonlinear dynamical systems attract continued interest of eminent researchers motivated by important applications and by the fact that analytical and/or numerical analysis of a general nonlinear control problem presents a challenging task. The outcomes of the project will be both fundamental theoretical re ....Duality, singular perturbations and numerical analysis in infinite dimensional linear programming problems related to problems of control of nonlinear dynamical systems. Problems of control of nonlinear dynamical systems attract continued interest of eminent researchers motivated by important applications and by the fact that analytical and/or numerical analysis of a general nonlinear control problem presents a challenging task. The outcomes of the project will be both fundamental theoretical results and readily applicable (linear programming based) algorithms that will equip researchers and engineers with new tools for analysis and numerical solution of nonlinear control problems (including problems that have been intractable so far). The project will further enhance Australia's international reputation in Control Theory and its Applications.
Read moreRead less
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.Read moreRead less