Constraint-based Reasoning for Multi-agent Pathfinding. Automation is a transformative technology for logistics -- using robots to manipulate inventory allows warehouses to be more efficient, and larger-scale, than ever before. But doing this in practice requires efficient, reliable methods for coordinating ever-larger fleets of robots. These problems are extremely difficult, and current approaches either scale poorly or give weak or no guarantees on solution quality. The project will develop t ....Constraint-based Reasoning for Multi-agent Pathfinding. Automation is a transformative technology for logistics -- using robots to manipulate inventory allows warehouses to be more efficient, and larger-scale, than ever before. But doing this in practice requires efficient, reliable methods for coordinating ever-larger fleets of robots. These problems are extremely difficult, and current approaches either scale poorly or give weak or no guarantees on solution quality. The project will develop transformative approaches to multi-agent pathfinding which can handle industrial size problems, and handle all of the complications that arise in practical applications. This will deliver improved cost-effectiveness and productivity to automated warehouse logistics and other agent coordination problems.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE160100568
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Towards reliability in combinatorial optimisation. This project intends to develop techniques to ensure that the solutions reported by optimisation tools are correct and verifiable. Combinatorial optimisation problems, where the best solution must be found from a vast set of possibilities, are central to critical sectors of the economy, including shipping, transit, mining and emergency response. Automated tools for these problems can now solve large industrial examples, however, they are incredi ....Towards reliability in combinatorial optimisation. This project intends to develop techniques to ensure that the solutions reported by optimisation tools are correct and verifiable. Combinatorial optimisation problems, where the best solution must be found from a vast set of possibilities, are central to critical sectors of the economy, including shipping, transit, mining and emergency response. Automated tools for these problems can now solve large industrial examples, however, they are incredibly complex artefacts which are prone to error and difficult to test. New methods for ensuring the correctness of automated tools would allow users to trust that the results returned by these tools are correct when making critical decisions.Read moreRead less
Searching for near-exact protein models. This project aims to develop novel and efficient heuristic-based algorithms leading to near accurate protein tertiary structure models. Knowledge about protein structures is fundamental to our understanding of living systems. The progress on experimental determination of these structures has been extremely limited and remains an open challenge in molecular biology. Computational prediction of protein structures from sequences is emerging as a promising ap ....Searching for near-exact protein models. This project aims to develop novel and efficient heuristic-based algorithms leading to near accurate protein tertiary structure models. Knowledge about protein structures is fundamental to our understanding of living systems. The progress on experimental determination of these structures has been extremely limited and remains an open challenge in molecular biology. Computational prediction of protein structures from sequences is emerging as a promising approach, but its accuracy is far from satisfactory. The software systems developed in this project will be used in structural identification of target proteins in drug design. This will make drug design process more efficient, saving time and cost, potentially saving lives.Read moreRead less
Australian Laureate Fellowships - Grant ID: FL200100204
Funder
Australian Research Council
Funding Amount
$3,137,608.00
Summary
Trustworthy Artificial Intelligence. This project aims to understand how to build AI systems that humans can trust. It does so by studying how to make such systems fair, explainable, auditable, preserving of privacy and verifiable. Outputs will include tools to build trustworthy AI systems, as well as policy recommendations to complement the technical tools. This should provide significant economic and societal benefits as decisions in both the public and private sector are increasingly being ha ....Trustworthy Artificial Intelligence. This project aims to understand how to build AI systems that humans can trust. It does so by studying how to make such systems fair, explainable, auditable, preserving of privacy and verifiable. Outputs will include tools to build trustworthy AI systems, as well as policy recommendations to complement the technical tools. This should provide significant economic and societal benefits as decisions in both the public and private sector are increasingly being handed over to computers.Read moreRead less
Developing key vision technology for automation of aquaculture factory. This project aims to investigate structural, coloured textural, and hyperspectral analysis approaches to achieve automated lobster molt-cycle staging and classification to the level required for commercial production. High labour cost, water contamination, and disease transmission are major barriers in Australian bay lobster aquaculture inhibiting its large scale production. Automation of the production process and reducing ....Developing key vision technology for automation of aquaculture factory. This project aims to investigate structural, coloured textural, and hyperspectral analysis approaches to achieve automated lobster molt-cycle staging and classification to the level required for commercial production. High labour cost, water contamination, and disease transmission are major barriers in Australian bay lobster aquaculture inhibiting its large scale production. Automation of the production process and reducing the human contact with animals are of high priority in the development of this Australian-led emerging industry. The project aims to develop technology to bring this world- first aquaculture factory to large scale production, and create new export opportunities for lobsters and production systems.Read moreRead less
Partially Observable MDPs, Monte Carlo Methods, and Sustainable Fisheries. Partially Observable Markov Decision Processes (POMDPs) provide a general mathematical framework for sequential decision making under uncertainty. However, solving POMDPs effectively under realistic assumptions remains a challenging problem. This project aims to develop new efficient Monte Carlo algorithms to significantly advance the application of POMDPs to real-world decision problems involving complex action spaces an ....Partially Observable MDPs, Monte Carlo Methods, and Sustainable Fisheries. Partially Observable Markov Decision Processes (POMDPs) provide a general mathematical framework for sequential decision making under uncertainty. However, solving POMDPs effectively under realistic assumptions remains a challenging problem. This project aims to develop new efficient Monte Carlo algorithms to significantly advance the application of POMDPs to real-world decision problems involving complex action spaces and system dynamics. Both theoretical and algorithmic approaches will be applied to sustainable fishery management --- an important problem for Australia and an ideal context for POMDPs. The project will advance research in artificial intelligence, dynamical systems, and fishery operations, and benefit the national economy.Read moreRead less
Shape4D: Modelling the Spatiotemporal Deformation Patterns in 3D Shapes. This research will develop new mathematical methods and algorithms that will enable the use of population-level longitudinal studies to model the spatial and temporal deformation patterns in 3D biological objects. Using novel geometric and deep learning techniques, it will create new methods that will allow the characterization of how the 3D shape of objects deforms with ageing, disease progression and interaction with thei ....Shape4D: Modelling the Spatiotemporal Deformation Patterns in 3D Shapes. This research will develop new mathematical methods and algorithms that will enable the use of population-level longitudinal studies to model the spatial and temporal deformation patterns in 3D biological objects. Using novel geometric and deep learning techniques, it will create new methods that will allow the characterization of how the 3D shape of objects deforms with ageing, disease progression and interaction with their environment, and the simulation of spatiotemporal deformations in anatomical organs. Benefits include a better understanding of growth processes, predictive models of how degenerative diseases progress and a computational framework that will assist in designing proper mitigation and intervention strategies.Read moreRead less
Fairness in Natural Language Processing. Natural language processing (NLP) has achieved spectacular commercial successes in recent years, and has been deployed across an ever-increasing breadth of devices and application areas. At the same time, there has been stark evidence to indicate that naively-trained models amplify biases in training data, and perform inconsistently across text relating to different demographic groupings of individuals. This project aims to systematically quantify the ext ....Fairness in Natural Language Processing. Natural language processing (NLP) has achieved spectacular commercial successes in recent years, and has been deployed across an ever-increasing breadth of devices and application areas. At the same time, there has been stark evidence to indicate that naively-trained models amplify biases in training data, and perform inconsistently across text relating to different demographic groupings of individuals. This project aims to systematically quantify the extent of such biases, and develop models that are both more socially equitable, as well as less prone to expose private data in the learned representations. In doing so, it will make NLP more accessible to new populations of users, and remove socio-technological barriers to NLP uptake.Read moreRead less
Deep visual understanding: learning to see in an unruly world. Deep Learning has achieved incredible success at an astonishing variety of Computer Vision tasks recently. This project aims to convey this success into the challenging domain of high-level image-based reasoning. It will extend deep learning to achieve flexible semantic reasoning about the content of images based on information gleaned from the huge volumes of data available on the Internet. The project expects to overcome one of the ....Deep visual understanding: learning to see in an unruly world. Deep Learning has achieved incredible success at an astonishing variety of Computer Vision tasks recently. This project aims to convey this success into the challenging domain of high-level image-based reasoning. It will extend deep learning to achieve flexible semantic reasoning about the content of images based on information gleaned from the huge volumes of data available on the Internet. The project expects to overcome one of the primary limitations of deep learning and will greatly increase its practical application to a range of industrial, cultural or health settings.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE190100539
Funder
Australian Research Council
Funding Amount
$408,000.00
Summary
Towards conversational vision-based Artificial Intelligence. This project aims to develop a novel learning framework, Vision-Ask-Answer-Act (V3A). This framework will allow a machine to perform a sequence of actions via a conversation with human users, based on intricate processing of not just visual input, but human-computer verbal exchanges. Artificial intelligence has great potential as a tool for economic productivity and daily tasks. Applications in cars and assistant robots, still in their ....Towards conversational vision-based Artificial Intelligence. This project aims to develop a novel learning framework, Vision-Ask-Answer-Act (V3A). This framework will allow a machine to perform a sequence of actions via a conversation with human users, based on intricate processing of not just visual input, but human-computer verbal exchanges. Artificial intelligence has great potential as a tool for economic productivity and daily tasks. Applications in cars and assistant robots, still in their early days, typically require significant expertise to use effectively. The outcomes of this project will push the boundary of vision-language research to produce a conversational intelligent agent that can be easily used in common situations across industry, transport, the medical sector, and at home.Read moreRead less