RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this ....RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this project is to design new public-key cryptography hardware to provide faster, more secure communications for computers, networks and smart cards. Achieving this will require innovations in the way computers perform arithmetic and how this arithmetic is realised as an integrated circuit.Read moreRead less
On-line structural integrity assessment of advanced composite airframe with senor network. The project addresses frontier technologies that lead to solutions to one of the critical key issues forming the Australian community - online integrity/safety assessment of structures or asset including aircraft, ships, buildings and bridges. The community benefits significantly if potential disaster due to occurrence of damage associated with those structures can be prevented - the ultimate aim of resear ....On-line structural integrity assessment of advanced composite airframe with senor network. The project addresses frontier technologies that lead to solutions to one of the critical key issues forming the Australian community - online integrity/safety assessment of structures or asset including aircraft, ships, buildings and bridges. The community benefits significantly if potential disaster due to occurrence of damage associated with those structures can be prevented - the ultimate aim of researchers for decades. It is imperative that Australian industries remain technologically ahead of international competitors. Outcomes of the project will lead to novel technologies for real-time structural health monitoring and integrity assessment, bringing significant improvement in operation safety and driving down maintenance cost.Read moreRead less
Development of Advanced Fracture Mechanics Models and Novel Technical Tools for Integrity, Durability and Safety Assessment. The proposed project will lead to the new understanding of fracture phenomena and structural integrity. It will create a range of novel computer based technical tools for life and integrity assessment of structures in the presence of cracks and other defects, so as to meet the high safety standards across a wide range of industries. The project will result in technology th ....Development of Advanced Fracture Mechanics Models and Novel Technical Tools for Integrity, Durability and Safety Assessment. The proposed project will lead to the new understanding of fracture phenomena and structural integrity. It will create a range of novel computer based technical tools for life and integrity assessment of structures in the presence of cracks and other defects, so as to meet the high safety standards across a wide range of industries. The project will result in technology that will help to make Australian products stronger and more durable so they become more competitive with low cost overseas imports. All the research outcomes will have a direct benefit to Australian interests, including both public and private industries.Read moreRead less
A Paraconsistent Approach to Vagueness. This project will utilise logical techniques that have been developed largely by Australian logicians. This techniques will be brought to bear on the problem of vagueness, one of the most important problems in the philosophy of logic. The project will thus greatly enhance Australia's already strong international reputation in logic and philosophical logic.
Logical Theory and Sentence Composition -- A General and Comparative Study of the Principal Sentential Connectives. The aims are to get clear about the semantic and logical properties of
the basic sentence connectives, and to adjudicate several debates on
these matters. The significance is that the logic of sentence
connectives is fundamental for the whole of logic. The expected aim is a large book - probably to be called *The Connectives* - in which all of this is set out.
Rules in Logic. Logic is a foundational discipline which supports work in philosophy and other intellectual fields. Communities and nations are enriched by research in logic even if there are no direct economic benefits. But, in Australia, which has been a world-leader in philosophical logic for the past thirty years, there are also more direct benefits. Continued foundational research in logic attracts international students to Australia, and enhances the international reputation of Australian ....Rules in Logic. Logic is a foundational discipline which supports work in philosophy and other intellectual fields. Communities and nations are enriched by research in logic even if there are no direct economic benefits. But, in Australia, which has been a world-leader in philosophical logic for the past thirty years, there are also more direct benefits. Continued foundational research in logic attracts international students to Australia, and enhances the international reputation of Australian universities. This research will contribute significantly to Australia's reputation for fundamental logical research.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
The One and the Many - the Path Through Contradiction. Australia has a major presence on the international philosophical world out of all proportion to its size (comparable to that which it has in sport). It is known for its development of radical new ideas and forthright approaches. One area in which this is particularly the case is logic and its philosophical applications. The present project is a high profile example of this, and will further enhance Australia's international intellectual p ....The One and the Many - the Path Through Contradiction. Australia has a major presence on the international philosophical world out of all proportion to its size (comparable to that which it has in sport). It is known for its development of radical new ideas and forthright approaches. One area in which this is particularly the case is logic and its philosophical applications. The present project is a high profile example of this, and will further enhance Australia's international intellectual profile.Read moreRead less
A hybrid approach to predict the structure-borne noise transmission in ship structures using a waveguide method and Statistical Energy Analysis. The prediction of structure-borne noise transmission in large welded ship structures is required, in order to design maritime vessels with greater ship power and reduced weight, without increasing the noise levels. The aim of this project is to develop a hybrid approach for structural dynamic analyses using an analytical waveguide method and Statistical ....A hybrid approach to predict the structure-borne noise transmission in ship structures using a waveguide method and Statistical Energy Analysis. The prediction of structure-borne noise transmission in large welded ship structures is required, in order to design maritime vessels with greater ship power and reduced weight, without increasing the noise levels. The aim of this project is to develop a hybrid approach for structural dynamic analyses using an analytical waveguide method and Statistical Energy Analysis. The theoretical estimation and associated experimental measurement of the SEA parameters (modal density, coupling and internal loss factors) form the basis for the hybrid approach. The outcomes will result in improved predictive techniques for dynamic analyses of large complex resonant structures.Read moreRead less
Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra. Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving ....Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra. Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving constraint problems and for the study of formal languages.
With a team of top international researchers developing new interactions between mathematics and the study of algorithms, the project will foster a culture of innovation and bring Australia into the play in this internationally competitive area.Read moreRead less