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
Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing ....Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing the test error signal generated (the difference between the outputs of the two models). This is possible because one of the two versions is implemented in such a way that the test error carries an easily identifiable feature. This project could revolutionize the area of model verification.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
Improved patient care and image resolution in magnetic resonance imaging. A better understanding of the vibration within MRIs would result in techniques to both improve the image resolution and lower the noise emissions. Direct improvement of health care for Australians will result. Both the patient and the working environment around these scanners will improve as well as image resolution. Presently imaging is possible at the cellular scale, but only through improved MRI stability will imaging r ....Improved patient care and image resolution in magnetic resonance imaging. A better understanding of the vibration within MRIs would result in techniques to both improve the image resolution and lower the noise emissions. Direct improvement of health care for Australians will result. Both the patient and the working environment around these scanners will improve as well as image resolution. Presently imaging is possible at the cellular scale, but only through improved MRI stability will imaging reach the molecular level. Medical research that is linked to MRI imaging can be expected to advance in step with improved image resolution. The resulting knowledge could also be used in other research and industrial areas, including micro- and nano-scale devices, where vibration is a critical performance limiting factor.Read moreRead less
Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this p ....Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this project aims to build agent-based frameworks for the support of selected within-business and business-to-business activities in supply chain management, implement an agent-based workflow system based around document management, and provide research training in this key area of technology through joint university-industry supervision of two research students. This will enhance Australia's competitiveness in the provision of leading edge technologies to support e-commerce.Read moreRead less
A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. T ....A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. The use of meta-modelling will improve control of processes on the shop floor. Combining process meta-models with hybrid discrete event-based agent optimisation will result in increased shop floor efficiency, assisting Australian industry to be competitive in the world market.Read moreRead less