Advanced Combustion Modelling for Scramjets and Rotating Detonation Engines. This project will develop new fundamental knowledge and engineering models underpinning air-breathing high speed propulsion engines employing complex hydrocarbon fuels. Extensive data and new physical understanding will be garnered through analysis of direct numerical simulations of supersonic reacting mixing layers including impinging shock waves. That data will be employed to isolate, test and develop computationally ....Advanced Combustion Modelling for Scramjets and Rotating Detonation Engines. This project will develop new fundamental knowledge and engineering models underpinning air-breathing high speed propulsion engines employing complex hydrocarbon fuels. Extensive data and new physical understanding will be garnered through analysis of direct numerical simulations of supersonic reacting mixing layers including impinging shock waves. That data will be employed to isolate, test and develop computationally efficient engineering models that are accurate and efficient for high speed combustion in rotating detonation engines and scramjets. Expected outcomes are knowledge and tools needed to develop practical and effective supersonic propulsion engines for access to space, defence and high speed point-to-point flight.
Read moreRead less
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
ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By ge ....ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By generating an explosion of new approaches and knowledge, the network will build Australia's reputation as a leader in communication science and technology via advances in automatic speech recognition, distress call monitoring, hearing prostheses, web interfaces, and data retrieval and data mining systems.Read moreRead less
Identification of causal variants for complex traits. The aim of this project is to identify causal variants for complex traits in cattle and humans. Although most important traits in agriculture, medicine and evolution are complex traits, very few of the genetic variants affecting these traits are known and this undermines our understanding of how genetic variants affect a trait and practical uses of this knowledge. Huge datasets of individuals with genome sequence and phenotypes and new statis ....Identification of causal variants for complex traits. The aim of this project is to identify causal variants for complex traits in cattle and humans. Although most important traits in agriculture, medicine and evolution are complex traits, very few of the genetic variants affecting these traits are known and this undermines our understanding of how genetic variants affect a trait and practical uses of this knowledge. Huge datasets of individuals with genome sequence and phenotypes and new statistical methods provide the opportunity to close this gap. The outcome will be identification of many genomic variants causing variation in complex traits. This will benefit scientific understanding of complex traits and the ability to predict traits for individuals from their genome sequence.Read moreRead less
Special Research Initiatives - Grant ID: SR0354513
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
The Computational Processing of Human Language. Language is what makes us distinctly human; consequently, language attracts interest from many fields of research, particularly linguistics, psychology, and cognitive science. Moreover, language is the primary medium for the storage and dissemination of knowledge, a fact that has drawn many computer scientists to attempt to process, analyse and understand language. This network will bridge the many disciplines that are concerned with language, ex ....The Computational Processing of Human Language. Language is what makes us distinctly human; consequently, language attracts interest from many fields of research, particularly linguistics, psychology, and cognitive science. Moreover, language is the primary medium for the storage and dissemination of knowledge, a fact that has drawn many computer scientists to attempt to process, analyse and understand language. This network will bridge the many disciplines that are concerned with language, explore new ways in which computational models inform our understanding of human languages, and exploit new opportunities for applying theories of language in the development of human language technologies.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE160100051
Funder
Australian Research Council
Funding Amount
$3,000,000.00
Summary
Maintaining and enhancing merit-based access to the NCI National Facility. Maintaining and enhancing merit-based access to the national computational infrastructure facility:
This project aims to ensure that Australian researchers have access to the integrated high-performance computing and data environments they need. Australia’s national computational infrastructure (NCI) is the national, high-end research computing facility, providing researchers in universities, government science agencies ....Maintaining and enhancing merit-based access to the NCI National Facility. Maintaining and enhancing merit-based access to the national computational infrastructure facility:
This project aims to ensure that Australian researchers have access to the integrated high-performance computing and data environments they need. Australia’s national computational infrastructure (NCI) is the national, high-end research computing facility, providing researchers in universities, government science agencies and industry with world-class, integrated, high-performance services. These services enable high-impact, data-intensive computational research in all fields of science and technology. This project would continue merit-based access to NCI at the current level, ensuring ongoing international competitiveness of Australian research.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE120100181
Funder
Australian Research Council
Funding Amount
$650,000.00
Summary
Strengthening merit-based access and support at the new National Computing Infrastructure petascale supercomputing facility. World-leading high-performance computing is fundamental to Australia's international research success. This facility will provide access to the new National Computational Infrastructure facility by world-leading researchers from six research universities, and sustain ground-breaking work in an increasingly competitive environment.