Intelligent Agents for Concept Invention of Design Forms. Concept invention refers to the act of discovering new concepts for the first time. Concept invention may require a new interpretation and a shift in intentional mode that motivates new mappings of the situation prior to the discovery of a new concept. This project is concerned with developing intelligent design agents that are capable of inventing creative concepts of design forms, shapes and compositions while involved in the design pr ....Intelligent Agents for Concept Invention of Design Forms. Concept invention refers to the act of discovering new concepts for the first time. Concept invention may require a new interpretation and a shift in intentional mode that motivates new mappings of the situation prior to the discovery of a new concept. This project is concerned with developing intelligent design agents that are capable of inventing creative concepts of design forms, shapes and compositions while involved in the design process. A new approach of exploiting the notion of displacement of concepts with regard to concept invention in designing will be adopted and utilised in developing the structure of intelligent agents.Read moreRead less
Ensembles of Collaborative Neural Networks. Artificial neural networks have been used successfully for data mining and control. A neural network ensemble(NNE) is a collection of networks that exhibits properties of self-organization, plasticity, and adaptive behaviour. The aim of this research is to develop an efficient and theoretically sound algorithm for NNE learning. The outcomes of the project will include insights into self-organization of complex NNE and automatic problem decomposition an ....Ensembles of Collaborative Neural Networks. Artificial neural networks have been used successfully for data mining and control. A neural network ensemble(NNE) is a collection of networks that exhibits properties of self-organization, plasticity, and adaptive behaviour. The aim of this research is to develop an efficient and theoretically sound algorithm for NNE learning. The outcomes of the project will include insights into self-organization of complex NNE and automatic problem decomposition and an efficient algorithm for constructing and training NNE. Practical outcomes will include research training for early career researchers and new modelling tools for data mining, robotics and multi-agent systems. The project contributes to the national priority area of smart information use.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
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Artificial Intelligence Based Deterioration Model for Development of Bridge Network Maintenance Strategy. The proposed AI-based methodology in conjunction with a Bridge Management System can tailor-make bridge deterioration models for a given bridge authority. The models so produced will enable effective BMS implementation which generates missing inspection records of past years, establishes optimal MR&R strategies and then reliably forecasts future bridge condition ratings. The methodology will ....Artificial Intelligence Based Deterioration Model for Development of Bridge Network Maintenance Strategy. The proposed AI-based methodology in conjunction with a Bridge Management System can tailor-make bridge deterioration models for a given bridge authority. The models so produced will enable effective BMS implementation which generates missing inspection records of past years, establishes optimal MR&R strategies and then reliably forecasts future bridge condition ratings. The methodology will be verified using available bridge datasets of QDMR and GCCC. The methodology is applicable to other bridge authorities throughout Australia and internationally to maintain ageing bridge stock. Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Automatic Human Age Estimation Based on Visual Information. Age verification is important for many security applications including passport control for border security, and protecting children from adult websites, venues, or products. Accurate, reliable and practical age estimation or verification technologies would be of enormous benefit for 'Safeguarding Australia'. The ability of a machine to estimate a person's age and provide an age-appropriate interface also has benefits for the young and ....Automatic Human Age Estimation Based on Visual Information. Age verification is important for many security applications including passport control for border security, and protecting children from adult websites, venues, or products. Accurate, reliable and practical age estimation or verification technologies would be of enormous benefit for 'Safeguarding Australia'. The ability of a machine to estimate a person's age and provide an age-appropriate interface also has benefits for the young and old in our society. The outcome of this project, practical technologies for automatic human age estimation based on visual information, will dramatically change the current (non-technology based) methods of age verification and create new opportunities for customised human-machine interfaces. Read moreRead less
Kernel and Margin Based Machine Learning Algorithms. Certain machine learning algorithms, such as support vector machines, utilizing
the ideas of large margins and kernels have attracted much attention lately
because of their impressive performance on real world problems such as optical
character recognition. We plan to refine and extend such algorithms to a wide
range of different machine learning problems such as gene sequence analysis,
image processing and text classification. Expected ....Kernel and Margin Based Machine Learning Algorithms. Certain machine learning algorithms, such as support vector machines, utilizing
the ideas of large margins and kernels have attracted much attention lately
because of their impressive performance on real world problems such as optical
character recognition. We plan to refine and extend such algorithms to a wide
range of different machine learning problems such as gene sequence analysis,
image processing and text classification. Expected outcomes include the
development of software that allows the solution of hitherto unsolved machine
learning problems, and the ability to solve problems larger than those solvable
by the current generation of machine learning tools.Read moreRead less
Internet web page mining. This project aims to study the behaviour of internet search engines designed using a best first search strategy, and to improve on the existing designs. The outcome of the project will be a much better design of internet search engine which can be used to search for specific topics. The benefit to the Australian partner will be the gaining of skills in internet search engine design, originating from the Italian partner's group. The benefit to the Italian partner will be ....Internet web page mining. This project aims to study the behaviour of internet search engines designed using a best first search strategy, and to improve on the existing designs. The outcome of the project will be a much better design of internet search engine which can be used to search for specific topics. The benefit to the Australian partner will be the gaining of skills in internet search engine design, originating from the Italian partner's group. The benefit to the Italian partner will be the gaining of skills in research techniques, e.g., utilising a support vector machine as a classification tool, data mining techniques developed originally by the Australian partner's group, and in further developments of these techniques with specific applications to the internet web page mining problem.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