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
Decentralized Control Problems for Networked Systems. The conceptual advances to be made in the area decentralized control of networked systems.
New design rules for decentralized control in networked systems will be developed and published in the top international journals and major international conferences.
Also, a contribution of the project will be to produce high quality Ph.D. graduates in this area of control theory.
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
Signal Concentration, Robust Signal Processing and Information Theory on the Unit Sphere. This project will assist Australia in maintaining and elevating its international research role in the development of breakthrough signal processing techniques applied to mobile communication, geodesy, astronomy, defence and surveillance, and acoustic modeling of human hearing. The project's high impact contributions will advance Australia's knowledge base and through its applications attract industry inte ....Signal Concentration, Robust Signal Processing and Information Theory on the Unit Sphere. This project will assist Australia in maintaining and elevating its international research role in the development of breakthrough signal processing techniques applied to mobile communication, geodesy, astronomy, defence and surveillance, and acoustic modeling of human hearing. The project's high impact contributions will advance Australia's knowledge base and through its applications attract industry interest particularly in the development of improved instrumentation. The publication of outcomes will elevate Australia's research reputation. The project provides high quality research training for gifted postgraduate students and postdoctoral researchers.Read moreRead less
Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of ....Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of language (more than just logical constants) but that the role of inference does not justify one kind of proof in preference to others.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347727
Funder
Australian Research Council
Funding Amount
$400,000.00
Summary
Computational infrastructure for high-throughput genome bioinformatics. We propose a high-performance computing and web facility for genome bioinformatics. It will provide a common software development environment in support of molecular biosciences, systems biology and complex systems modelling at the Institute for Molecular Bioscience at University of Queensland, and at Queensland University of Technology. The platform will support Australia's first genome-scale bioinformatics research website ....Computational infrastructure for high-throughput genome bioinformatics. We propose a high-performance computing and web facility for genome bioinformatics. It will provide a common software development environment in support of molecular biosciences, systems biology and complex systems modelling at the Institute for Molecular Bioscience at University of Queensland, and at Queensland University of Technology. The platform will support Australia's first genome-scale bioinformatics research website, with unique software and mirrors of the IBM Biological Pattern Discovery, UC San Diego MEME/MetaMEME/MAST, and NGI comparative genomics websites. Australian/NZ researchers will access the facility at no cost for high-throughput use of unique software, website mirrors and other important tools for genome bioinformatics.Read moreRead less
Yield strength and plastic flow of heterogeneous materials: Designing optimal composites and porous materials. A major goal of materials science is to design materials with improved functionality at lower weight, cost and size. It is important to guide this expensive and time-consuming process with sophisticated computer modelling. In this project we aim to model how and why composite and porous materials fail when they are placed under stress. Our results will make materials design more efficie ....Yield strength and plastic flow of heterogeneous materials: Designing optimal composites and porous materials. A major goal of materials science is to design materials with improved functionality at lower weight, cost and size. It is important to guide this expensive and time-consuming process with sophisticated computer modelling. In this project we aim to model how and why composite and porous materials fail when they are placed under stress. Our results will make materials design more efficient by providing a valuable experimental interpretive tool and a theoretical map for material optimization. Our models will also provide crucial information needed for modelling the behavior of composites in applications.Read moreRead less
How do macroeconomic fluctuations affect the educational choices of young Australians? The 1990-1991 recession, recent evidence, and econometric issues. The educational choices of young people are crucial for any nation's future. The project's empirical findings will inform public policy, particularly in the areas of education and training and youth unemployment. The research will help policy makers target people who need extra support in tough times and help determine the demand for different k ....How do macroeconomic fluctuations affect the educational choices of young Australians? The 1990-1991 recession, recent evidence, and econometric issues. The educational choices of young people are crucial for any nation's future. The project's empirical findings will inform public policy, particularly in the areas of education and training and youth unemployment. The research will help policy makers target people who need extra support in tough times and help determine the demand for different kinds of education. The findings have implications for future policies aimed at reducing inequality. The project's methodological contributions will lead to better and more reliable research in economics and other fields such as biology and engineering. The findings will be suitable for the top economics journals and contribute to Australia's standing in the academic community.Read moreRead less
Efficient Operation of Bioreactors using Nonlinear Dynamical Systems Theory. Current methods of determining optimal operating conditions in bioreactors have recently been shown to be inefficient, resulting in serious omissions of crucial parameter regions. We will use mathematical techniques from dynamical systems theory to establish a general framework by which bioreactor systems can be efficiently and systematically investigated to improve reactor performance. By communicating these results at ....Efficient Operation of Bioreactors using Nonlinear Dynamical Systems Theory. Current methods of determining optimal operating conditions in bioreactors have recently been shown to be inefficient, resulting in serious omissions of crucial parameter regions. We will use mathematical techniques from dynamical systems theory to establish a general framework by which bioreactor systems can be efficiently and systematically investigated to improve reactor performance. By communicating these results at relevant fora, we will increase the awareness within the Australian and international engineering communities of the advantages of modern mathematical techniques. Although this proposal focuses on bioreactors, the techniques can be easily adapted to improve the performances of other chemical processes.
Read moreRead less