Design of dynamic visual signals. Models of the design of visual signals depend heavily upon analyses of static ornaments. Nothing is known about dynamic visual signals. We will use an array of new techniques to tackle this problem for the first time. Motion analyses will define the task faced by the visual system. Sensory limitations will be measured to identify constraints on signal evolution. Digital video playback studies will assess recognition and explain aspects of signal design. Results ....Design of dynamic visual signals. Models of the design of visual signals depend heavily upon analyses of static ornaments. Nothing is known about dynamic visual signals. We will use an array of new techniques to tackle this problem for the first time. Motion analyses will define the task faced by the visual system. Sensory limitations will be measured to identify constraints on signal evolution. Digital video playback studies will assess recognition and explain aspects of signal design. Results will test the generality of principles that have been developed in studies of female mate choice and extend these ideas to address intra-sexual selection operating through opponent assessment.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE160100174
Funder
Australian Research Council
Funding Amount
$805,000.00
Summary
Urban Analytics Data Infrastructure. Urban analytics data infrastructure:
This project aims to develop an urban analytics data infrastructure that builds on the Australian Urban Research Infrastructure Network. This digital data infrastructure intends to enable the integration, harmonisation, connectivity and scalability of multi-source urban datasets. This infrastructure is required to underpin the next generation of data-driven modelling and decision-support tools to enable the design of smar ....Urban Analytics Data Infrastructure. Urban analytics data infrastructure:
This project aims to develop an urban analytics data infrastructure that builds on the Australian Urban Research Infrastructure Network. This digital data infrastructure intends to enable the integration, harmonisation, connectivity and scalability of multi-source urban datasets. This infrastructure is required to underpin the next generation of data-driven modelling and decision-support tools to enable the design of smart, productive and resilient cities. These capabilities are predicated on the adoption of ISO standards, development of new ontological frameworks and an urban data dictionary to enable semantic inferencing of datasets and the development of data structures and services. This framework would then be applied to data relevant to people, land and urban infrastructure to support comparative and multi-dimensional analytics. 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
Novel gas-liquid columns for liquefied natural gas (LNG) production. Novel gas-liquid columns for liquefied natural gas (LNG) production. This project aims to design distillation and absorption columns, perhaps the most important unit operations in a liquefied natural gas (LNG) plant, and whose optimization is integral to overall performance of any LNG plant. This project will use 3D printers to rapidly prototype concepts of columns and their internals, and test them using flow characterization ....Novel gas-liquid columns for liquefied natural gas (LNG) production. Novel gas-liquid columns for liquefied natural gas (LNG) production. This project aims to design distillation and absorption columns, perhaps the most important unit operations in a liquefied natural gas (LNG) plant, and whose optimization is integral to overall performance of any LNG plant. This project will use 3D printers to rapidly prototype concepts of columns and their internals, and test them using flow characterization tools and numerical models. The final outcome of the project will be a set of designs of the columns, which should be more efficient, safer and cheaper to operate, and have smaller physical and environmental footprints, thus helping the Australian LNG industry to stay globally competitive.Read moreRead less
Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algori ....Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algorithms with the aim of designing algorithms better able to exploit prior knowledge, and to extend existing algorithms to new problem domains thus offering well principled and well understood algorithms for solving a variety of novel online problems.Read moreRead less
Innovative procurement theories to optimise education per cost of school. Innovative procurement theories to optimise education per cost of school. This project aims to develop a whole-of-life procurement decision-making framework so schools can make delivering better education more cost effective. This framework—which draws on state-of-the-art and Nobel prize-winning theories and a new theory the project will develop—will be used in government and private schools. The effectiveness of this fram ....Innovative procurement theories to optimise education per cost of school. Innovative procurement theories to optimise education per cost of school. This project aims to develop a whole-of-life procurement decision-making framework so schools can make delivering better education more cost effective. This framework—which draws on state-of-the-art and Nobel prize-winning theories and a new theory the project will develop—will be used in government and private schools. The effectiveness of this framework in improving schools will be shown using a new approach to make school facilities deliver educational outcomes and account for their total production and transaction costs. This research is expected to deliver more efficient ways to future-proof schools to create a well performing school system and more resilient infrastructure vital to Australia’s future prosperity.Read moreRead less
The Role Of Capsid Protein Nucleolar Localisation In Chikungunya Virus: Implications For Vaccine Development
Funder
National Health and Medical Research Council
Funding Amount
$520,520.00
Summary
Chikungunya virus (CHIKV) is a globally widespread mosquito-borne alphavirus capable of causing considerable human morbidity and mortality. With no CHIKV vaccine or antiviral available this proposal aims to develop a live attenuated CHIKV vaccine, rationally designed by investigating the host cell nucleolar trafficking of CHIKV capsid protein. This vaccine has the potential to provide cross-protection against additional arthritogenic alphaviruses endemic to Australia such as Ross River virus.
Industrial Transformation Training Centres - Grant ID: IC220100030
Funder
Australian Research Council
Funding Amount
$4,978,958.00
Summary
ARC Training Centre for Next-Gen Architectural Manufacturing. The Centre will generate specialised workforce capacity within Australia’s architectural sector. Leveraging advanced architectural computing discoveries will connect architectural design with the opportunities afforded by advanced manufacturing systems. The Centre will triangulate world-leading researchers, visionary partners, and talented graduates, integrating research into practice through digital business strategies, augmented int ....ARC Training Centre for Next-Gen Architectural Manufacturing. The Centre will generate specialised workforce capacity within Australia’s architectural sector. Leveraging advanced architectural computing discoveries will connect architectural design with the opportunities afforded by advanced manufacturing systems. The Centre will triangulate world-leading researchers, visionary partners, and talented graduates, integrating research into practice through digital business strategies, augmented intelligence, and computing domains of expertise. The Centre’s program of industry-embedded PhD’s, national/international placements, short courses, and post-doctoral projects will co-develop the change agents needed to transform the architectural profession to meet our nation’s immediate strategic needs.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