Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented i ....Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.Read moreRead less
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
A Study of Stabilisation and Optimal Control Computation of Impulsive Control Systems. Impulsive systems exhibit the phenomenon of jumps occurring at various time points along their trajectories. They arise from many applications, such as determining appropriate levels of drug administration in cancer and diabetes treatment, optimizing investment strategies in capacity expansion, and sustainable optimal forest management. This project will result in fundamental theory on stability and efficient ....A Study of Stabilisation and Optimal Control Computation of Impulsive Control Systems. Impulsive systems exhibit the phenomenon of jumps occurring at various time points along their trajectories. They arise from many applications, such as determining appropriate levels of drug administration in cancer and diabetes treatment, optimizing investment strategies in capacity expansion, and sustainable optimal forest management. This project will result in fundamental theory on stability and efficient computational algorithms and software packages for stabilizing controls and optimal controls of impulsive control problems. The outcomes will enhance Australia's reputation for leading edge research and facilitate opportunity for international collaboration. It will also provide an excellent opportunity for research training.Read moreRead less
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.
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
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
Adaptive learning in networks of spiking neurons for recognising patterns that change with time. The aim of this project is to develop a method for recognising patterns that change with time. Building-blocks similar to those in the brain (spiking neurons) will be used. Automatic techniques will be developed to teach groups of spiking neurons the differences between sequences of events by adjusting connections between neurons. The significance of this approach is that it captures information abou ....Adaptive learning in networks of spiking neurons for recognising patterns that change with time. The aim of this project is to develop a method for recognising patterns that change with time. Building-blocks similar to those in the brain (spiking neurons) will be used. Automatic techniques will be developed to teach groups of spiking neurons the differences between sequences of events by adjusting connections between neurons. The significance of this approach is that it captures information about timing that is missed in existing techniques. 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.Read moreRead less
Temporal Pattern Learning and Recognition in Neural Systems. This project is relevant to the National Research Priority area of Frontier Technologies and addresses fundamental cross-disciplinary issues of how neural systems learn patterns that change with time, which is at the cutting edge of intelligent processing systems. Applications are in rapidly growing fields of automatic speech processing, robotics, machine learning and intelligent systems, all with applications in areas of economic impo ....Temporal Pattern Learning and Recognition in Neural Systems. This project is relevant to the National Research Priority area of Frontier Technologies and addresses fundamental cross-disciplinary issues of how neural systems learn patterns that change with time, which is at the cutting edge of intelligent processing systems. Applications are in rapidly growing fields of automatic speech processing, robotics, machine learning and intelligent systems, all with applications in areas of economic importance. Application to cochlear implant speech processing will provide benefit for the hearing impaired. The project will provide students with training at an international level within Australia, thus helping ensure Australia maintains and extends its science and technology base into the future.Read moreRead less