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
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Space-Time Block Codes using Orthogonal, Amicable, and General Designs. Space-time coding for multiple transmit and multiple receive antennas is the enabling technology for future wireless communication systems. Multiple antennas provide independent transmission paths resulting in an increased channel capacity without requiring costly additional bandwidth. Space-time block codes lead to the simplest receiver structures and thus to the most economical solutions. The currently known codes are base ....Space-Time Block Codes using Orthogonal, Amicable, and General Designs. Space-time coding for multiple transmit and multiple receive antennas is the enabling technology for future wireless communication systems. Multiple antennas provide independent transmission paths resulting in an increased channel capacity without requiring costly additional bandwidth. Space-time block codes lead to the simplest receiver structures and thus to the most economical solutions. The currently known codes are based on the work of one of the CIs, but so far only a small part of that work has been utilised. We aim to fully exploit the potential of this theory and move the performance of wireless systems towards their theoretical limits.Read moreRead less
Diversity Improvements in Ultra-Wide Band Communications. The proposed project will facilitate development of new frontier technologies that will most likely form the basis for future optimal usage of bandwidth. It will strengthen Australia's role in the advancement of communication technology for the future. Through involvement in the project, the PhD, Masters, and Honours graduates will acquire knowledge and the skills in widely applicable advanced mathematical theory and methods for the analy ....Diversity Improvements in Ultra-Wide Band Communications. The proposed project will facilitate development of new frontier technologies that will most likely form the basis for future optimal usage of bandwidth. It will strengthen Australia's role in the advancement of communication technology for the future. Through involvement in the project, the PhD, Masters, and Honours graduates will acquire knowledge and the skills in widely applicable advanced mathematical theory and methods for the analysis and design of communication systems. The project will also serve to build new international links and extend existing ones through active involvement of overseas researchers.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