Novel genomic technologies to improve fertility in northern beef cattle. This project aims to develop new genomic technologies to enable accelerated improvement of cow fertility. Increased global demand for beef is driving northern Australian beef enterprises to develop innovative ways to increase productivity. A substantial industry challenge is poor fertility of cows, with weaning rates frequently less than 40%. The expected outcomes of this project are an improvement in weaning rates to enabl ....Novel genomic technologies to improve fertility in northern beef cattle. This project aims to develop new genomic technologies to enable accelerated improvement of cow fertility. Increased global demand for beef is driving northern Australian beef enterprises to develop innovative ways to increase productivity. A substantial industry challenge is poor fertility of cows, with weaning rates frequently less than 40%. The expected outcomes of this project are an improvement in weaning rates to enable accelerated genetic gain for fertility in these enterprises by delivering a low cost array, which assays thousands of DNA variants affecting fertility simultaneously. This should provide significant benefits such as a new genomic prediction method informed by gene expression data from a unique resource of Brahman cattle with exceptionally high fertility, generating significant industry benefits.Read moreRead less
Software Quality Improvement Through Static Analysis and Annotation. Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that th ....Software Quality Improvement Through Static Analysis and Annotation. Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that there are approximately 75,000 software developers who make substantial use of C/C++ and who could benefit from the availability of better automatic static analysis tools to improve both the quality of the code they produce and their productivity.Read moreRead less
Industrial Transformation Research Hubs - Grant ID: IH130200013
Funder
Australian Research Council
Funding Amount
$4,979,922.00
Summary
ARC Research Hub for advanced breeding to transform prawn aquaculture. ARC Research Hub for advanced breeding to transform prawn aquaculture. This Research Hub aims to bring together world-leading animal geneticists, research and service providers, and Australia's largest prawn farm to gather the genomic resources, commercial phenotypic data, and apply cutting-edge genetic and genomic selection methodologies, leading to the transformative improvement program for a black tiger prawn aquaculture s ....ARC Research Hub for advanced breeding to transform prawn aquaculture. ARC Research Hub for advanced breeding to transform prawn aquaculture. This Research Hub aims to bring together world-leading animal geneticists, research and service providers, and Australia's largest prawn farm to gather the genomic resources, commercial phenotypic data, and apply cutting-edge genetic and genomic selection methodologies, leading to the transformative improvement program for a black tiger prawn aquaculture species globally.Read moreRead less
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
Manipulation of carbon partitioning to enhance the value of sugarcane. Manipulation of carbon partitioning to enhance the value of sugarcane. This project aims to develop enhanced varieties of sugarcane, a highly efficient crop for capturing carbon in plant biomass. This project will use genomic and metabolomic tools to investigate the biochemical and molecular genetic control of carbon partitioning into the major components of sugarcane biomass; identify key genetic controls of sucrose, cellulo ....Manipulation of carbon partitioning to enhance the value of sugarcane. Manipulation of carbon partitioning to enhance the value of sugarcane. This project aims to develop enhanced varieties of sugarcane, a highly efficient crop for capturing carbon in plant biomass. This project will use genomic and metabolomic tools to investigate the biochemical and molecular genetic control of carbon partitioning into the major components of sugarcane biomass; identify key genetic controls of sucrose, cellulose, hemicellulose and lignin biosynthesis; and establish strategies for genetic selection of sugarcane genotypes with desirable biomass components. Anticipated outcomes are an optimised industrial sugarcane crops with higher sugar content and other biomass components designed for high value end uses such as bio-energy or bio-material production.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