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
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
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
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
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.Read moreRead less
Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implement ....Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.
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
Plant heterotrimeric G proteins: new roles in defence, stomatal control and ABA perception. Agriculture is an important economic activity in Australia that results in considerable export revenues. Two of the major problems facing agriculture around the globe are the incidence of diseases and the scarcity of water. Agricultural losses caused by plant pathogens and low water availability account for billions of dollars every year and have profound economic and social implications. Water is an extr ....Plant heterotrimeric G proteins: new roles in defence, stomatal control and ABA perception. Agriculture is an important economic activity in Australia that results in considerable export revenues. Two of the major problems facing agriculture around the globe are the incidence of diseases and the scarcity of water. Agricultural losses caused by plant pathogens and low water availability account for billions of dollars every year and have profound economic and social implications. Water is an extremely scarce resource in Australia and periodic droughts inflict immense losses to the Australian agricultural sector. Our research will explore new and cleaner strategies to provide crop protection as well as to increase water use efficiency.Read moreRead less
Manipulation of apoptosis-related genes to generate novel disease resistances in banana. Bananas are one of Australia's most important fruit crops. However, the industry is continually threatened by numerous diseases including yellow and black Sigatoka, Fusarium wilt and bunchy top. Control of these diseases currently requires either extensive pesticide treatments or complex agronomic procedures, of which most are ineffective, expensive or environmentally damaging. The aim of this project is to ....Manipulation of apoptosis-related genes to generate novel disease resistances in banana. Bananas are one of Australia's most important fruit crops. However, the industry is continually threatened by numerous diseases including yellow and black Sigatoka, Fusarium wilt and bunchy top. Control of these diseases currently requires either extensive pesticide treatments or complex agronomic procedures, of which most are ineffective, expensive or environmentally damaging. The aim of this project is to utilise a novel strategy to generate transgenic bananas with resistance to these diseases. The benefit will be both economic and environmental as implementation should significantly reduce or eliminate pesticide use. Importantly, this strategy can potentially be extrapolated to many other crops.Read moreRead less
Glucocorticoid receptor-αD1 modulates stress and inflammation . Environmental stressors in mammalian pregnancy often cause inflammation in the mother which has an adverse effect on the fetus and its survival. The current grant aims to examine the mechanism by which stress and inflammation coexist in pregnancy because stress hormones normally exert anti-inflammatory actions. Contrary to convention, a new glucocorticoid receptor (GR), GRalpha D1, is linked to increasing inflammation. Using innova ....Glucocorticoid receptor-αD1 modulates stress and inflammation . Environmental stressors in mammalian pregnancy often cause inflammation in the mother which has an adverse effect on the fetus and its survival. The current grant aims to examine the mechanism by which stress and inflammation coexist in pregnancy because stress hormones normally exert anti-inflammatory actions. Contrary to convention, a new glucocorticoid receptor (GR), GRalpha D1, is linked to increasing inflammation. Using innovative molecular biology approaches, GRalphaD1's function will be examined to provide a deeper understanding of how stress regulates inflammation in animal reproduction. The project aims to enhance interdisciplinary collaborations with expected benefits including a paradigm shift in our knowledge in this field.Read moreRead less