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.
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
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.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
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
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.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
An Automated Bioimaging System for High-Content Cell-Cycle Screening. 1) Providing a better understanding of the biological complexities
that will advance knowledge in life science research and facilitate the development of new anti-cancer drugs.
2) Supporting Australian academic institutions in a challenging field of innovative research through international, interdisciplinary collaborations, and publications in journals of high quality scientific research.
3) Providing research training ....An Automated Bioimaging System for High-Content Cell-Cycle Screening. 1) Providing a better understanding of the biological complexities
that will advance knowledge in life science research and facilitate the development of new anti-cancer drugs.
2) Supporting Australian academic institutions in a challenging field of innovative research through international, interdisciplinary collaborations, and publications in journals of high quality scientific research.
3) Providing research training in a research venture that requires expertise and collaboration in the disciplines of biology, engineering, computer science, and mathematics.
4) Bringing economic and social benefits for Australia by enhancing important industries and existing technologies in medicine, and biotechnology.
Read moreRead less