Robust and Scalable Autonomous Landing for Drones. The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in a potentially enormous drone delivery industry by enabling a multitude of applications to deliver goods and supplies via drones to a wide range of destinations in Australia and the world in a timely, flexible and accurate manner. Such an autonomous landi ....Robust and Scalable Autonomous Landing for Drones. The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in a potentially enormous drone delivery industry by enabling a multitude of applications to deliver goods and supplies via drones to a wide range of destinations in Australia and the world in a timely, flexible and accurate manner. Such an autonomous landing solution would revolutionise drone technology, and propel Australia to the forefront of technology innovation. This project would benefit not only large scale delivery by drone in urban and suburban areas of Australia but also long distance delivery via drone to remote areas of Australia.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
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
Algorithms for Future-Proof Networks. This project will design algorithms to construct, augment and route on geometric graphs in the presence of obstacles. Such graphs have many real-world applications, including transport networks. This project aims to give solutions with hard guarantees on the timeliness of the delivery of the people, goods, or information being transported in these networks. Expected outcomes of this project include efficient and innovative algorithms for realistic geometric ....Algorithms for Future-Proof Networks. This project will design algorithms to construct, augment and route on geometric graphs in the presence of obstacles. Such graphs have many real-world applications, including transport networks. This project aims to give solutions with hard guarantees on the timeliness of the delivery of the people, goods, or information being transported in these networks. Expected outcomes of this project include efficient and innovative algorithms for realistic geometric graphs, which both advances the knowledge in this field of computer science and make our existing networks more reliable. This should provide significant benefits in the maintenance and utilisation of the communication and transport networks we use every day.Read moreRead less
Are super-complex words represented like sentences in speakers' minds? This project aims to examine speakers' knowledge of super-complex words in the remote Australian language Wubuy. The project will provide a crucial test of current theories of language processing and linguistic typology via experimental work on the Indigenous language Wubuy, a language that defies the perceived fundamental distinction between words and phrases. This will have significant benefit to Indigenous language mainten ....Are super-complex words represented like sentences in speakers' minds? This project aims to examine speakers' knowledge of super-complex words in the remote Australian language Wubuy. The project will provide a crucial test of current theories of language processing and linguistic typology via experimental work on the Indigenous language Wubuy, a language that defies the perceived fundamental distinction between words and phrases. This will have significant benefit to Indigenous language maintenance and revitalisation efforts and thus help improve Indigenous education outcomes and reinforce cultural pride.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC220100003
Funder
Australian Research Council
Funding Amount
$4,930,205.00
Summary
ARC Training Centre for Biofilm Research and Innovation . The ARC Training Centre for Biofilm Research and Innovation aims to transform biofouling management strategies for maritime platforms by building on local and international expertise to mentor and train the next generation of interdisciplinary scientists and engineers. Anticipating evolving regulatory stringency, this project expects to establish a dynamic environment for industry partners, students and scientists to collaborate and devel ....ARC Training Centre for Biofilm Research and Innovation . The ARC Training Centre for Biofilm Research and Innovation aims to transform biofouling management strategies for maritime platforms by building on local and international expertise to mentor and train the next generation of interdisciplinary scientists and engineers. Anticipating evolving regulatory stringency, this project expects to establish a dynamic environment for industry partners, students and scientists to collaborate and develop biofilm management strategies. Expected outcomes include new and enhanced collaborations that advance and translate knowledge to better manage biofouling. The significant benefits will include a generation of industry-focused researchers critical for growing Australia’s Defence industry.Read moreRead less
When do gestures become linguistic? Understanding the gesture-language interface through a corpusbased study of pointing signs in signed languages. This project will use corpus-based and experimental studies to compare pointing signs in three sign languages with pointing gestures used by hearing non-signers in order to answer the question: What relationship do gestures have to language? It will help us understand how pointing works as part of a sign language system, and how it is used as co-spee ....When do gestures become linguistic? Understanding the gesture-language interface through a corpusbased study of pointing signs in signed languages. This project will use corpus-based and experimental studies to compare pointing signs in three sign languages with pointing gestures used by hearing non-signers in order to answer the question: What relationship do gestures have to language? It will help us understand how pointing works as part of a sign language system, and how it is used as co-speech gesture. Both spoken languages and sign languages make use of pointing, and thus it represents a unique case study for the investigation of the relationship between gesture and language. This project will provide a distinctive contribution to our knowledge about the relationship between language and other aspects of human communication. Read moreRead less
Investigating the role of Zona Incerta RXFP3+ cells in learning and memory. Learning and memory are fundamental to human and animal behaviour. We identified a specific population of cells in the zona incerta of the brain, where activation inhibits expression of memory, and facilitates the acquisition of new learning. Aside from our observations, nothing is currently known about the anatomy and function of these cells. This project aims to map how they connect to the rest of the brain, to observe ....Investigating the role of Zona Incerta RXFP3+ cells in learning and memory. Learning and memory are fundamental to human and animal behaviour. We identified a specific population of cells in the zona incerta of the brain, where activation inhibits expression of memory, and facilitates the acquisition of new learning. Aside from our observations, nothing is currently known about the anatomy and function of these cells. This project aims to map how they connect to the rest of the brain, to observe how these connections are recruited during learning and memory, and then to test their function experimentally. The outcomes will extend the known neural circuitry that controls learning by defining how and where these unexplored pathways fit within it; thus advancing knowledge regarding neural regulation of behaviour.
Read moreRead less
Lexical access in Australian languages. This project aims to investigate how listeners use cues from the way speech sounds are produced to break the speech stream into individual, recognisable words. The project investigates Australian languages which show unusual patterns in the production of speech sounds to generate new knowledge about speech perception and production. Outcomes will include advances in theories of speech processing, informing the development of speech processing systems, and ....Lexical access in Australian languages. This project aims to investigate how listeners use cues from the way speech sounds are produced to break the speech stream into individual, recognisable words. The project investigates Australian languages which show unusual patterns in the production of speech sounds to generate new knowledge about speech perception and production. Outcomes will include advances in theories of speech processing, informing the development of speech processing systems, and contributions to Indigenous cultural maintenance.Read moreRead less