User-task co-adaptation for effective interactive simulation environments. This project aims to deliver smart interactive simulation environments in which users and simulation tasks work together. This project aims to create novel adaptive algorithms to automatically discover those user and task features that vary together to smartly adapt users and simulation tasks to work together harmoniously, seamlessly and effectively. Interactive simulation environments are the backbone for evaluating conc ....User-task co-adaptation for effective interactive simulation environments. This project aims to deliver smart interactive simulation environments in which users and simulation tasks work together. This project aims to create novel adaptive algorithms to automatically discover those user and task features that vary together to smartly adapt users and simulation tasks to work together harmoniously, seamlessly and effectively. Interactive simulation environments are the backbone for evaluating concepts, designs, products and advanced training systems in industry and government organisations. By bringing the user naturally inside the simulation as a task's component, users can improve their experience while task performance is simultaneously optimised. Intended outcomes include novel dynamic user-task profiling algorithms and new adaptive algorithms for user-task co-adaptation. Practical outcomes may include robust and highly effective simulation environments.Read moreRead less
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
Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.Read moreRead less
A theoretical framework for practical partial fingerprint identification. Fingerprints captured from a crime scene are often partial and poor quality which makes it difficult to identify the criminal suspects from large databases. This project will find mathematical models which can estimate the missing information located in the blank areas of a partial fingerprint and effectively identify it.
Thermo-mechanical interactive atlas of basin evolution. We propose to create a thermo-mechanical interactive atlas of basin evolution as a desktop geodynamic modelling resource for exploration geologists. The atlas will allow the user to iteratively run our 2D/3D basin modelling software ELLIPSIS to alter model parameters until they match observed basin geometries or thermal history. Model iteration will be based on interactive user evaluation of model outputs and genetic algorithms, which pr ....Thermo-mechanical interactive atlas of basin evolution. We propose to create a thermo-mechanical interactive atlas of basin evolution as a desktop geodynamic modelling resource for exploration geologists. The atlas will allow the user to iteratively run our 2D/3D basin modelling software ELLIPSIS to alter model parameters until they match observed basin geometries or thermal history. Model iteration will be based on interactive user evaluation of model outputs and genetic algorithms, which progressively modify the solution set by mimicking the evolutionary behavior of biological systems (selection, cross-over and mutation), until an acceptable result is achieved. The interactive atlas will be applied to Australian and international case studies.Read moreRead less
Feedback Processes in Galaxy Formation. We have an opportunity to combine the best Australian theory with the best local and international telescopes, to probe the murky story of how galaxies form and why they look they way they do today. By looking back to a time when the Universe was only 1 billion years old, and comparing what we see with cutting edge supercomputer simulations plus pure theory, we will gain insight into the birth of entire galaxies. The results will form part of the study o ....Feedback Processes in Galaxy Formation. We have an opportunity to combine the best Australian theory with the best local and international telescopes, to probe the murky story of how galaxies form and why they look they way they do today. By looking back to a time when the Universe was only 1 billion years old, and comparing what we see with cutting edge supercomputer simulations plus pure theory, we will gain insight into the birth of entire galaxies. The results will form part of the study of how the universe works - that is driving astrophysics today, and represents pure research for the sake of advancing knowledge and showing us where we fit into the Universe. In doing so we will also advance Australia's base of theoretical and computational expertise.Read moreRead less
Generalised density functional theory for accurate chemistry. The project aims to construct two new methods for predicting chemical structure, bonding and reactivity. The first of these (gLDA2) would be useful for modelling molecules whose electrons are constrained to a two-dimensional plane. The second (gLDA3) would be useful for modelling molecules with unconstrained electrons. The project plans to implement the two methods in user-friendly software packages and made available to researchers i ....Generalised density functional theory for accurate chemistry. The project aims to construct two new methods for predicting chemical structure, bonding and reactivity. The first of these (gLDA2) would be useful for modelling molecules whose electrons are constrained to a two-dimensional plane. The second (gLDA3) would be useful for modelling molecules with unconstrained electrons. The project plans to implement the two methods in user-friendly software packages and made available to researchers in Australia and around the world improve manufacturing efficiency in the chemical, biological, medicinal and agricultural contexts. Unlike the semi-empirical approaches that they seek to replace, these two new methods will be derived from the properties of electrons on spheres or hyperspheres and thereby have a solid foundation in quantum mechanics.Read moreRead less
Special Research Initiatives - Grant ID: SR0566892
Funder
Australian Research Council
Funding Amount
$220,000.00
Summary
The EarthByte software and database system. Earth processes over geological timescales cannot be understood outside of a plate tectonic context. However, no standard tool exists to explore the causes and effects of lithosphere-mantle interaction in accordance with past plate configurations. Our aim is to develop a Palaeo-Geographic Information System called EarthByte that will connect the open source and architecture-independent GPlates and GMT software, and implement XML-based service interfac ....The EarthByte software and database system. Earth processes over geological timescales cannot be understood outside of a plate tectonic context. However, no standard tool exists to explore the causes and effects of lithosphere-mantle interaction in accordance with past plate configurations. Our aim is to develop a Palaeo-Geographic Information System called EarthByte that will connect the open source and architecture-independent GPlates and GMT software, and implement XML-based service interfaces and databases. EarthByte will create the foundation for an e-geoscience framework for grid-based data access and Earth process modelling by linking geological and geophysical observations to palaeogeographic models for constraining mantle convection and lithospheric deformation.Read moreRead less
Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algori ....Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algorithms with the aim of designing algorithms better able to exploit prior knowledge, and to extend existing algorithms to new problem domains thus offering well principled and well understood algorithms for solving a variety of novel online problems.Read moreRead less
Mining complex concurrency relationship patterns for dynamic customer/asset interaction modelling through novel industrial behaviour networks . This project will develop novel data mining algorithms to model the evolution of concurrency relationships between customers and assets. It will take into account multiple aspect factors for a business such as seasonality, government policy, and other external events, for making fast, accurate, and efficient business decisions.