Gesture-controlled interaction to enrich information access. This project is a study of gestural computing (enabled by sensors such as pressure mats, infra-red sensors and video tracking) which aims to move away from desk-bound, restrictive computing environments and towards computing that is more integral to the building structure and space itself. Linking gesture controllers and information sonification delivers a unique bridge between data and human interaction. Enriching the capacity to acce ....Gesture-controlled interaction to enrich information access. This project is a study of gestural computing (enabled by sensors such as pressure mats, infra-red sensors and video tracking) which aims to move away from desk-bound, restrictive computing environments and towards computing that is more integral to the building structure and space itself. Linking gesture controllers and information sonification delivers a unique bridge between data and human interaction. Enriching the capacity to access information in dense workplace environments is central to improved efficiency across the Australian workforce. Greater accuracy and enhanced techniques for controlling information in visually-overloaded work environments contribute to Australia's competitive leadership in a global marketplace.Read moreRead less
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.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
Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's st ....Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's standing in the international research community. Also their visits may further promote research both within and outside the host institution. In particular, lectures and seminars that they will deliver will be transmitted to Australian universities participating in the Access Grid Room Project.Read moreRead less
Advanced Software Engineering Support for Intelligent Agent Systems. Software Agents are an important technology for developing the complex software systems that are increasingly required to meet the needs of society. A crucial obstacle to the widespread adoption of agent technology is the lack of an appropriate software engineering methodology. This project proposes to explore support for design processes addressing advanced issues in agent systems, such as goal-based requirements, debugging ....Advanced Software Engineering Support for Intelligent Agent Systems. Software Agents are an important technology for developing the complex software systems that are increasingly required to meet the needs of society. A crucial obstacle to the widespread adoption of agent technology is the lack of an appropriate software engineering methodology. This project proposes to explore support for design processes addressing advanced issues in agent systems, such as goal-based requirements, debugging using design artefacts, component-based design, and reuse. We will also extend the methodology to support teamwork and open systems. We will be building on successful work we have already done in establishing a basic agent oriented software design methodology.Read moreRead less
Increasing internet energy and cost efficiency by improving higher-layer protocols. Australians rely heavily on our telecommunications infrastructure due to our geographic dispersion. We are also very susceptible to climate change, given our reliance on agriculture. Information technology is consuming a rapidly increasing fraction of our power and our budget. This research will help to reverse both those trends, by finding novel and practical ways to use our infrastructure more efficiently, and ....Increasing internet energy and cost efficiency by improving higher-layer protocols. Australians rely heavily on our telecommunications infrastructure due to our geographic dispersion. We are also very susceptible to climate change, given our reliance on agriculture. Information technology is consuming a rapidly increasing fraction of our power and our budget. This research will help to reverse both those trends, by finding novel and practical ways to use our infrastructure more efficiently, and to minimise its energy use. This will enable the Australian telecommunications industry to provide better service (including to Australian industries and rural communities) at lower economic and environmental cost. This project will put Australia on the international stage as a leading contributor to energy-efficient internet technology.Read moreRead less
Discovery Indigenous Researchers Development - Grant ID: DI0989056
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
Adoption and Effective Use of Information Communication Technologies in Indigenous Communities in Australia. This project on Indigenous use of the internet aims to identify the reasons why Indigenous Australians are 69% less likely to access the Internet than their non-Indigenous counterparts as demonstrated in the last census. This research will assist in innovative policy development including the creation of a culturally-sensitive model to assist Indigenous communities to raise their use of c ....Adoption and Effective Use of Information Communication Technologies in Indigenous Communities in Australia. This project on Indigenous use of the internet aims to identify the reasons why Indigenous Australians are 69% less likely to access the Internet than their non-Indigenous counterparts as demonstrated in the last census. This research will assist in innovative policy development including the creation of a culturally-sensitive model to assist Indigenous communities to raise their use of computers and the internet. Ultimately the aim of the research is to provide mechanisms to engage Indigenous people with current technology to advance health, education and housing outcomes in their communities. Read moreRead less
Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, con ....Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.Read moreRead less
Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge ....Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge is that processor emulations involve both legacy code and new subroutines, written in different programming languages. This project will enable verification of safety and mission-critical emulated systems by devising a multilingual modelling and reasoning formalism, based on program refinement theory.Read moreRead less
Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for autom ....Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for automated, image-based object reconstruction to support the generation of metrically accurate 3D computer models of buildings and the built environment.Read moreRead less