Measurement and imaging of pathogenic and diagnostic iron oxide nanoparticles using proton magnetic resonance. This project is likely to result in new and improved technologies to aid in the management and diagnosis of a range of diseases including iron metabolism disorders such as thalassaemia and neurodegenerative diseases such as Alzheimer's disease. Other aspects of the research may lead to technologies for the early detection of some cancers. The technologies will enhance Australia's intern ....Measurement and imaging of pathogenic and diagnostic iron oxide nanoparticles using proton magnetic resonance. This project is likely to result in new and improved technologies to aid in the management and diagnosis of a range of diseases including iron metabolism disorders such as thalassaemia and neurodegenerative diseases such as Alzheimer's disease. Other aspects of the research may lead to technologies for the early detection of some cancers. The technologies will enhance Australia's international standing in the field of advanced medical imaging and have the potential to be commercialised within the Australian biotechnology sector. During the project, research students will receive high quality multidisciplinary training ensuring the supply of personnel with high-level technical expertise into the future.Read moreRead less
Symmetry and computation. The overall objective of the project is to explore connections between symmetry and computation, especially the theory and algorithms that facilitate the use of groups in computational science. The main outcome will be theoretically fast algorithms and implementations to drive applications in the sciences and for secure communication.
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially facto ....Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially factor huge groups into smaller building-block groups in a manner akin to factoring an integer into its prime factors. The anticipated goal is to include the outcomes in publicly available symbolic algebra computer packages. As the theory of symmetry has broad applications in the mathematical and physical sciences, there is the potential for far reaching benefits.Read moreRead less
Modelling network innovation performance capability: a multidisciplinary approach. Innovation is created in complex network interactions.
By combining agent-based and fuzzy logic modelling, this project will identify combinations of resources to generate new ideas/technologies. This will enable managers and policy makers to understand the mechanisms behind innovation and implement policies aimed at enhancing innovation processes.
Automated texture selection and classification methods for detection of osteoarthritis in knee radiographs. In Australia there are 1-2 million OA sufferers, a condition that costs approximately $9 billion annually. This project will address an important problem of early detection and monitoring of OA and this remains in line with the National Research Priority 2. Potential outcomes of the project will result in better diagnosis and treatment of OA, reduced discomfort to the individual and saving ....Automated texture selection and classification methods for detection of osteoarthritis in knee radiographs. In Australia there are 1-2 million OA sufferers, a condition that costs approximately $9 billion annually. This project will address an important problem of early detection and monitoring of OA and this remains in line with the National Research Priority 2. Potential outcomes of the project will result in better diagnosis and treatment of OA, reduced discomfort to the individual and saving to the national economy. This project will improve existing activity and rehabilitation programs such as exercise of lower limbs and it will help in developing diets for healthy people and OA sufferers.Read moreRead less
Investigation of the component distributions of pause duration in spontaneous speech: Constraints for models of language production. We have discovered that the distribution of pause durations in spontaneous speech of individual speakers can be decomposed into at least two log-normal distributions. Our project will investigate this finding and provide a foundation for new research relevant to language production models. This will be achieved by determining the semantic, lexical, psycholinguistic ....Investigation of the component distributions of pause duration in spontaneous speech: Constraints for models of language production. We have discovered that the distribution of pause durations in spontaneous speech of individual speakers can be decomposed into at least two log-normal distributions. Our project will investigate this finding and provide a foundation for new research relevant to language production models. This will be achieved by determining the semantic, lexical, psycholinguistic, physiological, and acoustic concomitants of each component distribution and by investigating the impact of selected variables on the shape and location of each. The project has important implications for models of language production and applied problems involving automatic speech recognition, forensic speaker identification, and human communication disorders.Read moreRead less
Modelling and Measurement of Flow-Structure Dynamics in the Human Upper Airway. Sleep disruption due to the common and disabling conditions of snoring and obstruction of the human upper airway can result in chronic fatigue, lost work and accidents caused by daytime drowsiness. To date the behaviour of the upper airway has not been adequately studied in terms able to reveal the mechanical causes of these conditions. This deficiency is addressed through the development and use of simulation tools ....Modelling and Measurement of Flow-Structure Dynamics in the Human Upper Airway. Sleep disruption due to the common and disabling conditions of snoring and obstruction of the human upper airway can result in chronic fatigue, lost work and accidents caused by daytime drowsiness. To date the behaviour of the upper airway has not been adequately studied in terms able to reveal the mechanical causes of these conditions. This deficiency is addressed through the development and use of simulation tools and measurement techniques that will elucidate the flow-structure dynamics leading to new diagnostic and improved treatment methods. Simulating the effect of treatment on any individual will permit it to be chosen to maximise its efficacy for a problem that costs the nation an estimated $2 Billion per year in lost productivity.Read moreRead less
Efficient structure search over large graphs. The project aims to develop advanced search technology to support large-scale graph applications. The success of the project not only brings a breakthrough in technology development but also provides training for high quality personnel in this important and growing area, and brings considerable economic and social benefits to Australia.