Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient al ....Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient algorithmic approaches for difficult problems enable advances in all areas of computer applications such as medical diagnosis and health prediction, national security, communications efficiency, industrial productivity and all fields of science and engineering.Read moreRead less
Automatic detection of the circle of Willis in neuro-images using multi-scale gradient calculation and knowledge-based genetic algorithms. Stroke is the third most common cause of death and a major contributor to long term disability in Australia. The most efficient way of preventing stroke from happening is to detect related symptoms early. The group of cerebral blood vessels that closely related to strokes is the circle of Willis (CoW). We build a system that can automatically detect and quan ....Automatic detection of the circle of Willis in neuro-images using multi-scale gradient calculation and knowledge-based genetic algorithms. Stroke is the third most common cause of death and a major contributor to long term disability in Australia. The most efficient way of preventing stroke from happening is to detect related symptoms early. The group of cerebral blood vessels that closely related to strokes is the circle of Willis (CoW). We build a system that can automatically detect and quantify CoW in neuroimages, providing ways of preventing strokes from happening. The project will enhance Australia¡¯s leading position in promoting and maintaining good health, especially in preventive healthcare.Read moreRead less
Algebraic Methods in Design and Analysis of Stream Ciphers. The project investigates the problem of communication security in the mobile environment where both confidentiality and authenticity are of prime concern. Stream ciphers are a very natural choice in mobile environment as they provide an efficient cryptographic protection using a limited computing resources. We model stream cipher as a system of multivariate equations. In this approach, security of stream ciphers can be measured as the c ....Algebraic Methods in Design and Analysis of Stream Ciphers. The project investigates the problem of communication security in the mobile environment where both confidentiality and authenticity are of prime concern. Stream ciphers are a very natural choice in mobile environment as they provide an efficient cryptographic protection using a limited computing resources. We model stream cipher as a system of multivariate equations. In this approach, security of stream ciphers can be measured as the complexity of an algorithm that solves the appropriate system of equations. This project leads to new techniques for the design and analysis of stream ciphers.Read moreRead less
Algebraic Models of Stream Ciphers. The project investigates communication security in the mobile environment where both confidentiality and authenticity are of a prime concern. Stream ciphers are a natural choice in mobile environments as they provide an efficient cryptographic protection using a limited computing resources. We treat stream ciphers as algebraic objects whose properties fully determine their cryptographic strength. We first analyse existing stream ciphers showing their algebraic ....Algebraic Models of Stream Ciphers. The project investigates communication security in the mobile environment where both confidentiality and authenticity are of a prime concern. Stream ciphers are a natural choice in mobile environments as they provide an efficient cryptographic protection using a limited computing resources. We treat stream ciphers as algebraic objects whose properties fully determine their cryptographic strength. We first analyse existing stream ciphers showing their algebraic properties and later we derive a design methodology for provably secure stream ciphers. The project leads to new secure and efficient designs for stream ciphers that are the preferred cryptographic tools used in Australian industry.Read moreRead less
Algebraic Analysis of Cryptosystems. This project studies an (new) algebraic approach to cryptanalysis of modern block ciphers. The approach works for all cryptosystems that use either small S-boxes, or their algebraic structure can be described by a system of overdefined quadratic equations. The cryptosystems that are potentially breakable using this approach are Rijndael and Serpent - the two top finalists of the Advanced Encryption Standard contest. The project also explores how this approach ....Algebraic Analysis of Cryptosystems. This project studies an (new) algebraic approach to cryptanalysis of modern block ciphers. The approach works for all cryptosystems that use either small S-boxes, or their algebraic structure can be described by a system of overdefined quadratic equations. The cryptosystems that are potentially breakable using this approach are Rijndael and Serpent - the two top finalists of the Advanced Encryption Standard contest. The project also explores how this approach can be applied to design new and more powerful factoring algorithms. The project has an explosive potential to redefine the theory and practice of modern cryptography.Read moreRead less
Advanced computational techniques for micro/nano multiscale systems of NEMS/BioMEMS. The outcome of this project will have the following benefits to Australia.
1) It will improve the research level in the area of multiscale simulation of NEMS/BioMEMS;
2) The project will be beneficial to possibly establish new industries in the areas of nanotechnology as well as to make good use of today's microelectronics, mircofabrication and computer technology that have already established in Australia;
....Advanced computational techniques for micro/nano multiscale systems of NEMS/BioMEMS. The outcome of this project will have the following benefits to Australia.
1) It will improve the research level in the area of multiscale simulation of NEMS/BioMEMS;
2) The project will be beneficial to possibly establish new industries in the areas of nanotechnology as well as to make good use of today's microelectronics, mircofabrication and computer technology that have already established in Australia;
3) The manpower trained by this project in the areas of multi-scale simulation of MEMS/NEMS/BioMEMS will provide a crucial support for the future industry of Australia.
Read moreRead less
Development of an Integrated Platform for Performance-Based Safety Assessment. Building fires are the cause of major fatalities and injuries amongst all types of accidental fires in Australia. With significant advancement in numerical simulation technique, computer models are becoming acceptable tools for fire safety designs. Nonetheless, these methods still suffer from large amount of manual inputs and lengthy computational times. This research project will address the prevalent deficiency in m ....Development of an Integrated Platform for Performance-Based Safety Assessment. Building fires are the cause of major fatalities and injuries amongst all types of accidental fires in Australia. With significant advancement in numerical simulation technique, computer models are becoming acceptable tools for fire safety designs. Nonetheless, these methods still suffer from large amount of manual inputs and lengthy computational times. This research project will address the prevalent deficiency in many of these computer models and develop a novel and innovative design methodology. The success of this project will revolutionize the computational tools for the industry realizing a convenient, robust and time-saving integrated platform catering for increasing future market demand.Read moreRead less
Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algori ....Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algorithms with the aim of designing algorithms better able to exploit prior knowledge, and to extend existing algorithms to new problem domains thus offering well principled and well understood algorithms for solving a variety of novel online problems.Read moreRead less
Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to ....Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to improve the performance and quality of many practical signal reconstruction methods. These are used by varied Australian industries from telecommunication to mining and by researchers in the digital arts and fields such as astronomy, physics, chemistry, bioscience, geoscience, engineering and medicine.Read moreRead less
Towards a unified theory of constrained control and estimation. The project will investigate the implications of duality and other connections between constrained control and estimation. We believe that the research will result in a richer understanding of these problems. In particular, we envisage an impact in at least four areas: (i) Computational issues, i.e., development of more efficient algorithms for constrained problems. (ii) Geometry of constrained problems, by extending recent results ....Towards a unified theory of constrained control and estimation. The project will investigate the implications of duality and other connections between constrained control and estimation. We believe that the research will result in a richer understanding of these problems. In particular, we envisage an impact in at least four areas: (i) Computational issues, i.e., development of more efficient algorithms for constrained problems. (ii) Geometry of constrained problems, by extending recent results pertaining to constrained control to estimation problems. (iii) Problems with mixed constraints, for example, interval and finite set constraints. (iv) Fundamental limitations imposed by constraints to filtering and control problems.Read moreRead less