Intelligent Biomedical System Modelling and Multi-modality Image Analysis to Maximize Diagnostic Information from Medical Imaging. Medical imaging is an essential part of our Australian modern health care system and plays an important role in the diagnosis, treatment planning and decision making and assessment of treatment of patients. This project aims to maximize the benefit of federal government healthcare investment through intelligent biomedical system modelling in conjunction with multi-mo ....Intelligent Biomedical System Modelling and Multi-modality Image Analysis to Maximize Diagnostic Information from Medical Imaging. Medical imaging is an essential part of our Australian modern health care system and plays an important role in the diagnosis, treatment planning and decision making and assessment of treatment of patients. This project aims to maximize the benefit of federal government healthcare investment through intelligent biomedical system modelling in conjunction with multi-modality image analysis to extract crucial additional information for accurate diagnosis and improved treatment, which will not only lead to a major scientific advancement, but also deliver significant social benefits.Read moreRead less
Socially Oriented Requirements Engineering - Software Engineering meets Ethnography. The project should lead to the design and development of better software/information and communications technologies in the homes of Australians, that encourage flexible social ineractions, and has been designed with the user in mind.
Escaping the concurrency trade-off: a new approach to enterprise software. Enterprise software manages the operations of all business and government organisations. Designers of this often rely on their intuition or luck, by using high-performance database facilities whose correctness is not guaranteed. This project will show designers how to use these facilities while still having the assurance that the data will not be corrupted. This will improve the quality of the data used by Australian ent ....Escaping the concurrency trade-off: a new approach to enterprise software. Enterprise software manages the operations of all business and government organisations. Designers of this often rely on their intuition or luck, by using high-performance database facilities whose correctness is not guaranteed. This project will show designers how to use these facilities while still having the assurance that the data will not be corrupted. This will improve the quality of the data used by Australian enterprises, and thus improve their operations. Australian software designers will also benefit, as they will be able to produce software that combines high performance with assurance that concurrency errors will not occur.Read moreRead less
Varying similarity metrics in indexing and retrieving high dimensional data. Many applications require varying distance metrics by putting a weight on different dimensions. Taking an example in visual information retrieval, due to the subjective nature of similarity measurements, the distance metrics can vary between different users. The main problem with k nearest neighbour (k-nn) searches using weighted metrics in a high dimensional space is whether the searches can be done efficiently, since ....Varying similarity metrics in indexing and retrieving high dimensional data. Many applications require varying distance metrics by putting a weight on different dimensions. Taking an example in visual information retrieval, due to the subjective nature of similarity measurements, the distance metrics can vary between different users. The main problem with k nearest neighbour (k-nn) searches using weighted metrics in a high dimensional space is whether the searches can be done efficiently, since in an arbitrary distance metric the intersection between the k-nn sphere and the bounding envelopes of nodes in an index tree cannot be easily calculated. This project aims to seek a novel solution. It will create a great impact on and have many applications in high dimensional visual information retrieval, instance-based learning, complex analysis, non-parametric density estimation, etc.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
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
Engaging Outsiders in Sport: Transforming Sport Event Legacy Planning . The project aims to investigate intersectional inequities in sport participation for girls, women and non-binary people in Queensland by working with them to envision legacies for the 2032 Olympic and Paralympic Games. Using a co-creation approach this project expects to identify how and what benefits can be achieved through legacy planning that engages with end-users who have historically been marginalised in sport. In doin ....Engaging Outsiders in Sport: Transforming Sport Event Legacy Planning . The project aims to investigate intersectional inequities in sport participation for girls, women and non-binary people in Queensland by working with them to envision legacies for the 2032 Olympic and Paralympic Games. Using a co-creation approach this project expects to identify how and what benefits can be achieved through legacy planning that engages with end-users who have historically been marginalised in sport. In doing so, the expected outcomes of the project include the development of evidence-based resources to improve engagement in sport and to build capacity and sustain meaningful change for communities and organisations.Read moreRead less
Ontologically-based Evaluation, Comparison and Engineering of Integrated Process Modelling Techniques. Integrated process modelling techniques such as UML and ARIS form the conceptual platform for many management and IT projects. Though most IS development tools contain these techniques, anecdotal evidence indicates many shortcomings. This project uses a well-established theory developed in philosophy and applied in information systems domains for the evaluation of these techniques. The expec ....Ontologically-based Evaluation, Comparison and Engineering of Integrated Process Modelling Techniques. Integrated process modelling techniques such as UML and ARIS form the conceptual platform for many management and IT projects. Though most IS development tools contain these techniques, anecdotal evidence indicates many shortcomings. This project uses a well-established theory developed in philosophy and applied in information systems domains for the evaluation of these techniques. The expected outcomes are evaluations of ARIS and UML. Thus, this project contributes to the development of two of the most popular modelling techniques. Based on the theory used and the results of an international empirical study, suggestions for the further development of these techniques will be derived.Read moreRead less
Improving the Effectiveness of Conceptual Model Validation Work. Errors or omissions in conceptual models often lead to significant problems when information systems are being built. Prior research has shown the cost of fixing the consequences of such errors or omissions grows exponentially as a function of how late they are discovered. Thus, significant economic benefits arise if they are identified early in the system development process. The project outcomes will facilitate early prevention ....Improving the Effectiveness of Conceptual Model Validation Work. Errors or omissions in conceptual models often lead to significant problems when information systems are being built. Prior research has shown the cost of fixing the consequences of such errors or omissions grows exponentially as a function of how late they are discovered. Thus, significant economic benefits arise if they are identified early in the system development process. The project outcomes will facilitate early prevention and detection of errors of omissions in conceptual models. They will also contribute to attainment of the national priority goal of smart information use through improved data management.Read moreRead less