A new perturbation method for solving singular operator equations with applications to complex systems. This project will develop new methods for analysis of web-based search routines such as Google PageRank, a new algorithm for optimal estimation of random signals, more accurate error analysis in the approximate solution of singular systems of equations and enhanced understanding of models for the simulated management of urban stormwater. The project will involve collaboration between two Aus ....A new perturbation method for solving singular operator equations with applications to complex systems. This project will develop new methods for analysis of web-based search routines such as Google PageRank, a new algorithm for optimal estimation of random signals, more accurate error analysis in the approximate solution of singular systems of equations and enhanced understanding of models for the simulated management of urban stormwater. The project will involve collaboration between two Australian universities and a leading European Research Institute. It will provide employment and vital training for two postdoctoral Research fellows and research projects for three postgraduate students and two honours students.Read moreRead less
Boundary Crossing Analysis for Random Processes with Applications to Risk Management. Effective management of environmental, financial and superannuation investment risks is vitally important for Australia. Results of the project will add to the theoretical foundations of risk management and provide new computational tools for specialists working in the areas of financial engineering, insurance, superannuation funds. These tools will assist in improving risk profile evaluation and developing new ....Boundary Crossing Analysis for Random Processes with Applications to Risk Management. Effective management of environmental, financial and superannuation investment risks is vitally important for Australia. Results of the project will add to the theoretical foundations of risk management and provide new computational tools for specialists working in the areas of financial engineering, insurance, superannuation funds. These tools will assist in improving risk profile evaluation and developing new statistical control charts for security monitoring of epidemics, networks intrusions and other potentially dangerous changes. The research will also give Australia a competitive advantage in the area of education related to stochastic processes, mathematical finance, control theory and their applications.Read moreRead less
Stochastic analysis and the development and application of financial risk processes. Ensuring the stability of Australia's financial system requires an understanding of the complex financial instruments, strategies and technologies that have evolved in recent years. A strong well-integrated research effort in stochastic analysis with particular application to financial markets is fundamental for measuring and managing risk, to protect and preserve a well functioning system, and to inform policy ....Stochastic analysis and the development and application of financial risk processes. Ensuring the stability of Australia's financial system requires an understanding of the complex financial instruments, strategies and technologies that have evolved in recent years. A strong well-integrated research effort in stochastic analysis with particular application to financial markets is fundamental for measuring and managing risk, to protect and preserve a well functioning system, and to inform policy debate on financial strategies and insurance liabilities.
These challenges are global and require extensive international research collaboration and interaction. The present project will enhance Australia's contributions in this area and facilitate its global impact more than is possible through individual efforts.Read moreRead less
Security Applications of Combinatorial Puzzles. This project provides a basis for improving the implementation and maintenance of key management systems. The application of discrete mathematics to information security will help safeguard Australia, will provide opportunities for Australians to take a leading role in an important area and will develop a research network, bridging both theoretical and practical aspects of mathematics and computer science. The project will enhance Australia's inter ....Security Applications of Combinatorial Puzzles. This project provides a basis for improving the implementation and maintenance of key management systems. The application of discrete mathematics to information security will help safeguard Australia, will provide opportunities for Australians to take a leading role in an important area and will develop a research network, bridging both theoretical and practical aspects of mathematics and computer science. The project will enhance Australia's international reputation by establishing collaborations with well-respected international mathematicians and computer scientists. The proposal contains topics suitable for the training of new graduates, allowing them to make high quality original research contributions in a novel and important area. Read moreRead less
Timed Commitment Schemes to Smooth Internet Bottlenecks, Defend against Denial of Service Attacks, and Bypass Some Legal Problems of Enccryption. Bottlenecks on the Internet and Denial of Service attacks on a server are both caused by excessive demands made on a system. This proposal is to reduce the ill-effects of either by building on our previous theoretical work on strongboxes of combinatorial designs. In the case of bottlenecks, the demands are legitimate but badly timed, and our approach ....Timed Commitment Schemes to Smooth Internet Bottlenecks, Defend against Denial of Service Attacks, and Bypass Some Legal Problems of Enccryption. Bottlenecks on the Internet and Denial of Service attacks on a server are both caused by excessive demands made on a system. This proposal is to reduce the ill-effects of either by building on our previous theoretical work on strongboxes of combinatorial designs. In the case of bottlenecks, the demands are legitimate but badly timed, and our approach will redistribute the demands more evenly. In the case of Denial of Service attacks, the demands are malicious, and our approach will respond in such a way as to deplete the resources of the attacker.Read moreRead less
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less
From Universal Induction to Intelligent Systems. The dream of creating artificial devices that (out)reach human intelligence is an old one. What makes this challenge so interesting? A solution would have enormous implications for our society, and there are arguments that the AI problem might be solved within a couple of decades. Specialized intelligent systems are actually already pervasive (finger print, handwriting, speech, and face recognition; spam filtering; search engines; computer chess; ....From Universal Induction to Intelligent Systems. The dream of creating artificial devices that (out)reach human intelligence is an old one. What makes this challenge so interesting? A solution would have enormous implications for our society, and there are arguments that the AI problem might be solved within a couple of decades. Specialized intelligent systems are actually already pervasive (finger print, handwriting, speech, and face recognition; spam filtering; search engines; computer chess; robots). This decade the first presumably complete mathematical theory of AI has been proposed. By working out this theory, this project will significantly contribute to the foundations of inductive inference and AI, and ultimately lead to smarter software and intelligent systems.Read moreRead less
Making the most of remotely sensed data: Bayesian spatio-temporal models for enhanced natural resource management and design. This research will provide methods for cost-efficient spatio-temporal data collection and analysis, with increased capacity for better decision-making about managing Australia’s natural resources. Through the Linkage partners’ networks, these benefits will be disseminated throughout regional bodies, government agencies and research groups across and outside Australia. The ....Making the most of remotely sensed data: Bayesian spatio-temporal models for enhanced natural resource management and design. This research will provide methods for cost-efficient spatio-temporal data collection and analysis, with increased capacity for better decision-making about managing Australia’s natural resources. Through the Linkage partners’ networks, these benefits will be disseminated throughout regional bodies, government agencies and research groups across and outside Australia. The statistical techniques derived in this project will enhance Australia’s capability in the national priority area of mathematical sciences, and will contribute to knowledge in a wide range of disciplines including natural resources, medicine and genetics. Read moreRead less
Towards automated and intelligent processing of web-based information. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web standards, will produce frontier technology that will eventually be of benefit to Australian industry, and will train several postgraduate students.
Rule-based reasoning systems for complex and dynamic ontologies. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web technologies that will eventually be of benefit to Australian industry, and will train several postgraduate students.