Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Smart Information Use for PET-CT Quantitative Molecular Imaging. This project aims to use advanced computing algorithms to tackle
challenging problems associated with a new medical technology called
PET-CT which combines two imaging modalities in one device. While this technology is very new and has great potential in cancer and brain disorders, it also poses major challenges for information processing and transmission. We will address these challenges by developing advanced algorithms that op ....Smart Information Use for PET-CT Quantitative Molecular Imaging. This project aims to use advanced computing algorithms to tackle
challenging problems associated with a new medical technology called
PET-CT which combines two imaging modalities in one device. While this technology is very new and has great potential in cancer and brain disorders, it also poses major challenges for information processing and transmission. We will address these challenges by developing advanced algorithms that optimally extract information from PET and CT using mathematical models that correct for the various sources of inaccuracy. Our research will put Australian biomedical researchers and healthcare professionals at the forefront of advanced medical imaging technology.Read moreRead less
An Innovative Multimedia Framework for Multidimensional PET-CT Image Navigation and Communication. The recent development of a combined positron emission tomography and computerized tomography (PET-CT) device ushers in a completely new era in molecular imaging that will revolutionize the approach to imaging in the clinical environment. In this project, we address a number of the critical challenges associated with the introduction of PET-CT, and provide a range of innovative multimedia technolo ....An Innovative Multimedia Framework for Multidimensional PET-CT Image Navigation and Communication. The recent development of a combined positron emission tomography and computerized tomography (PET-CT) device ushers in a completely new era in molecular imaging that will revolutionize the approach to imaging in the clinical environment. In this project, we address a number of the critical challenges associated with the introduction of PET-CT, and provide a range of innovative multimedia technologies to visualize, manipulate and deliver these multi-dimensional data. Our research will greatly enhance the clinical and research benefits of PET-CT and facilitate new discoveries which will have a significant scientific and social impact in Australia and the world at large.Read moreRead less
A new generation of multi-modality biomedical image visualisations. This research will overcome the urgent and significant burden in the routine clinical visualisation of multiple-modality biomedical image data, which are complex and exquisitely detailed from the new generation of high-resolution medical imaging scanners. Together with our industry partner RPA Hospital, we will produce 3D visualisation methodologies that will simplify and revolutionise the way biomedical data are visualised, ana ....A new generation of multi-modality biomedical image visualisations. This research will overcome the urgent and significant burden in the routine clinical visualisation of multiple-modality biomedical image data, which are complex and exquisitely detailed from the new generation of high-resolution medical imaging scanners. Together with our industry partner RPA Hospital, we will produce 3D visualisation methodologies that will simplify and revolutionise the way biomedical data are visualised, analysed and interpreted by imaging specialists and disseminated to doctors and patients. Given the pivotal role that imaging plays in modern healthcare, this will improve diagnosis and assessment, and enhance Australia's leading position in the development of frontier technologies.Read moreRead less
Large scale knowledge and image based biomedical modelling and derivation of PET-CT disease maps and treatment response. The smart use of information to improve, promote and maintain good healthcare is a critical mission for our country. Cancer is a serious problem in Australian society and 1 in 4 individuals will be affected by it in their lifetime. Our research is focussed on two types of cancer - lung cancer and the lymphomas - and it will use IT in a novel way to extract important informatio ....Large scale knowledge and image based biomedical modelling and derivation of PET-CT disease maps and treatment response. The smart use of information to improve, promote and maintain good healthcare is a critical mission for our country. Cancer is a serious problem in Australian society and 1 in 4 individuals will be affected by it in their lifetime. Our research is focussed on two types of cancer - lung cancer and the lymphomas - and it will use IT in a novel way to extract important information from a very large biomedical data repository. We hope that it will improve personalised diagnosis and treatment in these cancers and provide new information on how some cancers spread and resist our usual treatments. We think our techniques will contribute to other research areas such as astronomy, agriculture, water/energy resources, and security.Read moreRead less
Information Technology Aided Diagnosis of Dementia with PET-CT Imaging. Dementia is a significant health problem and approximately 162,000 Australians currently suffer from this disease, with costs estimated at $6 billion annually in Australia and a profound effect on the lives of carers and family members. With the ageing of the Australian population, the patient number is expected to rise to 500,000 by 2040.This research will apply innovative IT approaches to develop computer assisted diagnosi ....Information Technology Aided Diagnosis of Dementia with PET-CT Imaging. Dementia is a significant health problem and approximately 162,000 Australians currently suffer from this disease, with costs estimated at $6 billion annually in Australia and a profound effect on the lives of carers and family members. With the ageing of the Australian population, the patient number is expected to rise to 500,000 by 2040.This research will apply innovative IT approaches to develop computer assisted diagnosis of early dementia, when treatment is possible, from combined functional and anatomical imaging modalities (PET-CT). This will not only add considerable value to Australia's medical imaging infrastructure and smart use of information, but will ultimately also deliver substantial benefits to our nation and community.Read moreRead less
Innovative visualization of next-generation biomedical images. This project addresses the difficult problems associated with managing the vast amounts of data that are currently available with advanced imaging devices and displaying these data so that the maximum amount of information can be extracted. Developing visualization capabilities for such data is not a trivial undertaking but the outcome of this research will produce enabling visualization technologies that will significantly impact th ....Innovative visualization of next-generation biomedical images. This project addresses the difficult problems associated with managing the vast amounts of data that are currently available with advanced imaging devices and displaying these data so that the maximum amount of information can be extracted. Developing visualization capabilities for such data is not a trivial undertaking but the outcome of this research will produce enabling visualization technologies that will significantly impact the life science, biomedical research and the way clinicians view and use these data for patient management. These technologies will have broad applications across biology and molecular science and will enhance Australia's leading position in the development of frontier technologies.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
New Model Predictive Control Design Methods. Automatic computer control is fundamental to sustaining a wide range of manufacturing, mineral processing, chemical processing, and other industries vital to the Australian economy. Furthermore, the efficiency, profitability, and environmental impact of these operations is directly linked to the quality of this computer control. In many situations, even a few percent improvement in automatic control delivers dividends measured in many millions of doll ....New Model Predictive Control Design Methods. Automatic computer control is fundamental to sustaining a wide range of manufacturing, mineral processing, chemical processing, and other industries vital to the Australian economy. Furthermore, the efficiency, profitability, and environmental impact of these operations is directly linked to the quality of this computer control. In many situations, even a few percent improvement in automatic control delivers dividends measured in many millions of dollars. This project will develop design tools allowing for more sophisticated, high performance control to be more widely employed. This will deliver the potential for economic and environmental benefits and energy savings to be achieved across a range of industries.Read moreRead less
Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and ra ....Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and radar. Employing techniques to be developed in this proposal, we expect to be able to classify and detect features of non-stationary data that were unrecognisable using hitherto known methods.Read moreRead less