Novel Bioinformatics approaches for genetics and data linkage. The research project will involve creation of novel data and communications formats to fulfil the vital task of integrating the vast heterogeneous biological resources available. We will apply this new infrastructure to a large data linkage project. In parallel, we will undertake methodological research in informatics to design high throughput research methods and tools to analyse and visualise genetic data. These will be applied to ....Novel Bioinformatics approaches for genetics and data linkage. The research project will involve creation of novel data and communications formats to fulfil the vital task of integrating the vast heterogeneous biological resources available. We will apply this new infrastructure to a large data linkage project. In parallel, we will undertake methodological research in informatics to design high throughput research methods and tools to analyse and visualise genetic data. These will be applied to linkage disequilibrium mapping and haplotyping in human, animal and plant diseases. Improving informatics integration and designing novel methods and implementations of algorithms will be beneficial to local and international researchers in a range of fields.Read moreRead less
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
Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show h ....Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show how to design context-aware systems that are usable and whose autonomic decisions can be trusted. Additional benefits include increased scientific competitiveness of Australia, strengthened collaboration with international research institutions, and high quality graduates (PhDs, Masters, Honours).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.
Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – w ....Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – what the data means and what it can be used for – with sophisticated, scalable computational techniques to mine and present information from the huge volumes of raw data. This project is expected to improve productivity and quality of big data analytics and visualisation in critical domains.Read moreRead less
An Empirically Derived Experimentally Validated Framework for Interactions in Information Environments. This project will investigate and design ways of interacting with the information infrastructure that maintain natural social interactions, take advantage of physical space and utilise our extensive human abilities to recognise and manipulate physical objects.
Expected outcomes include:
? a theoretical framework that describes the range of possible interactions that mediate information b ....An Empirically Derived Experimentally Validated Framework for Interactions in Information Environments. This project will investigate and design ways of interacting with the information infrastructure that maintain natural social interactions, take advantage of physical space and utilise our extensive human abilities to recognise and manipulate physical objects.
Expected outcomes include:
? a theoretical framework that describes the range of possible interactions that mediate information between the physical and virtual worlds.
? a prototype instrumented information environment that demonstrates and validates naturalistic information transactions identified in the framework.
This research is highly innovative in its field. It will use an iterative cycle of video observation, interaction analysis, user-centred device design, deployment and evaluation.
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
Metamorphic slices and their applications in fault localization. The main purpose of this project is to enhance the quality of software. The expected outcomes include the delivery of new cost-effective methods to debug software, and the extension of current debugging methods to be applicable in wider contexts.
Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and valid ....Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.Read moreRead less