Stochastic Geometry for Multi-sensor Data Fusion System. The aim of this project is to develop efficient algorithms for tracking and sensor management in a multi-sensor multi-target environment. Finite random set theory provides a natural way of representing a random number of (random) object states, an issue that has been largely ignored in the tracking literature until recently. Although a satisfactory foundation for multiple object filtering has been provided by random set theory, in this ear ....Stochastic Geometry for Multi-sensor Data Fusion System. The aim of this project is to develop efficient algorithms for tracking and sensor management in a multi-sensor multi-target environment. Finite random set theory provides a natural way of representing a random number of (random) object states, an issue that has been largely ignored in the tracking literature until recently. Although a satisfactory foundation for multiple object filtering has been provided by random set theory, in this early stage no algorithm capable of tracking many targets has emerged from this framework. We are confident that efficient algorithms can be developed by exploiting the insights and mathematical tools of stochastic geometryRead moreRead less
Forecasting and management using imperfect models, with a focus on weather and climate. Research into complex systems is predicted to be the focus of twenty-first century science, since most of the problems of simple systems are solved. Examples include the weather and climate, economies, argriculture, ecologies, the mind and brain, genetics, biochemistry. Confidence in the reliability and usefulness of models will have significant bearing on how these models are used by decision making and how ....Forecasting and management using imperfect models, with a focus on weather and climate. Research into complex systems is predicted to be the focus of twenty-first century science, since most of the problems of simple systems are solved. Examples include the weather and climate, economies, argriculture, ecologies, the mind and brain, genetics, biochemistry. Confidence in the reliability and usefulness of models will have significant bearing on how these models are used by decision making and how the community perceives the value of this science. Specific immediate benefits of the project include better policy and management responses to climate change and servere weather events.Read moreRead less
Synthesis of dynamics, stochastics and information in forecasting and management of complex systems. Research into complex systems is predicted to be the focus of twenty-first century science, since most of the problems of simple systems are solved. Examples include the weather and climate, economies, agriculture, ecologies, the mind and brain, genetics, biochemistry. Confidence in the reliability and usefulness of models will have significant bearing on how these models are used by decision ma ....Synthesis of dynamics, stochastics and information in forecasting and management of complex systems. Research into complex systems is predicted to be the focus of twenty-first century science, since most of the problems of simple systems are solved. Examples include the weather and climate, economies, agriculture, ecologies, the mind and brain, genetics, biochemistry. Confidence in the reliability and usefulness of models will have significant bearing on how these models are used by decision making and how the community perceives the value of this science. Specific immediate benefits of the project include better policy and management responses to climate change and severe weather events.Read moreRead less
Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power f ....Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for working with them. The fundamental research outcomes, in terms of theorems, algorithms, and the training of young research mathematicians, will thus both enhance the high international standing of Australian mathematics, and strengthen Australia's capabilities in these important areas.Read moreRead less
Groups: statistics, structure, and algorithms. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for workin ....Groups: statistics, structure, and algorithms. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for working with them. The fundamental research outcomes, in terms of theorems, algorithms, and the training of young research mathematicians, will thus both enhance the high international standing of Australian mathematics, and strengthen Australia's capabilities in these important areas.Read moreRead less
Factorisation of Finite Groups and Graphs. The combinatorial structure of a graph is strongly influenced by its
symmetry, and the symmetry is described precisely by its group of
automorphisms. Interplay between actions of the automorphism group on
vertices, edges, and other configurations, reveals important graph
structure, especially the existence of graph factorisations. In turn, a group factorisation arises whenever a group has two
independent transitive actions, and these arise in parti ....Factorisation of Finite Groups and Graphs. The combinatorial structure of a graph is strongly influenced by its
symmetry, and the symmetry is described precisely by its group of
automorphisms. Interplay between actions of the automorphism group on
vertices, edges, and other configurations, reveals important graph
structure, especially the existence of graph factorisations. In turn, a group factorisation arises whenever a group has two
independent transitive actions, and these arise in particular while
determining graph automorphism groups, and graph factorisations. We will classify families of group factorisations, especially for simple groups, and apply this to establish a theory of symmetrical graph
factorisations, and to study Cayley graphs and 2-closures of permutation groups.
Read moreRead less
Efficient computation in finite groups with applications in algebra and graph theory. The cutting-edge research of the project will further strengthen Australia's prominent role in computational group theory and algebraic graph theory. Besides the theoretical advances, the project includes the implementation and wide distribution of matrix group algorithms, benefiting immediately the algebraic research community and undergraduate mathematical education.
Finite permutation groups and flag-transitive incidence structures. Mathematics is the enabling discipline for all the sciences and so a strong mathematical research community in Australia provides the foundations for future discoveries in science and technology. By developing new theory for permutation groups, producing a new paradigm for the study of Buekenhout geometries and classifying certain families of flag-transitive incidence structures, we will enhance Australia's leading position in P ....Finite permutation groups and flag-transitive incidence structures. Mathematics is the enabling discipline for all the sciences and so a strong mathematical research community in Australia provides the foundations for future discoveries in science and technology. By developing new theory for permutation groups, producing a new paradigm for the study of Buekenhout geometries and classifying certain families of flag-transitive incidence structures, we will enhance Australia's leading position in Permutation Group Theory, Algebraic Graph Theory and Finite Geometry. This will attract international and Australian postgraduate students and visitors, and strengthen the research activities of Australia by enhancing the collaboration between UWA and leading international universities.Read moreRead less
Group algorithms: Complexity, Theory and Practice. The symmetry of a mathematical or physical system is often best described by an abstract structure called a group, and groups are commonly represented as groups of permutations or matrices. In this project we shall design and analyse a general algorithmic framework for computing with finite groups. In the context of permutation groups and matrix groups we will produce prototype implementations. The proposed framework has the potential to revolut ....Group algorithms: Complexity, Theory and Practice. The symmetry of a mathematical or physical system is often best described by an abstract structure called a group, and groups are commonly represented as groups of permutations or matrices. In this project we shall design and analyse a general algorithmic framework for computing with finite groups. In the context of permutation groups and matrix groups we will produce prototype implementations. The proposed framework has the potential to revolutionise algorithmic group theory as it draws together theoretical and computational models of groups.Read moreRead less
Computing with large groups: probability distributions and fast randomised algorithms. Fast algorithms produced by the project will impact on the practical management of symmetry in large scale searches, which have important industrial applications. Hence the project addresses the Priority Goals Breakthrough Science and Smart Information Use. The project will enhance Australia's leading position in Computational Algebra. Implementations of our algorithms will be incorporated in the Computer Alge ....Computing with large groups: probability distributions and fast randomised algorithms. Fast algorithms produced by the project will impact on the practical management of symmetry in large scale searches, which have important industrial applications. Hence the project addresses the Priority Goals Breakthrough Science and Smart Information Use. The project will enhance Australia's leading position in Computational Algebra. Implementations of our algorithms will be incorporated in the Computer Algebra system Magma, based at the University of Sydney, distributed world-wide, and used intensively in research and teaching. The project will attract international and Australian graduate students and postdoctoral researchers, and strengthen research activities in Australia by enhancing already strong international collaborations. Read moreRead less