Double auction markets with heterogeneous boundedly rational traders. The project will study limit order markets for the formation of security prices in modern exchanges, allowing heterogeneity and bounded rationality of the economic agents who will engage in various trading strategies. The model developed will be of interest to market participants seeking to design more efficient and transparent markets.
Genetic variation of transcriptional control. Genetic variation is a key cause phenotype differences in humans, animals, and plants and so of great economic importance. Despite its proven importance to human diseases, ?quantitative? variation in the amount of gene expression rather than ?qualitative? protein sequence changes, has not been systematically studied. We have developed a powerful method to identify genetic causes of quantitative variation using crosses of inbred mice in conjunction wi ....Genetic variation of transcriptional control. Genetic variation is a key cause phenotype differences in humans, animals, and plants and so of great economic importance. Despite its proven importance to human diseases, ?quantitative? variation in the amount of gene expression rather than ?qualitative? protein sequence changes, has not been systematically studied. We have developed a powerful method to identify genetic causes of quantitative variation using crosses of inbred mice in conjunction with microarray techniques to analyse expression of thousands of genes simultaneously. These studies will be extended to humans and be significant to wide areas of biological and commercial activity.Read moreRead less
Broadening Choice and Increasing Diversity in Public Schools. Currently, most families are limited to the public school in their catchment area, meaning the area in which they can afford to live. This leads to socio-economically and ethnically homogenous schools and entrenches disadvantage, as well as denying students the crucial life lessons that flow from being part of a diverse student body. This project aims to investigate a model for allocating public school places that integrates catchment ....Broadening Choice and Increasing Diversity in Public Schools. Currently, most families are limited to the public school in their catchment area, meaning the area in which they can afford to live. This leads to socio-economically and ethnically homogenous schools and entrenches disadvantage, as well as denying students the crucial life lessons that flow from being part of a diverse student body. This project aims to investigate a model for allocating public school places that integrates catchment areas. The expected outcome would be a system that gives families a wider choice, enabling them to enrol in out-of-area schools, while ensuring that allocations remain fair, equitable and balanced, and also delivering benefits such as achieving a desired level of diversity in student populations within schoolsRead moreRead less
Universal game-playing systems for randomised and imperfect-information games. This project will develop an artificial intelligence system that you can tell the rules of any new game and that then all by itself learns to play that game. The innovative aspect is that our system will be able to handle games with elements of chance, like dice, and where some information is hidden, as for example in most card games.
Testing strategy-proofness in matching markets: an experimental study. This project seeks to test and improve matching algorithms by investigating the effect of advice on strategy-proofness. Matching algorithms are used to solve allocation problems in designed markets (eg school or house allocation problems). Many of the algorithms employed are strategy-proof: participants never gain from strategising, that is, from lying about their preferences. Strategy-proofness had been seemingly validated b ....Testing strategy-proofness in matching markets: an experimental study. This project seeks to test and improve matching algorithms by investigating the effect of advice on strategy-proofness. Matching algorithms are used to solve allocation problems in designed markets (eg school or house allocation problems). Many of the algorithms employed are strategy-proof: participants never gain from strategising, that is, from lying about their preferences. Strategy-proofness had been seemingly validated by experimental research, but new evidence suggests that participants could be prone to follow wrong advice and therefore lie. In order to improve the performance of designed markets, the project proposes to further test strategy-proofness by investigating how advice can affect truth-telling in strategy-proof algorithms and whether learning can counteract or complement the effect of advice.Read moreRead less
An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied t ....An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied to large and divergent biological sequences. The success of this project will not only make significant contribution to the relevant research fields, but also help achieve goals in certain real-life biological research projects which are unique and important to Australia.Read moreRead less
Viewable Measures for Component-Based Software Engineering. Software costs over US$300 billion per year worldwide with around 70% of large projects failing to complete in time. Reliable estimation of development effort is a great challenge in Software Engineering. This project aims to develop a reliable multi-dimensional software size measure and an effort estimation model for a new method of development called component based software engineering. We will validate our results theoretically and ....Viewable Measures for Component-Based Software Engineering. Software costs over US$300 billion per year worldwide with around 70% of large projects failing to complete in time. Reliable estimation of development effort is a great challenge in Software Engineering. This project aims to develop a reliable multi-dimensional software size measure and an effort estimation model for a new method of development called component based software engineering. We will validate our results theoretically and test it against empirical data from software industry. We will provide novel visualization techniques to comprehend measurements of large systems. The outcomes will help software projects better estimate deadlines and budgets thus reducing costs significantly.Read moreRead less
Processing large data sets on commodity data-parallel hardware. The project aims to reduce the costs of software development by improving the accessibility of massively data-parallel processors, termed graphics processing units (GPUs). The project seeks to develop a high-level programming system with data streaming support targeting GPUs and multi-GPU architectures. This would facilitate the difficult task of developing parallel applications for high-performance computing architectures. The comb ....Processing large data sets on commodity data-parallel hardware. The project aims to reduce the costs of software development by improving the accessibility of massively data-parallel processors, termed graphics processing units (GPUs). The project seeks to develop a high-level programming system with data streaming support targeting GPUs and multi-GPU architectures. This would facilitate the difficult task of developing parallel applications for high-performance computing architectures. The combination of parallelism and data streaming is designed to enable efficient processing of data too big to be held in device memory, which is a common problem in scientific computing, data analysis and machine learning. The project plans to integrate data streaming into an existing system, currently targeting single GPU architectures and which is successfully used in both industry and research.Read moreRead less
Grid Computing for Phylogenetic Analysis. This interdisciplinary project relates to information technology and bioinformatics, which both can be classified as Frontier Technology in the priority areas outlined by the ARC. Grid computing and using the state-of-art IT technologies to solve grand challenging problems in phylogenetic analysis are forefront research topics in information technology and bioinformatics. The analytical results and new technologies obtained in this project will certainly ....Grid Computing for Phylogenetic Analysis. This interdisciplinary project relates to information technology and bioinformatics, which both can be classified as Frontier Technology in the priority areas outlined by the ARC. Grid computing and using the state-of-art IT technologies to solve grand challenging problems in phylogenetic analysis are forefront research topics in information technology and bioinformatics. The analytical results and new technologies obtained in this project will certainly have significant implications in the relevant areas. New platforms and software developed could have commercial value. It is of great significance that Australia maintains its pioneering position and international reputation in research in Grid computing and its applications.Read moreRead less
Provably Correct on-chip Communication-based Design. This project falls in the priority area of Frontier Technologies for Building and Transforming Australian Industries. Embedded systems have complex communication architectures and functionalities due to their mission- and time-critical applications. This project will develop verifiable algorithms and techniques for design reuse to address them, help solve outstanding problems in the VLSI/SoC community and to lift the country's visibility and ....Provably Correct on-chip Communication-based Design. This project falls in the priority area of Frontier Technologies for Building and Transforming Australian Industries. Embedded systems have complex communication architectures and functionalities due to their mission- and time-critical applications. This project will develop verifiable algorithms and techniques for design reuse to address them, help solve outstanding problems in the VLSI/SoC community and to lift the country's visibility and credibility in the area. The economic benefits are better techniques for design reuse for embedded systems that may be integrated into existing Computer Aided Design environments, with potential to commercialise the algorithms to Electronic Design Automation and vendors.Read moreRead less