Investigations into machine learning applications in link analysis. Link analysis is an emerging tool for the detection of patterns in structured data. The detection of pattern in such data can lead to the detection of fraud occurrence, security breaches in computer systems, and patterns of social interactions with a community. It is also popularly applied to applications such as Web search engine designs and marketing analysis. This project aims to advance the area of link analysis by allowing ....Investigations into machine learning applications in link analysis. Link analysis is an emerging tool for the detection of patterns in structured data. The detection of pattern in such data can lead to the detection of fraud occurrence, security breaches in computer systems, and patterns of social interactions with a community. It is also popularly applied to applications such as Web search engine designs and marketing analysis. This project aims to advance the area of link analysis by allowing the incorporation of contextual information which accounts for relationships among actors properly. Advances in link detection will allow improvements in security and Web services on which a wide field of national bodies rely. This project can help to place Australia at the forefront of this research area.Read moreRead less
Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications ....Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.Read moreRead less
Cross-Entropy Methods in Complex Biological Systems. The Cross-Entropy method provides a powerful new way to find superior solutions to complicated optimisation problems in biology, ranging from better design and implementation of medical treatments to an increased understanding of complex ecosystems.
Improved Monte Carlo Methods for Estimation, Optimisation and Counting. The project will benefit the Australian society by building the theoretical and methodological foundations for the next generation of Monte Carlo techniques. The advancement of the knowledge in this area will provide important tools for solving complex estimation, optimisation and counting problems in engineering, statistics, computer science, mathematics and the physical and life sciences. As a result it will generate a com ....Improved Monte Carlo Methods for Estimation, Optimisation and Counting. The project will benefit the Australian society by building the theoretical and methodological foundations for the next generation of Monte Carlo techniques. The advancement of the knowledge in this area will provide important tools for solving complex estimation, optimisation and counting problems in engineering, statistics, computer science, mathematics and the physical and life sciences. As a result it will generate a competitive advantage for various sections of the Australian industry, including telecommunications, biotechnology and finance. The project will enable Australian researchers to continue to work at the forefront of this fast moving and exciting area of international research.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
Emerging applications of advanced computational methods and discrete mathematics. Ongoing improvements in computer performance are revolutionising research in combinatorial discrete mathematics, and leading to exciting new applications in information technology and the biological and chemical sciences. As a result, substantial international research effort, both at universities and in commercial and industrial organisations, is being channelled into high-performance computation and theoretical p ....Emerging applications of advanced computational methods and discrete mathematics. Ongoing improvements in computer performance are revolutionising research in combinatorial discrete mathematics, and leading to exciting new applications in information technology and the biological and chemical sciences. As a result, substantial international research effort, both at universities and in commercial and industrial organisations, is being channelled into high-performance computation and theoretical problems in combinatorial mathematics. Our aim is to develop and apply advanced computational methods through the study of several unsolved theoretical problems in design theory and practical problems in exact matrix computation and drug design.Read moreRead less
Control of Markov jumping processes with constraints. The project outcomes will constitute the set of tools for modelling and optimisation of complex stochastic systems and will lead to new and more precise characterisations of optimal behaviour of complex controllable systems arising in Resource Management, Engineering and Telecommunications. Therefore, the project fits to the research priority areas Breakthrough Science and Frontier Technologies in the topic of mathematical modelling and optim ....Control of Markov jumping processes with constraints. The project outcomes will constitute the set of tools for modelling and optimisation of complex stochastic systems and will lead to new and more precise characterisations of optimal behaviour of complex controllable systems arising in Resource Management, Engineering and Telecommunications. Therefore, the project fits to the research priority areas Breakthrough Science and Frontier Technologies in the topic of mathematical modelling and optimisation of Complex Systems.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
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
Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers a ....Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers access to powerful logical techniques in those applications. In the process, fundamental problems in modelling multiple granularity of time will be identified, and application-independent solutions to those problems will be provided.Read moreRead less