Geometry in projection methods and fixed-point theory. This project aims to resolve mathematical challenges arising from problems with specific structure typical for key modern applications, such as big data optimisation, chemical engineering and medical imaging. We focus on developing new mathematical tools for the analysis of projection methods and accompanying fixed point theory, specifically targeting the refinement of the geometric intuition for algorithm design techniques to inform the imp ....Geometry in projection methods and fixed-point theory. This project aims to resolve mathematical challenges arising from problems with specific structure typical for key modern applications, such as big data optimisation, chemical engineering and medical imaging. We focus on developing new mathematical tools for the analysis of projection methods and accompanying fixed point theory, specifically targeting the refinement of the geometric intuition for algorithm design techniques to inform the implementation of optimal methods for huge-scale optimisation problems.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
Stability of Generalised Equations and Variational Systems. This project seeks to advance a new mathematical theory of variational analysis which may lead to applications in optimisation. The emphasis will be on extensions of regularity concepts appropriate for studying stability (the ‘radius of good behaviour’) of solutions to optimisation problems, particularly those of semi-infinite optimisation and programs with equilibrium constraints, when standard assumptions are not satisfied. The expect ....Stability of Generalised Equations and Variational Systems. This project seeks to advance a new mathematical theory of variational analysis which may lead to applications in optimisation. The emphasis will be on extensions of regularity concepts appropriate for studying stability (the ‘radius of good behaviour’) of solutions to optimisation problems, particularly those of semi-infinite optimisation and programs with equilibrium constraints, when standard assumptions are not satisfied. The expected outcomes may have an impact in enhancing the convergence of numerical methods and facilitating the post-optimal analysis of solutions. It may also generate new tools for increasing efficiencies and cost reductions in engineering, logistics, economics, financial systems, and environmental science.Read moreRead less
Structured barrier and penalty functions in infinite dimensional optimisation and analysis. Very large scale tightly-constrained optimisation problems are ubiquitous and include water management, traffic flow, and imaging at telescopes and hospitals. Massively parallel computers can solve such problems and provide physically realisable solution only if subtle design issues are mastered. Resolving such issues is the goal of this project.
Relaxed reflection methods for feasibility and matrix completion problems. The project proposes to further develop the non-linear convergence theory, and to provide problem-specific implementations. Many applied and pure problems require solution of a large set of linear or nonlinear equations (or inequalities). Highly effective, parallelisable methods are based on iterated projection or reflection algorithms which aggregate information about individual equations. The theory is well developed in ....Relaxed reflection methods for feasibility and matrix completion problems. The project proposes to further develop the non-linear convergence theory, and to provide problem-specific implementations. Many applied and pure problems require solution of a large set of linear or nonlinear equations (or inequalities). Highly effective, parallelisable methods are based on iterated projection or reflection algorithms which aggregate information about individual equations. The theory is well developed in the linear case, but does not explain many important applications for which they are often highly successful (eg optical aberration correction, protein reconstruction, tomography, compressed sensing). The project also plans to provide heuristics to help explain why an algorithm performs well on one class of applications but fails on another.Read moreRead less
Constrained and Stable Solutions of Nonlinear and Semismooth Equations. In this project, comprehensive models for designing safe power system parameters will be proposed, efficient algorthms for solving these models will be constructed. The new models and algorithms in this project will provide efficient tools to prevent catastrophic events in power systems, which is related with national security. This project will also strengthen collaboration of Australian applied
mathematians with inter ....Constrained and Stable Solutions of Nonlinear and Semismooth Equations. In this project, comprehensive models for designing safe power system parameters will be proposed, efficient algorthms for solving these models will be constructed. The new models and algorithms in this project will provide efficient tools to prevent catastrophic events in power systems, which is related with national security. This project will also strengthen collaboration of Australian applied
mathematians with international researchers and engineering scientists. This is important for the advance of science and technology in
Australia.Read moreRead less
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
Advanced Bayesian Inversion Algorithms for Wave Propagation. This project aims to improve algorithms for detecting hidden items by developing new computational mathematical techniques capable of reconstructing the shape and location of objects using electromagnetic waves. This project expects to generate new knowledge in the areas of Bayesian Inversion and computational wave propagation. Expected outcomes of this project are algorithms that can be developed for use in nonintrusive radio wave sec ....Advanced Bayesian Inversion Algorithms for Wave Propagation. This project aims to improve algorithms for detecting hidden items by developing new computational mathematical techniques capable of reconstructing the shape and location of objects using electromagnetic waves. This project expects to generate new knowledge in the areas of Bayesian Inversion and computational wave propagation. Expected outcomes of this project are algorithms that can be developed for use in nonintrusive radio wave security scanners. This should provide benefits such as the capability to scan a crowd without a checkpoint, which will have the potential to improve security in public places.Read moreRead less
Innovative Methods for Very High Dimensional Problems. Real world problems tend to involve an enormous number of variables. This "curse of dimensionality" poses great difficulty in application areas such as statistics, finance, economics, and physics. These high dimensional problems are not confined to Australia, and there is great demand worldwide for effective and efficient methods to tackle these problems. The novel methods developed here will lead to improvements in prevailing computational ....Innovative Methods for Very High Dimensional Problems. Real world problems tend to involve an enormous number of variables. This "curse of dimensionality" poses great difficulty in application areas such as statistics, finance, economics, and physics. These high dimensional problems are not confined to Australia, and there is great demand worldwide for effective and efficient methods to tackle these problems. The novel methods developed here will lead to improvements in prevailing computational technologies, which will help to enhance Australia's reputation as a leading scientific innovator. The international collaborations will increase the research output of the country, build up the knowledge base in the discipline, draw international interest, and initiate linkages.Read moreRead less
Stochastic Modelling of Genetic Regulatory Networks: Subtitle - Genetic Regulation is a Noisy Business. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in ....Stochastic Modelling of Genetic Regulatory Networks: Subtitle - Genetic Regulation is a Noisy Business. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in cellular processes. This project will explore these roles and will develop an integrated complex systems modelling, simulation and visualisation framework. This will be used on an exemplar application for lineage commitment in haematopoiesis and for exploring and validating genetic regulatory models in general.Read moreRead less