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
Statistical and Mathematical Analyses of Sequence and Array Data. Development of mathematical and statistical methods and tools in bioinformation science will ensure that Australia is at the cutting-edge of modern biology. This will enhance Australia's reputation for dealing with the exponentially growing body of genomic data emerging from life sciences laboratories throughout the world. The proposed project has a broad range of potential applications in biotechnology, particularly in the medic ....Statistical and Mathematical Analyses of Sequence and Array Data. Development of mathematical and statistical methods and tools in bioinformation science will ensure that Australia is at the cutting-edge of modern biology. This will enhance Australia's reputation for dealing with the exponentially growing body of genomic data emerging from life sciences laboratories throughout the world. The proposed project has a broad range of potential applications in biotechnology, particularly in the medical and agricultural industries. Examples include improvements to livestock, in plant breeding such as drought resistance, and better genetic disease diagnosis, including earlier cancer diagnosis, and personalised treatment.Read moreRead less
THE DEVELOPMENT OF MECHANISTIC MODELS FOR BUBBLY FLOWS WITH HEAT AND MASS TRANSFER. Commercially available CFD computer codes are currently widely used in many Australian industrial sectors. It is clearly recognised that the state-of-the-art models for dealing with complex bubbly flows with/without heat and mass transfer in these computer codes require further developments and improvements. This research project will address the prevalent deficiency in many of these computer codes. It is antici ....THE DEVELOPMENT OF MECHANISTIC MODELS FOR BUBBLY FLOWS WITH HEAT AND MASS TRANSFER. Commercially available CFD computer codes are currently widely used in many Australian industrial sectors. It is clearly recognised that the state-of-the-art models for dealing with complex bubbly flows with/without heat and mass transfer in these computer codes require further developments and improvements. This research project will address the prevalent deficiency in many of these computer codes. It is anticipated that through this major development of new models capable of predicting a wide range of industrial bubbly flow problems and implementation thereafter in these computer codes, industries will experience significant benefits especially reduce time and costs in their design and production.Read moreRead less
Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of ....Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of predicting a wide range of industrial bubbly flow problems. The resultant improved computer codes will provide industries with significant benefits - especially reduced times and costs in their design and production.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
Coarse Grained Parallel Algorithms. Various fields of research face barriers created by problems that are computationally hard and/or require processing of large amounts of data. For example, some computational biochemistry methods on protein or gene sequences can not be scaled up to data sets required for human health research because of performance problems. Parallel computing enables new research by increasing the size of solvable problems. In addition to fundamental parallel computing resear ....Coarse Grained Parallel Algorithms. Various fields of research face barriers created by problems that are computationally hard and/or require processing of large amounts of data. For example, some computational biochemistry methods on protein or gene sequences can not be scaled up to data sets required for human health research because of performance problems. Parallel computing enables new research by increasing the size of solvable problems. In addition to fundamental parallel computing research, this project studies parallel algorithms for structure-based drug design and protein-protein interaction prediction that will enable new biochemistry research, as well as parallel algorithms for data cubes that will help enable the next generation of very large data warehouses.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
Expenditure needs and drawdown of retirement savings during later life: how important are demographic factors and financial resources? Projections of expenditure patterns in retirement which allow for population heterogeneity will provide individuals with a better appreciation of their income needs and their savings requirements for a comfortable retirement. It will also enable financial institutions to develop products which better target retirees' needs over the course of retirement, and in ad ....Expenditure needs and drawdown of retirement savings during later life: how important are demographic factors and financial resources? Projections of expenditure patterns in retirement which allow for population heterogeneity will provide individuals with a better appreciation of their income needs and their savings requirements for a comfortable retirement. It will also enable financial institutions to develop products which better target retirees' needs over the course of retirement, and in addition it will enable improved assessment of aspects of Government income support policy. Specifically, understanding the complex interactions between private and public pensions, and concession card receipt upon expenditure behaviour, will enable more accurate costings of the public support of elderly families as Australia's population ages. Read moreRead less
Development of robust adaptive and nonlinear control methodologies. Techniques will be developed that will allow industrial plants to operate with lower direct or environmental cost, and airborne vehicles to operate more efficiently or more safely.