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
Ring constructions and algorithms for enhancing performance of BCH codes. BCH codes form a major class of codes used in modern communication systems. The aim of this project is to enhance the efficiency of this class of codes by combining them in constructions enabling correction of deletion and insertion errors, and develop efficient implementations of encoding and decoding algorithms incorporating soft decision methods for enhanced error correction. Significance of the project is explained by ....Ring constructions and algorithms for enhancing performance of BCH codes. BCH codes form a major class of codes used in modern communication systems. The aim of this project is to enhance the efficiency of this class of codes by combining them in constructions enabling correction of deletion and insertion errors, and develop efficient implementations of encoding and decoding algorithms incorporating soft decision methods for enhanced error correction. Significance of the project is explained by the role of fast, secure and reliable communications in modern information and communication technology. Expected outcomes include new efficient algorithms and commercial modules available for symbolic computation systems with applications in telecommunications industry.
Read moreRead less
Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.Read moreRead less