title: Supporting multi-path UI development with vertical reﬁnement

authors: Bowen, Judy

subjects: computer science

abstract: As computers and software applications become ubiquitous the systems we build are increasingly required to run on not just a single piece of hardware, but rather be available for different platforms, different types of hardware and offer different modes of interaction depending on the context of use. Within a formal development process when we consider refinement for interactive systems we therefore need to consider not only the transformation of abstract specifications and models into single implementations but also the possibility of multiple implementations with differing interactive requirements. In such cases the changing requirements in general and changes to the user interface in particular make supporting the development by formal refinement challenging. One way to solve this problem is by extending our notion of refinement. In this paper we introduce vertical refinement for system and interface pairs which enables us to deal with such multi-path development.

text: Supporting multi-path UI development with vertical reﬁnement As computers and software applications become ubiquitous the systems we build are increasingly required to run on not just a single piece of hardware, but rather be available for different platforms, different types of hardware and offer different modes of interaction depending on the context of use. Within a formal development process when we consider refinement for interactive systems we therefore need to consider not only the transformation of abstract specifications and models into single implementations but also the possibility of multiple implementations with differing interactive requirements. In such cases the changing requirements in general and changes to the user interface in particular make supporting the development by formal refinement challenging. One way to solve this problem is by extending our notion of refinement. In this paper we introduce vertical refinement for system and interface pairs which enables us to deal with such multi-path development.

year: 2009

title: Evaluation of wood pretreatments on oak and cedar

authors: Hoper, S.T.

subjects: radiocarbon

abstract: In a separate study, we conducted a series of high-precision radiocarbon measurements using wood from Britain and New Zealand to investigate interhemispheric offsets and possible temporal variations. To minimize variability associated with different species, the pretreatment of the oak (Quercus patraea) and cedar (Librocedrus bidwilli) was to acellulose for both. This study investigates the thoroughness of a range of pretreatment processes by the stable isotope analysis of the products.

text: Evaluation of wood pretreatments on oak and cedar In a separate study, we conducted a series of high-precision radiocarbon measurements using wood from Britain and New Zealand to investigate interhemispheric offsets and possible temporal variations. To minimize variability associated with different species, the pretreatment of the oak (Quercus patraea) and cedar (Librocedrus bidwilli) was to acellulose for both. This study investigates the thoroughness of a range of pretreatment processes by the stable isotope analysis of the products.

year: 1998

title: Unpacking media narratives: Racism and problematic reasonings

authors: Tan, Kyle K. H.

abstract: In this research brief, we present summaries of four case studies of racism in mainstream and social media in Aotearoa. Through a series of carefully selected datasets sourced from TV episodes (Police TEN 7), print media such as news articles (including Northland checkpoints), and tweets (Three Waters reform), we outline how Māori are represented across these mediums. With an expert in language modelling on our team, we analysed large datasets that give us sufficient statistical power to infer specific Māori discourses on respective platforms. Further, we examined key themes that characterise how Māori are represented in the media and signal the scale of anti-Māori attacks. For instance, we found that the predominant discussion on Three Waters reform on Twitter focused on ‘conflict’ (distrust towards government; 33%) and ‘capability’ (questioning the credibility of the reform; 23%) rather than its core intention of promoting water ‘safety’ (7%). The modelling analysis was supplemented by in-depth qualitative analysis that integrates anti-Māori themes (Moewaka-Barnes et al., 2012) and problematic reasoning tactics (Sturgill, 2021) to elucidate how false, deficit-based rhetoric about Māori is deployed to fuel racism and disinformation. In summary, our findings reinforce Kupu Taea’s call for new media sectors to integrate Te Tiriti o Waitangi into their practices to safeguard Māori and other minoritised groups who are likely to be at the fore of racist attacks.

text: Unpacking media narratives: Racism and problematic reasonings In this research brief, we present summaries of four case studies of racism in mainstream and social media in Aotearoa. Through a series of carefully selected datasets sourced from TV episodes (Police TEN 7), print media such as news articles (including Northland checkpoints), and tweets (Three Waters reform), we outline how Māori are represented across these mediums. With an expert in language modelling on our team, we analysed large datasets that give us sufficient statistical power to infer specific Māori discourses on respective platforms. Further, we examined key themes that characterise how Māori are represented in the media and signal the scale of anti-Māori attacks. For instance, we found that the predominant discussion on Three Waters reform on Twitter focused on ‘conflict’ (distrust towards government; 33%) and ‘capability’ (questioning the credibility of the reform; 23%) rather than its core intention of promoting water ‘safety’ (7%). The modelling analysis was supplemented by in-depth qualitative analysis that integrates anti-Māori themes (Moewaka-Barnes et al., 2012) and problematic reasoning tactics (Sturgill, 2021) to elucidate how false, deficit-based rhetoric about Māori is deployed to fuel racism and disinformation. In summary, our findings reinforce Kupu Taea’s call for new media sectors to integrate Te Tiriti o Waitangi into their practices to safeguard Māori and other minoritised groups who are likely to be at the fore of racist attacks.

year: 2025