Optimising Heart Disease Prevention And Management
Funder
National Health and Medical Research Council
Funding Amount
$4,647,175.00
Summary
As we become older and risk factors such as obesity become more common, our biggest contributor to death and disability, cardiovascular disease (including heart disease), will continue to exert an enormous burden on our health care system and society. We will extend our ground-breaking research on multidisciplinary teams to create new and innovative health care programs to optimise the prevention and management of new heart disease and chronic forms of heart disease.
The Management To Optimise Diabetes And MEtabolic Syndrome Risk Reduction Via Nurse-led Intervention (MODERN) Study
Funder
National Health and Medical Research Council
Funding Amount
$1,445,861.00
Summary
There is increasing recognition of society’s responsibility to provide effective and sustainable health care to the entire population and not just selected parts. This practical study will test the impact of a nurse-led, multidisciplinary prevention program to reduce the risk of future cardiovascular events in middle-aged individuals at a high risk of developing cardiovascular disease (CVD) living in regional Australia.
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
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
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
Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, b ....Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, based on program refinement theory, that automatically translates specification statements in programs into executable code. Such an outcome will ultimately improve the speed, accuracy and cost-effectiveness of critical software development.Read moreRead less
Targeting early contact with the criminal justice system in young people. This project aims to identify who and why young people first come in contact with the criminal justice system and what determines the early course of contact. The project will focus on first police contact, as a victim, witness or offender, as a means of identifying young people at-risk of adverse life outcomes. It intends to build on the NSW Child Development Study, a large population-based intergenerational cohort, to de ....Targeting early contact with the criminal justice system in young people. This project aims to identify who and why young people first come in contact with the criminal justice system and what determines the early course of contact. The project will focus on first police contact, as a victim, witness or offender, as a means of identifying young people at-risk of adverse life outcomes. It intends to build on the NSW Child Development Study, a large population-based intergenerational cohort, to develop services and interventions aimed at preventing young people from becoming enmeshed in the criminal justice system.Read moreRead less
A Multi-centre RCT To Prevent Secondary Falls In Older People Presenting To The Emergency Department With A Fall
Funder
National Health and Medical Research Council
Funding Amount
$1,534,471.00
Summary
Falls are a leading cause for presentation to Emergency Departments (EDs) by older patients. More than 50% who present to ED with a fall injury have fallen in the previous year. RESPOND is an innovative post-ED discharge program designed to reduce secondary falls in older people. RESPOND extends current falls prevention research and practice by incorporating patient-centred education with behaviour change strategies proven to be effective in the secondary prevention of cardiovascular events.
Preventing terrorism through community-based approaches. This project aims to investigate the prevention of terrorism. It will examine approaches that involve police community engagement and local responses to violent extremism. This is a significant issue given communities are a key line of defence against terrorism. Expecting to generate new knowledge about counter-terrorism by examining policies adopted in Australia and abroad, the project will identify models of best practice for the prevent ....Preventing terrorism through community-based approaches. This project aims to investigate the prevention of terrorism. It will examine approaches that involve police community engagement and local responses to violent extremism. This is a significant issue given communities are a key line of defence against terrorism. Expecting to generate new knowledge about counter-terrorism by examining policies adopted in Australia and abroad, the project will identify models of best practice for the prevention of terrorism, ascertaining how community partnerships against terrorism can be improved. This will provide significant benefits by assisting police, government agencies, community groups and local service providers to implement and evaluate strategies that prevent terrorism.Read moreRead less
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.Read moreRead less