'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will a ....'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will also deepen our understanding of the underlying mathematics of such systems, and of other mathematical foundations of economic research. One application will be a new measure of the relative power resulting from voting rules. Such measures assist the design of democratic institutions by allowing the designer to assess the fairness of the outcomes they produce.Read moreRead less
Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from ....Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from the field of parameterised complexity, creating powerful, practical solutions for these problems. It is expected to shed much-needed light on the vast and puzzling gap between theory and practice, and give researchers fast new software tools for large-scale experimentation and cutting-edge computer proofs.Read moreRead less
Modelling of Nitric Oxides and Carbon Monoxide Emissions from Bagasse-Fires Boilers. The project aims to develop computational models to predict emissions of nitric oxides and carbon monoxide from sugar-mill boilers burning bagasse. Bagasse combustion does not contribute to greenhouse gas emissions and clean and efficient combustion of this fuel has become very important for the sugar industry and for Australia. The project combines the opportunity of direct boiler measurements by SRI with the m ....Modelling of Nitric Oxides and Carbon Monoxide Emissions from Bagasse-Fires Boilers. The project aims to develop computational models to predict emissions of nitric oxides and carbon monoxide from sugar-mill boilers burning bagasse. Bagasse combustion does not contribute to greenhouse gas emissions and clean and efficient combustion of this fuel has become very important for the sugar industry and for Australia. The project combines the opportunity of direct boiler measurements by SRI with the modelling expertise at the University to develop combustion-kinetics models for these species. The models will be incorporated into the previously developed computational fluid dynamics - combustion code of the furnace to give the capability of emission prediction as a function of burner operating conditions and fuel parameters.Read moreRead less