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
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
Reconceiving Machine Learning. The proposed research will develop a new way to consider problems to which machine learning can be applied. Machine learning is crucial enabler of the digital economy. The research will provide better opportunities for Australian industry to gain a competitive advantage with machine learning technology. The framework developed will enable better opportunities for collaborative research and will build and strengthen international linkages.
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
Engineered graphene-based nanofertilizers to improve crop nutrition. This project seeks to evaluate the unique properties of graphene to more effectively engineer novel fertilizers with properties that can enhance nutrient efficiency and reduce losses to the environment. More efficient and effective fertilizer formulations are needed to improve nutrient use efficiency in agricultural systems globally, and for effective biofortification of staple food crops with essential micronutrients. Nitrogen ....Engineered graphene-based nanofertilizers to improve crop nutrition. This project seeks to evaluate the unique properties of graphene to more effectively engineer novel fertilizers with properties that can enhance nutrient efficiency and reduce losses to the environment. More efficient and effective fertilizer formulations are needed to improve nutrient use efficiency in agricultural systems globally, and for effective biofortification of staple food crops with essential micronutrients. Nitrogen may be lost from soil through leaching and gaseous losses to the atmosphere. Phosphorus, as well as copper, manganese and zinc, are prone to reactions in soils and during manufacturing which reduces their effectiveness.Read moreRead less
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
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
Seeing Change: Science, Culture and Technology in the Antipodes from the age of Darwin - a multi-media research collaboration. To build a collaboration across the humanities, natural sciences, business technology and public culture sectors that will use new forms of digital and visual research to demonstrate the neglected importance of Australasia in the formation of nineteenth-century evolutionary thought and to suggest the relevance of these ideas to understanding contemporary issues of enviro ....Seeing Change: Science, Culture and Technology in the Antipodes from the age of Darwin - a multi-media research collaboration. To build a collaboration across the humanities, natural sciences, business technology and public culture sectors that will use new forms of digital and visual research to demonstrate the neglected importance of Australasia in the formation of nineteenth-century evolutionary thought and to suggest the relevance of these ideas to understanding contemporary issues of environmental sustainability and the development of frontier technologies within our society and region. 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
ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environme ....ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environments. EII will address 3 tightly coupled research themes: Ability to interoperate across existing heterogenous platforms & applications; Efficient processing of very large data sets; Technology adoption & impact. Generic results will be applicable to e-science and large business information systems installations.Read moreRead less