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.
Determining The Impact Of Opioid Substitution Therapy Upon Mortality And Recidivism Among Prisoners: A 22-year Data Linkage Study
Funder
National Health and Medical Research Council
Funding Amount
$354,114.00
Summary
This study will quantify the impact of opioid substitution therapy (OST; methadone or buprenorphine) on two important outcomes for opioid dependent prisoners: mortality, particularly in the post-release period; and subsequent criminal activity. The study will have almost 600,000 person-years of follow-up over 22 years, allowing fine grained analyses of disadvantaged subpopulations. The study has clear implications for the health of this population, crime reductions, and cost savings.
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.
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
National Non-human Primate Breeding And Research Facility
Funder
National Health and Medical Research Council
Funding Amount
$2,640,742.00
Summary
Some biomedical research is best undertaken on primates, in order to allow the greatest relevance to understanding health and disease in humans. Examples of such research include studies into diseases like HIV-AIDS and much of the research into understanding the human brain and nervous system. The National Health and Medical Research Committee (NHMRC), through its Animal Welfare Committee, has taken an international leadership position in ensuring that any non-human primates used for biomedical ....Some biomedical research is best undertaken on primates, in order to allow the greatest relevance to understanding health and disease in humans. Examples of such research include studies into diseases like HIV-AIDS and much of the research into understanding the human brain and nervous system. The National Health and Medical Research Committee (NHMRC), through its Animal Welfare Committee, has taken an international leadership position in ensuring that any non-human primates used for biomedical research are bred and housed in the best possible facilities and looked after with the highest level of care available. To ensure this quality of care, it is NHMRC policy to only use animals that have been bred and reared specifically for research purposes. The National Non-Human Primate Breeding and Research Facility, hosted by Monash University, ensures that Australian community has access to macaque monkeys and marmosets to carry out research under the highest quality conditions. Additionally the colonies will provide a key resource in any national response to pandemics and bioterrorism for vaccine and response development.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