Linkage Infrastructure, Equipment And Facilities - Grant ID: LE140100121
Funder
Australian Research Council
Funding Amount
$720,000.00
Summary
Equipment for International Collaboration in Gravitational Wave Detection. Equipment for international collaboration in gravitational wave detection: This project will allow the Australian Consortium for Gravitational Astronomy to install optical equipment at its dedicated research facility, and to install data analysis pipelines on new iVEC Pawsey Centre GPU-enabled supercomputers. The equipment is required for research aimed at stabilising instabilities in the new international gravitational w ....Equipment for International Collaboration in Gravitational Wave Detection. Equipment for international collaboration in gravitational wave detection: This project will allow the Australian Consortium for Gravitational Astronomy to install optical equipment at its dedicated research facility, and to install data analysis pipelines on new iVEC Pawsey Centre GPU-enabled supercomputers. The equipment is required for research aimed at stabilising instabilities in the new international gravitational wave detectors currently being commissioned in the USA and Europe. Real time data from the new detectors will be analysed using innovative new techniques. Scientists across Australia will be able to rapidly localise potential gravitational wave sources to direct robotic telescope observations. This could enable the first detection of gravitational waves.Read moreRead less
Efficient structure search over large graphs. The project aims to develop advanced search technology to support large-scale graph applications. The success of the project not only brings a breakthrough in technology development but also provides training for high quality personnel in this important and growing area, and brings considerable economic and social benefits to Australia.
Airborne spatial tracking to save endangered species. Airborne spatial tracking to save endangered species. This project aims to develop an automated and distributed spatial tracking approach using low cost Unmanned Aerial Vehicles (UAVs) to locate and study endangered wildlife. Understanding animal behaviour and habits with granular spatial data is essential to develop effective monitoring and conservation strategies. Spatial tracking of radio collared wildlife using radio telemetry is a critic ....Airborne spatial tracking to save endangered species. Airborne spatial tracking to save endangered species. This project aims to develop an automated and distributed spatial tracking approach using low cost Unmanned Aerial Vehicles (UAVs) to locate and study endangered wildlife. Understanding animal behaviour and habits with granular spatial data is essential to develop effective monitoring and conservation strategies. Spatial tracking of radio collared wildlife using radio telemetry is a critical but costly tool for acquiring this data. This project anticipates that airborne spatial tracking using intelligent spatial tracking algorithms on board low cost UAV teams will allow more precise understanding of wildlife for evidence-based conservation and management in a changing global climate.Read moreRead less
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Terahertz and optical coherence tomography for improved cancer imaging. This project aims to improve cancer imaging by combining two complimentary, novel techniques. Its success will create an internationally leading position for Australia in cutting-edge research in optical and terahertz biomedical imaging. This innovative, fundamental research will expand Australia's research capacity in imaging sciences. The nation will benefit from new medical diagnostic techniques that will improve the dete ....Terahertz and optical coherence tomography for improved cancer imaging. This project aims to improve cancer imaging by combining two complimentary, novel techniques. Its success will create an internationally leading position for Australia in cutting-edge research in optical and terahertz biomedical imaging. This innovative, fundamental research will expand Australia's research capacity in imaging sciences. The nation will benefit from new medical diagnostic techniques that will improve the detection and treatment of cancer; as well as aid the clinical assessment of burns. This multidisciplinary, internationally collaborative research has additional wide ranging benefits in biology, medicine, pharmaceutical science and national security.Read moreRead less
Symmetry and computation. The overall objective of the project is to explore connections between symmetry and computation, especially the theory and algorithms that facilitate the use of groups in computational science. The main outcome will be theoretically fast algorithms and implementations to drive applications in the sciences and for secure communication.
Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power f ....Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for working with them. The fundamental research outcomes, in terms of theorems, algorithms, and the training of young research mathematicians, will thus both enhance the high international standing of Australian mathematics, and strengthen Australia's capabilities in these important areas.Read moreRead less
Modelling network innovation performance capability: a multidisciplinary approach. Innovation is created in complex network interactions.
By combining agent-based and fuzzy logic modelling, this project will identify combinations of resources to generate new ideas/technologies. This will enable managers and policy makers to understand the mechanisms behind innovation and implement policies aimed at enhancing innovation processes.
Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially facto ....Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially factor huge groups into smaller building-block groups in a manner akin to factoring an integer into its prime factors. The anticipated goal is to include the outcomes in publicly available symbolic algebra computer packages. As the theory of symmetry has broad applications in the mathematical and physical sciences, there is the potential for far reaching benefits.Read moreRead less