Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Unlocking National Indigenous Translational Research Excellence
Funder
National Health and Medical Research Council
Funding Amount
$35,000.00
Summary
The UNITE Network - supported by the Australian Health Research Alliance’s National Indigenous Researcher Capacity Building Network (IRNet) – will develop a cohort of Indigenous researchers, confident and competent in the necessary skills at the intersection of scientific method, Indigenous knowledge systems and translation research.
Healing The Past By Nurturing The Future: Learning How To Identify And Support Indigenous Parents Who Have Experienced Complex Childhood Trauma
Funder
National Health and Medical Research Council
Funding Amount
$1,193,719.00
Summary
Complex childhood trauma causes profound and long-lasting effects on physical, social and emotional wellbeing, which can be triggered during the transition to parenthood and impede the capacity of parents to nurture their children. The transition offers a unique opportunity for healing and preventing intergenerational transmission of trauma. This project co-designs and evaluates acceptability and feasibility of screening and support for Indigenous parents experiencing complex trauma.
Aboriginal And Torres Strait Islander Health Workers’ And Liaison Officers’ Role In Quality Acute Health Care Services
Funder
National Health and Medical Research Council
Funding Amount
$1,571,334.00
Summary
This project will explore the role of and give voice to Aboriginal and Torres Strait Islander Health Workers and Liaison Officers in acute health care services (hospitals), from the point of view of Aboriginal and Torres Strait Islander people who use health care (patients) and the health professionals who work with them. The project team will explore these issues using interviews, patient journeys and surveys across three hospitals.
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
To Improve The Quality And Access To Dialysis Treatments By Indigenous Australians From Remote Areas By Using A Patient-centred Approach To Determine The Cost-effectiveness Of Treatment Models That Include The Health, Social And Economic Impact
Funder
National Health and Medical Research Council
Funding Amount
$1,195,023.00
Summary
Compared to other Australians, Indigenous people from remote areas suffer disproportionately from kidney disease. In order to access treatment they must often relocate, sometimes permanently to urban areas. Communities advocate for services closer to home but most health providers see remote area delivery as prohibitively costly. The study will assess the relative cost-benefits of more patient-centered models of care that are inclusive of impacts on patients, families and communities.
Diabetic Retinopathy - Closing The Loop For Diabetic Eye Care And Complication Risk Mitigation
Funder
National Health and Medical Research Council
Funding Amount
$2,583,140.00
Summary
Indigenous Australians with diabetes are at high risk of vision loss due to diabetic eye disease. Training and implementation of local retinal imaging, regional reading, and web-based systems can improve communication and fragmented service delivery. We will train and evaluate, in an indigenous Australian setting, an open-source remote-access IT solution to improve eye care and outcomes, adaptable to national and international locations.
Human Podocyte Depletion, Glomerular Hypertrophy And Glomerulosclerosis
Funder
National Health and Medical Research Council
Funding Amount
$601,490.00
Summary
Many kidney diseases commence with injury to glomeruli (kidney filters) which leads to glomerular scarring and loss. There is strong evidence from animal studies that a specific glomerular cell type (the podocyte) is central to this process of glomerular injury. In this study, we will analyse the relationships between podocyte depletion and glomerular scarring in human kidneys from 5 racial groups (white and African Americans, white and Aboriginal Australians, Senegalese Africans).
Reducing Disparities In Heart Disease-Related Morbidity And Mortality: Optimising Prevention And Management
Funder
National Health and Medical Research Council
Funding Amount
$826,854.00
Summary
Heart disease contributes to a large but potentially preventable burden of death and disability. This burden is uneven with particularly vulnerable/at risk groups - including those living in regional areas and developing countries, Indigenous Australians and older patients with chronic heart disease. Prof. Simon Stewart will lead national/international collaborations to undertake innovative, multidisciplinary, prevention and disease management programs to reduce the impact and burden of heart di ....Heart disease contributes to a large but potentially preventable burden of death and disability. This burden is uneven with particularly vulnerable/at risk groups - including those living in regional areas and developing countries, Indigenous Australians and older patients with chronic heart disease. Prof. Simon Stewart will lead national/international collaborations to undertake innovative, multidisciplinary, prevention and disease management programs to reduce the impact and burden of heart disease in these vulnerable groups.Read moreRead less