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
Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a unive ....Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a universal data structure, which unfortunately makes it hard to separate trusted code from untrusted user-provided data. This project intends to develop novel program analysis tools and string constraint solvers, and employ these tools to support sophisticated automated reasoning about string manipulating software.Read 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.
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347131
Funder
Australian Research Council
Funding Amount
$115,490.00
Summary
Intelligent Computer System to Access Information Directly from the Brain Using High Resolution Electroencephalography and Repetitive Transcranial Magnetic Stimulation. The ambitious aim of this project is to create a novel intelligent computer system which accesss information from the brain. To do this we use repetitive Transcranial Magnetic Stimulation and high resolution Electroencephalography.
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
Achieving Tailored Industrial Software Process Improvement with Experience Repositories and Electronic Process Guides. There is a well-recognised need for organisations to improve their software development processes in order to achieve higher software quality and greater efficiencies in development. The use of electronic process guides and experience repositories have been two technologies independently proposed to achieve these aims. This research will develop a framework, methods and tools ....Achieving Tailored Industrial Software Process Improvement with Experience Repositories and Electronic Process Guides. There is a well-recognised need for organisations to improve their software development processes in order to achieve higher software quality and greater efficiencies in development. The use of electronic process guides and experience repositories have been two technologies independently proposed to achieve these aims. This research will develop a framework, methods and tools to allow integration of experience repositories and electronic process guides to facilitate process tailoring, process improvement, and project management. The result will be significant improvements in software development productivity and quality.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