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
The genomic programming of complex organisms. The project will have far-reaching consequences in medicine, agriculture, biotechnology, engineering, information science and associated industries. It will provide a platform for the rationalization of genetic epidemiology and genetic improvement programs, the development of a wide range of new diagnostics and therapies, the development of new core technologies and practical approaches in genetics and genetic diversity, a framework for advanced gen ....The genomic programming of complex organisms. The project will have far-reaching consequences in medicine, agriculture, biotechnology, engineering, information science and associated industries. It will provide a platform for the rationalization of genetic epidemiology and genetic improvement programs, the development of a wide range of new diagnostics and therapies, the development of new core technologies and practical approaches in genetics and genetic diversity, a framework for advanced genetic engineering, the development of new principles and systems for information storage and transmission, and the design of artificial systems capable of self-referential assembly in other environments.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
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
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
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
ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relat ....ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relating to critical infrastructure. World-leaders with extensive national and international linkages in relevant scientific, engineering and technological research will lead this collaboration. The RNSA will launch various activities to foster research collaboration and nurture young investigators.Read moreRead less
Preparation of silica-based thin film materials with large optical nonlinearity. There is currently a lack of advanced thin film materials suitable for fabricating integrated electro-optic devices to use in optical telecommunication. Such materials will be produced, and their application will be developed through this project. The physical mechanism of the marvelous optical nonlinearities of the materials will also be investigated. Thus the achievement of this project will bring great advancemen ....Preparation of silica-based thin film materials with large optical nonlinearity. There is currently a lack of advanced thin film materials suitable for fabricating integrated electro-optic devices to use in optical telecommunication. Such materials will be produced, and their application will be developed through this project. The physical mechanism of the marvelous optical nonlinearities of the materials will also be investigated. Thus the achievement of this project will bring great advancement in both scientific knowledge and technologies for Australia, and provide huge opportunities to boost Australian telecommunication industries, which are developing quickly in recent years.Read moreRead less
Intelligent Biomedical System Modelling and Multi-modality Image Analysis to Maximize Diagnostic Information from Medical Imaging. Medical imaging is an essential part of our Australian modern health care system and plays an important role in the diagnosis, treatment planning and decision making and assessment of treatment of patients. This project aims to maximize the benefit of federal government healthcare investment through intelligent biomedical system modelling in conjunction with multi-mo ....Intelligent Biomedical System Modelling and Multi-modality Image Analysis to Maximize Diagnostic Information from Medical Imaging. Medical imaging is an essential part of our Australian modern health care system and plays an important role in the diagnosis, treatment planning and decision making and assessment of treatment of patients. This project aims to maximize the benefit of federal government healthcare investment through intelligent biomedical system modelling in conjunction with multi-modality image analysis to extract crucial additional information for accurate diagnosis and improved treatment, which will not only lead to a major scientific advancement, but also deliver significant social benefits.Read moreRead less
Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects on ....Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects one finds in mathematics, and with the vague or contradictory concepts we use in everyday discourse. In addition, the project will provide research training for postgraduate students, and it will strengthen an already internationally recognised research centre in philosophical logic.Read moreRead less