Phylodynamics for Single Cell Genomics . This project generates the mathematical framework required to look at single cell data in developmental systems and tissues. All cells in a multi-cellular organism derive from a single ancestral cell, generally the fertilised egg cell. Phylodynamics provides a framework to analyse and model this data, by connecting the shared ancestry of cells in an organism to the cell population and tissue dynamics. By developing the mathematical and statistical foundat ....Phylodynamics for Single Cell Genomics . This project generates the mathematical framework required to look at single cell data in developmental systems and tissues. All cells in a multi-cellular organism derive from a single ancestral cell, generally the fertilised egg cell. Phylodynamics provides a framework to analyse and model this data, by connecting the shared ancestry of cells in an organism to the cell population and tissue dynamics. By developing the mathematical and statistical foundations for the analysis of single cell data in a phylodynamic framework we will establish a powerful new computational tools for the analysis of tissues and developmental processes. Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE150100240
Funder
Australian Research Council
Funding Amount
$315,000.00
Summary
Geometry and Conditioning in Structured Conic Problems. Conic programming allows one to model and solve large industrial problems via modern optimisation methods, such as interior-point algorithms. These methods are efficient and reliable in solving a vast number of problems, however, they fail on a relatively small but significant set of ill-posed instances, thus affecting the overall reliability of the technique. The reason for such behaviour is profound and constitutes one of the major unsolv ....Geometry and Conditioning in Structured Conic Problems. Conic programming allows one to model and solve large industrial problems via modern optimisation methods, such as interior-point algorithms. These methods are efficient and reliable in solving a vast number of problems, however, they fail on a relatively small but significant set of ill-posed instances, thus affecting the overall reliability of the technique. The reason for such behaviour is profound and constitutes one of the major unsolved problems in real complexity: there is no known algorithm that solves conic problems with real data in polynomial time. The project aims to develop a deep understanding of the geometry of conic problems, aiming for the resolution of this fundamental problem in computational theory.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
Pattern Recognition and Interpretation in Sequence Data. With the recent advances in sequencing technology, the amount of biological sequence data available has increased tremendously. Extraction of knowledge from such data has lagged behind, awaiting the development of new automated methods for extracting meaning from the sequences. This project aims to develop fast and flexible algorithms for discovery of patterns in DNA and protein sequence data and to find families of sequences that share si ....Pattern Recognition and Interpretation in Sequence Data. With the recent advances in sequencing technology, the amount of biological sequence data available has increased tremendously. Extraction of knowledge from such data has lagged behind, awaiting the development of new automated methods for extracting meaning from the sequences. This project aims to develop fast and flexible algorithms for discovery of patterns in DNA and protein sequence data and to find families of sequences that share similar patterns. Association of these patterns with features of 3-dimensional structures of protein families and their functional characteristics can contribute towards the understanding of the relationship between primary structure and function of a protein.Read moreRead less
Efficient computational methods for worst-case analysis and optimal control of nonlinear dynamical systems. Natural and technological systems can exhibit extremely complicated behaviour in worst-case scenarios. This project will develop efficient mathematical and computational tools that will enable this behaviour to be understood and controlled.
Analysis and design of control systems with saturation and time-delay. Control engineering is an enabling technology without which most modern engineering systems, such as aircrafts or Internet, can not operate properly. Actuator saturation and time-delays are undesirable phenomena that often arise in control systems leading to poor performance and sometimes instability. For example, both of these phenomena arise in control of modern telecommunication systems, such as Active Queue Management in ....Analysis and design of control systems with saturation and time-delay. Control engineering is an enabling technology without which most modern engineering systems, such as aircrafts or Internet, can not operate properly. Actuator saturation and time-delays are undesirable phenomena that often arise in control systems leading to poor performance and sometimes instability. For example, both of these phenomena arise in control of modern telecommunication systems, such as Active Queue Management in TCP networks. The project aims at tackling these phenomena by using recently developed techniques in antiwindup for saturating actuators and by revisiting some classical methods for Smith predictor design for time-delayed systems.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
Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential app ....Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential applications in computer and telecommunication industries, and advance significantly our knowledge on relevant subjects of mathematics and operations research. Read moreRead less
Finite-dimensional Sampled-data Control of Nonlinear Spatially Distributed Parameter Systems. Optical communication networks, smart materials and fluid flows, are all examples of systems whose behaviour can be significantly improved by automatic control. These are identified as some of the key technologies that will shape our future. This project will contribute to the fundamental science and engineering design of such diverse systems. Two postdoctoral fellows and one graduate student will be t ....Finite-dimensional Sampled-data Control of Nonlinear Spatially Distributed Parameter Systems. Optical communication networks, smart materials and fluid flows, are all examples of systems whose behaviour can be significantly improved by automatic control. These are identified as some of the key technologies that will shape our future. This project will contribute to the fundamental science and engineering design of such diverse systems. Two postdoctoral fellows and one graduate student will be trained in this important emerging field.Read moreRead less