Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
Lifelong robotic navigation using visual perception. Service robots are becoming a major part of our working and personal environments, in much the same way as personal computers already have. This project will develop new methods of practical and useful robot navigation that will enable Australia's industries and services to remain internationally competitive.
A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and vali ....A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and validating a new mid-range theory, initially in the financial investment context, this project will provide significant benefits, such as help to secure Australia’s place in a changing world through improved information flow.Read moreRead less
The 2004 Australian Election Study Survey: The Decline of Political Parties? Long renowned for the stability of its political party system, Australia is finally experiencing a sustained challenge to the dominance of the major parties, which is reflected in an increasing preference by voters for minor parties and independent candidates. This project will examine the implications of these developments by conducting a public-use, national sample survey of voters at the next federal election, likely ....The 2004 Australian Election Study Survey: The Decline of Political Parties? Long renowned for the stability of its political party system, Australia is finally experiencing a sustained challenge to the dominance of the major parties, which is reflected in an increasing preference by voters for minor parties and independent candidates. This project will examine the implications of these developments by conducting a public-use, national sample survey of voters at the next federal election, likely to be held in 2004. The outcomes generated by the project will enhance academic and community understanding of the nature of the changing partisan climate within the Australian electorate.Read moreRead less
The law of deliberative democracy: theory and reform. Deliberation is essential to the health of electoral and representative democracy. This project will evaluate and recommend the reform of the law underpinning democratic politics in Australia, to enhance its deliberative quality.
A Novel Automatic Neural Network Feature Extractor. This project aims to study feature extraction abilities of convolutional as well as traditional neural networks and develop a generic feature extractor which can be applied to wide variety of real-world image and non-image data. New concepts for automatic feature extraction, feature explanation, hybrid evolutionary algorithms and non-iterative ensemble learning will be introduced and evaluated. The expected outcomes are a generic feature extrac ....A Novel Automatic Neural Network Feature Extractor. This project aims to study feature extraction abilities of convolutional as well as traditional neural networks and develop a generic feature extractor which can be applied to wide variety of real-world image and non-image data. New concepts for automatic feature extraction, feature explanation, hybrid evolutionary algorithms and non-iterative ensemble learning will be introduced and evaluated. The expected outcomes are a generic feature extractor for automatically extracting features, an optimiser for finding optimal parameters and non-iterative ensemble learning technique for classification of features into classes. The impact of this project will be automatic feature extractors and classifiers for real-world applications.Read moreRead less
Radical right populist parties. This project aims to explain why some radical right-wing populists in Western democracies enter governmental alliances with mainstream parties while others remain isolated. The emergence, spread and electoral success of radical right populists is a problem facing liberal democracy in the twenty-first century. While these parties’ policies, ideologies and rhetoric are similar, their relationships with mainstream parties are different. By examining explanatory facto ....Radical right populist parties. This project aims to explain why some radical right-wing populists in Western democracies enter governmental alliances with mainstream parties while others remain isolated. The emergence, spread and electoral success of radical right populists is a problem facing liberal democracy in the twenty-first century. While these parties’ policies, ideologies and rhetoric are similar, their relationships with mainstream parties are different. By examining explanatory factors that Political Science studies have so far been neglected, this project seeks to explain this variation and explore its implications for coalition theory.Read moreRead less
View-based processing of pattern matching queries in large graphs. Graph data exist ubiquitously in modern information systems. Graph pattern matching (GPM) finds parts of the data graph that match a given pattern. It has applications in many areas including knowledge discovery, public health, and crime detection. This project will develop novel techniques for the efficient processing of GPM queries in large graphs.