Discovery Early Career Researcher Award - Grant ID: DE240101245
Funder
Australian Research Council
Funding Amount
$445,047.00
Summary
Automated Modelling Assistance for the Creation of Complex Planning Models. Artificial Intelligence (AI) planning technology is used to control systems like automated factories, robots, or to solve complex optimisation problems. Creating these models is however rather complex and error-prone and requires experts to create them in the first place. This project aims at developing techniques and tools for automated modelling support. They will make the modelling process easier and guarantee desired ....Automated Modelling Assistance for the Creation of Complex Planning Models. Artificial Intelligence (AI) planning technology is used to control systems like automated factories, robots, or to solve complex optimisation problems. Creating these models is however rather complex and error-prone and requires experts to create them in the first place. This project aims at developing techniques and tools for automated modelling support. They will make the modelling process easier and guarantee desired model properties such as the desired system behaviour. The tools will thus contribute towards making the technology more easily accessible to companies that might want to deploy them, while reducing costs for doing so and increasing the quality of these models.
Read moreRead less
High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with i ....High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with international experts, we
will have a share in further strengthening the excellent role of
Australian research institutions within the international scientific
community in mathematics and scientific computing.Read moreRead less
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Sparse grid approximations and fitting using generalised combination techniques. Sparse grid techniques provide an effective tool to deal with the
computational curse of dimensionality which is a constant challenge in
modelling complex data. The proposed research is aimed at the
development and analysis of algorithms for data fitting with sparse
grids using variants of the combination technique. The outcome of the
research is a theory which will provide insights in the applicability,
limit ....Sparse grid approximations and fitting using generalised combination techniques. Sparse grid techniques provide an effective tool to deal with the
computational curse of dimensionality which is a constant challenge in
modelling complex data. The proposed research is aimed at the
development and analysis of algorithms for data fitting with sparse
grids using variants of the combination technique. The outcome of the
research is a theory which will provide insights in the applicability,
limitations and the convergence properties of the proposed
algorithms. The outcomes will be widely applicable in modelling of
large scale and complex data as is encountered in areas of
bioinformatics, physics and experimental studies of complex systems.
Read moreRead less
New Analytical Perspectives on the Algorithmic Complexity of the Hamiltonian Cycle Problem. Hamiltonian Cycle Problem (HCP), known - in the complexity theory of
algorithms -to be NP-hard is proposed for study, from three innovative,
separate (yet related) analytical perspectives: singularly perturbed
(controlled) Markov chains, that links the HCP with systems and control
theories; parametric nonconvex optimization, that links HCP with fast
interior point methods of modern optimization an ....New Analytical Perspectives on the Algorithmic Complexity of the Hamiltonian Cycle Problem. Hamiltonian Cycle Problem (HCP), known - in the complexity theory of
algorithms -to be NP-hard is proposed for study, from three innovative,
separate (yet related) analytical perspectives: singularly perturbed
(controlled) Markov chains, that links the HCP with systems and control
theories; parametric nonconvex optimization, that links HCP with fast
interior point methods of modern optimization and the spectral approach
based on a novel adaptation of Ihara-Selberg trace formula for regular
graphs. Our mathematical approach to this archetypal complex problem of graph
theory and discrete optimization promises to enhance the fundamental
understanding - and ultimate "managibility" - of the underlying
difficulty of HCP.
Read moreRead less
First Principles Design of Second-Generation Protein Stains. Proteomics is an emerging technology which has the potential to revolutionize modern biology and medicine. Extremely sensitive protein stains are a key proteomics technology, and in conjunction with gel electrophoresis, they facilitate the rapid and quantitative detection of all polypeptides in a cell. However, the tools of proteomics must rapidly advance (cheaper, greater sensitivity, more reliable, safer to handle) before the techn ....First Principles Design of Second-Generation Protein Stains. Proteomics is an emerging technology which has the potential to revolutionize modern biology and medicine. Extremely sensitive protein stains are a key proteomics technology, and in conjunction with gel electrophoresis, they facilitate the rapid and quantitative detection of all polypeptides in a cell. However, the tools of proteomics must rapidly advance (cheaper, greater sensitivity, more reliable, safer to handle) before the technology can mature to the stage where its full potential is realized. We will enable the evolution of proteomics by devising second generation fluorescent protein stains, using the environmentally-friendly natural product, epicocconone, as our design platform.Read moreRead less
Persistent Triplet Carbenes. Viable or Not? Triplet carbenes have significant potential real world applications, such as in modern electronics. However, they are highly reactive (lifetimes typically < 1 day), and this has stymied their development. Can I design so called persistent triplet-carbenes, which have significant lifetimes? I will try to using computer chemistry. In doing so, I will provide synthetic chemists with 'high-value' targets for preparation, hence saving tax dollars and minimi ....Persistent Triplet Carbenes. Viable or Not? Triplet carbenes have significant potential real world applications, such as in modern electronics. However, they are highly reactive (lifetimes typically < 1 day), and this has stymied their development. Can I design so called persistent triplet-carbenes, which have significant lifetimes? I will try to using computer chemistry. In doing so, I will provide synthetic chemists with 'high-value' targets for preparation, hence saving tax dollars and minimizing creation of environmentally damaging waste. Read moreRead less
Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of el ....Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of electronic communications who require security for their information. This includes the financial industries, government, commerce and domestic users.Read moreRead less
Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Throu ....Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Through the expertise and experience gained with this project, Australia's excellence in information security research will be reinforced. The training of PhD and Honours students will provide a much needed source of highly trained information security professionals.Read moreRead less