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
Robust, valid and interpretable deep learning for quantitative imaging. One of the biggest challenges in employing artificial intelligence is the “black-box” nature of the models used. This project aims to improve the effectiveness and trustworthiness of deep learning within quantitative magnetic resonance imaging. Deep learning has great promise in speeding-up complex image processing tasks, but currently suffers from variable data inputs, predictions are not guaranteed to be plausible and it i ....Robust, valid and interpretable deep learning for quantitative imaging. One of the biggest challenges in employing artificial intelligence is the “black-box” nature of the models used. This project aims to improve the effectiveness and trustworthiness of deep learning within quantitative magnetic resonance imaging. Deep learning has great promise in speeding-up complex image processing tasks, but currently suffers from variable data inputs, predictions are not guaranteed to be plausible and it is not clear to the end user how reliable the results are. The outcomes intend to deliver advanced knowledge and capability in artificial intelligence and machine learning that Australia urgently needs to capitalise on bringing deep learning into practical applications delivering economic, commercial and social impact.Read moreRead less
Multi-Modal Dictionary Learning for Smart City Operation and Management. This Project aims to provide new digital asset management tools for city councils to improve city services by utilising new sensing and automated learning technologies for recognising, tracking and auditing of assets. Currently, there are no digital tools available to handle these services. This project proposes new multi-modal sensing and mapping of city asset techniques by building new multi-modal dictionary learning proc ....Multi-Modal Dictionary Learning for Smart City Operation and Management. This Project aims to provide new digital asset management tools for city councils to improve city services by utilising new sensing and automated learning technologies for recognising, tracking and auditing of assets. Currently, there are no digital tools available to handle these services. This project proposes new multi-modal sensing and mapping of city asset techniques by building new multi-modal dictionary learning procedures. The new framework will recognise different conditions of city assets in real-time to make decisions. Expected outcomes of this Project include integration and easy access of assets with unique digital identities to help city councils, governments, and navigation services for real-time asset monitoring.Read moreRead less
Personalised Learning for Per-pixel Prediction Tasks in Image Analysis. AI-assisted image segmentation & synthesis are very challenging and usually require pixel-level labelling (per-pixel prediction) that is costly to obtain. The small amount of labels makes it difficult to train an “optimal” unified model for varied data as conventional methods did. This project aims to develop a new paradigm “personalised learning” to tackle this problem, where each image could be dealt with a model tailored ....Personalised Learning for Per-pixel Prediction Tasks in Image Analysis. AI-assisted image segmentation & synthesis are very challenging and usually require pixel-level labelling (per-pixel prediction) that is costly to obtain. The small amount of labels makes it difficult to train an “optimal” unified model for varied data as conventional methods did. This project aims to develop a new paradigm “personalised learning” to tackle this problem, where each image could be dealt with a model tailored to individual characteristics. The success of this project could significantly advance the fundamental research in image analysis. Expected outcomes include new knowledge and algorithms for image analysis, which could benefit fields like biology and archaeology, where labeled images are hard to attain and scarce.Read moreRead less
Integrated Planning for Uncertainty-Centric Pilot Assistance Systems. This project aims to deliver a novel pilot assistance system to improve the viability, speed and safety of Helicopter Emergency Medical Services (HEMS) and Search and Rescue (SAR) missions. It will advance fundamental algorithms for probabilistic planning in partially observable scenarios to form the core technology of a pilot assistance system that accounts the various types of uncertainty faced by pilots in a typical HEMS/S ....Integrated Planning for Uncertainty-Centric Pilot Assistance Systems. This project aims to deliver a novel pilot assistance system to improve the viability, speed and safety of Helicopter Emergency Medical Services (HEMS) and Search and Rescue (SAR) missions. It will advance fundamental algorithms for probabilistic planning in partially observable scenarios to form the core technology of a pilot assistance system that accounts the various types of uncertainty faced by pilots in a typical HEMS/SAR missions. It will exploit recent advances in Partially Observable Markov Decision Processes (POMDPs) to recommend robust, safe, and pilot-aware mission and manoeuvring strategies to make HEMS/SAR operations safer for helicopter crews, and more effective for those in need of the service.Read moreRead less
Explainable Artificial Creativity. This project aims to develop explainable models for creative AI systems which enable more productive and satisfying interactions between them and their human co-creators. This will boost both human and machine creativity through sustained, ongoing exchanges, leading to high-quality creative outcomes via automated ideation and more advanced human-machine collaborations. The proposed techniques will be validated with creative professionals, ensuring practical ind ....Explainable Artificial Creativity. This project aims to develop explainable models for creative AI systems which enable more productive and satisfying interactions between them and their human co-creators. This will boost both human and machine creativity through sustained, ongoing exchanges, leading to high-quality creative outcomes via automated ideation and more advanced human-machine collaborations. The proposed techniques will be validated with creative professionals, ensuring practical industry relevance. We expect the outcomes to include new methods that automatically generate persuasive explanations, new forms of communication including dialogues between creative AI systems and users, and new understanding of general aspects of explainability for creative AI systems.Read moreRead less
Efficient multi-view video coding with cuboids and base anchored models. This project aims to address current deficiencies in multi-view video coding technology to achieve the ultra-compression efficiency demanded by increasing display resolutions and synchronised viewpoints. The project expects to generate new knowledge, by moving from the current pixel-centric approach to methods that concentrate information common to many view-frames. The project is expected to improve compression of audio-vi ....Efficient multi-view video coding with cuboids and base anchored models. This project aims to address current deficiencies in multi-view video coding technology to achieve the ultra-compression efficiency demanded by increasing display resolutions and synchronised viewpoints. The project expects to generate new knowledge, by moving from the current pixel-centric approach to methods that concentrate information common to many view-frames. The project is expected to improve compression of audio-visual services that are of great interest to international standards bodies and industry, while facilitating free interaction and augmented reality. This project will provide significant benefits to broadcast, entertainment, surveillance and health industries and position Australia as a world leader in this field.Read moreRead less
In for the count: Maximising trust and reliability in Australian elections. This project aims to develop innovative approaches to identifying, measuring, and evaluating errors and purposeful intervention in the uniquely complex elections at the basis of Australian democracy. Such methods can underpin a world-class election auditing system, which contends with the risks that are emerging at the intersection of election digitisation, cybersecurity and foreign interference. The project’s expected o ....In for the count: Maximising trust and reliability in Australian elections. This project aims to develop innovative approaches to identifying, measuring, and evaluating errors and purposeful intervention in the uniquely complex elections at the basis of Australian democracy. Such methods can underpin a world-class election auditing system, which contends with the risks that are emerging at the intersection of election digitisation, cybersecurity and foreign interference. The project’s expected outcomes are new auditing methods, tested on real Australian election data, with their benefits quantified against global best practice. The research outputs should help reinforce the community’s trust in Australian elections, which are a foundation for our security, social cohesion, and political resilience.Read moreRead less