Media Formulations To Enhance Embryo Formation In Assisted Reproduction
Funder
National Health and Medical Research Council
Funding Amount
$660,133.00
Summary
The increasing age of parenthood has led to an explosion in the demand for assisted reproductive technologies such as in vitro fertilisation (IVF). This procedure has a poor success rate and is limited by the ability of fertilised eggs to mature into early embryos in the lab prior to being transferred into women. We will develop new compounds that improve embryo growth in the clinic, which will improve IVF success rates.
Nicotinamide Adenine Dinucleotide (NAD+)-raising Agents For Improving Oocyte Quality
Funder
National Health and Medical Research Council
Funding Amount
$445,827.00
Summary
Many women cannot have children because of suboptimal egg quality, often due to aging. Currently, the only option is to use better quality eggs donated from another woman. This project will use pharmacological agents to promote recently discovered pathways in eggs central to determining quality. Importantly, we will investigate a simple and practical approach that can be used in clinics for augmenting these pathways to improve oocyte quality for the first time.
A New Direction For TB Control In Highly Endemic Countries: A RCT Of Active Case Finding
Funder
National Health and Medical Research Council
Funding Amount
$1,362,910.00
Summary
Tuberculosis is the number 1 health problem in Vietnam . Many people with TB do not know they have the disease but are infectious to others. Hence, the disease continues to spread. This project will investigate the role of x-ray screening to detect and treat more people with TB, particularly those who do not have symptoms. This may be an important element of future TB control programs in Vietnam and elsewhere in our region.
A Randomized Clinical Trial Comparing Effectiveness Of 4RIF And 9INH For Treatment Of Latent TB Infection
Funder
National Health and Medical Research Council
Funding Amount
$496,875.00
Summary
Treatment of latent tuberculosis infection (LTBI) is one intervention that is known to prevent the occurrence of active TB. Current treatment is based on a six to nine month course of isoniazid. The treatment has side effects in some people and many people do not complete the treatment. The present study is to test an alternative treatment regimen (4 months of rifampicin) which has fewer side-effects and is more likely to be completed.
Discovery Early Career Researcher Award - Grant ID: DE240100168
Funder
Australian Research Council
Funding Amount
$413,847.00
Summary
Self-Supervised Sequential Biomedical Image-Omics. This project aims to develop a self-supervised sequential biomedical image-omics model to uncover the underlying biological processes e.g., normal or abnormal. Sequential biomedical images are state-of-the-art imaging modalities which allow to depict changes in progression to the human body. New self-supervised machine learning algorithms are proposed to derive features from heterogenous and unlabelled sequential images. These derived features w ....Self-Supervised Sequential Biomedical Image-Omics. This project aims to develop a self-supervised sequential biomedical image-omics model to uncover the underlying biological processes e.g., normal or abnormal. Sequential biomedical images are state-of-the-art imaging modalities which allow to depict changes in progression to the human body. New self-supervised machine learning algorithms are proposed to derive features from heterogenous and unlabelled sequential images. These derived features will then be used to characterise the morphological and functional changes, which provide opportunities to increase understanding of progression of diseases of individual subject. The outcome from this project will provide new insights into system biology with potential future benefits in healthcare.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
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
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
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