Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to i ....Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government.Read moreRead less
Enhancing Privacy for Digital Communication. Protecting one's privacy in cyber world is a challenging task. Every contact to a Web server leaves a digital footprint that can be linked with other publicly available information to compile a profile of one's activities. Anonymous communication is a powerful tool for enhancing individuals' privacy and providing services such as electronic election where a person's vote must be unlinkable to him/her. However, anonymity may be misused by criminals to ....Enhancing Privacy for Digital Communication. Protecting one's privacy in cyber world is a challenging task. Every contact to a Web server leaves a digital footprint that can be linked with other publicly available information to compile a profile of one's activities. Anonymous communication is a powerful tool for enhancing individuals' privacy and providing services such as electronic election where a person's vote must be unlinkable to him/her. However, anonymity may be misused by criminals to hide their identities and engage in illegal activities. The aim of this project is to design and analyse privacy enhancing communication systems that balance individuals' privacy and accountability, and develop criteria and metrics to compare performance of these systems.Read moreRead less
Concept learning and Structure Formation for Document Navigation. This proposal is motivated by its interest in document retrieval and
discovery using formal concept analysis. The hypothesis to be tested
is that logical structures can be automatically inferred from
a document collection using information inference and
concept learning.
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented i ....Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.Read moreRead less
A Computational Study of Nonconvex and Nonlinear Semi-infinite Optimisation Problems in Signal Processing. The operation of filtering is an important part of most modern communication engineering systems. Many important problems, which arise naturally from communications engineering applications, can be formulated as nonconvex optimization problems and nonlinear semi-infinite and/or semi-definite optimization problems. New optimization theory, in combination with novel computationally efficient ....A Computational Study of Nonconvex and Nonlinear Semi-infinite Optimisation Problems in Signal Processing. The operation of filtering is an important part of most modern communication engineering systems. Many important problems, which arise naturally from communications engineering applications, can be formulated as nonconvex optimization problems and nonlinear semi-infinite and/or semi-definite optimization problems. New optimization theory, in combination with novel computationally efficient solution methods, and efficient hardware implementation will be developed. The outcomes will enhance Australia's reputation in this cutting edge research and facilitate opportunity for international collaboration as well as commercial opportunity. The project will also provide an excellent environment for the training of junior researchers in the area.Read moreRead less
Numerical Algorithms for Constructing Feedback Control Laws. Many decision making problems in engineering, finance and management are governed by optimal feedback control systems. These systems are normally too complex to be solved by conventional numerical methods. In this project, we propose to develop novel numerical algorithms for constructing feedback control laws. We will also investigate the procatical significance of these algorithms for solving real-world problems. The outcome of the pr ....Numerical Algorithms for Constructing Feedback Control Laws. Many decision making problems in engineering, finance and management are governed by optimal feedback control systems. These systems are normally too complex to be solved by conventional numerical methods. In this project, we propose to develop novel numerical algorithms for constructing feedback control laws. We will also investigate the procatical significance of these algorithms for solving real-world problems. The outcome of the project will provide efficient and accurate tools for constructing feedback laws in high dimensions.Read moreRead less
Predicting soil loss from wind erosion, using an integrated, high resolution, land surface data assimilation-modelling system. Australia is an ancient, dry, continent. Soil losses from wind erosion are practically irreversible. Prevention of wind erosion, especially in agricultural areas, is a major challenge to agricultural communities and land management organisations. For continental and regional scale assessment of wind erosion potential, the high-resolution integrated wind erosion modelling ....Predicting soil loss from wind erosion, using an integrated, high resolution, land surface data assimilation-modelling system. Australia is an ancient, dry, continent. Soil losses from wind erosion are practically irreversible. Prevention of wind erosion, especially in agricultural areas, is a major challenge to agricultural communities and land management organisations. For continental and regional scale assessment of wind erosion potential, the high-resolution integrated wind erosion modelling system developed here is a powerful tool. The system will identify areas prone to soil erosion and provide a solid scientific basis for strategic and practical measures for wind erosion prevention. The proposal allows the CIs to continue to play a leading international role in this National Research Priority area.Read moreRead less
HYBRID METHODS FOR SOLVING LARGE-SCALE OPTIMISATION PROBLEMS. Mathematical modelling and optimisation plays a crucial role in the advancement of modern business, science and technology. A significant benefit of this project is the development of a range of powerful computational tools for improving the productivity of Australian industry, including: agriculture; communications; defence; manufacturing; mining and petroleum; transport and logistics. These tools will be built upon advances in the f ....HYBRID METHODS FOR SOLVING LARGE-SCALE OPTIMISATION PROBLEMS. Mathematical modelling and optimisation plays a crucial role in the advancement of modern business, science and technology. A significant benefit of this project is the development of a range of powerful computational tools for improving the productivity of Australian industry, including: agriculture; communications; defence; manufacturing; mining and petroleum; transport and logistics. These tools will be built upon advances in the fundamental theory developed by the research team. The resulting high quality publications and associated algorithms will greatly enhance Australia's international scientific reputation and provide Australian industry with new cutting-edge optimisation technology.Read moreRead less
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Supercomputer Simulation and Risk Evaluation of Tsunami Generation Induced by Earthquakes. New hotspot forecasts show that great earthquakes are likely to occur during the next decade in the Western Pacific north of New Zealand which potentially poses a tsunami risk to Australia. The project will enable this risk to be reliably assessed thereby providing the information needed to properly manage this risk thus addressing the national research priority: Safeguarding Australia. Building on extensi ....Supercomputer Simulation and Risk Evaluation of Tsunami Generation Induced by Earthquakes. New hotspot forecasts show that great earthquakes are likely to occur during the next decade in the Western Pacific north of New Zealand which potentially poses a tsunami risk to Australia. The project will enable this risk to be reliably assessed thereby providing the information needed to properly manage this risk thus addressing the national research priority: Safeguarding Australia. Building on extensive geo-data and Australia's forefront position in solid earth simulation via investment in the ACcESS Major National Research Facility, the project provides an opportunity for Australia to play a key role in constructing next generation real-time tsunami warning systems.Read moreRead less