Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0989506
Funder
Australian Research Council
Funding Amount
$500,000.00
Summary
A high performance computing cluster and storage for the INTERSECT Consortium of NSW. The installation of this new supercomputing facility is an important addition to the nation's foundation research infrastructure. Of particular importance to research groups in NSW is the much needed boost in computational research and research training capacity that it will provide, enabling world leading research teams to continue their ground breaking work in an increasingly competitive international enviro ....A high performance computing cluster and storage for the INTERSECT Consortium of NSW. The installation of this new supercomputing facility is an important addition to the nation's foundation research infrastructure. Of particular importance to research groups in NSW is the much needed boost in computational research and research training capacity that it will provide, enabling world leading research teams to continue their ground breaking work in an increasingly competitive international environment. Much of the research to be supported lies in areas of national priority, including frontier technologies and Australian environmental sustainability.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
David and Goliath - what planets can do to the stars that created them. We used to think that when stars expand during their old age, they would destroy all their close-by planets. Today we know that if a star swallows a Jupiter-like planet it can suffer indigestion. The project will study how star-planet interactions takes place, determine their impact on the lives of stars and glimpse at the future of our own solar system.
Special Research Initiatives - Grant ID: SR0354591
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
New Techniques using X-rays, Electrons and Quantum Optics in Physics & Chemistry and key developments for biomedicine & industry. This network will develop theoretical, experimental and computational techniques addressing key issues in physics, chemistry, biology and geosciences. Scope will be wide-ranging and inclusive. We anticipate making major developments in the design and understanding of absolute X-ray Absorption Fine Structure, X-ray, Neutron and Electron Diffraction, Electron Density Ma ....New Techniques using X-rays, Electrons and Quantum Optics in Physics & Chemistry and key developments for biomedicine & industry. This network will develop theoretical, experimental and computational techniques addressing key issues in physics, chemistry, biology and geosciences. Scope will be wide-ranging and inclusive. We anticipate making major developments in the design and understanding of absolute X-ray Absorption Fine Structure, X-ray, Neutron and Electron Diffraction, Electron Density Mapping, Molecular and Cluster computations and Powder Diffraction for fundamental research, biomedical and industrial applications. These breakthroughs will be invaluable for the development of Australia's major research infrastructure (the synchrotron, electron microscopes, and the research reactor). This will develop Australian expertise and collaboration at the cutting edge of a variety of interdisciplinary fields.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Deciphering ion specificity in complex electrolytes . This project aims to understand how ions influence the behaviour and properties of complex electrolytes (solutions containing either multiple ions, solvent mixtures, high electrolyte concentrations or a variety of interfaces, solutes or polymers). Complex electrolytes are ubiquitous in colloidal and particle technologies and underpin industrial and natural processes. Our team will combine experiment, simulation and theory to deliver a univers ....Deciphering ion specificity in complex electrolytes . This project aims to understand how ions influence the behaviour and properties of complex electrolytes (solutions containing either multiple ions, solvent mixtures, high electrolyte concentrations or a variety of interfaces, solutes or polymers). Complex electrolytes are ubiquitous in colloidal and particle technologies and underpin industrial and natural processes. Our team will combine experiment, simulation and theory to deliver a universal framework for understanding and predicting specific ion effects in complex electrolytes. The project outcomes are expected to deliver new understanding for researchers, robust rules of thumb for technologists and a public resource for data-driven solutions in applications utilising salt solutions. 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
Understanding Indonesian: developing a machine-usable grammar, dictionary and corpus. Australia's relationship with Indonesia is of great significance. The need for good relationships founded on appreciation of the range of societies and views in modern Indonesia is widely acknowledged. A better knowledge of the languages is essential for this, and so are fast, efficient information gathering systems for processing multilingual sources (including Indonesian text), that can analyse large volumes ....Understanding Indonesian: developing a machine-usable grammar, dictionary and corpus. Australia's relationship with Indonesia is of great significance. The need for good relationships founded on appreciation of the range of societies and views in modern Indonesia is widely acknowledged. A better knowledge of the languages is essential for this, and so are fast, efficient information gathering systems for processing multilingual sources (including Indonesian text), that can analyse large volumes of text. The skills to build such systems exist internationally. Through collaboration with established international teams, we plan to transfer cutting-edge skills in the development of machine-useable grammars to Australian researchers, and to create the language resources essential for understanding Indonesian.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