Data Mining by Clustering in Very Large Relational Databases. Many commercial and governmental entities possess very large relational data that cannot be feasibly analyzed by today's computers, e.g., gene expression data, product usage databases and telecommunication call records. The clustering tools developed in this project will have a significant benefit on many business processes that involve clustering this type of data, such as fraud detection and market segmentation.
Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will un ....Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will unify these two approaches for the first time by formally specifying and animating the very models used in cryptographic proofs. The result will be proofs that are uniquely accessible to practioners combined with increased confidence that the proofs are both correct and relevant.Read moreRead less
Interconnection Network Routing and Graph Symmetry. Efficient routing schemes are of fundamental importance to both
traditional and optical interconnection networks. To achieve high
performance it is recommended that the graph modelling the network be vertex-transitive, meaning that it looks the same viewed from any vertex. In this project we will conduct a systematic study of the routing problem for such networks. We will focus on the effect of vertex-transitivity and some other symmetry pro ....Interconnection Network Routing and Graph Symmetry. Efficient routing schemes are of fundamental importance to both
traditional and optical interconnection networks. To achieve high
performance it is recommended that the graph modelling the network be vertex-transitive, meaning that it looks the same viewed from any vertex. In this project we will conduct a systematic study of the routing problem for such networks. We will focus on the effect of vertex-transitivity and some other symmetry properties on the efficiency of routing schemes measured by the vertex- and edge-congestions, and the minimum number of wavelengths needed in optical networks.Read moreRead less
Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential app ....Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential applications in computer and telecommunication industries, and advance significantly our knowledge on relevant subjects of mathematics and operations research. Read moreRead less
Modelling and Removal of Noise and Artefacts in Surveillance and Security Video for Forensic Image Analysis and Enhancement. This project spearheads research in advanced digital image and video processing technology, placing Australia at the forefront of both theoretical and applied research to safeguard Australia. It tackles fundamental issues identified in our earlier research in this area and consulting work for Victoria and NSW Police Departments in forensic investigations since 2000. Althou ....Modelling and Removal of Noise and Artefacts in Surveillance and Security Video for Forensic Image Analysis and Enhancement. This project spearheads research in advanced digital image and video processing technology, placing Australia at the forefront of both theoretical and applied research to safeguard Australia. It tackles fundamental issues identified in our earlier research in this area and consulting work for Victoria and NSW Police Departments in forensic investigations since 2000. Although the main investigation focuses on video surveillance and security systems for public safety, policing, crime prevention and border control, the outcomes of the investigation will have other applications, including digital photography for fine-art, medical imaging, picture archiving and communication systems for telemedicine and rural healthcare systems.Read moreRead less
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
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
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
Intelligent Resource Allocation Techniques for Next Generation Wireless Mobile Communication Networks. The project will develop radio and network resource allocation techniques to maximise network utilisation and to offer guaranteed Quality of Service (QoS) for multimedia traffic in 3G/4G wireless mobile communication networks. In particular, this work will study the problem of radio channel allocation in wireless IP (Internet protocol) multimedia networks. The project will develop resource allo ....Intelligent Resource Allocation Techniques for Next Generation Wireless Mobile Communication Networks. The project will develop radio and network resource allocation techniques to maximise network utilisation and to offer guaranteed Quality of Service (QoS) for multimedia traffic in 3G/4G wireless mobile communication networks. In particular, this work will study the problem of radio channel allocation in wireless IP (Internet protocol) multimedia networks. The project will develop resource allocation algorithms based on traffic conditions, link qualities and service requirements using statistical traffic models, mobile software agents and neural network techniques.
Read moreRead less
Adaptive learning of spatiotemporal patterns: Development of multi-layer spiking neuron networks using Hebbian and competitive learning. The aim of this project is to develop a method for recognising patterns that change in time. The development of a reliable method that is fast and robust to noise will have wide application in many areas, especially computer speech recognition where timing plays a crucial role. Building-blocks similar to those in the brain (spiking neurons) will be used. Aut ....Adaptive learning of spatiotemporal patterns: Development of multi-layer spiking neuron networks using Hebbian and competitive learning. The aim of this project is to develop a method for recognising patterns that change in time. The development of a reliable method that is fast and robust to noise will have wide application in many areas, especially computer speech recognition where timing plays a crucial role. Building-blocks similar to those in the brain (spiking neurons) will be used. Automatic techniques will be used to teach groups of spiking neurons the differences between sequences of events by adjusting connections between them. The significance of this approach is that it captures information about timing that is missed in existing techniques.Read moreRead less