title: Learning outcome dependency on contemporary ICT in the New Zealand middle school classroom

authors: Timpany, Claire

subjects: computer science

abstract: Often studies of children's technology use in the classroom is internally focused and small scale. This study attempts a globalised exploratory overview of an entire New Zealand middle school to understand the technology usages across a range of curriculum and learning outcomes. Observations of the use of technology in the classroom during eight different lessons were conducted followed by structured-open-ended interviews. From our classroom observations and through teacher interviews, we have been able to identify three levels of the dependency of learning outcome on contemporary-ICT.

text: Learning outcome dependency on contemporary ICT in the New Zealand middle school classroom Often studies of children's technology use in the classroom is internally focused and small scale. This study attempts a globalised exploratory overview of an entire New Zealand middle school to understand the technology usages across a range of curriculum and learning outcomes. Observations of the use of technology in the classroom during eight different lessons were conducted followed by structured-open-ended interviews. From our classroom observations and through teacher interviews, we have been able to identify three levels of the dependency of learning outcome on contemporary-ICT.

year: 2011

title: Liberalising Event B without changing it

authors: Reeves, Steve

subjects: process refinement

abstract: We transfer a process algebraic notion of refinement to the B method by using the well-known bridge between the relational semantics underlying the B machines and the labelled transition system semantics of processes. Thus we define delta refinement on Event B systems. We then apply this new refinement to a problem from the literature that previously could only be solved by retrenchment.

text: Liberalising Event B without changing it We transfer a process algebraic notion of refinement to the B method by using the well-known bridge between the relational semantics underlying the B machines and the labelled transition system semantics of processes. Thus we define delta refinement on Event B systems. We then apply this new refinement to a problem from the literature that previously could only be solved by retrenchment.

year: 2006-07-01

title: Dendroarchaeology in New Zealand: extending the range of archaeologically useful species beyond kauri (Agathis australis)

authors: Boswijk, Gretel

abstract: Accurately establishing calendar dates for Māori wooden objects would place them in a secure temporal context and enable aspects of manufacturing and use to be explored within and between sites, and across time. Dendrochronology has the potential to produce accurate and precise calendar dates for wooden artefacts but in New Zealand application of this technique to Māori cultural material is limited as there is almost no overlap between wood species found in archaeological contexts and tree-species with proven suitability for tree-ring dating. Here we identify five archaeologically-useful species – kahikatea (Dacrycarpus dacrydioides), matai (Prumnopitys taxifolia), miro (Prumnopitys ferruginea), rimu (Dacrydium cupressinum) and totara (Podocarpus totara) – and assess their potential for dendrochronology. Of these, matai, miro and totara are identified as species that should be the subject of further comprehensive dendrochronological investigation.

text: Dendroarchaeology in New Zealand: extending the range of archaeologically useful species beyond kauri (Agathis australis) Accurately establishing calendar dates for Māori wooden objects would place them in a secure temporal context and enable aspects of manufacturing and use to be explored within and between sites, and across time. Dendrochronology has the potential to produce accurate and precise calendar dates for wooden artefacts but in New Zealand application of this technique to Māori cultural material is limited as there is almost no overlap between wood species found in archaeological contexts and tree-species with proven suitability for tree-ring dating. Here we identify five archaeologically-useful species – kahikatea (Dacrycarpus dacrydioides), matai (Prumnopitys taxifolia), miro (Prumnopitys ferruginea), rimu (Dacrydium cupressinum) and totara (Podocarpus totara) – and assess their potential for dendrochronology. Of these, matai, miro and totara are identified as species that should be the subject of further comprehensive dendrochronological investigation.

year: 2019