title: Programming a fast explicit conflict checker

authors: Malik, Robi

abstract: This paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.

text: Programming a fast explicit conflict checker This paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.

year: 2016

title: Where next for low cost airlines? A spatial and temporal comparative study

authors: Francis, Graham

subjects: low cost airlines

abstract: The purpose of this paper is to analyze the international development of the low cost airline model. The paper examines and seeks to characterize the factors which have encouraged and inhibited the spatial and temporal spread of low cost carriers. A typology of low cost carriers is developed to illustrate the diversity of practices identifiable under the generic low cost banner. The authors of this paper identify stages of development with respect to time and compare the development of low cost operations in different countries of the world. The economic and political impacts of the spread of the low cost model are examined and the sustainability and future patterns of growth considered.

text: Where next for low cost airlines? A spatial and temporal comparative study The purpose of this paper is to analyze the international development of the low cost airline model. The paper examines and seeks to characterize the factors which have encouraged and inhibited the spatial and temporal spread of low cost carriers. A typology of low cost carriers is developed to illustrate the diversity of practices identifiable under the generic low cost banner. The authors of this paper identify stages of development with respect to time and compare the development of low cost operations in different countries of the world. The economic and political impacts of the spread of the low cost model are examined and the sustainability and future patterns of growth considered.

year: 2006

title: Pinepine te Kura

authors: Maxwell, Te Kahautu

abstract: Whakaeke (entrance). Lyrics/Musical Score composed and choreographed by Te Kahautu Maxwell. Performed by Ōpōtiki Mai Tawhiti (Kapa Haka group) (3mins)

Waiata ā Tira: Aroha
Whakaeke: Pinepine Te Kura, Hau Te Kura
Mōteatea: Te Ao o Te Pārerā
Waiata ā Ringa: E pā to reo, Te Matatini, Herewini Parata
Poi: E ia e ia
Haka: Te Kōtiritiri, Te Kōtaratara
Whakawātea: Ōranga Tōiti, tōnui kōrero

text: Pinepine te Kura Whakaeke (entrance). Lyrics/Musical Score composed and choreographed by Te Kahautu Maxwell. Performed by Ōpōtiki Mai Tawhiti (Kapa Haka group) (3mins)

Waiata ā Tira: Aroha
Whakaeke: Pinepine Te Kura, Hau Te Kura
Mōteatea: Te Ao o Te Pārerā
Waiata ā Ringa: E pā to reo, Te Matatini, Herewini Parata
Poi: E ia e ia
Haka: Te Kōtiritiri, Te Kōtaratara
Whakawātea: Ōranga Tōiti, tōnui kōrero

year: 2023-02-22