Single Shot X-ray Tomography For Real-Time Functional X-ray Imaging
Funder
National Health and Medical Research Council
Funding Amount
$322,641.00
Summary
Computed Tomography (CT) scanners produce three-dimensional images of vital organs that cannot be obtained by conventional two-dimensional (single projection) x-ray radiographs. However, the radiation exposure is hundreds of times higher than conventional radiography. We will develop the world’s first CT scanner that uses no more radiation than a single conventional x-ray image that will provide four-dimensional reconstructions of a patient’s moving internal organs.
Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a unive ....Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a universal data structure, which unfortunately makes it hard to separate trusted code from untrusted user-provided data. This project intends to develop novel program analysis tools and string constraint solvers, and employ these tools to support sophisticated automated reasoning about string manipulating software.Read moreRead less
From The Synchrotron To The Clinic: Translation Of A Novel Functional Lung Imaging Technology
Funder
National Health and Medical Research Council
Funding Amount
$891,834.00
Summary
Our team has recently developed a synchrotron technology with a startling capacity for dynamic functional imaging that can act as a sensitive regional indicator of lung disease. We will demonstrate that this technology can be translated from the synchrotron to the lab and eventually the clinic. We will provide proof of this concept by the application of this technology to emphysema, asthma, lung cancer, cystic fibrosis lung disease and neonatal resuscitation.
Imaging Neutrophil And Endothelial Function In Acute Glomerulonephritis
Funder
National Health and Medical Research Council
Funding Amount
$545,517.00
Summary
The glomerulus is a group of small blood vessels which form the filtering component of the kidney. In many diseases, it can be the target of an inappropriate inflammatory response during which white blood cells accumulate in the glomerular blood vessels and cause damage. In this project, we will visualise the blood vessel lining of the glomerulus in order to understand how white blood cells damage this region and cause leakage of protein leak into the urine.
Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – w ....Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – what the data means and what it can be used for – with sophisticated, scalable computational techniques to mine and present information from the huge volumes of raw data. This project is expected to improve productivity and quality of big data analytics and visualisation in critical domains.Read moreRead less
Efficacy Of A 3-month Aerobic Exercise Regime For Restoring 'brain Health' In Heavy Cannabis Users
Funder
National Health and Medical Research Council
Funding Amount
$1,209,221.00
Summary
Over a ten-year period, we, and others have documented the brain and psychological harms associated with regular cannabis use. We have now shown that these harms are not permanent, but can be restored. However, the recovery process takes a long time. This study will build on our extensive work to date and, for the first time, investigate whether a specific form of exercise will cause accelerated and beneficial changes in i) the brain and ii) the daily lives of heavy cannabis users.
Metamorphic slices and their applications in fault localization. The main purpose of this project is to enhance the quality of software. The expected outcomes include the delivery of new cost-effective methods to debug software, and the extension of current debugging methods to be applicable in wider contexts.
Self Discovery, Self Configuration and Self Healing of Enterprise Grids. Firstly, the project will assist the elevation of grid computing into mainstream computing, and by this provide a direct response to some problems identified by the working party on the Australia's ICT research and research training. Secondly, our country is an excellent consumer of IT technology. But, it needs software artifacts that could be sold. A set of proposed services will be a saleable commodity of great commercial ....Self Discovery, Self Configuration and Self Healing of Enterprise Grids. Firstly, the project will assist the elevation of grid computing into mainstream computing, and by this provide a direct response to some problems identified by the working party on the Australia's ICT research and research training. Secondly, our country is an excellent consumer of IT technology. But, it needs software artifacts that could be sold. A set of proposed services will be a saleable commodity of great commercial value. A software company that will develop its commercial version could be set up. Thirdly, the project will help Early Career Researchers in gaining an experience necessary to carry out independent research and assist in training new researchers: Postdocs, PhDs and Masters.Read moreRead less
Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in ra ....Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.Read moreRead less
Metamorphic Testing: An In-Depth Study to Enhance the Failure-Detection Capability of Software Testing Without an Oracle. Nowadays, software is pervasive and ubiquitous. It plays a significant role in the daily lives of all kinds of people. The Australian software industry has bloomed in recent years. Our research results will improve the cost-effectiveness of software development, thereby upgrading the nation's software productivity and quality. These factors are conducive to the export of soft ....Metamorphic Testing: An In-Depth Study to Enhance the Failure-Detection Capability of Software Testing Without an Oracle. Nowadays, software is pervasive and ubiquitous. It plays a significant role in the daily lives of all kinds of people. The Australian software industry has bloomed in recent years. Our research results will improve the cost-effectiveness of software development, thereby upgrading the nation's software productivity and quality. These factors are conducive to the export of software produced by Australians and helpful in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries.Read moreRead less