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
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
Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised impor ....Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised importance, this program will have direct implications in areas of condensed matter physics, quantum statistical mechanics, particle physics, complex systems, quantum information science and technology, quantum computation, engineered quantum systems and nanotechnology. Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0346446
Funder
Australian Research Council
Funding Amount
$312,000.00
Summary
Australian Creative Resources Archive. The facility will digitise wasted cultural materials to create an accessible archive that meets the needs of Australian researchers, artists, entrepreneurs, and the public, specifically in order to stimulate broadband content development. This unique facility and associated research will: (1) provide a rich resource for broadband content development; (2) provide a platform for productive research collaborations with Australian content producers; (3) develop ....Australian Creative Resources Archive. The facility will digitise wasted cultural materials to create an accessible archive that meets the needs of Australian researchers, artists, entrepreneurs, and the public, specifically in order to stimulate broadband content development. This unique facility and associated research will: (1) provide a rich resource for broadband content development; (2) provide a platform for productive research collaborations with Australian content producers; (3) develop innovative classification systems and associated software for content development; (4) develop new intellectual property and new business models; (5) develop new ways to develop and deliver Australian broadband content; and, (6) develop new understandings of creative production processes.Read moreRead less
Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems ....Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems of recognized importance, this program will have direct implications in condensed matter physics and will exert significant influence in areas such as quantum chemistry, high energy physics, quantum computing, quantum atom optics and nanotechnology.Read moreRead less