Vision Model Based Perceptual Digital Video Coding. Digital video coding and compression is an enabling technology and has diversified applications in audiovisual communications, multimedia computing, digital television broadcast and electronic entertainment industries. The project aims at spearheading research in theory, techniques and implementation of perceptual video coding in order to achieve constant and guaranteed quality in visual communications and services. It will explore a new appr ....Vision Model Based Perceptual Digital Video Coding. Digital video coding and compression is an enabling technology and has diversified applications in audiovisual communications, multimedia computing, digital television broadcast and electronic entertainment industries. The project aims at spearheading research in theory, techniques and implementation of perceptual video coding in order to achieve constant and guaranteed quality in visual communications and services. It will explore a new approach to digital video coding other than the constant bit rate coding techniques which have dominated digital video research for the past four decades. It will form a part of the theoretical foundation and principles for the next generation video coding and compression techniques, and may lead to new standards and practice.Read moreRead less
Numerically Robust Extruder Die Design for Fabricating High-Quality Preforms for Microstructured Polymer Optical Fibres. Microstructural polymer optical fibres (mPOFs) were pioneered in Australia, are now comparable in performance (but much more versatile) than conventional polymer fibre, and are a highly attractive commercial option. Potential industrial applications envisage cost-effective preform fabrication as a key issue, with extrusion as the favoured route. This interdisciplinary project ....Numerically Robust Extruder Die Design for Fabricating High-Quality Preforms for Microstructured Polymer Optical Fibres. Microstructural polymer optical fibres (mPOFs) were pioneered in Australia, are now comparable in performance (but much more versatile) than conventional polymer fibre, and are a highly attractive commercial option. Potential industrial applications envisage cost-effective preform fabrication as a key issue, with extrusion as the favoured route. This interdisciplinary project benefits Australia by (i) extending and exploiting our research advantages in advanced photonics and computational rheology, (ii) providing the 'missing link' for large-scale mPOF production and positioning us to reap the economic benefits of this innovative technology, and (iii) providing computational techniques for rheological modelling that are applicable in diverse Australian industry sectors.Read moreRead less
Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to i ....Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government.Read moreRead less
Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government (Priority 3 - Frontier Technologies). Read moreRead less
Building correct-by-construction distributed systems from specifications stating how agents' knowledge evolves over time. Many distributed computer system implementations fail to comply with their original informal requirement specification. These requirements typically refer to the migration of information through the system over time, but current specification languages are not rich enough to express such requirements on a sufficiently abstract level. This results in a huge error-provoking gap ....Building correct-by-construction distributed systems from specifications stating how agents' knowledge evolves over time. Many distributed computer system implementations fail to comply with their original informal requirement specification. These requirements typically refer to the migration of information through the system over time, but current specification languages are not rich enough to express such requirements on a sufficiently abstract level. This results in a huge error-provoking gap between the informal requirements and the starting point of formally verifiable development. To minimise this gap, we develop a particularly expressive specification language, a calculus for stepwise refinement from such specifications down to distributed systems, and an automated tool for checking and supporting refinement steps in the calculus.Read moreRead less