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
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
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
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
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less
Nanotribology of coating on silicon using multiscale atomic-continuum modelling. Nanotribology plays a vital role in the development of nanomaterials, nanotechnology and information technology. The current project aims to predict the mechanisms involved in the nanotribology of diamond coating on silicon. In addition, the project will integrate the tribological mechanisms involved on the atomic scale with mechanisms on the continuum scale using an innovative model combining molecular dynamics, ....Nanotribology of coating on silicon using multiscale atomic-continuum modelling. Nanotribology plays a vital role in the development of nanomaterials, nanotechnology and information technology. The current project aims to predict the mechanisms involved in the nanotribology of diamond coating on silicon. In addition, the project will integrate the tribological mechanisms involved on the atomic scale with mechanisms on the continuum scale using an innovative model combining molecular dynamics, discrete elements method and finite elements analysis. This will provide a holistic understanding of tribology.Read moreRead less
Modelling soft filled viscoelastic solids. Wheat flour doughs are made in vast quantities daily, and improvements in processing, especially in sheeting (rolling) and extrusion are needed. To enable this we will create a novel mathematical description of the material which will be useful for predicting the shapes of processed products. Wheat breeding cycles can be shortened by using the model rheological parameters, since baking quality is closely linked to dough rheology. A number of Australian ....Modelling soft filled viscoelastic solids. Wheat flour doughs are made in vast quantities daily, and improvements in processing, especially in sheeting (rolling) and extrusion are needed. To enable this we will create a novel mathematical description of the material which will be useful for predicting the shapes of processed products. Wheat breeding cycles can be shortened by using the model rheological parameters, since baking quality is closely linked to dough rheology. A number of Australian wheats will be considered and their rheologies will be compared.Read moreRead less