Software debuggers for next generation heterogeneous supercomputers. Supercomputing underpins a wide range of areas of importance to the Australian economy; mining, agriculture, engineering and medical research to name a few. It is of critical importance that software solutions in these areas behave correctly. This project will develop software tools and techniques to help locate errors in such applications.
An integrative and distributed data management and workflow framework for e-research in biomedical imaging. This project will develop new tools for neuroimaging research: (i) efficient distributed infrastructure and workflow capabilities and (ii) semantic tools using existing ontological frameworks and specific neuroimaging ontologies.
These new capabilities will significantly enhance the productivity of neuroimaging research.
Creating a smart city through internet of things. This project will deliver smart new ways of urban monitoring using ubiquitous sensing and data analysis for city management and sustainability. It will deliver researcher training, global clientele for local technology and a platform for local industry growth.
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE120100129
Funder
Australian Research Council
Funding Amount
$270,000.00
Summary
Internet of things testbed for creating a Smart City. The Internet of Things Testbed facility replicates the conditions of a city-wide distribution of sensors and data collection applications to model in real time the functioning urban sensing elements of a smart city, translating vast amounts of sensor data into meaningful information and ultimately action.
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE150100030
Funder
Australian Research Council
Funding Amount
$270,000.00
Summary
Test-bed for Wide-Area Software Defined Networking Research. Test bed for wide-area software defined networking research: This project aims to develop a wide-area test bed, spanning ten organisations, for conducting research and experimentation in the emerging disruptive technology of Software Defined Networking (SDN). SDN is likely to bring long-term transformation to the networking industry, much like cloud computing did, by enabling dynamic virtualised elastic network services under software ....Test-bed for Wide-Area Software Defined Networking Research. Test bed for wide-area software defined networking research: This project aims to develop a wide-area test bed, spanning ten organisations, for conducting research and experimentation in the emerging disruptive technology of Software Defined Networking (SDN). SDN is likely to bring long-term transformation to the networking industry, much like cloud computing did, by enabling dynamic virtualised elastic network services under software control. The test bed will empower Australian researchers in network technologies and dependent applications (for example, multimedia and security) to collaboratively develop and demonstrate novel ideas at scale. This is expected to benefit Australia by giving our researchers international recognition in this nascent area, and developing a national talent pool for local industry.Read moreRead less
Congestion control of networks: a unified stochastic framework. Systems such as the internet, wireless networks and the power grid require efficient allocation of shared resources. This research will develop ways to reduce delays in the internet and allow for growth in the power grid, without requiring additional infrastructure.
Scalable biocomputing on networks: design and mathematical foundations. This project aims to develop technology with the potential to disrupt computation by providing a way to solve combinatorial mathematical problems in an efficient manner. Electronic computers have revolutionised our lives over the last half-century, but there are tasks they can not do, usually those requiring multi-tasking, much as our brains do. This project aims to overcome some of these problems by physically using molecul ....Scalable biocomputing on networks: design and mathematical foundations. This project aims to develop technology with the potential to disrupt computation by providing a way to solve combinatorial mathematical problems in an efficient manner. Electronic computers have revolutionised our lives over the last half-century, but there are tasks they can not do, usually those requiring multi-tasking, much as our brains do. This project aims to overcome some of these problems by physically using molecular parts of living things moving within specially mathematically designed networks to solve, in parallel, "combinatorial" mathematical problems that vex traditional computers, while using far less energy than electronic devices. This project expects to develop this nascent field into a practically useful, disruptive technology based in Australia.Read moreRead less
Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of el ....Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of electronic communications who require security for their information. This includes the financial industries, government, commerce and domestic users.Read moreRead less
Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Throu ....Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Through the expertise and experience gained with this project, Australia's excellence in information security research will be reinforced. The training of PhD and Honours students will provide a much needed source of highly trained information security professionals.Read moreRead less
Principles of Quantum Information Science. The use of quantum mechanical systems to carry and process information is enabling a revolution in information technology through innovations such as quantum computation and quantum teleportation. This project investigates the fundamental theory of quantum information science. The project aims to formulate general principles governing the power and behaviour of quantum information. These principles will, in turn, enable the development of powerful new ....Principles of Quantum Information Science. The use of quantum mechanical systems to carry and process information is enabling a revolution in information technology through innovations such as quantum computation and quantum teleportation. This project investigates the fundamental theory of quantum information science. The project aims to formulate general principles governing the power and behaviour of quantum information. These principles will, in turn, enable the development of powerful new applications of quantum information. Principal areas to be addressed include: general conditions for a physical system to be usable for quantum computation, the development of new algorithms for quantum computers, the development of new quantum communication protocols, and the theory of quantum entanglement.Read moreRead less