Discovery Early Career Researcher Award - Grant ID: DE200100063
Funder
Australian Research Council
Funding Amount
$394,398.00
Summary
Nonmonotone Algorithms in Operator Splitting, Optimisation and Data Science. This project aims to develop the mathematical foundations for the analysis and development of optimisation algorithms used in data science. Despite their now ubiquitous use, machine learning software packages routinely rely on a number of algorithms from mathematical optimisation which are not properly understood. By moving beyond the traditional realms of Fejér monotone algorithms, this project expects to develop the m ....Nonmonotone Algorithms in Operator Splitting, Optimisation and Data Science. This project aims to develop the mathematical foundations for the analysis and development of optimisation algorithms used in data science. Despite their now ubiquitous use, machine learning software packages routinely rely on a number of algorithms from mathematical optimisation which are not properly understood. By moving beyond the traditional realms of Fejér monotone algorithms, this project expects to develop the mathematical theory required to rigorously justify the use of such algorithms and thereby ensure the integrity of the decision tools they produce. This mathematical framework is also expected to produce new algorithms for optimisation which benefit consumers of data science such as the health-care and cybersecurity sectors.Read moreRead less
Mathematical modelling of information flow in social networks. This proposal aims to develop new mathematical and statistical methods to understand information flow in social networks. By using novel information theoretic techniques, it will create new methods to characterise social information flow in social networks. These tools will allow derivation of fundamental limits of predictability for AI methods applied to digital data. New mathematics of information flow will produce insights into so ....Mathematical modelling of information flow in social networks. This proposal aims to develop new mathematical and statistical methods to understand information flow in social networks. By using novel information theoretic techniques, it will create new methods to characterise social information flow in social networks. These tools will allow derivation of fundamental limits of predictability for AI methods applied to digital data. New mathematics of information flow will produce insights into social influence in online social networks. Benefits include: better understanding of how echo chambers may form in social networks, predictive models for how misinformation can spread online such as during an emergency, and a framework for intercomparison of AI methods applied to digital data on individuals. Read moreRead less
Optimising progress towards elimination of malaria. The project aims to advance mathematical knowledge by developing novel tools appropriate for modelling disease elimination. We will apply these new mathematical tools to the significant problem of malaria elimination in Vietnam. The expected outcomes are new tools for modelling disease elimination on a fine spatial resolution with heterogeneities in individual patient characteristics, calibrating models to household level data on disease transm ....Optimising progress towards elimination of malaria. The project aims to advance mathematical knowledge by developing novel tools appropriate for modelling disease elimination. We will apply these new mathematical tools to the significant problem of malaria elimination in Vietnam. The expected outcomes are new tools for modelling disease elimination on a fine spatial resolution with heterogeneities in individual patient characteristics, calibrating models to household level data on disease transmission and designing intervention strategies for maximum effect on disease transmission. The innovative combination of modelling, inference and optimisation ensures that the mathematical methods developed will be broadly applicable to modelling elimination strategies for other infectious diseases.
Read moreRead less
Real-time scheduling of trains to control peak electricity demand. This project aims to develop new scheduling and control methods that will enable railways to reduce their demand for electricity during peak demand periods, without undue disruption to the timetable.
These new methods and systems will integrate with—and expand the capabilities of—an Australian train control system that is used by railways around the world. This will enable better management of electricity within a region and be ....Real-time scheduling of trains to control peak electricity demand. This project aims to develop new scheduling and control methods that will enable railways to reduce their demand for electricity during peak demand periods, without undue disruption to the timetable.
These new methods and systems will integrate with—and expand the capabilities of—an Australian train control system that is used by railways around the world. This will enable better management of electricity within a region and better use of renewable energy sources, with significant cost savings for railways and the wider community.Read moreRead less
Large scale nonsmooth, nonconvex optimisation. This project aims to develop, analyse, test and apply (sub) gradient-based methods for solving large scale nonsmooth, nonconvex optimisation problems. Large scale problems with complex nonconvex objective and/or constraint functions are among the most difficult in optimisation. This project will generate new knowledge in numerical optimisation and machine learning. The use of structures and sparsity of large scale problems will lead to the developme ....Large scale nonsmooth, nonconvex optimisation. This project aims to develop, analyse, test and apply (sub) gradient-based methods for solving large scale nonsmooth, nonconvex optimisation problems. Large scale problems with complex nonconvex objective and/or constraint functions are among the most difficult in optimisation. This project will generate new knowledge in numerical optimisation and machine learning. The use of structures and sparsity of large scale problems will lead to the development of better models, and more accurate and robust methods. The expected outcomes of the project are ready-to-implement and apply numerical methods for solving large-scale, nonsmooth, nonconvex optimisation problems, as well as problems in machine learning and regression analysis.Read moreRead less
Mathematical Decision Support to Optimise Hospital Capacity and Utilisation. Hospital planners and executives regularly contend with challenging capacity related decisions. Decisions relating to prioritisation, allocation and sharing of resources have a profound impact on productivity, efficiency and patient outcomes. There is a lack of data-driven or quantitative decision support to make well-informed capacity related decisions of a strategic or tactical nature in a single hospital, or across a ....Mathematical Decision Support to Optimise Hospital Capacity and Utilisation. Hospital planners and executives regularly contend with challenging capacity related decisions. Decisions relating to prioritisation, allocation and sharing of resources have a profound impact on productivity, efficiency and patient outcomes. There is a lack of data-driven or quantitative decision support to make well-informed capacity related decisions of a strategic or tactical nature in a single hospital, or across a regional healthcare system. This project aims to deliver decision support for holistic hospital capacity assessment and planning optimisation. This will yield significant benefits for the health sector, providing a tool to optimise the allocation of resources and provision of infrastructure for regional hospital services.Read moreRead less
Large Markov decision processes and combinatorial optimisation. Markov decision processes continue to gain in popularity for modelling a wide range of applications ranging from analysis of supply chains and queueing networks to cognitive science and control of autonomous vehicles. Nonetheless, they tend to become numerically intractable as the size of the model grows fast. Recent works use machine learning techniques to overcome this crucial issue, but with no convergence guarantee. This project ....Large Markov decision processes and combinatorial optimisation. Markov decision processes continue to gain in popularity for modelling a wide range of applications ranging from analysis of supply chains and queueing networks to cognitive science and control of autonomous vehicles. Nonetheless, they tend to become numerically intractable as the size of the model grows fast. Recent works use machine learning techniques to overcome this crucial issue, but with no convergence guarantee. This project aims to provide theoretically sound frameworks for solving large Markov decision processes, and exploit them to solve important combinatorial optimisation problems. This timely project can promote Australia's position in the development of such novel frameworks for many scientific and industrial applications.Read moreRead less
Determining features that separate groups of protein sequences. This project aims to develop mathematical approaches for determining features that distinguish one group of proteins from another, based on their amino acid sequences. The groups of sequences will reflect different outcomes, so that identifying the fundamental features can result in targeted interventions against the poorer outcome. A simple comparison at each position or of known features can fail to determine robust differentiator ....Determining features that separate groups of protein sequences. This project aims to develop mathematical approaches for determining features that distinguish one group of proteins from another, based on their amino acid sequences. The groups of sequences will reflect different outcomes, so that identifying the fundamental features can result in targeted interventions against the poorer outcome. A simple comparison at each position or of known features can fail to determine robust differentiators and so more complex methods are required. The project will, for example, help identify HIV vaccine targets by comparing early HIV transmission sequences from those in chronic infection. The methods will be applicable to viral proteins where high mutation rates make this task even more complex.Read moreRead less
An intelligent machine modelling assistant for combinatorial optimisation. This project aims to discover key fundamental technologies for automating assistance to non-expert users in the formulation of mathematical models. Through automating the modelling of combinatorial optimization problems, this research will generate new knowledge to address the fundamental challenges of automatic mathematical modelling. This intelligent assistant will enable synthesis of new mathematical models through th ....An intelligent machine modelling assistant for combinatorial optimisation. This project aims to discover key fundamental technologies for automating assistance to non-expert users in the formulation of mathematical models. Through automating the modelling of combinatorial optimization problems, this research will generate new knowledge to address the fundamental challenges of automatic mathematical modelling. This intelligent assistant will enable synthesis of new mathematical models through the utilisation of pioneering natural language processing components and novel custom-made machine-readable knowledge bases. The outcome of this research will broaden access to high-quality models by non-expert workforce and alleviate the shortage of expert mathematicians, bringing significant social and economic benefits.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC200100009
Funder
Australian Research Council
Funding Amount
$4,861,236.00
Summary
ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA). OPTIMA addresses industry’s urgent need for decision-making tools for global competitiveness: reducing lead times, and financial and environmental costs, while improving efficiency, quality, and agility. Despite strong expertise in academia, industry is yet to fully benefit from optimisation technology due to its high barrier to entry. Connecting industry partners with world-leading interdiscip ....ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA). OPTIMA addresses industry’s urgent need for decision-making tools for global competitiveness: reducing lead times, and financial and environmental costs, while improving efficiency, quality, and agility. Despite strong expertise in academia, industry is yet to fully benefit from optimisation technology due to its high barrier to entry. Connecting industry partners with world-leading interdisciplinary researchers and talented students, OPTIMA will advance an industry-ready optimisation toolkit, while training a new generation of industry practitioners and over 120 young researchers, vanguarding a highly skilled workforce of change agents for transformation of the advanced manufacturing, energy resources, and critical infrastructure sectors.Read moreRead less