title: New foundations for Z

authors: Henson, Martin C.

subjects: computer science

abstract: We provide a constructive and intensional interpretation for the specification language Z in a theory of operations and kinds T. The motivation is to facilitate the development of an integrated approach to program construction. We illustrate the new foundations for Z with examples.

text: New foundations for Z We provide a constructive and intensional interpretation for the specification language Z in a theory of operations and kinds T. The motivation is to facilitate the development of an integrated approach to program construction. We illustrate the new foundations for Z with examples.

year: 1998-03

title: A dated phylogeny shows Plio-Pleistocene climates spurred evolution of antibrowsing defences in the New Zealand flora

authors: Maurin, Kévin J. L.

subjects: Science & Technology

abstract: Some plant traits may be legacies of coevolution with extinct megafauna. One example is the convergent evolution of ‘divaricate’ cage architectures in many New Zealand lineages, interpreted as a response to recently extinct flightless avian browsers whose ancestors arrived during the Paleogene period. Although experiments have confirmed that divaricate habit deters extant browsers, its abundance on frosty, droughty sites appears consistent with an earlier interpretation as a response to cold, dry Plio-Pleistocene climates.
We used 45 protein-coding sequences from plastid genomes to reconstruct the evolutionary history of the divaricate habit in extant New Zealand lineages. Our dated phylogeny of 215 species included 91% of New Zealand eudicot divaricate species.
We show that 86% of extant divaricate plants diverged from non-divaricate sisters within the last 5 Ma, implicating Plio-Pleistocene climates in the proliferation of cage architectures in New Zealand.
Our results, combined with other recent findings, are consistent with the synthetic hypothesis that the browser-deterrent effect of cage architectures was strongly selected only when Plio-Pleistocene climatic constraints prevented woody plants from growing quickly out of reach of browsers. This is consistent with the abundance of cage architectures in other regions where plant growth is restricted by aridity or short frost-free periods.

text: A dated phylogeny shows Plio-Pleistocene climates spurred evolution of antibrowsing defences in the New Zealand flora Some plant traits may be legacies of coevolution with extinct megafauna. One example is the convergent evolution of ‘divaricate’ cage architectures in many New Zealand lineages, interpreted as a response to recently extinct flightless avian browsers whose ancestors arrived during the Paleogene period. Although experiments have confirmed that divaricate habit deters extant browsers, its abundance on frosty, droughty sites appears consistent with an earlier interpretation as a response to cold, dry Plio-Pleistocene climates.
We used 45 protein-coding sequences from plastid genomes to reconstruct the evolutionary history of the divaricate habit in extant New Zealand lineages. Our dated phylogeny of 215 species included 91% of New Zealand eudicot divaricate species.
We show that 86% of extant divaricate plants diverged from non-divaricate sisters within the last 5 Ma, implicating Plio-Pleistocene climates in the proliferation of cage architectures in New Zealand.
Our results, combined with other recent findings, are consistent with the synthetic hypothesis that the browser-deterrent effect of cage architectures was strongly selected only when Plio-Pleistocene climatic constraints prevented woody plants from growing quickly out of reach of browsers. This is consistent with the abundance of cage architectures in other regions where plant growth is restricted by aridity or short frost-free periods.

year: 2021

title: Te tuhirau kōrero

authors: Corbett, Mahaki

subjects: Reo Māori

abstract: Ko tō tātou reo, he reo tapu, he reo kōrero, he reo pohewa, he reo reiuru, he reo rauriki.  E rā, he piringa tē taea te whakangaro atu, nā te mea ko te reo Māori te manawatanga mai i a koe e tūhono ai koe ki ngā mea o mua, ki ngā mea o muri, ki ngā mea o nāianei (J. Peri, kōrero ā-waha, Hune 3, 2013). Heoi anō, i ngā rā nei, kua whānau hou mai te reo Māori pā tuhi-ā-waea ki te ao mārama me te aha kua whakarerekē a ia i te āhuatanga o tō tātou reo. Ko te kaupapa o tēnei tuhinga, he whakatakoto kupu mai i te ngākau aroha me te wete hoki i te taumata whakaaro e whakahākiri nei ki tēnei mangainga o te ao hangarau. Waihoki, kua nahanaha i ahau ngā wāhanga, ā, e whitu ēnei kua tuhia ki te kupu waiwaiā, kia whakapāho-ā-rorohiko atu rānei i te whia maruāpō mō te ātaahuatanga o te pā tuhi-ā-waea. Nō reira rā, koiā te taonga whakapiripiri e koroa nei e te ringa, purutia kia tata, whakamaua kia tina!

text: Te tuhirau kōrero Ko tō tātou reo, he reo tapu, he reo kōrero, he reo pohewa, he reo reiuru, he reo rauriki.  E rā, he piringa tē taea te whakangaro atu, nā te mea ko te reo Māori te manawatanga mai i a koe e tūhono ai koe ki ngā mea o mua, ki ngā mea o muri, ki ngā mea o nāianei (J. Peri, kōrero ā-waha, Hune 3, 2013). Heoi anō, i ngā rā nei, kua whānau hou mai te reo Māori pā tuhi-ā-waea ki te ao mārama me te aha kua whakarerekē a ia i te āhuatanga o tō tātou reo. Ko te kaupapa o tēnei tuhinga, he whakatakoto kupu mai i te ngākau aroha me te wete hoki i te taumata whakaaro e whakahākiri nei ki tēnei mangainga o te ao hangarau. Waihoki, kua nahanaha i ahau ngā wāhanga, ā, e whitu ēnei kua tuhia ki te kupu waiwaiā, kia whakapāho-ā-rorohiko atu rānei i te whia maruāpō mō te ātaahuatanga o te pā tuhi-ā-waea. Nō reira rā, koiā te taonga whakapiripiri e koroa nei e te ringa, purutia kia tata, whakamaua kia tina!

year: 2017