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
To identify and to understand highly reactive surfaces for solar hydrogen production. This project aims to develop advanced technology to produce hydrogen - carbon-free fuel - from water with sunlight as the only energy input. Using clean energy to replace fossil fuels can help address the issues of energy supply and reduce carbon emissions, which is critically important for a sustainable Australia.
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
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
Special Research Initiatives - Grant ID: SR0354636
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
Australian Computational Molecular Science Network. Computational Molecular Science (CMS) involves the use of theory and computational methods to simulate and visualise molecular systems ranging from small atmospheric species to proteins, nucleic acids, chemical polymers and materials. It represents our most incisive expression of what we understand about the molecular basis of nature. The CMS network will integrate and cross-fertilize both fundamental and application-based expertize in molecula ....Australian Computational Molecular Science Network. Computational Molecular Science (CMS) involves the use of theory and computational methods to simulate and visualise molecular systems ranging from small atmospheric species to proteins, nucleic acids, chemical polymers and materials. It represents our most incisive expression of what we understand about the molecular basis of nature. The CMS network will integrate and cross-fertilize both fundamental and application-based expertize in molecular scale computations in the fields of nanoscience, biomaterials, biotechnology, biomedical science and environmental science. It will uncover and explore critical new interdisciplinary science and create new molecular-based paradigms that will drive advances in these fields over the next decade.Read moreRead less
Electron Transpiration Cooling of Hypersonic Vehicles. Future aircraft for flight at hypersonic speeds require sharp leading edges for the best aerodynamic performance. Sharp leading edges incur high heat loads and cannot be adequately cooled with current technologies. The project aim is to investigate novel surface materials that emit electrons when heated. This emission of electrons from the surface can significantly contribute to the cooling of the sharp leading edges. This project is expecte ....Electron Transpiration Cooling of Hypersonic Vehicles. Future aircraft for flight at hypersonic speeds require sharp leading edges for the best aerodynamic performance. Sharp leading edges incur high heat loads and cannot be adequately cooled with current technologies. The project aim is to investigate novel surface materials that emit electrons when heated. This emission of electrons from the surface can significantly contribute to the cooling of the sharp leading edges. This project is expected to deliver new experimental data on novel surface materials exposed to a hypersonic flow environment and computer models that can simulate their cooling effect. This investigation will contribute towards enabling technologies for sustained hypersonic flight by overcoming critical head load limitations.Read moreRead less
Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.Read moreRead less
An investigation of meaning negotiation in electronic discourse. This project investigates the use of collaborative electronic exchanges between language students in Indonesian and Queensland schools to enhance language and inter-cultural development. The chief investigators will develop a new model of discourse appropriate to such asynchronous communication (e-mail and forums), as well as investigate developments in technological literacy. Other outcomes will include guidelines for creating pra ....An investigation of meaning negotiation in electronic discourse. This project investigates the use of collaborative electronic exchanges between language students in Indonesian and Queensland schools to enhance language and inter-cultural development. The chief investigators will develop a new model of discourse appropriate to such asynchronous communication (e-mail and forums), as well as investigate developments in technological literacy. Other outcomes will include guidelines for creating practical technology-mediated tasks, and protocols for establishing and maintaining electronic tandem exchanges with a developing country. Results will be reported to the Industry Partner and relevant educational authorities and published in national and international journals such as ARAL, Babel and CALL Journal.Read moreRead less
Computer-Aided Design of High-Performance Photocatalysts for Solar Hydrogen Production Based on Red Titanium Dioxide. Large-scale generation of energy by solar conversion is critical for future sustainability. This project aims to develop high performance materials to efficiently convert solar energy to hydrogen - a clean fuel. Starting from the newly developed material red titanium dioxide, novel strategies for improved photocatalytic materials will be proposed and evaluated by advanced computa ....Computer-Aided Design of High-Performance Photocatalysts for Solar Hydrogen Production Based on Red Titanium Dioxide. Large-scale generation of energy by solar conversion is critical for future sustainability. This project aims to develop high performance materials to efficiently convert solar energy to hydrogen - a clean fuel. Starting from the newly developed material red titanium dioxide, novel strategies for improved photocatalytic materials will be proposed and evaluated by advanced computational approaches. Key issues for solar-to-hydrogen conversion will be clarified. The materials, knowledge and strategies achieved by this project will dramatically enhance current solar technology and in particular will advance the development of low-cost hydrogen production from water. Read moreRead less