Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provi ....Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provide technology transfer to end-users to ensure community uptake. The project will benefit rural and regional communities by providing long-term solutions in the areas of water use and quality, pesticide pollution reduction, and improved environment and human health care.Read moreRead less
Practical and theoretical aspects of structure enumeration. Many areas of study involve processing of large numbers of
objects in some class. These are countless examples in
chemistry, physics, mathematics, and other disciplines.
Structure Enumeration is the study of methods for efficient
generation and analysis of such objects. The project will
involve exploitation and extension of recent advances, many
due to the CI, which have added orders of magnitude to what
was possible only a few ....Practical and theoretical aspects of structure enumeration. Many areas of study involve processing of large numbers of
objects in some class. These are countless examples in
chemistry, physics, mathematics, and other disciplines.
Structure Enumeration is the study of methods for efficient
generation and analysis of such objects. The project will
involve exploitation and extension of recent advances, many
due to the CI, which have added orders of magnitude to what
was possible only a few years ago. The outcome will be a
combination of theoretical results and practical achievements,
whose usefulness will be demonstrated with some serious
applications in physics and mathematics.
Read moreRead less
Structure enumeration, applications and analysis. Structure enumeration and analysis is at the heart of finite mathematics and its many fields of application in diverse scientific disciplines. Australia has a substantial status in this field both in mathematics and physics. This project will enhance that status and develop greater ties with the centres of structure research in other parts of the world.
Numerical Modelling of Injection Moulding for Viscoplastic Fluids. The project aims to modify and extend the numerical software developed by the world renowned Moldflow Pty Ltd, Melbourne, for the simulation of injection moulding in the plastics industry. The significance of the project lies in the application of the relatively new mathematical tool, called the variational inequality approach, to the problem of solidification of the molten plastic in a mould. The expected outcomes lie in the dev ....Numerical Modelling of Injection Moulding for Viscoplastic Fluids. The project aims to modify and extend the numerical software developed by the world renowned Moldflow Pty Ltd, Melbourne, for the simulation of injection moulding in the plastics industry. The significance of the project lies in the application of the relatively new mathematical tool, called the variational inequality approach, to the problem of solidification of the molten plastic in a mould. The expected outcomes lie in the development of new software for use in the plastics industry, which will improve the production of fibre reinforced thermoplastics throughout the world.Read moreRead less
Generic complexity in computational topology: breaking through the bottlenecks. The project will focus on key computational problems in three-dimensional topology, with the aims of illuminating the theoretical limitations of such problems, developing new computational tools for solving them, and applying these tools to a variety of applications. The project will generate theoretical research, practical software, and rich experimental data.
Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial o ....Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial optimisation problems, and it will motivate and test our systems by means of case studies from both of these areas.Read moreRead less
Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication i ....Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication industries. In addition to efficient solution methods
for these problems the project will produce computational tools for
a wide range of related network routing problems.Read moreRead less
Beyond Planarity: Algorithms for Visualisation of Sparse Non-Planar Graphs. This project aims to develop new efficient algorithms to enable analysts to visually understand complex data and detect anomalies or patterns. It aims to develop visualisation algorithms for sparse non-planar graphs arising from real-world networks. Specifically, the project plans to investigate structural properties of sparse non-planar topological graphs such as k-planar graphs, k-skew graphs, and k-quasi-planar graphs ....Beyond Planarity: Algorithms for Visualisation of Sparse Non-Planar Graphs. This project aims to develop new efficient algorithms to enable analysts to visually understand complex data and detect anomalies or patterns. It aims to develop visualisation algorithms for sparse non-planar graphs arising from real-world networks. Specifically, the project plans to investigate structural properties of sparse non-planar topological graphs such as k-planar graphs, k-skew graphs, and k-quasi-planar graphs, and design efficient testing algorithms, embedding algorithms, and drawing algorithms. These algorithms will be evaluated with real-world social networks and biological networks. New insights into the mathematical interplay between combinatorial and geometric structures would provide a theoretical foundation for a new generation of complex network visualisation methods with potential applications in social networks, systems biology, health informatics, finance and security.Read moreRead less
Evidence-based frameworks for security protocol verification. Security protocols are an essential part of secure communication networks. This project aims to develop verification techniques for security protocols that produce independently verifiable formal certificates of correctness. The project's outcome will contribute to the certification processes for secure network systems at the highest level of assurance.
Viscoplasticity, Solidification and Non-Isotropic Heat Transfer in Injection Moulding. The development of new software for use by the plastics industry will maintain Australia's position at the forefront of research contributing to improved production in this extremely important manufacturing sector. The application of this research by Melbourne's Moldflow, already the world's leading supplier of injection moulding software, will consolidate its position and enable it to increase further its mar ....Viscoplasticity, Solidification and Non-Isotropic Heat Transfer in Injection Moulding. The development of new software for use by the plastics industry will maintain Australia's position at the forefront of research contributing to improved production in this extremely important manufacturing sector. The application of this research by Melbourne's Moldflow, already the world's leading supplier of injection moulding software, will consolidate its position and enable it to increase further its market share, with consequential employment and other economic flow-on benefits to Australia. This project also increases the quantum of industry relevant scientific research, contributing to the enhancement of the national profile in exporting Australian products to world markets. Read moreRead less