Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing impro ....Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.Read moreRead less
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: DE240100719
Funder
Australian Research Council
Funding Amount
$449,308.00
Summary
Interpreting services for Australian Aboriginal languages . This project aims to investigate interpreting practice with First Nations Peoples. This project expects to generate new knowledge in the area of healthcare interpreting using an ethnographic and micro-analytical approach to actual in situ interpreter mediated interactions. Expected outcomes include enhanced capacity to improve interpreter service delivery for First Nations Peoples via the development of resources for best-practice commu ....Interpreting services for Australian Aboriginal languages . This project aims to investigate interpreting practice with First Nations Peoples. This project expects to generate new knowledge in the area of healthcare interpreting using an ethnographic and micro-analytical approach to actual in situ interpreter mediated interactions. Expected outcomes include enhanced capacity to improve interpreter service delivery for First Nations Peoples via the development of resources for best-practice communication in plain language and Australian Aboriginal languages spoken in Western Australia. This should provide significant benefits such as improving First Nations Peoples’ wellbeing and interpreter and practitioner health literacy, as well as enabling governing bodies to finetune multilingual policies.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
Knowledge to enhance Science Teaching and Learning: Pursuing scholarship through explicitly enacting expert science teachers' pedagogical content knowledge. This research will enhance understandings of science teaching and learning allowing science teachers to share their knowledge in meaningful ways. In teacher preparation this will be particularly valuable by 'fast-tracking' learning about teaching science and minimize the process of the next generation of teachers feeling as though they are r ....Knowledge to enhance Science Teaching and Learning: Pursuing scholarship through explicitly enacting expert science teachers' pedagogical content knowledge. This research will enhance understandings of science teaching and learning allowing science teachers to share their knowledge in meaningful ways. In teacher preparation this will be particularly valuable by 'fast-tracking' learning about teaching science and minimize the process of the next generation of teachers feeling as though they are rediscovering that which is already known by experienced teachers of science. In articulating science teachers' knowledge, enhanced valuing their knowledge and skills of practice will occur. Such outcomes will place understanding of science teaching and learning at the forefront of teacher professionalism and positively impact work on professional standards in teaching.Read moreRead less
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
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