Learning Semi-Naive Bayesian Classifiers from Numeric Data. This project addresses research priority 3, offering frontier technologies. It will deliver better and faster classification technologies that greatly help accomplish many real-world tasks including medical diagnosis, fraud detection, spam filtering and webpage search, where accurate and fast classification is critical to save life, increase efficiency, reduce crime and conserve resources. Hence this project addresses priority 4 as well ....Learning Semi-Naive Bayesian Classifiers from Numeric Data. This project addresses research priority 3, offering frontier technologies. It will deliver better and faster classification technologies that greatly help accomplish many real-world tasks including medical diagnosis, fraud detection, spam filtering and webpage search, where accurate and fast classification is critical to save life, increase efficiency, reduce crime and conserve resources. Hence this project addresses priority 4 as well, better safeguarding Australia from disease and crime. This project will also support a young research group of international standing. It will train the involved researchers to attain a high level of proficiency and excellence in machine learning research and development.Read moreRead less
Quality of Service-based Scheduling of e-Research Application Workflows on Global Grids. e-Research has the potential to offer Australia significant economic and social benefits as it enables researchers from different disciplines and organisations to engage in collaborative scientific investigation. In e-Research environments, users need to have secure access to remote resources owned by different organisations. Since these resources are not directly under the control of e-Research applications ....Quality of Service-based Scheduling of e-Research Application Workflows on Global Grids. e-Research has the potential to offer Australia significant economic and social benefits as it enables researchers from different disciplines and organisations to engage in collaborative scientific investigation. In e-Research environments, users need to have secure access to remote resources owned by different organisations. Since these resources are not directly under the control of e-Research applications, they need to negotiate with resource providers for access time, duration, and the level of quality of service expected to make sure that the interlinked operations are performed as required. This project develops information and communications technologies that enable the creation of such e-Research environments.Read moreRead less
Designing for Reliability and Maintainability in Service-Oriented Architectures. This project aims to build expertise in the design of computer software, especially enterprise systems in domains such as finance and logistics that are vast in scale and highly complex and geographically separated. By fostering and formalising techniques for improving developer productivity and the reliability and maintainability of enterprise systems, Australia can secure a place as a world leader in software meth ....Designing for Reliability and Maintainability in Service-Oriented Architectures. This project aims to build expertise in the design of computer software, especially enterprise systems in domains such as finance and logistics that are vast in scale and highly complex and geographically separated. By fostering and formalising techniques for improving developer productivity and the reliability and maintainability of enterprise systems, Australia can secure a place as a world leader in software methodology, with an emphasis on technology production rather than consumption. Australian computer consulting services are a $19.5b industry, whilst the wider services sector, which is increasingly reliant on automation to stay competitive, accounts for 70% of Australia's GNP.Read moreRead less
Supporting adaptive, interactive documents. The project will improve comprehensibility of technical material, reduce paper usage, encourage collaborative science, improve the reliability of published science (by allowing post-publication annotation and correction), and improve the accessibility of technical material for readers who are blind or have poor vision. The project also holds considerable potential for supporting Australian companies in the publishing and document processing industries.
Managing conflicts in requirements engineering with argumentation frameworks. This project proposes to employ argumentation theory and frameworks to tackle the problem of conflict management and resolution in requirements engineering. Australia has a strong competitive advantage in the areas of belief change and conflict management. The outcomes of this project will provide an improved infrastructure for several areas of software engineering, including requirements engineering and software evol ....Managing conflicts in requirements engineering with argumentation frameworks. This project proposes to employ argumentation theory and frameworks to tackle the problem of conflict management and resolution in requirements engineering. Australia has a strong competitive advantage in the areas of belief change and conflict management. The outcomes of this project will provide an improved infrastructure for several areas of software engineering, including requirements engineering and software evolution management. More broadly, the work proposed here will enable the IT industry to adopt and utilise the techniques developed in a number of research fields of Artificial Intelligence in developing the robust and reliable software systems for the rapidly changing knowledge economy of the 21st century.Read moreRead less
A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, an ....A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.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
Socially Oriented Requirements Engineering - Software Engineering meets Ethnography. The project should lead to the design and development of better software/information and communications technologies in the homes of Australians, that encourage flexible social ineractions, and has been designed with the user in mind.
Translucent Optical Networks: Architecture, Design, Operation, and Survivability. Australia is a geographically disperse country. Long-haul optical transport networks are key communication infrastructure between metropolises. Our research aims to discover cost-effective network architecture and planning and operational strategies for optical transport networks, which is beneficial to the deployment and operation of Australian telecommunication networks. In addition, viewing the sparse connectivi ....Translucent Optical Networks: Architecture, Design, Operation, and Survivability. Australia is a geographically disperse country. Long-haul optical transport networks are key communication infrastructure between metropolises. Our research aims to discover cost-effective network architecture and planning and operational strategies for optical transport networks, which is beneficial to the deployment and operation of Australian telecommunication networks. In addition, viewing the sparse connectivity of Australian backbone transport networks, the research on network survivability will provide effective strategies for Australian transport networks to survive any network failures due to natural disasters or terror attacks, thereby providing reliable network services to Australian. Read moreRead less
Efficient pooling of cross-section and time series data using Bayesian machine learning with two econometric applications. In this project, we adapt a Bayesian modelling strategy, namely the minimum message length principle, to the problem of efficient partitioning of economic units, such as firms or countries, into groups whose behavioural patterns are similar within each group but distinct across groups. This methodology can incorporate the requirements of economic theory. The resulting softwa ....Efficient pooling of cross-section and time series data using Bayesian machine learning with two econometric applications. In this project, we adapt a Bayesian modelling strategy, namely the minimum message length principle, to the problem of efficient partitioning of economic units, such as firms or countries, into groups whose behavioural patterns are similar within each group but distinct across groups. This methodology can incorporate the requirements of economic theory. The resulting software will be developed for the Web. We consider two specific applications, namely modelling gasoline demand in OECD countries, and finding the foreign factor with the most predictive power for the growth rate of the Australian economy. The second application is of considerable national interest.Read moreRead less