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
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
Optimal management of corrosion and odour problems in sewer systems. Pollutants in wastewater undergo complex changes in sewers, leading to the production and release of odorous and corrosive compounds. Despite major efforts and expenditure by water utilities to mitigate these problems, odorous emissions from sewers are still commonly occurring in urban areas. Furthermore, the value of public assets is significantly diminished due to sewer corrosion, costing hundreds of millions of dollars a yea ....Optimal management of corrosion and odour problems in sewer systems. Pollutants in wastewater undergo complex changes in sewers, leading to the production and release of odorous and corrosive compounds. Despite major efforts and expenditure by water utilities to mitigate these problems, odorous emissions from sewers are still commonly occurring in urban areas. Furthermore, the value of public assets is significantly diminished due to sewer corrosion, costing hundreds of millions of dollars a year in Australia alone. This project is a major joint effort by the Australian water industry and world-leading scientists to generate advanced knowledge and develop effective technologies for optimal odour and corrosion management in sewers, delivering large social, environmental and economic benefits.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
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
Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and ana ....Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and analyse mathematical and statistical models for natural and artificial complex systems,
- to use these models to develop an understanding of the behaviour of these systems
- to incorporate this understanding into strategies for management and control.Read moreRead less
Special Research Initiatives - Grant ID: SR0354575
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
Earth and Ocean Informatics and Technology Network (EON-ITnet). Sustainable resource exploration and mining onshore, as well as marine planning, exploration, and defence depend on effective cross-disciplinary investigation, sharing of expertise and technologies for integration and computational analysis of multidimensional data spaces. EON-ITNET will cross-fertilise the use of artificial intelligence, advanced computing and smart information sharing for management, analysis, visualisation and me ....Earth and Ocean Informatics and Technology Network (EON-ITnet). Sustainable resource exploration and mining onshore, as well as marine planning, exploration, and defence depend on effective cross-disciplinary investigation, sharing of expertise and technologies for integration and computational analysis of multidimensional data spaces. EON-ITNET will cross-fertilise the use of artificial intelligence, advanced computing and smart information sharing for management, analysis, visualisation and metadata modelling between these traditionally separate research groups, with the outcome of improving research efficiency and lowering costs. EON-ITNET will form an alliance with the Caltech-based GeoFramework, which is advancing a novel object-oriented data analysis environment, binding community software for Earth visualisation and simulation to 4D data bases.Read moreRead less
Special Research Initiatives - Grant ID: SR0354793
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
A Neural Network: Understanding Brain Function. This proposal focuses on the mechanisms that regulate brain function, particularly those underpinning the changes in circuitry (plasticity) caused by altered inputs. As such, its core goal is to create an interface between researchers in the neurosciences, computational modelling, robotics and cognitive sciences in order to facilitate optimum collaborative interactions, identify key research questions and promote training opportunities across a mul ....A Neural Network: Understanding Brain Function. This proposal focuses on the mechanisms that regulate brain function, particularly those underpinning the changes in circuitry (plasticity) caused by altered inputs. As such, its core goal is to create an interface between researchers in the neurosciences, computational modelling, robotics and cognitive sciences in order to facilitate optimum collaborative interactions, identify key research questions and promote training opportunities across a multidisciplinary spectrum. This will drive an integrated and accelerated program of discovery and technological development, enhancing Australia's leadership in this crucial field and helping to highlight new biotechnology opportunities and capture social and economic benefits for the nation. 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
A new biomechanical model for understanding aging of stored Red Blood Cells. This project plans to develop a novel modelling framework to accurately represent the biomechanical properties of red blood cells (RBCs) over time under stored conditions. Stored RBCs suffer ageing-related deformability changes which impede RBC functions. The framework aims to integrate models for RBC membrane, inside haemoglobin and outside storage solution, and accounts for ageing effects by embedding time-dependent c ....A new biomechanical model for understanding aging of stored Red Blood Cells. This project plans to develop a novel modelling framework to accurately represent the biomechanical properties of red blood cells (RBCs) over time under stored conditions. Stored RBCs suffer ageing-related deformability changes which impede RBC functions. The framework aims to integrate models for RBC membrane, inside haemoglobin and outside storage solution, and accounts for ageing effects by embedding time-dependent correlations. It should provide new insights and understanding of the mechanisms of deformability changes of RBCs during stored lifespan. Therefore, it should significantly improve blood storage industry practices in terms of improving RBC storage protocols with preventative ageing strategies.Read moreRead less