Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and ana ....Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and analyse mathematical and statistical models for natural and artificial complex systems,
- to use these models to develop an understanding of the behaviour of these systems
- to incorporate this understanding into strategies for management and control.Read moreRead less
ARC Centre of Excellence for Mathematical and Statistical Frontiers of Big Data, Big Models, New Insights. In today's world, massive amounts of data in a variety of forms are collected daily from a multitude of sources. Many of the resulting data sets have the potential to make vital contributions to society, business and government, as well as impact on international developments, but are so large or complex that they are difficult to process and analyse using traditional tools. The aim of this ....ARC Centre of Excellence for Mathematical and Statistical Frontiers of Big Data, Big Models, New Insights. In today's world, massive amounts of data in a variety of forms are collected daily from a multitude of sources. Many of the resulting data sets have the potential to make vital contributions to society, business and government, as well as impact on international developments, but are so large or complex that they are difficult to process and analyse using traditional tools. The aim of this Centre is to create innovative mathematical and statistical models that can uncover the knowledge concealed within the size and complexity of these big data sets, with a focus on using the models to deliver insight into problems vital to the Centre's Collaborative Domains: Healthy People, Sustainable Environments and Prosperous Societies.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
ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By ge ....ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By generating an explosion of new approaches and knowledge, the network will build Australia's reputation as a leader in communication science and technology via advances in automatic speech recognition, distress call monitoring, hearing prostheses, web interfaces, and data retrieval and data mining systems.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
Entrainment and Mixing in Turbulent Negatively Buoyant Jets and Fountains. The project intends to develop tools to accurate predict fountain flows. Volcanic eruptions, building ventilation and brine discharge from desalination plants are all examples of turbulent fountains and negatively buoyant jets. The project aims to conduct an investigation into the turbulent structure of fountains and negatively buoyant jets using numerical simulation and laboratory experiments, and to assess the accuracy ....Entrainment and Mixing in Turbulent Negatively Buoyant Jets and Fountains. The project intends to develop tools to accurate predict fountain flows. Volcanic eruptions, building ventilation and brine discharge from desalination plants are all examples of turbulent fountains and negatively buoyant jets. The project aims to conduct an investigation into the turbulent structure of fountains and negatively buoyant jets using numerical simulation and laboratory experiments, and to assess the accuracy of the commonly used integral models and test the effect of the use of more accurate entrainment relations. This may have a range of applications – enabling better prediction of environmental impacts, reduction of the adverse effects of the discharge of pollutants, and reduction in energy consumption in building ventilation and other industrial applications.Read moreRead less
Thermal stratification, overturning and mixing in riverine environments. Thermal stratification is common in Australia's rivers due to our hot, drought-prone climate and high human demands relative to available supply, which has led to a significant reduction in flows relative to natural levels. Thermal stratification inhibits mixing, creating stagnant conditions characterised by low oxygen levels and increased concentrations of contaminants, leading to algal blooms, fish kills and systemic dama ....Thermal stratification, overturning and mixing in riverine environments. Thermal stratification is common in Australia's rivers due to our hot, drought-prone climate and high human demands relative to available supply, which has led to a significant reduction in flows relative to natural levels. Thermal stratification inhibits mixing, creating stagnant conditions characterised by low oxygen levels and increased concentrations of contaminants, leading to algal blooms, fish kills and systemic damage to ecosystems. The aim of this project is to develop predictive models for the effects of physical processes such as night-time cooling, wind, turbulence and currents on riverine thermal stratification. This is expected to enable a more accurate determination of the flow rates required to maintain the health of our river systems.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0775510
Funder
Australian Research Council
Funding Amount
$400,000.00
Summary
Australian Social Science Data Archive: Network Extension and Sub-archive Development. The Australian Social Science Data Archive is a national facility that allows all researchers and members of the public to access a wide range of social science data sets for on-line analysis. The archive contains data that covers forty years of social, political and economic surveys. The archive also acts as a gateway for social science researchers to access data from equivalent overseas institutions in North ....Australian Social Science Data Archive: Network Extension and Sub-archive Development. The Australian Social Science Data Archive is a national facility that allows all researchers and members of the public to access a wide range of social science data sets for on-line analysis. The archive contains data that covers forty years of social, political and economic surveys. The archive also acts as a gateway for social science researchers to access data from equivalent overseas institutions in North America, the European Union and OECD countries.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0560677
Funder
Australian Research Council
Funding Amount
$416,902.00
Summary
Australian Social Science Data Archive: Facility Enhancement & Network Development. This project will enhance Australia's social science research infrastructure by creating a distributed data archive with world class cataloguing, online access and analysis capabilities. It will also pilot a complementary qualitative data archive. The facility will provide improved archiving, access and online analysis to the Australian research community, and enable researchers on eight Australian and internatio ....Australian Social Science Data Archive: Facility Enhancement & Network Development. This project will enhance Australia's social science research infrastructure by creating a distributed data archive with world class cataloguing, online access and analysis capabilities. It will also pilot a complementary qualitative data archive. The facility will provide improved archiving, access and online analysis to the Australian research community, and enable researchers on eight Australian and international projects to construct consolidated purpose-built datasets for their research and dissemination to Australian researchers. The qualitative archive will develop and pilot new technology for archiving, disseminating and analysing non-numeric social data as proof of concept for the development of a national qualitative archive.Read moreRead less