Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Active and Passive Techniques of Shock Wave/Boundary Layer Interaction Control. The shock wave/ boundary layer interaction (SBLI) is a formidable problem in high-speed aerodynamics. We investigate a novel method, using piezoelectric flap actuators to control the interaction. The aim is to participate in an experimental programme on SBLI control using longitudinal slots at The University of Cambridge's Engineering Department, a leading international institution for SBLI control. Their longitudina ....Active and Passive Techniques of Shock Wave/Boundary Layer Interaction Control. The shock wave/ boundary layer interaction (SBLI) is a formidable problem in high-speed aerodynamics. We investigate a novel method, using piezoelectric flap actuators to control the interaction. The aim is to participate in an experimental programme on SBLI control using longitudinal slots at The University of Cambridge's Engineering Department, a leading international institution for SBLI control. Their longitudinal slot control is very similar to unimorph control so that this research can be used to improve the understanding of unimorph control. Furthermore, their CFD program can validate our past work and allow theoretical optimisation to create a smart flap system.Read moreRead less
Modelling Virtual Transport Channel for Future Multimedia Heterogeneous Networks. Recent advances in network bandwidth and processing power have led to the emergence of real time multimedia streaming applications and it is expected that such applications will become an even more dominant source of traffic in future computer networks. Quality of service studies for real-time applications in high-speed networks, point to the importance of the transport layer functionality in admission control, mon ....Modelling Virtual Transport Channel for Future Multimedia Heterogeneous Networks. Recent advances in network bandwidth and processing power have led to the emergence of real time multimedia streaming applications and it is expected that such applications will become an even more dominant source of traffic in future computer networks. Quality of service studies for real-time applications in high-speed networks, point to the importance of the transport layer functionality in admission control, monitoring end-to-end delays, and network bandwidth adaptability. The project will study, design, develop and analyse a comprehensive model for the virtual transport layer to satisfy the necessary quality of service requirements for the next generation of multimedia-based applications.Read moreRead less
A cross-linguistic investigation of lexical stress using corpus analyses, behavioural testing and computational modelling. Some languages exhibit variable patterns of emphasis or 'lexical stress' across words ('ZEbra' v 'girAFFE'). This research will provide a more precise understanding of the role of lexical stress in language processing. This will assist educators/clinicians working with normally developing children and those with developmental delays as well as educators/students in second-l ....A cross-linguistic investigation of lexical stress using corpus analyses, behavioural testing and computational modelling. Some languages exhibit variable patterns of emphasis or 'lexical stress' across words ('ZEbra' v 'girAFFE'). This research will provide a more precise understanding of the role of lexical stress in language processing. This will assist educators/clinicians working with normally developing children and those with developmental delays as well as educators/students in second-language learning. It will also lead to improved automatic speech recognition/synthesis - used in commercial applications such as phone banking, edutainment/epistemic computer games and communication devices (speech-to-text dictation systems for those with limited mobility and text-to-speech systems for those unable to speak). Undertaken in collaboration with a high-profile research lab in the UK this project will maintain Australia's competitive edge in cognitive science.Read moreRead less
Identification of structural proteins in the tissue cyst wall of Toxoplasma gondii. Most infections with Toxoplasma gondii are asymptomatic, however, infection during pregnancy can lead to miscarriage or blindness, deafness and mental retardation in the developing baby. Furthermore, in AIDS patients, toxoplasmosis is the leading cause of fatal encephalitis as the normally dormant tissue cysts are reactivated in the absence of an effective immune system. In Australia, it has been estimated that ~ ....Identification of structural proteins in the tissue cyst wall of Toxoplasma gondii. Most infections with Toxoplasma gondii are asymptomatic, however, infection during pregnancy can lead to miscarriage or blindness, deafness and mental retardation in the developing baby. Furthermore, in AIDS patients, toxoplasmosis is the leading cause of fatal encephalitis as the normally dormant tissue cysts are reactivated in the absence of an effective immune system. In Australia, it has been estimated that ~30% of the population is infected with T. gondii and the occurrence of congenital toxoplasmosis is 0.2% of live births, which translates to roughly 500 cases/year. Our research will identify structural proteins in Toxoplasma cyst walls that will lead to the design of new strategies to control the diseases caused by these parasites.Read moreRead less