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
Decomposition and Duality: New Approaches to Integer and Stochastic Integer Programming. Because of their rich modelling capabilities, integer programs are widely used in industry for decision making and planning. However their solution algorithms do not have the maturity of their cousins in convex optimisation, where the theory of strong duality is ubiquitous. Efficient methods for convex optimisation under uncertainty do not apply to the integer case, which is highly non-convex. Furthermore, i ....Decomposition and Duality: New Approaches to Integer and Stochastic Integer Programming. Because of their rich modelling capabilities, integer programs are widely used in industry for decision making and planning. However their solution algorithms do not have the maturity of their cousins in convex optimisation, where the theory of strong duality is ubiquitous. Efficient methods for convex optimisation under uncertainty do not apply to the integer case, which is highly non-convex. Furthermore, integer models usually assume the data is known with certainty, which is often not the case in the real world. This project will develop new theory and algorithms to enhance the analysis of integer models, including those that incorporating uncertainty, while also enabling the use of parallel computing paradigms. Read moreRead less
Maximizing Dimensional Efficiency With Minimal Cardinality Pattern Combinations. Making optimal use of dimensional capacity is often fundamental to the efficiency of processes in science and industry. Many important applications use combinations of patterns to achieve this. For example, in paper and in steel manufacturing, reels are divided lengthwise into cutting patterns, combined so as to minimize waste. In medicine, radiation patterns are combined to effectively treat cancerous tumours. ....Maximizing Dimensional Efficiency With Minimal Cardinality Pattern Combinations. Making optimal use of dimensional capacity is often fundamental to the efficiency of processes in science and industry. Many important applications use combinations of patterns to achieve this. For example, in paper and in steel manufacturing, reels are divided lengthwise into cutting patterns, combined so as to minimize waste. In medicine, radiation patterns are combined to effectively treat cancerous tumours. By addressing the common mathematical structure underlying pattern combination, this project will account for a hitherto neglected critical factor - the solution cardinality - making fully optimized solutions available for the first time to many applications in science and industry.Read moreRead less
Faster, cheaper, better: mathematical advances for improved design and scheduling of robotic instrumentation. This project extends previous research addressing mathematical challenges in the optimal design and scheduling of robotic instrumentation. The Partner Organisation manufactures instruments for cancer diagnostics, and designs instruments that need to produce rapid, high-quality results, at a reasonable cost in a competitive market. It is intended that powerful new scheduling algorithms wi ....Faster, cheaper, better: mathematical advances for improved design and scheduling of robotic instrumentation. This project extends previous research addressing mathematical challenges in the optimal design and scheduling of robotic instrumentation. The Partner Organisation manufactures instruments for cancer diagnostics, and designs instruments that need to produce rapid, high-quality results, at a reasonable cost in a competitive market. It is intended that powerful new scheduling algorithms will be devised to handle their complex problem, which is more challenging than standard problems. The developed methodologies aim to reduce the product development cycle and boost the competitiveness of Australian manufacturers. In addition, new theoretical and algorithmic contributions aim to enable improved scheduling in other application areas.Read moreRead less
Performance Evaluation Methodologies for the Optical Internet. It will be important to Australia to be an early adopter of a next-generation Internet technology not only to ensure that the country retains its place in the world economic community of but also to ensure that its industries and citizens have access to new technologies. Techniques and methodologies emerging from this project will enable the design of Australia's future optical Internet.
The project will enable strategic decisions ....Performance Evaluation Methodologies for the Optical Internet. It will be important to Australia to be an early adopter of a next-generation Internet technology not only to ensure that the country retains its place in the world economic community of but also to ensure that its industries and citizens have access to new technologies. Techniques and methodologies emerging from this project will enable the design of Australia's future optical Internet.
The project will enable strategic decisions on the viability of new technologies, and as a result Australian service providers will have better and cheaper networks, and Australian users will enjoy better services at a lower cost.
The project will enhance the Australian knowledge base, skills base in the area of teletraffic and optical networking.
Read moreRead less
Synchromodal container logistics for Australia. Synchromodal container logistics for Australia. This project aims to develop advanced mathematical optimization models and algorithms to create multi-modal logistics approaches for container movements in and out of Australia’s busy ports. The increasingly congested capital cities of Sydney, Brisbane and Melbourne need to find new ways of moving an increasing volume of containerized freight. Moving from trucks to rail is expected to reduce pollution ....Synchromodal container logistics for Australia. Synchromodal container logistics for Australia. This project aims to develop advanced mathematical optimization models and algorithms to create multi-modal logistics approaches for container movements in and out of Australia’s busy ports. The increasingly congested capital cities of Sydney, Brisbane and Melbourne need to find new ways of moving an increasing volume of containerized freight. Moving from trucks to rail is expected to reduce pollution and road congestion, but is only possible if highly efficient modes of operation can be developed. Research into system design and operational scheduling is expected to achieve the required efficiency for multi-modal logistics that will reduce air pollution and road congestion.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
Australian Laureate Fellowships - Grant ID: FL140100012
Funder
Australian Research Council
Funding Amount
$2,830,000.00
Summary
Stress-testing algorithms: generating new test instances to elicit insights. Stress-testing algorithms: generating new test instances to elicit insights. This project aims to develop a new paradigm in algorithm testing, creating novel test instances and tools to elicit insights into algorithm strengths and weaknesses. Such advances are urgently needed to support good research practice in academia, and to avoid disasters when deploying algorithms in practice. Extending our recent work in algorith ....Stress-testing algorithms: generating new test instances to elicit insights. Stress-testing algorithms: generating new test instances to elicit insights. This project aims to develop a new paradigm in algorithm testing, creating novel test instances and tools to elicit insights into algorithm strengths and weaknesses. Such advances are urgently needed to support good research practice in academia, and to avoid disasters when deploying algorithms in practice. Extending our recent work in algorithm testing for combinatorial optimisation, described as 'ground-breaking,' this project aims to tackle the challenges needed to generalise the paradigm to other fields such as machine learning, forecasting, software testing, and other branches of optimisation. An online repository of test instances and tools aim to provide a valuable resource to improve research practice and support new insights into algorithm performance.Read moreRead less
Combining mathematical programming and constraint programming to solve large-scale integrated scheduling problems. This project will target major savings in the airline industry, with resulting benefits for others such as tourism. The efficient use of airline fuel, which will be directly addressed in the project, is very important for the environment. The algorithms developed can improve cost and quality of service for Australian transportation, manufacturing and other industries.
The solut ....Combining mathematical programming and constraint programming to solve large-scale integrated scheduling problems. This project will target major savings in the airline industry, with resulting benefits for others such as tourism. The efficient use of airline fuel, which will be directly addressed in the project, is very important for the environment. The algorithms developed can improve cost and quality of service for Australian transportation, manufacturing and other industries.
The solutions developed within the project will be sold by the industrial partner, CTI, into major companies worldwide, and the technology will be used to develop further products.
Finally the project will extend Australia's lead in constraint programming and expertise in optimisation. This creates a major opportunity for the Australian software industry.
Read moreRead less
From Tactical Planning to Operational Control - Bridging the Chasm. All organisations plan, and all organisations suffer from the disruptions that occur when plans are put into practice. Few organisations manage to balance operational control with planning to as to maintain both efficiency and flexibility to deal with the unexpected. This project addresses this requirement for the transportation and logistics industries.
The results discovered within the project will enable the industrial ....From Tactical Planning to Operational Control - Bridging the Chasm. All organisations plan, and all organisations suffer from the disruptions that occur when plans are put into practice. Few organisations manage to balance operational control with planning to as to maintain both efficiency and flexibility to deal with the unexpected. This project addresses this requirement for the transportation and logistics industries.
The results discovered within the project will enable the industrial partner, CTI, to develop solutions for major companies worldwide. The technology will be used to build further optimisation products.
Moreover the project will extend Australia's lead in constraint programming and expertise in optimisation. This creates a major opportunity for Australia's software industry.
Read moreRead less