title: New radiocarbon dates from the Bapot-1 site in Saipan and Neolithic dispersal by stratified diffusion

authors: Clark, Geoffrey

subjects: colonisation

abstract: The colonisation of the Mariana Islands in Western Micronesia is likely to represent an early ocean dispersal of more than 2000 km. Establishing the date of human arrival in the archipelago is important for modelling Neolithic expansion in Island Southeast Asia and the Pacific, particularly the role of long-distance dispersals. This paper presents new ¹⁴C results and a ΔR estimate from the Bapot-1 site on Saipan Island, which indicate human arrival at ca. 3400-3200 cal. BP. Archaeological chronologies of long-distance dispersal to Western Micronesia and the Lapita expansion (Bismarcks to Samoa) show that the Neolithic dispersal rate was increasing during the period ca. 3400-2900 cal. BP. The range-versus-time relationship is similar to stratified diffusion whereby a period of relatively slow expansion is succeeded by long-distance movement. An increase in new colonies created by long-distance migrants results in accelerating range expansion.

text: New radiocarbon dates from the Bapot-1 site in Saipan and Neolithic dispersal by stratified diffusion The colonisation of the Mariana Islands in Western Micronesia is likely to represent an early ocean dispersal of more than 2000 km. Establishing the date of human arrival in the archipelago is important for modelling Neolithic expansion in Island Southeast Asia and the Pacific, particularly the role of long-distance dispersals. This paper presents new ¹⁴C results and a ΔR estimate from the Bapot-1 site on Saipan Island, which indicate human arrival at ca. 3400-3200 cal. BP. Archaeological chronologies of long-distance dispersal to Western Micronesia and the Lapita expansion (Bismarcks to Samoa) show that the Neolithic dispersal rate was increasing during the period ca. 3400-2900 cal. BP. The range-versus-time relationship is similar to stratified diffusion whereby a period of relatively slow expansion is succeeded by long-distance movement. An increase in new colonies created by long-distance migrants results in accelerating range expansion.

year: 2010

title: Teaching formal methods lite via testing

authors: Utting, Mark

subjects: computer science

abstract: A new style of formal methods course is described, based on a pragmatic approach that emphasizes testing. The course introduces students to formal specification using Z, and shows how formal specification and testing can benefit each other, in both the validation and verification phases. It uses a tools-based approach, with practical work that reinforces formal specification techniques as well as traditional software engineering skills, such as unit and system testing, inspection and defensive programming with assertions. The two main results are to identify several practical uses of formal specifications that are not widely practised or taught and to demonstrate that teaching them results in a more interesting and relevant formal methods course.

text: Teaching formal methods lite via testing A new style of formal methods course is described, based on a pragmatic approach that emphasizes testing. The course introduces students to formal specification using Z, and shows how formal specification and testing can benefit each other, in both the validation and verification phases. It uses a tools-based approach, with practical work that reinforces formal specification techniques as well as traditional software engineering skills, such as unit and system testing, inspection and defensive programming with assertions. The two main results are to identify several practical uses of formal specifications that are not widely practised or taught and to demonstrate that teaching them results in a more interesting and relevant formal methods course.

year: 2001

title: Stemming the colonial environmental tide – Ecosystem-based management and shared Crown-Māori co-governance for sustaining our marine coastal estate in Aotearoa New Zealand – Summary report

authors: Joseph, Robert

subjects: Co-governance and ecosystem-based management, shared Crown-Maori governance jurisdiction over the coastal marine estate, ecosystem-based management

abstract: This summary report was prepared by Dr Robert Joseph from Te Mata Hautū Taketake – the Māori and Indigenous Governance Centre, Te Piringa Faculty of Law at the University of Waikato for the National Science Challenge Sustainable Seas Ko Ngā Moana Whakauka Project.

text: Stemming the colonial environmental tide – Ecosystem-based management and shared Crown-Māori co-governance for sustaining our marine coastal estate in Aotearoa New Zealand – Summary report This summary report was prepared by Dr Robert Joseph from Te Mata Hautū Taketake – the Māori and Indigenous Governance Centre, Te Piringa Faculty of Law at the University of Waikato for the National Science Challenge Sustainable Seas Ko Ngā Moana Whakauka Project.

year: 2023-12