Characterisation of Internet Traffic Matrices. The benefits to the community of characterisation of Internet traffic matrices arise because this information is used in the design of efficient and reliable networks. This is a genuine example of using the data we have more cleverly, rather than throwing money at a problem. Better information will result in the Internet becoming more efficient, and therefore cheaper, and at the same time more reliable.
Ensuring the Robustness of IP Routing. The Internet is by its nature international, and so any such effort to model and understand it must be somewhat international. However, Australia has longer network paths to the rest of the world and the routing protocols' operation depends on this latency. This emphasizes why Australia must participate in such research: to ensure that Australian issues are considered when Internet protocols are designed. This project will directly deliver a more robust Int ....Ensuring the Robustness of IP Routing. The Internet is by its nature international, and so any such effort to model and understand it must be somewhat international. However, Australia has longer network paths to the rest of the world and the routing protocols' operation depends on this latency. This emphasizes why Australia must participate in such research: to ensure that Australian issues are considered when Internet protocols are designed. This project will directly deliver a more robust Internet for Australia, international exposure in an area of general interest, the potential for patents, and the development of commercially valuable expertise and measurement infrastructure.Read moreRead less
Image search for simulator content creation. The World Wide Web contains tens of billions of images, with personal and industrial collections stretching to may times that number. The potential economic value of these image-based resources is enormous, but largely untapped as we have no practical way of recovering the images we need. This project will develop image search technologies which will allow Australian industry to exploit these important resources. Some of the wide variety of possible ....Image search for simulator content creation. The World Wide Web contains tens of billions of images, with personal and industrial collections stretching to may times that number. The potential economic value of these image-based resources is enormous, but largely untapped as we have no practical way of recovering the images we need. This project will develop image search technologies which will allow Australian industry to exploit these important resources. Some of the wide variety of possible applications might include the searching of surveillance video for objects of interest, vision-based guidance of unmanned vehicles, smart-phone and smart-home systems which understand their environments, and stock tracking systems which can detect spoilage.Read moreRead less
Delivering guaranteed quality of service over IP networks. The next revolution in the Internet will be to offer end-to-end Quality of Service (QoS) guarantees, in the form of maximum delay, delay variation and probability of packet loss, or minimum throughput. There are no existing techniques capable of delivering end-to-end QoS guarantees. This project will develop credit-based controls, instead of the usual rate-based controls, that can deliver these required QoS guarantees. These QoS guarante ....Delivering guaranteed quality of service over IP networks. The next revolution in the Internet will be to offer end-to-end Quality of Service (QoS) guarantees, in the form of maximum delay, delay variation and probability of packet loss, or minimum throughput. There are no existing techniques capable of delivering end-to-end QoS guarantees. This project will develop credit-based controls, instead of the usual rate-based controls, that can deliver these required QoS guarantees. These QoS guarantees will enable the development and deployment of entirely new services on the Internet. This project will give Australian industry the opportunity to create the next generation Internet. Therefore this project represents a Frontier Technology.Read moreRead less
Brain-skull interface: discovering the missing piece of head biomechanics. Overall objective of this project is to measure, mathematically describe and implement in software mechanical properties of brain-skull interface – a critical component of current large and sophisticated computational models of the brain and the last missing piece of brain biomechanics knowledge. This will allow increased reliability of comprehensive biomechanical models used to simulate realistic injury and surgery scena ....Brain-skull interface: discovering the missing piece of head biomechanics. Overall objective of this project is to measure, mathematically describe and implement in software mechanical properties of brain-skull interface – a critical component of current large and sophisticated computational models of the brain and the last missing piece of brain biomechanics knowledge. This will allow increased reliability of comprehensive biomechanical models used to simulate realistic injury and surgery scenarios.
The problem is significant and urgent. Every year in Australia, there are over 22,000 cases of traumatic brain injury, some of which could be prevented by better passive and active countermeasures; and over 12,000 neurosurgical procedures that surgical simulation could make more accurate and therefore safer.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
Advancing Medical Image Analysis through High Performance Heterogeneous Computing, Numerical Simulation, and Novel Human Computer Interfaces. This project will link Australian researchers with a major multi-national IT company. The engagement of world-class personnel from Microsoft will provide unprecedented opportunities for graduate students to experience research in both an academic and an industrial setting. The participation of Microsoft product division offers the potential to transform th ....Advancing Medical Image Analysis through High Performance Heterogeneous Computing, Numerical Simulation, and Novel Human Computer Interfaces. This project will link Australian researchers with a major multi-national IT company. The engagement of world-class personnel from Microsoft will provide unprecedented opportunities for graduate students to experience research in both an academic and an industrial setting. The participation of Microsoft product division offers the potential to transform the outcomes of this project into widely-used software solutions. The project will pave the way for more widespread and reliable evidenced-based computer-aided diagnosis and image-guided treatment. It will produce well-trained and sought-after graduates and research associates with extensive inter-disciplinary knowledge of medical image analysis and high-performance computing.Read moreRead less
Overseeing the internet: new paradigms of network measurement. Like the electricity network, the internet is a core infrastructure, and so must be reliable and efficient. A gap in bandwidth supply is like a blackout in terms of lost business and productivity. This project will provide the measurement breakthroughs to ensure that network behaviour can be accurately and comprehensively monitored.
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
Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully unde ....Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully understood. The outcome of this project will be better conceptual and computational tools for assessing the impact of ICT innovation on safety-critical systems such as healthcare, so providing more cost-effective ICT solutions where there is rapidly-evolving ICT innovation.Read moreRead less