Integrating a physical and functional genetic map of Prunus dulcis. Genome wide physical mapping is the centrepiece of current genomics research in virtually all plant and animal species. The proposal seeks to champion the development of Prunus dulcis (Rosaceae) as a model perennial species towards parity with other plant model systems for gene discovery and validation. The Rosaceae represents a rich repository of genes of relevance to perenniality, adaptation, sustainable agriculture, health a ....Integrating a physical and functional genetic map of Prunus dulcis. Genome wide physical mapping is the centrepiece of current genomics research in virtually all plant and animal species. The proposal seeks to champion the development of Prunus dulcis (Rosaceae) as a model perennial species towards parity with other plant model systems for gene discovery and validation. The Rosaceae represents a rich repository of genes of relevance to perenniality, adaptation, sustainable agriculture, health and nutrition and the bioindustries. Ultimately, comparative genomics across the family will advance molecular eco-genetics via dissection of traits determining adaptive response. Access to user-friendly molecular markers will also bring greater precision to breeding programmes. Read moreRead less
Biofertiliser technology for improved yields and environmental sustainability of rice and wheat crops. Australia faces the double challenge of improving the efficiency of its crop production while minimising the agricultural impact on its fragile biodiversity. Our project will meet this challenge by providing the technology for using natural biofertilisers in cereal crops. This will reduce our heavy reliance on chemical fertilisers - with associated soil loss, salinity and acidity, and high dema ....Biofertiliser technology for improved yields and environmental sustainability of rice and wheat crops. Australia faces the double challenge of improving the efficiency of its crop production while minimising the agricultural impact on its fragile biodiversity. Our project will meet this challenge by providing the technology for using natural biofertilisers in cereal crops. This will reduce our heavy reliance on chemical fertilisers - with associated soil loss, salinity and acidity, and high demand on scarce water resources - and significantly increase our crop yields. Our advances will help Australian farmers to reduce the costs and increase the productivity of our substantial export crops while improving their environmental sustainability.Read moreRead less
A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop ver ....A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop verification methods that may be applied to guarantee systems security. Its outcomes will contribute to processes for certifying systems at very high levels of security, a requirement in defence and government settings that will become increasingly significant in the commercial sector.Read moreRead less
Regulation of Plant Development by Small RNAs. Understanding the roles of small RNAs and their pathways is a new field of research that is giving, and will continue to give profound insights into how multicellular organisms regulate gene expression at a genomic level. Research in this area has already led to RNA interference technology, by which almost any gene can be switched off, and there is considerable potential for other gene silencing and trait modification technologies to emerge. The pro ....Regulation of Plant Development by Small RNAs. Understanding the roles of small RNAs and their pathways is a new field of research that is giving, and will continue to give profound insights into how multicellular organisms regulate gene expression at a genomic level. Research in this area has already led to RNA interference technology, by which almost any gene can be switched off, and there is considerable potential for other gene silencing and trait modification technologies to emerge. The project will yield insights into fundamental biological processes which are expected to engender applications in agriculture and biotechnology. It will maintain and enhance Australia's position in this area.Read moreRead less
Starting closer to home: disease control and the nonhost resistance paradigm in plants. The wellbeing of all humans depends upon plant production. This project will investigate the feasibility of transferring disease resistance genes among wheat, barley and oats, which account for 78 per cent of Australian grain production, to achieve sustained disease control, by dissecting the genetic bases of resistance to stem rust across these three crop species.
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less
Enhancing long-term soil organic carbon sequestration. This project addresses National Research Priority One areas, restoration of land surfaces through sustainable land management practices and sequestration of carbon. The resulting data will be transferable to domestic and international sustainable agricultural and land rehabilitation applications. The project specifically addresses an area of global significance, the long-term, millennia rather than short-term sequestration of terrestrial car ....Enhancing long-term soil organic carbon sequestration. This project addresses National Research Priority One areas, restoration of land surfaces through sustainable land management practices and sequestration of carbon. The resulting data will be transferable to domestic and international sustainable agricultural and land rehabilitation applications. The project specifically addresses an area of global significance, the long-term, millennia rather than short-term sequestration of terrestrial carbon. There will be spin-off benefits including the provision of a formula for sustainable agriculture resources and localised employment opportunities, educational and financial incentives for farmers to improve on-farm soil health as well as health benefits from the reduction of atmospheric CO2.Read moreRead less
Evolution, selection and estimation of polygenic epistatic networks in quantitative traits. Traits observed in organisms, such as height, are the result of an individual's genes and how they relate to the environment. But genes do not act alone; they work together in complex interactions. This project aims to understand these interactions and their role in animal production and human disease.
Trade-offs underlying the evolution of female mating strategies. Multiple mating by females (polyandry) is a fundamental problem in behavioural ecology. The project will utilise an Australian species of stingless bee to quantify both the costs and the most probable benefits of polyandry. This will provide insight into the trade-offs underlying the evolution of mating strategies in this species and in general. Stingless bees are important members of many Australian ecosystems and have consider ....Trade-offs underlying the evolution of female mating strategies. Multiple mating by females (polyandry) is a fundamental problem in behavioural ecology. The project will utilise an Australian species of stingless bee to quantify both the costs and the most probable benefits of polyandry. This will provide insight into the trade-offs underlying the evolution of mating strategies in this species and in general. Stingless bees are important members of many Australian ecosystems and have considerable economic potential as well. The knowledge gained during the project will also substantially aid the development and management of the commercial use of stingless bees, which will have both ecological and economic benefits to Australia.Read moreRead less
Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by s ....Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by series of correctness-preserving transformations from a knowledge-based specification. This project will generalize this work to a calculus for systems that lack a global clock, and implement a tool providing automated support for use of the calculus.Read moreRead less