What are the determinants and effects of school choice? An international comparison between Australia and the UK. The project will provide a clearer picture of the determinants of school choice, most notably the impact of economic phenomena on that choice. For Australia, this will mean we have a better understanding of the competing explanations of the growth of students at private schools over the past three decades: the role of government subsidies; the role of demographic changes; the effec ....What are the determinants and effects of school choice? An international comparison between Australia and the UK. The project will provide a clearer picture of the determinants of school choice, most notably the impact of economic phenomena on that choice. For Australia, this will mean we have a better understanding of the competing explanations of the growth of students at private schools over the past three decades: the role of government subsidies; the role of demographic changes; the effects of increased income inequality; and the role of changes in preferences towards private schools. This information will provide a better evidence base for future policy development in this area.Read moreRead less
Asymptotic Geometric Analysis and Machine Learning. Phenomena in large dimensions appear in a number of domains of Mathematics and adjacent domains of science (e.g. Computer Science), dealing with functions of infinitely growing number of parameters. Here, we focus on several questions naturally linked to Asymptotic Geometric Analysis which have natural applications to Statistical Learning Theory. We intend to use geometric, probabilistic and combinatorial methods to investigate these problems, ....Asymptotic Geometric Analysis and Machine Learning. Phenomena in large dimensions appear in a number of domains of Mathematics and adjacent domains of science (e.g. Computer Science), dealing with functions of infinitely growing number of parameters. Here, we focus on several questions naturally linked to Asymptotic Geometric Analysis which have natural applications to Statistical Learning Theory. We intend to use geometric, probabilistic and combinatorial methods to investigate these problems, with an emphasis on modern tools in Empirical Processes Theory and the theory of Random Matrices.Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Negotiation Support Systems for Groundwater Managment in Small Islands. Expanding populations and limited land area in small islands are increasing the pressures on fresh groundwater resources. The dilemma is how to protect shallow groundwater reserves without alienating traditional landowners and without generating costly conflicts. The problem is complex and involves the interaction of hydrologic and technical factors with socio-cultural, economic, policy and institutional factors. Multi Agent ....Negotiation Support Systems for Groundwater Managment in Small Islands. Expanding populations and limited land area in small islands are increasing the pressures on fresh groundwater resources. The dilemma is how to protect shallow groundwater reserves without alienating traditional landowners and without generating costly conflicts. The problem is complex and involves the interaction of hydrologic and technical factors with socio-cultural, economic, policy and institutional factors. Multi Agent Systems (MAS) have been developed to study the interaction between societies and the environment. Here we will use MAS to develop Negotiation Support Systems for groundwater management in small islands.Read moreRead less