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
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
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
Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and ra ....Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and radar. Employing techniques to be developed in this proposal, we expect to be able to classify and detect features of non-stationary data that were unrecognisable using hitherto known methods.Read moreRead less
Computational tools to analyse and exploit the social media revolution. We aim to create technologies to analyse social media communities, which are rapidly growing in reach, complexity, and content produced and shared. Powerful techniques to tap this resource will lead to commercial outcomes for marketing and search industries, alongside deeper insight into the cultural and social impact of this Internet revolution.
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
A Methodology for Designing Information Systems based on Situational Theories of Agency. Information systems (IS) are part of work systems that are goal-directed. Existing methodologies for designing IS implicitly assume that goal-directed behaviour is enabled by deliberation upon abstract models (the 'thinker' metaphor). Recent work in robotics and artificial intelligence has tested an alternative theory of goal-directed behaviour that emphasises reactive responses to situations (the 'routine' ....A Methodology for Designing Information Systems based on Situational Theories of Agency. Information systems (IS) are part of work systems that are goal-directed. Existing methodologies for designing IS implicitly assume that goal-directed behaviour is enabled by deliberation upon abstract models (the 'thinker' metaphor). Recent work in robotics and artificial intelligence has tested an alternative theory of goal-directed behaviour that emphasises reactive responses to situations (the 'routine' metaphor). We will refine and test a new IS design methodology based on this situational theory and show that it can produce effective IS designs, applicable to time-constrained routine operational domains, which are radically different from those produced using existing methodologies.Read moreRead less