Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from ....Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from the field of parameterised complexity, creating powerful, practical solutions for these problems. It is expected to shed much-needed light on the vast and puzzling gap between theory and practice, and give researchers fast new software tools for large-scale experimentation and cutting-edge computer proofs.Read moreRead less
Mathematical and computational models for agrichemical retention on plants. Mathematical and computational models for agrichemical retention on plants. This project aims to build interactive software that simulates agrichemical spraying for multiple virtual plants reconstructed from scanned data. Mathematical modelling and computer simulation could offer an alternative to expensive experimental programs for agrichemical spraying of plants. This project will use contemporary fluid mechanics to bu ....Mathematical and computational models for agrichemical retention on plants. Mathematical and computational models for agrichemical retention on plants. This project aims to build interactive software that simulates agrichemical spraying for multiple virtual plants reconstructed from scanned data. Mathematical modelling and computer simulation could offer an alternative to expensive experimental programs for agrichemical spraying of plants. This project will use contemporary fluid mechanics to build practical mathematical models for droplet impaction, spreading and evaporation on leaf surfaces, and experimentally calibrate and validate the models. The software is expected to drive the development of agrichemical products that increase retention, minimise environmental impacts, and reduce costs for end-users.Read moreRead less
Industrial Transformation Research Hubs - Grant ID: IH170100013
Funder
Australian Research Council
Funding Amount
$2,962,655.00
Summary
ARC Research Hub for Digital Enhanced Living. The ARC Research Hub for Digital Enhanced Living aims to address the growing challenges of aging people living in their own home or residential care. This will be through inventing new personalised medical technologies through an innovative approach, with a multi-disciplinary team leveraging diverse expertise. An enhanced capacity to create and deploy fit-for-purpose personalised health solutions will result in revenues from new and repurposed device ....ARC Research Hub for Digital Enhanced Living. The ARC Research Hub for Digital Enhanced Living aims to address the growing challenges of aging people living in their own home or residential care. This will be through inventing new personalised medical technologies through an innovative approach, with a multi-disciplinary team leveraging diverse expertise. An enhanced capacity to create and deploy fit-for-purpose personalised health solutions will result in revenues from new and repurposed devices, analytics and integration platforms. New jobs and improved care will see cost reductions, better use of resources and enhanced mental, physical and social well-being.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE180100923
Funder
Australian Research Council
Funding Amount
$348,575.00
Summary
Efficient second-order optimisation algorithms for learning from big data. This project aims to apply a diverse range of scientific computing techniques to design and implement new, second-order methods that can surpass first-order alternatives in the next generation of optimisation methods for large-scale machine learning (ML). Scalable optimisation methods are now an integral part ML in the presence of “big data”. While the development of efficient first-order methods has grown in the ML comm ....Efficient second-order optimisation algorithms for learning from big data. This project aims to apply a diverse range of scientific computing techniques to design and implement new, second-order methods that can surpass first-order alternatives in the next generation of optimisation methods for large-scale machine learning (ML). Scalable optimisation methods are now an integral part ML in the presence of “big data”. While the development of efficient first-order methods has grown in the ML community, second-order alternatives have largely been ignored. The project expects to facilitate the development of more effective ML algorithms for extraction of knowledge from large data sets.Read moreRead less
Towards logarithmic representation theory of W-algebras. Aims: To construct and analyse indecomposable representations of significance in conformal field theory.
Significance: Conformal field theory plays a key role in many developments in mathematics and physics. Logarithmic conformal field theories govern important systems such as two-dimensional critical percolation. This proposal aims to develop the representation theory necessary for understanding salient features of critical systems des ....Towards logarithmic representation theory of W-algebras. Aims: To construct and analyse indecomposable representations of significance in conformal field theory.
Significance: Conformal field theory plays a key role in many developments in mathematics and physics. Logarithmic conformal field theories govern important systems such as two-dimensional critical percolation. This proposal aims to develop the representation theory necessary for understanding salient features of critical systems described by logarithmic conformal field theory.
Expected Outcomes: Novel representations of fundamental importance in logarithmic conformal field theory.
Benefit: Resolution of open problems in logarithmic conformal field theory, thus continuing the strong tradition in the field in Australia.
Read moreRead less
Defending AI based FinTech Systems against Model Extraction Attacks. This project aims to develop new methods for defending artificial intelligence (AI) based FinTech systems from highly potent and insidious model extraction attacks whereby an adversary can steal the AI model from the system to cause intellectual property (IP) violation, business advantage disruption, and financial loss. This can be achieved by examining various attack models, creating active and utility-preserving defences, and ....Defending AI based FinTech Systems against Model Extraction Attacks. This project aims to develop new methods for defending artificial intelligence (AI) based FinTech systems from highly potent and insidious model extraction attacks whereby an adversary can steal the AI model from the system to cause intellectual property (IP) violation, business advantage disruption, and financial loss. This can be achieved by examining various attack models, creating active and utility-preserving defences, and inventing non-removable watermarks on AI models. The outcomes are new tools for securing AI-based FinTech systems before deployment and tools for IP violation forensics post-deployment. Such capabilities are beneficial by improving the security and safety of FinTech systems and other nationally critical AI systems.Read moreRead less
Developing bioinformatics methods for single cell transcriptomics. This project aims to develop novel bioinformatics methods for single cell transcriptomic data that seek to model variability in cell populations. The project expects to generate new approaches using Bayesian statistics that will act as high-end enablers of discovery in transcriptional regulatory processes. Through an interdisciplinary combination of experimental and computational research, insights into fundamental biological pro ....Developing bioinformatics methods for single cell transcriptomics. This project aims to develop novel bioinformatics methods for single cell transcriptomic data that seek to model variability in cell populations. The project expects to generate new approaches using Bayesian statistics that will act as high-end enablers of discovery in transcriptional regulatory processes. Through an interdisciplinary combination of experimental and computational research, insights into fundamental biological processes will be elucidated, specifically the robustness of cellular systems. Expected outcomes include a suite of novel tools that will push the boundaries of current bioinformatics solutions with potential to deliver significant benefits to every domain of biological science, particularly tissue engineering and synthetic biology.Read moreRead less
From superintegrability to quasi-exact solvability: theory and application. This project aims to develop mathematical techniques to resolve longstanding problems in the area of integrability and exact solvability. Quantum integrable systems and exact solvable models are of central importance for understanding the correct behaviours of complex quantum problems without approximation. This project aims to construct sophisticated mathematical tools to settle key questions across a variety of models ....From superintegrability to quasi-exact solvability: theory and application. This project aims to develop mathematical techniques to resolve longstanding problems in the area of integrability and exact solvability. Quantum integrable systems and exact solvable models are of central importance for understanding the correct behaviours of complex quantum problems without approximation. This project aims to construct sophisticated mathematical tools to settle key questions across a variety of models such as superintegrable systems, quantum spin chains, and spin-boson models. Anticipated applications of the proposed research include the accurate prediction of physical phenomena, from energy spectra to quantum correlations. Such advances should have significant ramifications, and provide benefits, well beyond the mathematical discipline itself.Read moreRead less
Next-generation genomic resources to tackle parasitic diseases of animals. The revolution in genomics provides unprecedented opportunities to tackle destructive parasitic diseases affecting billions of animals worldwide. Through a synergy of leading-edge technologies and a strong partnership with BGI International, this project aims to deliver major conceptual advances in the understanding of parasitism; an unparalleled skills-base in genomics and bioinformatics; innovative new molecular technol ....Next-generation genomic resources to tackle parasitic diseases of animals. The revolution in genomics provides unprecedented opportunities to tackle destructive parasitic diseases affecting billions of animals worldwide. Through a synergy of leading-edge technologies and a strong partnership with BGI International, this project aims to deliver major conceptual advances in the understanding of parasitism; an unparalleled skills-base in genomics and bioinformatics; innovative new molecular technologies; and new treatments and diagnostic tests as biotechnological outcomes. This leap forward in Australia will substantially enhance the global profile of parasitology research, training and employment opportunities for early career scientists, and improve access to international research funding and networks. 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