Conceptualizing and Measuring Regional Endogenous Growth: A Collaborative International Comparative Investigation. Policy for regional economic development in Australia is placing more emphasis on facilitating regional self-help. For the first time this project will provide an actual measure of regional endogenous performance. It identifies those features of regional economies and local populations are most important in explaining differences in the performance of regions, and it shows how inst ....Conceptualizing and Measuring Regional Endogenous Growth: A Collaborative International Comparative Investigation. Policy for regional economic development in Australia is placing more emphasis on facilitating regional self-help. For the first time this project will provide an actual measure of regional endogenous performance. It identifies those features of regional economies and local populations are most important in explaining differences in the performance of regions, and it shows how institutional arrangements and leadership can enhance or detract from regional development performance. This will help public agencies formulate better policies and mechanisms to help regions maximise their capacities to achieve enhanced endogenous growth. International comparative studies provide wider significance for policy formulation in regional development.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
Soft Infrastructure, New Media and Creative Clusters: Developing Capacity in China and Australia. The project will position Australia at the forefront of the creative industries internationally and enhance national capacities in the rejuvenation and design of creative urban precincts. A greater appreciation of, and strong links with China, particularly its design and urban sectors, will result. Australian firms will benefit through greater trade opportunities as a result.
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
Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of saf ....Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of safety analysis and formal methods. In particular, mathematical concepts will be introduced using notations suitable for use by security personnel with no prior formal methods experience. The outcomes of this project will enable more efficient and effective information security evaluations.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
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
Developing high-flux ceramic membranes via in situ synthesis of metal oxide nanofibres for separations of biological substances. This project can deliver advanced technology for fabricating ceramic membranes and biological separation, which has considerable commercial prospects in the chemical, pharmaceutical, dairy, food and water industries. The new ceramic membrane and nanofibres are highly-valued end products of metal oxides, which are manufactured commercially on large scale in Australia. T ....Developing high-flux ceramic membranes via in situ synthesis of metal oxide nanofibres for separations of biological substances. This project can deliver advanced technology for fabricating ceramic membranes and biological separation, which has considerable commercial prospects in the chemical, pharmaceutical, dairy, food and water industries. The new ceramic membrane and nanofibres are highly-valued end products of metal oxides, which are manufactured commercially on large scale in Australia. The project could bring direct benefits to the existing industries, by fostering their growth into more value-added processes, and exporting highly-valued products abroad. Additionally, efficient ceramic membranes could offer solutions to the large-scale purification of biological substances and to the problems for providing clean drinking water.Read moreRead less
Special Research Initiatives - Grant ID: SR0354797
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
The Australian Tissue Engineering Network. Driven by four key nodes across the country, the Initiative aims to bring together geographically and financially separated groups into a critical mass of cell and tissue engineering research. This new and rapidly-growing field uses a bio-synthetic approach to replace, repair or regenerate damaged tissues and organs. The Initiative will build the framework which will enable the Network to: identify appropriate expertise, manage duplication, enhance co ....The Australian Tissue Engineering Network. Driven by four key nodes across the country, the Initiative aims to bring together geographically and financially separated groups into a critical mass of cell and tissue engineering research. This new and rapidly-growing field uses a bio-synthetic approach to replace, repair or regenerate damaged tissues and organs. The Initiative will build the framework which will enable the Network to: identify appropriate expertise, manage duplication, enhance communication, bring together innovative skill sets, create linkages, generate focussed research programs and foster novel commercial opportunities. Ultimately the Initiative and Network will deliver an improved quality of life, reduced healthcare costs, and increased productivity to Australia.Read moreRead less