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
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
Proteomic and genetic analysis of subfertile bull spermatozoa. This project aims to identify protein changes on spermatozoa that are highly correlated with the fertility status of bulls. Bull fertility has approached an all-time low as breeding practice has focused predominately on milk production and beef tenderness. This project aims to understand the genetic causes that underpin bull and cattle infertility, and investigate better methods to predict the fertility status of bulls. This project ....Proteomic and genetic analysis of subfertile bull spermatozoa. This project aims to identify protein changes on spermatozoa that are highly correlated with the fertility status of bulls. Bull fertility has approached an all-time low as breeding practice has focused predominately on milk production and beef tenderness. This project aims to understand the genetic causes that underpin bull and cattle infertility, and investigate better methods to predict the fertility status of bulls. This project expects to contribute to better clinical management of cattle. This information can then be used for the development of a better diagnostic assay for both the dairy and beef industry.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
Beyond pineal melatonin: sensing the seasons without the eye. The project will identify the causal connection between seasonal breeding in animals and a recently recognised brain biochemical pathway by applying experimental treatments mimicking seasonal environmental changes in a mutant and wild-type nematode worm model. Through experimentation we will identify useful biological targets that might be manipulated to enhance control of seasonal breeding in managed animals. With better control of r ....Beyond pineal melatonin: sensing the seasons without the eye. The project will identify the causal connection between seasonal breeding in animals and a recently recognised brain biochemical pathway by applying experimental treatments mimicking seasonal environmental changes in a mutant and wild-type nematode worm model. Through experimentation we will identify useful biological targets that might be manipulated to enhance control of seasonal breeding in managed animals. With better control of reproductive output in animals, farmers and managers can increase and/or decrease reproductive output as needed in managed species including livestock and vertebrate pests. This will enhance the use of precious land resources and minimize ecological damage from overbreeding.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
Supporting dynamic multidimensional entrepreneurial resilience in Australia. This project aims to model entrepreneurial resilience, its formation and its influence on how creative transformation occurs, and whether ex ante adaptive capacity is in turn enhanced by having mastered crises. The project proposes a theoretical model to holistically measure resilience across the life course. Using longitudinal data for self-employed individuals in Australia the project analyses the impact of crisis and ....Supporting dynamic multidimensional entrepreneurial resilience in Australia. This project aims to model entrepreneurial resilience, its formation and its influence on how creative transformation occurs, and whether ex ante adaptive capacity is in turn enhanced by having mastered crises. The project proposes a theoretical model to holistically measure resilience across the life course. Using longitudinal data for self-employed individuals in Australia the project analyses the impact of crisis and economic policy on entrepreneur’s behaviour and SMEs entry exit decisions. The project informs policy making through employing discrete choice experiments to elicit entrepreneur’s preferences for government policy and support post crisis. 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
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
Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers a ....Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers access to powerful logical techniques in those applications. In the process, fundamental problems in modelling multiple granularity of time will be identified, and application-independent solutions to those problems will be provided.Read moreRead less