Experimental runtime complexity analysis of logic programs. While declarative languages improve programmer productivity, they make it harder for programmers to understand the performance of their code. We will build a tool that will use profiling data and program analysis to allow programmers to predict the running time of their programs.
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.Read moreRead less
Evolutionary multi-objective algorithms for Global Grids. This research investigates alternative software technologies for Grid-based evolutionary multi-objective decision algorithms. By employing the latest adaptive techniques and taking advantage of the low cost Grid infrastructure, new parallel evolutionary systems will be developed that can rapidly supply robust solutions to complex problems. This project will further develop an understanding of scaling issues in parallel evolutionary syste ....Evolutionary multi-objective algorithms for Global Grids. This research investigates alternative software technologies for Grid-based evolutionary multi-objective decision algorithms. By employing the latest adaptive techniques and taking advantage of the low cost Grid infrastructure, new parallel evolutionary systems will be developed that can rapidly supply robust solutions to complex problems. This project will further develop an understanding of scaling issues in parallel evolutionary systems and pave the way for even more widespread application of evolutionary techniques for large scale, data-intensive applications in science and industry.Read moreRead less
Intention Selection in Intelligent Agent Systems. Although intelligent multi-tasking is the foundation of rational behaviour, very little work has been done to date. Work in this area will maintain Australia's reputation of being at the forefront of work in Intelligent Agents. It will also provide a basis which can later be further developed for inclusion in applications and agent platforms. Australia has a number of companies, such as Agent Oriented Software, and government organisations, such ....Intention Selection in Intelligent Agent Systems. Although intelligent multi-tasking is the foundation of rational behaviour, very little work has been done to date. Work in this area will maintain Australia's reputation of being at the forefront of work in Intelligent Agents. It will also provide a basis which can later be further developed for inclusion in applications and agent platforms. Australia has a number of companies, such as Agent Oriented Software, and government organisations, such as the Bureau of Meteorology and the Department of Defence, which use agent technology. These companies would benefit from this work as it would tackle a long-standing key problem in the area of intelligent systems.Read moreRead less