Genetic Basis of Variable Expression of Glycan Xeno-Autoantigens by Cattle. Meat and dairy products from cattle contain sugar structures (glycans) that are not made by humans. These structures can be recognised by the immune system and lead to allergic reactions, inflammation and potentially cancer. These non-human structures are called xeno-autoantigens or XAs. We have discovered individual cattle that do not produce one of these XAs. We will study the gene required to make XA in the XA-free ca ....Genetic Basis of Variable Expression of Glycan Xeno-Autoantigens by Cattle. Meat and dairy products from cattle contain sugar structures (glycans) that are not made by humans. These structures can be recognised by the immune system and lead to allergic reactions, inflammation and potentially cancer. These non-human structures are called xeno-autoantigens or XAs. We have discovered individual cattle that do not produce one of these XAs. We will study the gene required to make XA in the XA-free cattle to find the underlying mutation. The same approach will be used to look for natural XA-free individuals in other food species. This knowledge may enable us to create a test to facilitate the natural breeding of non-GMO, XA-free livestock to benefit Australian primary producers and provide safer food for consumers.Read moreRead less
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
Controlling accumulation of elements in the shoots of higher plants by manipulating processes in specific cell types in the roots. This project will provide novel, fundamental understanding of the processes controlling accumulation of elements in the shoots of plants. As such, it will impact on our understanding of processes relevant to stress tolerance, plant nutrition, human nutrition and the removal of toxic metals from soils by plants. These are all areas of great importance to Australian ag ....Controlling accumulation of elements in the shoots of higher plants by manipulating processes in specific cell types in the roots. This project will provide novel, fundamental understanding of the processes controlling accumulation of elements in the shoots of plants. As such, it will impact on our understanding of processes relevant to stress tolerance, plant nutrition, human nutrition and the removal of toxic metals from soils by plants. These are all areas of great importance to Australian agriculture, environmental sustainability and human health. The increased understanding arising from this project will underpin future work to increase agricultural productivity and the quality of life for all in the Australian and international communities.Read moreRead less
Mechanistic characterisation of genotype x environment interactions in sorghum and arabidopsis. Sorghum is an economically important cereal crop for Australia. In Australia, sorghum is used as a staple animal feed and it is very important for the live stock industry. With the predicted changes of temperature and rainfall patterns due to climate change, negative effects on sorghum yield are expected, which can have adverse effects on Australian economy. Our studies will identify and mark genes th ....Mechanistic characterisation of genotype x environment interactions in sorghum and arabidopsis. Sorghum is an economically important cereal crop for Australia. In Australia, sorghum is used as a staple animal feed and it is very important for the live stock industry. With the predicted changes of temperature and rainfall patterns due to climate change, negative effects on sorghum yield are expected, which can have adverse effects on Australian economy. Our studies will identify and mark genes that regulate flowering and seed production in sorghum in response to changes in temperature and light interactions. These studies will help to develop novel sorghum varieties with desirable characters through plant-breeding programmes.Read moreRead less
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these system ....Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these systems in a way that allows one assess their dependability.
Australia industry is actively working in these areas through companies like Ansaldo Australia, in automated railway systems, and Boeing Australia, in the defence sector.Read moreRead less
Transaction Oriented Computational Models for Multi Agent Systems. Agent systems are a very promising technology for constructing complex, large-scale software. Australian researchers have made key
contributions in this area, particularly with reference to one mature and commonly adopted agent architecture known as BDI (Belief, Desire, Intention). To make this technology suitable for use in advanced applications, it has to be provided with robust and predictable behaviour. This project wil ....Transaction Oriented Computational Models for Multi Agent Systems. Agent systems are a very promising technology for constructing complex, large-scale software. Australian researchers have made key
contributions in this area, particularly with reference to one mature and commonly adopted agent architecture known as BDI (Belief, Desire, Intention). To make this technology suitable for use in advanced applications, it has to be provided with robust and predictable behaviour. This project will address that need by designing and implementing a novel agent language for BDI, based on contributions using transactional concepts for agents developed at The University of Melbourne. This will contribute to the development of robust and predictable agent software, that can be used in complex and large scale applications of the future.
Read moreRead less
Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlin ....Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.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
Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, b ....Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, based on program refinement theory, that automatically translates specification statements in programs into executable code. Such an outcome will ultimately improve the speed, accuracy and cost-effectiveness of critical software development.Read moreRead less