SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.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
Young children in digital society: An Online Tool for service provision . This project aims to identify the practices enacted and shared amongst young children, their families and educators in digital society.The project is significant because in digital society families and educators face new demands ensuring technologies are used in the best interests of young children. Knowledge about practices in digital society informs adult decision-making using technologies with, by and for young children ....Young children in digital society: An Online Tool for service provision . This project aims to identify the practices enacted and shared amongst young children, their families and educators in digital society.The project is significant because in digital society families and educators face new demands ensuring technologies are used in the best interests of young children. Knowledge about practices in digital society informs adult decision-making using technologies with, by and for young children in the early years. The outcome is a new Online Tool for the Partner Organisations to share exemplar practices benefiting Australian children, their families and educators with new resources, materials and programs in areas including: digital media production, cyber-safety education, digital play and digital parenting.
Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC230100001
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Training Centre for Automated Vehicles in Rural and Remote Regions. The Centre will build skills and capability to test and deploy safe, socially acceptable, automated vehicles (AV) for rural, regional and remote Australian public roads, where manufacturing, agriculture, mining and defence industries face significant challenges of driver shortages, rising costs, long distances, rough roads, and environmental impacts. The centre will unite technology providers, regulators, government and end ....ARC Training Centre for Automated Vehicles in Rural and Remote Regions. The Centre will build skills and capability to test and deploy safe, socially acceptable, automated vehicles (AV) for rural, regional and remote Australian public roads, where manufacturing, agriculture, mining and defence industries face significant challenges of driver shortages, rising costs, long distances, rough roads, and environmental impacts. The centre will unite technology providers, regulators, government and end users with world-leading interdisciplinary researchers to create new human-AV systems, datasets, frameworks, case studies, platforms, and a vastly upskilled workforce. This will reduce transport costs, increase capacity, boost supply chain efficiency and resilience, improve road safety, and elevate Australian capability.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
Industrial Transformation Training Centres - Grant ID: IC210100056
Funder
Australian Research Council
Funding Amount
$3,975,864.00
Summary
ARC Training Centre for Next-Gen Technologies in Biomedical Analysis . The Centre for Next-Gen Technologies in Biomedical Analysis will deliver workforce trained in the development of transformative technologies that will rapidly expand the Australian pharmaceutical, diagnostic and defence sector. The university-industry partnership will increase Australia’s manufacturing capability by fast tracking screening, by integrating 3D printing, advanced sensing, big data analytics, machine learning an ....ARC Training Centre for Next-Gen Technologies in Biomedical Analysis . The Centre for Next-Gen Technologies in Biomedical Analysis will deliver workforce trained in the development of transformative technologies that will rapidly expand the Australian pharmaceutical, diagnostic and defence sector. The university-industry partnership will increase Australia’s manufacturing capability by fast tracking screening, by integrating 3D printing, advanced sensing, big data analytics, machine learning and artificial intelligence for the delivery of optimal solutions in diagnosis, treatment and wellbeing. The centre will deliver training in Industry 4.0 skills which will boost early-stage scale-up and accelerate the sector’s supply chain, which is pivotal for the Australian industries to maintain a competitive edge. Read moreRead less
Quantum-Inspired Machine Learning. This project aims to develop new machine learning techniques based around the close correspondence between
neural networks used in deep learning, and tensor networks used in quantum physics. Tensor networks are a form of information compression that is useful in machine learning to construct a compact representation of a large data set in a way that is more amenable to understanding the internal structure than a deep neural network. Expected outcomes of this pr ....Quantum-Inspired Machine Learning. This project aims to develop new machine learning techniques based around the close correspondence between
neural networks used in deep learning, and tensor networks used in quantum physics. Tensor networks are a form of information compression that is useful in machine learning to construct a compact representation of a large data set in a way that is more amenable to understanding the internal structure than a deep neural network. Expected outcomes of this project include more resilient algorithms for machine learning, and new ways to represent quantum states that will impact fundamental physics. The resulting benefits include enhanced capacity for cross-discipline collaboration, and improved methods for future industrial applications.
Read moreRead less
ARC Centre of Excellence for Gravitational Wave Discovery. ARC Centre of Excellence for Gravitational Wave Discovery. The mission of our Centre is to use gravitational waves to investigate the fundamental nature of relativistic gravity, ultra-dense matter, and cosmology. This will generate critical discoveries that cement Australia's leadership role in the gravitational wave mega-science instruments of the 2030s and 2040s. By bringing together a world-class team with broad and complementary expe ....ARC Centre of Excellence for Gravitational Wave Discovery. ARC Centre of Excellence for Gravitational Wave Discovery. The mission of our Centre is to use gravitational waves to investigate the fundamental nature of relativistic gravity, ultra-dense matter, and cosmology. This will generate critical discoveries that cement Australia's leadership role in the gravitational wave mega-science instruments of the 2030s and 2040s. By bringing together a world-class team with broad and complementary expertise we will develop core technologies for future detectors, discover new sources of gravitational waves, probe fundamental physics, and lay the foundations for an Australian gravitational wave observatory. Our discoveries will inspire Australia's youth to pursue high tech careers and position our staff and students to become leaders in both industry and academia.Read moreRead less
Precision Pollination: Data-driven enhancements to boost crop yield. The project aims to transform industrial crop pollination from an intuitive domain to one where decisions are based on sound data and best-practice principles. It proposes to achieve this modernisation of global pollination practice by developing novel technologies to operate a three-stage loop: honeybee pollination monitoring, simulation-based forecasting, and management. This is intended to ensure that the capability of honey ....Precision Pollination: Data-driven enhancements to boost crop yield. The project aims to transform industrial crop pollination from an intuitive domain to one where decisions are based on sound data and best-practice principles. It proposes to achieve this modernisation of global pollination practice by developing novel technologies to operate a three-stage loop: honeybee pollination monitoring, simulation-based forecasting, and management. This is intended to ensure that the capability of honeybees to provide essential ecosystem services is informed by transferable, standardised data acquisition and management techniques that maintain bee health and maximise pollination. The anticipated outcomes are higher fruit yields and quality, and a beneficial step-change in industry productivity and profitability.Read moreRead less
ARC Centre of Excellence for the Dynamics of Language. Language is central to human existence and to the flow of information. The Centre will address the most critical questions about language: How do languages evolve? How different can languages be? How do our brains acquire and process them? How can technologies deal with the complexity and enormous variability of language in its central role in human information processing? What can Australia do to increase its linguistic abilities at a time ....ARC Centre of Excellence for the Dynamics of Language. Language is central to human existence and to the flow of information. The Centre will address the most critical questions about language: How do languages evolve? How different can languages be? How do our brains acquire and process them? How can technologies deal with the complexity and enormous variability of language in its central role in human information processing? What can Australia do to increase its linguistic abilities at a time of increasingly multilingual demands in trade and information? The Centre will also secure language heritage, develop new language technologies, connect policy with indigenous and migrant communities, and build strategies to help 1st and 2nd language learning and those isolated by language difficulties.Read moreRead less