The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed by Boyland for checking the determinism of parallel reads in multi-thread programs, extend the capability calculus by extending the capabilities to range over the rational numbers. Fractional capabilities have since found nume...

The origins of the capabilities approach within welfare economics are to be found in a series of influential papers and monographs, written by Amartya Sen in the early eighties of the previous century (Sen, 1980, 1985a; Sen et al., 1987). He developed and discussed the approach further in some widely read books (Sen, 1992, 1999; Nussbaum and Sen, 1993). The basic purpose of the approach is neat...

The two concepts — human rights and capabilities — go well with each other, so long as we do not try to subsume either concept entirely within the territory of the other. There are many human rights that can be seen as rights to particular capabilities. However, human rights to important process freedoms cannot be adequately analysed within the capability framework. Furthermore, both human righ...

This paper discusses the relevance of recent research on the economics of human development to the work of the Human Development and Capability Association. The recent economics of human development brings insights about the dynamics of skill accumulation to an otherwise static literature on capabilities. Skills embodied in agents empower people. Enhanced skills enhance opportunities and hence ...

This paper discusses the overall design of the PIXIE Intelligent TutoringSystem, and more specifically a series of recent enhancements. Theoriginal system has been implemented to involve three separar! phases:the offline, or model generation, phase, which is completed !prior to anyinteraction with a student, involves the construction of a set of studentmodels for a give, dom...