High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with i ....High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with international experts, we
will have a share in further strengthening the excellent role of
Australian research institutions within the international scientific
community in mathematics and scientific computing.Read moreRead less
First Principles Design of Second-Generation Protein Stains. Proteomics is an emerging technology which has the potential to revolutionize modern biology and medicine. Extremely sensitive protein stains are a key proteomics technology, and in conjunction with gel electrophoresis, they facilitate the rapid and quantitative detection of all polypeptides in a cell. However, the tools of proteomics must rapidly advance (cheaper, greater sensitivity, more reliable, safer to handle) before the techn ....First Principles Design of Second-Generation Protein Stains. Proteomics is an emerging technology which has the potential to revolutionize modern biology and medicine. Extremely sensitive protein stains are a key proteomics technology, and in conjunction with gel electrophoresis, they facilitate the rapid and quantitative detection of all polypeptides in a cell. However, the tools of proteomics must rapidly advance (cheaper, greater sensitivity, more reliable, safer to handle) before the technology can mature to the stage where its full potential is realized. We will enable the evolution of proteomics by devising second generation fluorescent protein stains, using the environmentally-friendly natural product, epicocconone, as our design platform.Read moreRead less
Persistent Triplet Carbenes. Viable or Not? Triplet carbenes have significant potential real world applications, such as in modern electronics. However, they are highly reactive (lifetimes typically < 1 day), and this has stymied their development. Can I design so called persistent triplet-carbenes, which have significant lifetimes? I will try to using computer chemistry. In doing so, I will provide synthetic chemists with 'high-value' targets for preparation, hence saving tax dollars and minimi ....Persistent Triplet Carbenes. Viable or Not? Triplet carbenes have significant potential real world applications, such as in modern electronics. However, they are highly reactive (lifetimes typically < 1 day), and this has stymied their development. Can I design so called persistent triplet-carbenes, which have significant lifetimes? I will try to using computer chemistry. In doing so, I will provide synthetic chemists with 'high-value' targets for preparation, hence saving tax dollars and minimizing creation of environmentally damaging waste. Read moreRead less
On the mechanism of boiling instability in microchannels. This project will enable designers to create highly efficient miniaturised devices based on the boiling of fluids such as water or organics. These devices include micro-power generation systems, coolers for computer chips and solar collectors, and micro-chemical process systems. Such devices provide environmental, safety and economic benefits.
Visual interaction methods for clustered graphs. This project aims to improve human understanding of huge network data sets, such as those arising in social networks, biological networks, and very large software structures. The project will enable analysts to explore and interact with such data sets, leading to better understanding.
Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe s ....Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe software development. The industry interested in embedded system tools are: Telecom/Datacom, Consumer Electronics, Industrial Automation, Retail Automation, Office Automation, Military/Aerospace, Automotive, Information Automation, Medical Devices.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
The First Chemically Accurate Tools in Theoretical Materials Research. Non-metallic materials are widely used in catalytic, separation and sensing applications. This project will create a new, accurate, general and systematic approach to the computational study of non-metallic materials and will provide an enormous step forward in our ability to design these materials for specific applications. With ever increasing demand, growing world population and shrinking natural resources, the benefits of ....The First Chemically Accurate Tools in Theoretical Materials Research. Non-metallic materials are widely used in catalytic, separation and sensing applications. This project will create a new, accurate, general and systematic approach to the computational study of non-metallic materials and will provide an enormous step forward in our ability to design these materials for specific applications. With ever increasing demand, growing world population and shrinking natural resources, the benefits of such rational materials design impact on the development of new, safer, more efficient, reusable materials in chemical, engineering, electronic and biological applications. Read moreRead less
Quantum chemical methods: From wavefunction to density functional theory. This project aims to address a major challenge in quantum chemistry - how to extend the applicability of high-level quantum chemical methods to larger molecules. High-level quantum chemical methods can consistently obtain reliable thermochemical and kinetic data, but due to their steep computational cost, they are only applicable to relatively small molecules. The project expects to introduce new concepts and methodologies ....Quantum chemical methods: From wavefunction to density functional theory. This project aims to address a major challenge in quantum chemistry - how to extend the applicability of high-level quantum chemical methods to larger molecules. High-level quantum chemical methods can consistently obtain reliable thermochemical and kinetic data, but due to their steep computational cost, they are only applicable to relatively small molecules. The project expects to introduce new concepts and methodologies that build on recent breakthrough research in the field of ab initio computational chemistry. The new methods should be capable of energetic predictions of unprecedented accuracy for relatively large systems across the Periodic Table and will be used for the development of better density functional theory procedures.Read moreRead less
Robust Reformulation Methods. Many decision problems in engineering, business and economics are modeled as nonlinear continuous optimization problems. Often these are made difficult by the existence of constraints. In this project, we reformulate such problems as constrained nonsmooth equations, rather than optimization problems, and develop generalized Newton and quasi-Newton methods for solving them. The expected outcomes of this project include a systematic theory of reformulation methods, ....Robust Reformulation Methods. Many decision problems in engineering, business and economics are modeled as nonlinear continuous optimization problems. Often these are made difficult by the existence of constraints. In this project, we reformulate such problems as constrained nonsmooth equations, rather than optimization problems, and develop generalized Newton and quasi-Newton methods for solving them. The expected outcomes of this project include a systematic theory of reformulation methods, and robust and efficient algorithms for solving some important nonlinear continuous optimization problems. There is high potential for applications in engineering, business and finance.Read moreRead less