Multi-resolution situation recognition for urban-aware smart assistant. This project aims to develop a situation recognition framework to recognise and anticipate unforeseen emerging situations, such as schedule changes, incidents, and disruptions in an urban environment. The project will address a significant knowledge gap by capturing and modelling unpredictability in human mobility and work routines. The outcome will be a situation recognition framework that can be applied at the individual, ....Multi-resolution situation recognition for urban-aware smart assistant. This project aims to develop a situation recognition framework to recognise and anticipate unforeseen emerging situations, such as schedule changes, incidents, and disruptions in an urban environment. The project will address a significant knowledge gap by capturing and modelling unpredictability in human mobility and work routines. The outcome will be a situation recognition framework that can be applied at the individual, social group, and urban level, and at multiple locations and time scales. This should provide users with timely notifications and recommendations to resume their activities and routines. The expected benefits will be far-ranging and adaptable to many domains, from personal smart assistants to trip planning and emergency services.Read moreRead less
Relaxed correctness criteria for modern multi-core architectures. This project seeks to lay groundwork for fully exploiting the potential of multicore computers. Multicore computers have become ubiquitous over the last decade, now being standard in everything from laptops to mobile phones. Their benefits are clear – better performance leading to more sophisticated applications. Key to ensuring those benefits are complex, and often subtle, algorithms that exploit the parallelism that multicore co ....Relaxed correctness criteria for modern multi-core architectures. This project seeks to lay groundwork for fully exploiting the potential of multicore computers. Multicore computers have become ubiquitous over the last decade, now being standard in everything from laptops to mobile phones. Their benefits are clear – better performance leading to more sophisticated applications. Key to ensuring those benefits are complex, and often subtle, algorithms that exploit the parallelism that multicore computers offer. This project aims to lay foundations for extending those benefits to applications where high reliability is a concern. It plans to do so by developing theoretical results about the correctness of algorithms on standard multicore computers, and practical tools and techniques to help programmers of multicore computers to better understand the behaviour of their code.Read moreRead less
More information for better utility; less information for better privacy. More information for better utility; less information for better privacy. The contradiction is everywhere in contemporary IT: doctors need accurate information for diagnosis, but insurance companies' access should be limited; on-line retailers use your postcode to present interesting products, but they also deduce from it how much you will pay. One way to manage this contradiction is to tolerate "small" information flows p ....More information for better utility; less information for better privacy. More information for better utility; less information for better privacy. The contradiction is everywhere in contemporary IT: doctors need accurate information for diagnosis, but insurance companies' access should be limited; on-line retailers use your postcode to present interesting products, but they also deduce from it how much you will pay. One way to manage this contradiction is to tolerate "small" information flows providing the risks involved can be accurately gauged. This project will build on recent advances in information measuring to develop new techniques for measuring the extent to which computer systems can defend against threats to privacy. Success in this project will lead to completely novel methods for security analysis of on-line applications where privacy is a critical issue.Read moreRead less
Beyond Planarity: Algorithms for Visualisation of Sparse Non-Planar Graphs. This project aims to develop new efficient algorithms to enable analysts to visually understand complex data and detect anomalies or patterns. It aims to develop visualisation algorithms for sparse non-planar graphs arising from real-world networks. Specifically, the project plans to investigate structural properties of sparse non-planar topological graphs such as k-planar graphs, k-skew graphs, and k-quasi-planar graphs ....Beyond Planarity: Algorithms for Visualisation of Sparse Non-Planar Graphs. This project aims to develop new efficient algorithms to enable analysts to visually understand complex data and detect anomalies or patterns. It aims to develop visualisation algorithms for sparse non-planar graphs arising from real-world networks. Specifically, the project plans to investigate structural properties of sparse non-planar topological graphs such as k-planar graphs, k-skew graphs, and k-quasi-planar graphs, and design efficient testing algorithms, embedding algorithms, and drawing algorithms. These algorithms will be evaluated with real-world social networks and biological networks. New insights into the mathematical interplay between combinatorial and geometric structures would provide a theoretical foundation for a new generation of complex network visualisation methods with potential applications in social networks, systems biology, health informatics, finance and security.Read moreRead less
Optimal electromaterial structures for energy applications. This project aims to develop new mathematical and modelling approaches to determine optimal configurations and parameters for material structures created from three-dimensional printing of combined metals and electromaterials. Electromaterials are needed for sustainable energy, but solving coupled-systems of highly nonlinear governing equations is needed for optimal control of spatial arrangement and composition in nano and micro-struct ....Optimal electromaterial structures for energy applications. This project aims to develop new mathematical and modelling approaches to determine optimal configurations and parameters for material structures created from three-dimensional printing of combined metals and electromaterials. Electromaterials are needed for sustainable energy, but solving coupled-systems of highly nonlinear governing equations is needed for optimal control of spatial arrangement and composition in nano and micro-structural domains. Dealing with this mathematical complexity is critical to developing high efficiency energy generation and gas storage systems. This is expected to enhance transport mechanisms within electrochemical devices and create opportunities for industry to use electrofunctional materials.Read moreRead less
Making software more reliable using a new model for entropies of computers' internal state. A new mathematical analysis of the way computer systems exchange data between their components has led to novel design approaches for the programs implementing those systems. This reduces their cost and increases their reliability, with improvements ranging from small-scale smart devices to widely distributed internet protocols.
Discovery Early Career Researcher Award - Grant ID: DE180100153
Funder
Australian Research Council
Funding Amount
$361,446.00
Summary
Automatically summarising and measuring software development activity. This project aims to create technologies for automatically repackaging, interpreting, and aggregating software development activity. The project will devise new natural-language summarisation approaches and productivity metrics that use all data available in a software repository. This is likely to lead to knowledge and tools that allow organisations to quickly integrate new developers into existing software projects, to impr ....Automatically summarising and measuring software development activity. This project aims to create technologies for automatically repackaging, interpreting, and aggregating software development activity. The project will devise new natural-language summarisation approaches and productivity metrics that use all data available in a software repository. This is likely to lead to knowledge and tools that allow organisations to quickly integrate new developers into existing software projects, to improve project awareness, and to increase productivity goals. The outcomes would include a comprehensive decision and awareness support system for software projects, based on automating the creation and continual updating of developer activity summaries and measures.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE200100941
Funder
Australian Research Council
Funding Amount
$392,778.00
Summary
Practical and Explainable Analytics to Prevent Future Software Defects. This project aims to create technologies that enable software engineers to produce the highest quality software systems with the lowest costs, by preventing future defects in safety-critical systems that could result in death and disasters. Expected outcomes of this project include new theories, techniques, and analytics systems to assist software engineers accurately predict, explain, and prevent future software defects bef ....Practical and Explainable Analytics to Prevent Future Software Defects. This project aims to create technologies that enable software engineers to produce the highest quality software systems with the lowest costs, by preventing future defects in safety-critical systems that could result in death and disasters. Expected outcomes of this project include new theories, techniques, and analytics systems to assist software engineers accurately predict, explain, and prevent future software defects before they impact end users. This should provide significant benefits including accelerating the productivity of the software industry while preventing software defects in many critical domains including smart city and e-health applications.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE200100021
Funder
Australian Research Council
Funding Amount
$413,665.00
Summary
An Intelligent Programmer’s Assistant Using Data Mining. This project aims to advance the important practice of pair programming in software engineering via software repository mining and create automated support tools. This project expects to use innovative techniques combining artificial intelligence, programming analysis and software analytics, to help software developers review code, fix bugs and implement new features. Expected outcomes of this project include an intelligent programmer’s as ....An Intelligent Programmer’s Assistant Using Data Mining. This project aims to advance the important practice of pair programming in software engineering via software repository mining and create automated support tools. This project expects to use innovative techniques combining artificial intelligence, programming analysis and software analytics, to help software developers review code, fix bugs and implement new features. Expected outcomes of this project include an intelligent programmer’s assistant, consisting of a set of automated tools, covering software development, testing and maintenance. This should provide significant benefits to the Australian software development industry by improving developers’ productivity and reduce overall project costs.Read moreRead less
Design and deployment of practical anonymous access systems. This project aims to design, test and deploy a practical and highly secure anonymous access system for online businesses that offer services on a free trial basis. Currently, online businesses are unable to take advantage of feedback from customers during and after trial periods; nor do currently available mechanisms offer practical privacy protection to customers. The project expects to overcome these barriers by developing innovative ....Design and deployment of practical anonymous access systems. This project aims to design, test and deploy a practical and highly secure anonymous access system for online businesses that offer services on a free trial basis. Currently, online businesses are unable to take advantage of feedback from customers during and after trial periods; nor do currently available mechanisms offer practical privacy protection to customers. The project expects to overcome these barriers by developing innovative cryptographic solutions and security testing methods that will inform new protocol design and implementation, which will bring long-term benefits to online businesses and their customers. The project also aims to develop new, distributed ledger technology, which is a strategic technology trend. This will provide significant benefits such as a practical, reliable and highly secure anonymous access system for online businesses, in Australia and worldwide, that offer services on a free trial basis, which would enable these service providers to add value to and enhance their product offerings.Read moreRead less