Efficient Pre-Processing of Hard Problems: New Approaches, Basic Theory and Applications. Computers store even larger amounts of data about all aspects of human and industrial activity. However, they have not become significantly better at solving common problems in optimization and search. Traditional complexity theory indicates many of these problems require algorithms that are very unlikely to exist. The Parameterized Complexity approach allows us to obtain very efficient algorithms for a lar ....Efficient Pre-Processing of Hard Problems: New Approaches, Basic Theory and Applications. Computers store even larger amounts of data about all aspects of human and industrial activity. However, they have not become significantly better at solving common problems in optimization and search. Traditional complexity theory indicates many of these problems require algorithms that are very unlikely to exist. The Parameterized Complexity approach allows us to obtain very efficient algorithms for a large variety of problems, but the machinery required was diverse and complicated. This research will organize the machinery into a new approach that systematically finds good algorithms by applying simplifications around a parameter of the domain of the problem. As a result, efficient algorithms are obtained for many diverse areas.Read moreRead less
Stochastic Modelling of Genetic Regulatory Networks: Subtitle - Genetic Regulation is a Noisy Business. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in ....Stochastic Modelling of Genetic Regulatory Networks: Subtitle - Genetic Regulation is a Noisy Business. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in cellular processes. This project will explore these roles and will develop an integrated complex systems modelling, simulation and visualisation framework. This will be used on an exemplar application for lineage commitment in haematopoiesis and for exploring and validating genetic regulatory models in general.Read moreRead less
Multiscale stochastic modelling of genetic regulatory mechanisms. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in cellular processes. This project will ex ....Multiscale stochastic modelling of genetic regulatory mechanisms. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in cellular processes. This project will explore these roles and will develop an integrated complex systems modelling, simulation and visualisation framework for exploring and validating genetic regulatory models in general. This will be used on an exemplar application for understanding the induction process in lambda phage.Read moreRead less
Audit Security Models for Multiparty Internet Transactions. The aim of this project is to conduct the study for a secure, low overhead means of auditing secure transactions between two parties over the Internet, especially where some doubt surrounds the trustfulness of the other party.
A study will be conducted in this project by investigating security models for multiparty secure transactions in order to identify a number of likely applications for the technology, to develop a high level arch ....Audit Security Models for Multiparty Internet Transactions. The aim of this project is to conduct the study for a secure, low overhead means of auditing secure transactions between two parties over the Internet, especially where some doubt surrounds the trustfulness of the other party.
A study will be conducted in this project by investigating security models for multiparty secure transactions in order to identify a number of likely applications for the technology, to develop a high level architecture of the solution.Read moreRead less
Privacy preserving data sharing in data mining environments. Preserving privacy in data mining among various enterprises and organisations is essential for many real world applications in areas like health surveillance, business analysis, fraud detection and terror protection. Efficient and effective techniques are badly needed to protect privacy in data sharing and data mining. The developed cutting-edge techniques in this project will be implemented in freely available open source software too ....Privacy preserving data sharing in data mining environments. Preserving privacy in data mining among various enterprises and organisations is essential for many real world applications in areas like health surveillance, business analysis, fraud detection and terror protection. Efficient and effective techniques are badly needed to protect privacy in data sharing and data mining. The developed cutting-edge techniques in this project will be implemented in freely available open source software tools, empowering Australian organisations to utilise the techniques to develop intelligent systems in data sharing environments. These techniques will ultimately lead to better utilisation of the information available in many enterprises and organisations.Read moreRead less
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.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
Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary geneti ....Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary genetics and dynamics of virus populations in order to understand how to control epidemics, develop vaccines and design drugs. The research program is designed to provide new computational modelling tools for this purpose, which may have wider applications as well.
Read moreRead less
Next-Generation Reference Process Models. Business process modelling is a key tool for organisations striving to create efficiencies by leveraging their IT infrastructure. This project will develop techniques for increasing the productivity of business process analysts by allowing them to reuse as much as possible existing models rather than systematically desigining new ones from scratch. Specifically, the project will develop and validate a language for designing highly configurable process mo ....Next-Generation Reference Process Models. Business process modelling is a key tool for organisations striving to create efficiencies by leveraging their IT infrastructure. This project will develop techniques for increasing the productivity of business process analysts by allowing them to reuse as much as possible existing models rather than systematically desigining new ones from scratch. Specifically, the project will develop and validate a language for designing highly configurable process models. This language will enable superior approaches to business process modelling and hence smarter use of information. This will place Australia at the forefront of developments in business process management: a crucial technology in today's global, dynamic and heterogeneous environments.Read moreRead less
Spatio-temporal modelling of Ras dependent MAP kinase activation. This project is at the heart of the national research priority 'Frontier Technologies for Building and Transforming Australian Industries'. Using cutting edge methods and techniques of systems biology, coupled with innovative experimental molecular cell biology we will construct and simulate mathematical models of the EGF-regulated MAP kinase pathway. The project will yield new insights into the fundamental mechanisms of cell sign ....Spatio-temporal modelling of Ras dependent MAP kinase activation. This project is at the heart of the national research priority 'Frontier Technologies for Building and Transforming Australian Industries'. Using cutting edge methods and techniques of systems biology, coupled with innovative experimental molecular cell biology we will construct and simulate mathematical models of the EGF-regulated MAP kinase pathway. The project will yield new insights into the fundamental mechanisms of cell signal transduction that drive cell division, differentiation and transformation and may enable the design of new anticancer therapies. Importantly, the modelling and simulation methods developed in the project will have a general applicability to other complex systems such as sustainable ecological systems.Read moreRead less