Fundamental mathematical structures in statistical and quantum systems. Mathematics is playing a key role in modern science and technology. This project will bring together world leading experts from Australia and the USA to unravel the most fundamental mathematical structures in of statistical and quantum systems arising in settings ranging from physics of tiny quantum dots to string theory in high energy physics. This research will ensure Australia's involvement in cutting-edge international d ....Fundamental mathematical structures in statistical and quantum systems. Mathematics is playing a key role in modern science and technology. This project will bring together world leading experts from Australia and the USA to unravel the most fundamental mathematical structures in of statistical and quantum systems arising in settings ranging from physics of tiny quantum dots to string theory in high energy physics. This research will ensure Australia's involvement in cutting-edge international developments in mathematical sciences poised to deliver new significant results in the fundamental quantum theory of matter. The project will also contribute to training young researchers to maintain Australia's international standing in fundamental science.Read moreRead less
Quantization of polyhedral surfaces. Recent developments in the theory of discrete surfaces have revealed their fascinating links to many other areas of mathematics including integrable systems and quantum geometry. Rapid progress in this field is motivated by applications in pure mathematics, mathematical physics, computer graphics and engineering. Australian researchers are world recognized experts in integrable systems and this project will link them together with German experts in discrete d ....Quantization of polyhedral surfaces. Recent developments in the theory of discrete surfaces have revealed their fascinating links to many other areas of mathematics including integrable systems and quantum geometry. Rapid progress in this field is motivated by applications in pure mathematics, mathematical physics, computer graphics and engineering. Australian researchers are world recognized experts in integrable systems and this project will link them together with German experts in discrete differential geometry. The project will advance our knowledge base in fundamental and applied sciences and offer a unique research training opportunity for students in contemporary areas of pure and applied mathematics.Read moreRead less
Invariants of singular spaces from noncommutative geometry. The project addresses questions of significance at the international forefront in the mathematical sciences and the ARC funds will enable research training of students and postdoctoral fellows at this very high level. International collaboration and networking is a key feature that will enhance Australia's scientific standing and provide opportunities for early career researchers to engage internationally with world leaders. The mainten ....Invariants of singular spaces from noncommutative geometry. The project addresses questions of significance at the international forefront in the mathematical sciences and the ARC funds will enable research training of students and postdoctoral fellows at this very high level. International collaboration and networking is a key feature that will enhance Australia's scientific standing and provide opportunities for early career researchers to engage internationally with world leaders. The maintenance of a high quality research program at ANU enhances Australia's ability to attract international students and places the ANU in the top league of world universities. It brings with it recognition of Australia as a culturally advanced nation.Read moreRead less
Credential Systems and Their Applications in Securing Electronic Health Records. The expected result of this project will be frontier technologies that are essential in applications and services, whose acceptance and take-up will depend on users' assurance of their security in the cyber world. In particular, a service such as the EHR system, which is known to be a complex system, requires the use of new and innovative credential-based systems. The result will also contribute to maintaining Austr ....Credential Systems and Their Applications in Securing Electronic Health Records. The expected result of this project will be frontier technologies that are essential in applications and services, whose acceptance and take-up will depend on users' assurance of their security in the cyber world. In particular, a service such as the EHR system, which is known to be a complex system, requires the use of new and innovative credential-based systems. The result will also contribute to maintaining Australia's leading position in the telecommunication and information technology industries, which has been recognised by increased government funding levels. The resulting applications of this project will place Australia as the first country able to design and implement a secure EHR system.Read moreRead less
Statistical and Mathematical Analyses of Sequence and Array Data. Development of mathematical and statistical methods and tools in bioinformation science will ensure that Australia is at the cutting-edge of modern biology. This will enhance Australia's reputation for dealing with the exponentially growing body of genomic data emerging from life sciences laboratories throughout the world. The proposed project has a broad range of potential applications in biotechnology, particularly in the medic ....Statistical and Mathematical Analyses of Sequence and Array Data. Development of mathematical and statistical methods and tools in bioinformation science will ensure that Australia is at the cutting-edge of modern biology. This will enhance Australia's reputation for dealing with the exponentially growing body of genomic data emerging from life sciences laboratories throughout the world. The proposed project has a broad range of potential applications in biotechnology, particularly in the medical and agricultural industries. Examples include improvements to livestock, in plant breeding such as drought resistance, and better genetic disease diagnosis, including earlier cancer diagnosis, and personalised treatment.Read moreRead less
Solving inverse problems with Iterative regularisation and convex penalties. This project aims to develop and investigate new computational procedures for the solution of inverse problems which do not have the usual smoothness properties (or source conditions) required for the traditional regularisation methods. Examples of such inverse problems are very common and include image restoration, photo-acoustic tomography and spectroscopy. It is anticipated that this project will substantially extend ....Solving inverse problems with Iterative regularisation and convex penalties. This project aims to develop and investigate new computational procedures for the solution of inverse problems which do not have the usual smoothness properties (or source conditions) required for the traditional regularisation methods. Examples of such inverse problems are very common and include image restoration, photo-acoustic tomography and spectroscopy. It is anticipated that this project will substantially extend the toolbox of methods for such problems utilising ideas from Banach spaces, convex analysis, parallel computing and optimisation. This project is expected to make a substantial contribution to a better understanding of inverse problems and their solution procedures.Read moreRead less
Quantum many-body systems with higher mathematical symmetries. Ongoing developments in the experimental realisation of ultracold quantum systems play a leading role in the international effort towards the eventual realisation of quantum technology. This project brings together Australian and US researchers with complementary strengths to develop the mathematical study of fundamental systems of interacting quantum particles of relevance to experiments. The project will ensure that Australian rese ....Quantum many-body systems with higher mathematical symmetries. Ongoing developments in the experimental realisation of ultracold quantum systems play a leading role in the international effort towards the eventual realisation of quantum technology. This project brings together Australian and US researchers with complementary strengths to develop the mathematical study of fundamental systems of interacting quantum particles of relevance to experiments. The project will ensure that Australian researchers participate in and benefit from international developments in a leading edge area of fundamental research. It will also contribute to training students in rapidly advancing areas with the capacity to contribute to a wide range of problems, including the emerging technology of quantum devices.Read moreRead less
Sequence to Sequence: Rigorous Statistical and Mathematical Analysis of Biological Sequence Data. Comparative genomics is fundamental for developing an understanding of genes and their function. For example, using statistical and computational techniques, it was recently demonstrated that 60% of genes are conserved between fly and human. When the human gene that confers susceptibility to Parkinson's disease was transferred into the fly it caused symptoms similar to those seen in humans. The futu ....Sequence to Sequence: Rigorous Statistical and Mathematical Analysis of Biological Sequence Data. Comparative genomics is fundamental for developing an understanding of genes and their function. For example, using statistical and computational techniques, it was recently demonstrated that 60% of genes are conserved between fly and human. When the human gene that confers susceptibility to Parkinson's disease was transferred into the fly it caused symptoms similar to those seen in humans. The future development of 'personalized medicine' will rely upon understanding the function of human genes, as will progress in the agricultural sector. Rigorous statistical analysis and development of appropriate bioinformatic methods are crucial to biological sequence analysis in comparative genomics.Read moreRead less
Mathematical Methods for Next Generation Sequencing. The emergence of a new generation of high throughput genomic sequencing technologies is providing unprecedented opportunities for biological research. Hidden within the huge amounts of data generated by this technology is information about the expression and regulation of genes, and the complex functional purpose of non-coding, so called 'junk', DNA. Development of mathematical and statistical tools is essential to interpreting these data. The ....Mathematical Methods for Next Generation Sequencing. The emergence of a new generation of high throughput genomic sequencing technologies is providing unprecedented opportunities for biological research. Hidden within the huge amounts of data generated by this technology is information about the expression and regulation of genes, and the complex functional purpose of non-coding, so called 'junk', DNA. Development of mathematical and statistical tools is essential to interpreting these data. The proposed research will enhance Australia's reputation for developing novel quantitative techniques at the cutting edge of modern biology. The proposed project has a broad range of potential applications in biotechnology, particularly in the medical and agricultural industries.Read moreRead less