A Paraconsistent Approach to Vagueness. This project will utilise logical techniques that have been developed largely by Australian logicians. This techniques will be brought to bear on the problem of vagueness, one of the most important problems in the philosophy of logic. The project will thus greatly enhance Australia's already strong international reputation in logic and philosophical logic.
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Symbolic synthesis of knowledge-based program implementations. Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.
Onset Theory: Pushing the design envelope for textile composite structures. This study aims to exploit an innovative physics-based approach to predict the strength of textile composites. This is particularly important in areas such as aircraft design, where drastic weight savings are needed to allow designers to remain competitive in a low-carbon future. Improved theory and design tools will remove conservatism and account for a large part of these weight savings. The new approach is the first t ....Onset Theory: Pushing the design envelope for textile composite structures. This study aims to exploit an innovative physics-based approach to predict the strength of textile composites. This is particularly important in areas such as aircraft design, where drastic weight savings are needed to allow designers to remain competitive in a low-carbon future. Improved theory and design tools will remove conservatism and account for a large part of these weight savings. The new approach is the first to be consistent at all length scales — from atoms to aeroplanes — ensuring relevance for new and evolving composite material systems. A novel understanding of crack initiation in textile laminates is intended to reduce design and certification effort for new aircraft and help to design more efficient airframes at a lower cost.Read moreRead less
Meshless, numerical modelling for polymer processing. The new modelling technology will significantly improve Australian polymer producers' competitiveness and their ability to respond to international market forces. The technology will lead to new opportunities for Australian companies that develop simulation software. Our consumers will benefit from improvements in the design of polymer products. Our researchers in rheology and computational mechanics will gain further opportunities to extend ....Meshless, numerical modelling for polymer processing. The new modelling technology will significantly improve Australian polymer producers' competitiveness and their ability to respond to international market forces. The technology will lead to new opportunities for Australian companies that develop simulation software. Our consumers will benefit from improvements in the design of polymer products. Our researchers in rheology and computational mechanics will gain further opportunities to extend the advances this project will make.Read moreRead less
Experimental validation of the strain invariant failure theory for carbon/epoxy composites. The project will be of national and international benefit, through providing a validated, enhanced design capability for advanced composite materials. Greater depth of understanding of such materials will allow more efficient structures to be designed in applications requiring high strength and stiffness, low weight, and resistance to corrosion and fatigue. Such applications include the aerospace, offshor ....Experimental validation of the strain invariant failure theory for carbon/epoxy composites. The project will be of national and international benefit, through providing a validated, enhanced design capability for advanced composite materials. Greater depth of understanding of such materials will allow more efficient structures to be designed in applications requiring high strength and stiffness, low weight, and resistance to corrosion and fatigue. Such applications include the aerospace, offshore and mining industries. There are, therefore, far-reaching benefits in industries important to Australia. In addition, the reputation of the Australian aerospace research industry will be promoted through a collaborative association with Boeing, a world leader in development of commercial aircraft.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
Choice experiments to improve predictive power for policy makers. In the current economic climate, Australian governments will benefit from superior choice experiments which will lead to improved prediction of the potential public benefit of proposed policy changes. The choice experiments developed here will have a substantial effect on the development of strategies for the promotion and maintenance of a strong health care system as well as being relevant to the maintenance of a sustainable envi ....Choice experiments to improve predictive power for policy makers. In the current economic climate, Australian governments will benefit from superior choice experiments which will lead to improved prediction of the potential public benefit of proposed policy changes. The choice experiments developed here will have a substantial effect on the development of strategies for the promotion and maintenance of a strong health care system as well as being relevant to the maintenance of a sustainable environment, both designated National Research Priority areas. The innovative research proposed will tap into and build strong links with international research networks, advancing Australia's research reputation and providing a rich environment for the training of research graduates.Read moreRead less
Intelligent Image Processing Techniques for Novel Biomarker Discovery. This project will make an impact on Australia's international research profile by seeking a solution to a worldwide challenging problem in biomarker discovery for the detection of diseases at an early stage which requires the incorporation of the skills and knowledge from biology, medicine, engineering, computer science, and information technology. The successful outcomes of this research will make an impact on Australia's e ....Intelligent Image Processing Techniques for Novel Biomarker Discovery. This project will make an impact on Australia's international research profile by seeking a solution to a worldwide challenging problem in biomarker discovery for the detection of diseases at an early stage which requires the incorporation of the skills and knowledge from biology, medicine, engineering, computer science, and information technology. The successful outcomes of this research will make an impact on Australia's engagement in using advanced image analysis and intelligent methods for the emerging research and development of targeted drug discovery. Read moreRead less
Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficie ....Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficient algorithms and data structures for gathering high-quality approximations of the full proximity information, and will use these innovations as the basis for new, practical tools for visualization, and clustering in data mining.Read moreRead less