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
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.
Rare Event Simulation with Heavy Tails. The project provides a rigorous way to enhance our understanding of the mechanisms that bring about catastrophic rare events such as urban flooding, electricity shortages and financial bankrupcy. Australia is at the forefront of exciting recent developments in rare event simulation. The advancement of the knowledge in this area will generate a competitive advantage for various sections of the Australian industry, including the areas of industrial reliabili ....Rare Event Simulation with Heavy Tails. The project provides a rigorous way to enhance our understanding of the mechanisms that bring about catastrophic rare events such as urban flooding, electricity shortages and financial bankrupcy. Australia is at the forefront of exciting recent developments in rare event simulation. The advancement of the knowledge in this area will generate a competitive advantage for various sections of the Australian industry, including the areas of industrial reliability, finance and insurance, were accurate simulation techniques are becoming increasingly important.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