ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit ne ....ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit new cell technologies. The Centre will build critical mass and national focus in bioinformatics to generate the human capital and intellectual property that Australia needs to compete in advanced bioscience and biotechnology.Read moreRead less
Statistical methods and tools for integrative microarray analysis. Tools used for biological and medical research have been evolving and there has been an increase in high-throughput technologies such as genome sequencing and DNA microarray. The growing number of entries and the increasing availability of public microarray repositories and other sequence databases have generated the new challenge of developing tools to efficiently integrate data by different research groups. This research provi ....Statistical methods and tools for integrative microarray analysis. Tools used for biological and medical research have been evolving and there has been an increase in high-throughput technologies such as genome sequencing and DNA microarray. The growing number of entries and the increasing availability of public microarray repositories and other sequence databases have generated the new challenge of developing tools to efficiently integrate data by different research groups. This research provides new statistical methods to integrate different data sets. Its application in the biomedical field will allow researchers to effectively interpret the myriad of data generated within the community.Read moreRead less
Classification of Microarray Gene-Expression Data. The broad aim is to provide statistical methodology for the classification of microarray gene-expression data. Microarrays are part of a new biotechnology that allows the monitoring of expression levels for thousands of genes simultaneously. The explosion in microarrays has produced massive quantities of data that require new statistical techniques for analysis in order to exploit their enormous scientific potential. One of the main uses of ....Classification of Microarray Gene-Expression Data. The broad aim is to provide statistical methodology for the classification of microarray gene-expression data. Microarrays are part of a new biotechnology that allows the monitoring of expression levels for thousands of genes simultaneously. The explosion in microarrays has produced massive quantities of data that require new statistical techniques for analysis in order to exploit their enormous scientific potential. One of the main uses of the methodology to be developed is to expedite the discovery of new subclasses of diseases. Another is to provide prediction rules for the diagnosis and treatment of diseases.Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
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
Principles of Quantum Information Science. The use of quantum mechanical systems to carry and process information is enabling a revolution in information technology through innovations such as quantum computation and quantum teleportation. This project investigates the fundamental theory of quantum information science. The project aims to formulate general principles governing the power and behaviour of quantum information. These principles will, in turn, enable the development of powerful new ....Principles of Quantum Information Science. The use of quantum mechanical systems to carry and process information is enabling a revolution in information technology through innovations such as quantum computation and quantum teleportation. This project investigates the fundamental theory of quantum information science. The project aims to formulate general principles governing the power and behaviour of quantum information. These principles will, in turn, enable the development of powerful new applications of quantum information. Principal areas to be addressed include: general conditions for a physical system to be usable for quantum computation, the development of new algorithms for quantum computers, the development of new quantum communication protocols, and the theory of quantum entanglement.Read moreRead less
Variational methods in partial differential equations. Research in partial differential equations is a very active area of modern mathematics linking nonlinear functional analysis, calculus of variations and differential geometry to applied sciences. This project will enable Australia-based researchers to participate in the forefront of mathematical research with leading international mathematicians by establishing new collaborations, strengthening on-going collaborations and providing internat ....Variational methods in partial differential equations. Research in partial differential equations is a very active area of modern mathematics linking nonlinear functional analysis, calculus of variations and differential geometry to applied sciences. This project will enable Australia-based researchers to participate in the forefront of mathematical research with leading international mathematicians by establishing new collaborations, strengthening on-going collaborations and providing international research experience for early career researchers. As a result, this proposal will enhance Australia's distinguished reputation in analysis and further link the UQ group with a number of mathematical institutes in USA and China.Read moreRead less
Adapting the Bulk Synchronous Parallel processing model to Peer-to-Peer Networked Computing. Advances in distributed computing have shown that data parallel and parametric applications domains are amenable to wide area distribution. The project will advance the Bulk Synchronous Parallel processing model to describe innovative applications from the loosely synchronous domain, e.g. fluid dynamics, strategy algorithms and N-body problems are challenges that have significant scientific and industria ....Adapting the Bulk Synchronous Parallel processing model to Peer-to-Peer Networked Computing. Advances in distributed computing have shown that data parallel and parametric applications domains are amenable to wide area distribution. The project will advance the Bulk Synchronous Parallel processing model to describe innovative applications from the loosely synchronous domain, e.g. fluid dynamics, strategy algorithms and N-body problems are challenges that have significant scientific and industrial value. The project specializes the exciting peer-to-peer paradigm, a frontier of inter-networking technology. By using the latest techniques and taking advantage of the technology implosion caused by low cost parallel infrastructure, the project outcomes will give Australia a strong position in the future of parallel technology.Read moreRead less
High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with i ....High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with international experts, we
will have a share in further strengthening the excellent role of
Australian research institutions within the international scientific
community in mathematics and scientific computing.Read moreRead less
A comparative study of generalised solution concepts for elliptic partial differential equations using nonsmooth analysis techniques. The solution of ellpitic partial differential equations is central to science and engineering. There are a number of solution concepts, such as those of weak solutions and viscosity solutions, but the relations between these are incompletely understood. We shall investigate this major question using recent advances in optimisation theory and nonsmooth analysis. ....A comparative study of generalised solution concepts for elliptic partial differential equations using nonsmooth analysis techniques. The solution of ellpitic partial differential equations is central to science and engineering. There are a number of solution concepts, such as those of weak solutions and viscosity solutions, but the relations between these are incompletely understood. We shall investigate this major question using recent advances in optimisation theory and nonsmooth analysis. Our approach is to use various approximations and their associated second-order subdifferentials, each of which implies a generalised solution concept and associated abstract convexity. Particular attention, including computational details, will be given to equations which have very different solutions of one type from those of another.Read moreRead less