Continued Fractions and Torsion on Hyperelliptic Curves. Scientific advance should not blindly add to our knowledge; a true advance brings insights that collapse different issues into one. Understanding more is to need to remember less. For an important class of examples, this project identifies the study of a fundamental invariant of a quadratic number field, its regulator and hence its class number, with maximum torsion on the Jacobian variety of an hyperelliptic curve. The investigator's meth ....Continued Fractions and Torsion on Hyperelliptic Curves. Scientific advance should not blindly add to our knowledge; a true advance brings insights that collapse different issues into one. Understanding more is to need to remember less. For an important class of examples, this project identifies the study of a fundamental invariant of a quadratic number field, its regulator and hence its class number, with maximum torsion on the Jacobian variety of an hyperelliptic curve. The investigator's methods will surprise some longstanding problems into submission and in particular will lead them to reveal full data on torsion on hyperelliptic curves of low genus.
Read moreRead less
Information security and digital watermarking with Latin squares. The importance of digital information is increasing constantly. Audio, video, and still image data dominate our daily lives. Such information has commercial and strategic importance. It is invaluable in crime prevention: for example, video from security cameras. The protection of commercially valuable material against piracy and sensitive information against security breaches is vital to our economy and our safety. This project ad ....Information security and digital watermarking with Latin squares. The importance of digital information is increasing constantly. Audio, video, and still image data dominate our daily lives. Such information has commercial and strategic importance. It is invaluable in crime prevention: for example, video from security cameras. The protection of commercially valuable material against piracy and sensitive information against security breaches is vital to our economy and our safety. This project addresses these issues, by developing new, secure watermarks and fingerprints to protect digital information. Such watermarks can also protect radio communication channels, which is important due to the rising demand for wireless connectivity.Read moreRead less
Algorithmics for Interactive 2.5D Graph Drawing. Technological advances have provided a data deluge over the past few years, and consequently have led to many large and complex network models in many domains. This includes terrorrist networks and biological networks, software engineering structures, and webgraphs. Visualisation is an effective tool in helping humans to understand such networks. This project aims to provide a new direction in network visualisation, using 2.5 dimensions. The algor ....Algorithmics for Interactive 2.5D Graph Drawing. Technological advances have provided a data deluge over the past few years, and consequently have led to many large and complex network models in many domains. This includes terrorrist networks and biological networks, software engineering structures, and webgraphs. Visualisation is an effective tool in helping humans to understand such networks. This project aims to provide a new direction in network visualisation, using 2.5 dimensions. The algorithms developed in the project will help security analysts to detect abnormal behavious such as money laundering, help biologists understand protein-protein interaction networks, and help engineers to understand large software systems.Read moreRead less
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
Exploiting Database Technologies for the Visualization and Analysis of Measured and Simulated Plant Structures in Bioinformatics. The project will contribute to both bioinformatics and database research at both the national and international levels, although this project is specifically focusing on plant architecture but it has great potential other fields such as solving computationally difficult problems of branching in nature such as DNA and crystal related research. The results of this resea ....Exploiting Database Technologies for the Visualization and Analysis of Measured and Simulated Plant Structures in Bioinformatics. The project will contribute to both bioinformatics and database research at both the national and international levels, although this project is specifically focusing on plant architecture but it has great potential other fields such as solving computationally difficult problems of branching in nature such as DNA and crystal related research. The results of this research can be applied to all kinds of plants such as rice, cotton, rose etc.Read moreRead less
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less
Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and ra ....Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and radar. Employing techniques to be developed in this proposal, we expect to be able to classify and detect features of non-stationary data that were unrecognisable using hitherto known methods.Read moreRead less
Normalizing XML Documents. Our work will be of great benefit, both to the research community and to the ICT industry. The project addresses one of the most important problems in XML usage and we expect our results to be published in important international forums, as has our preliminary research on the topic. This will significantly improve Australia's reputation in research in the ICT area. In the longer term, we intend to build commercial software tools based on the results of our research ....Normalizing XML Documents. Our work will be of great benefit, both to the research community and to the ICT industry. The project addresses one of the most important problems in XML usage and we expect our results to be published in important international forums, as has our preliminary research on the topic. This will significantly improve Australia's reputation in research in the ICT area. In the longer term, we intend to build commercial software tools based on the results of our research and this will be of direct benefit to the Australian economy and the Australian ICT industry.Read moreRead less
Image search for simulator content creation. The World Wide Web contains tens of billions of images, with personal and industrial collections stretching to may times that number. The potential economic value of these image-based resources is enormous, but largely untapped as we have no practical way of recovering the images we need. This project will develop image search technologies which will allow Australian industry to exploit these important resources. Some of the wide variety of possible ....Image search for simulator content creation. The World Wide Web contains tens of billions of images, with personal and industrial collections stretching to may times that number. The potential economic value of these image-based resources is enormous, but largely untapped as we have no practical way of recovering the images we need. This project will develop image search technologies which will allow Australian industry to exploit these important resources. Some of the wide variety of possible applications might include the searching of surveillance video for objects of interest, vision-based guidance of unmanned vehicles, smart-phone and smart-home systems which understand their environments, and stock tracking systems which can detect spoilage.Read moreRead less
Integrating deep-earth and surface processes for frontier-basin exploration. It is well-known that mantle convection has a profound influence on basin evolution, and the next step will be to quantify this relationship and provide the science that will make these concepts applicable to exploration. To do this, we will develop a workflow to link plate-reconstruction software with the mantle convection modelling to link plate motions mantle convection and the history of sedimentation systematically ....Integrating deep-earth and surface processes for frontier-basin exploration. It is well-known that mantle convection has a profound influence on basin evolution, and the next step will be to quantify this relationship and provide the science that will make these concepts applicable to exploration. To do this, we will develop a workflow to link plate-reconstruction software with the mantle convection modelling to link plate motions mantle convection and the history of sedimentation systematically for the first time for frontier basin-scale applications. We will apply these emerging technologies to the evolution of basins in the Arctic borderlands frontier for resource exploration and on the Australian continent.Read moreRead less