We generalise DSP91]'s treatment of ellipsis to deaccenting and show that the resulting account has three main advantages. First, it predicts the interpretive similarities between ellipsis and deaccenting. Second, it captures the interaction of deaccenting and anaphora. Third, it yields a uniform treatment of sloppy identity and of its interaction with both ellipsis and deaccenting.

Although there is extensive research concerning the under representation of women in the field of Information and Communications Technology (ICT), the literature is still sparse on Maori women and their representation in this field. In this paper, the authors continue their longtitudinal research study which began in 2002, to include the Maori women currently enrolled in the Bachelor of Computi...

The Energy Independence and Security Act of 2007 (EISA) and the increasing presence in the market of new lighting technologies like LEDs and EISA-compliant halogens are two factors that will likely lead to rapid change in the residential lighting market in the coming years—change that means hours-of-use (HOU) estimates based on specific lighting technologies are likely to become obsolete very q...

We compare two different styles of Higher-Order Unification (HOU): the classical HOU algorithm of Huet for the simply typed λ-calculus and HOU based on the λσ-calculus of explicit substitutions. For doing so, first, the original Huet algorithm for the simply typed λ-calculus with names is adapted to the language of the λcalculus in de Bruijn’s notation, since this is the notation used by the λσ...