Formal modelling and analysis of software requirements for air traffic management systems for improved integrity assurance. This project will significantly reduce the time and cost of developing software for critical applications such as aviation and air traffic management. As well as improving the trustworthiness of safety-critical computer-based systems, this project will also enable system improvements to be deployed faster and more reliably.
Special Research Initiatives - Grant ID: SR0567393
Funder
Australian Research Council
Funding Amount
$100,000.00
Summary
Infrastructure for large-scale data resource sharing between research institutions – an environmental case study. The project creates a federated distributed data infrastructure for research, that encourages data creators to make their data available to other scientists, and encourages users to make use of data available from many sources. The vision is to establish an ICT infrastructure to facilitate a whole-of-environment approach to environmental research. The outcome is a proof-of-concept ....Infrastructure for large-scale data resource sharing between research institutions – an environmental case study. The project creates a federated distributed data infrastructure for research, that encourages data creators to make their data available to other scientists, and encourages users to make use of data available from many sources. The vision is to establish an ICT infrastructure to facilitate a whole-of-environment approach to environmental research. The outcome is a proof-of-concept application based upon a case study of Queensland Environmental Protection Agency’s databases, to gain an in-depth understanding of the complexity, scope and key technological barriers for establishing an ICT infrastructure, to identify where the latest technologies can be used and where the gaps are for these technologies to be used in environmental sciences.Read moreRead less
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.Read moreRead less
Understanding the impact of enterprise system use on system performance. To optimise organizational benefits, resource intensive enterprise systems must be appropriately used by all user cohorts. This study investigates the impact of system-use on system success. System-use patterns derived for all key user cohorts across the lifecycle phases will create management matrices to assist organizations maximise system-use.
Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary geneti ....Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary genetics and dynamics of virus populations in order to understand how to control epidemics, develop vaccines and design drugs. The research program is designed to provide new computational modelling tools for this purpose, which may have wider applications as well.
Read moreRead less
New Developments for Bayesian statistical models and computational methods. Bayesian methods of statistical analysis provide a flexible theory for addressing inference in the presence of uncertainty. Consequently Bayesian methods have enabled scientific discovery in areas characterised as complex systems where new developments in modelling and computational methods have been crucial. Significant barriers to further success involve challenges in formulating and validating models, dealing with l ....New Developments for Bayesian statistical models and computational methods. Bayesian methods of statistical analysis provide a flexible theory for addressing inference in the presence of uncertainty. Consequently Bayesian methods have enabled scientific discovery in areas characterised as complex systems where new developments in modelling and computational methods have been crucial. Significant barriers to further success involve challenges in formulating and validating models, dealing with large data sets, and developing efficient computational methods. The principal aim of this project is to develop new Bayesian modelling and computational methodology which address these challenges with broad application.Read moreRead less
Design of a Reference Methodology for Extended Enterprise Architecture. Enterprises have nowadays a very critical perception of the actual benefits of Information Technology (IT). Significant investments in IT infrastructures have been made. However, in many cases no monetary benefits could be demonstrated. Enterprises Architectures provide a way to link the business and the IT perspective. This project aims to develop an operational methodology with a solid theoretical foundation for the design ....Design of a Reference Methodology for Extended Enterprise Architecture. Enterprises have nowadays a very critical perception of the actual benefits of Information Technology (IT). Significant investments in IT infrastructures have been made. However, in many cases no monetary benefits could be demonstrated. Enterprises Architectures provide a way to link the business and the IT perspective. This project aims to develop an operational methodology with a solid theoretical foundation for the design of such Enterprise Architectures. The outcomes and the innovation of this project are an extension of the popular Zachman Framework. Integrated modelling techniques proposed within the Architecture of Integrated Information Systems will be used to populate this framework.Read moreRead less
Facilitating business process standardisation and reuse. One of the most pressing management challenges of today's organisations lies in the reuse and standardisation of best practices across different sectors, products or units. This project will develop an innovative open-source software platform and governance structure to efficiently and effectively support best practice standardisation and reuse.
Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading the ....Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading theoretical groups, which will greatly aid research student education. There are direct applications to experiments on molecule formation with ultra-cold fermions in the ARC Centre of Excellence for Quantum-Atom Optics.Read moreRead less
Fusion of digital microscopy and plain text reports for automated analysis. The project aims to develop advanced computer-aided analytics systems with the goal to improve the workflow and automation in the pathology industry. Improvements will be achieved by fusing information from both digital images and plain text medical reports. In collaboration with a partner organisation, the project team will field trial the new analytics systems against traditional pathology tests to evaluate both effica ....Fusion of digital microscopy and plain text reports for automated analysis. The project aims to develop advanced computer-aided analytics systems with the goal to improve the workflow and automation in the pathology industry. Improvements will be achieved by fusing information from both digital images and plain text medical reports. In collaboration with a partner organisation, the project team will field trial the new analytics systems against traditional pathology tests to evaluate both efficacy and reliability. In addition, the project is also aimed to construct a large digital slide databank which will aid training and education. The expected outcome of the project is to perform existing tasks cheaper and more efficiently. Read moreRead less