title: The language of certain conflicts of a nondeterministic process

authors: Malik, Robi

subjects: computer science

abstract: The language of certain conflicts is the most general set of behaviours of a nondeterministic process, which certainly lead to a livelock or deadlock when accepted by another process running in parallel. It is of great use in model checking to detect livelocks or deadlocks in very large systems, and in process-algebra to obtain abstractions preserving livelock and deadlock. Unfortunately, the language of certain conflicts is difficult to compute and has only been approximated in previous work. This paper presents an effective algorithm to calculate the language of certain conflicts for any given nondeterministic finite-state process and discusses its properties. The algorithm is shown to be correct and of exponential complexity.

text: The language of certain conflicts of a nondeterministic process The language of certain conflicts is the most general set of behaviours of a nondeterministic process, which certainly lead to a livelock or deadlock when accepted by another process running in parallel. It is of great use in model checking to detect livelocks or deadlocks in very large systems, and in process-algebra to obtain abstractions preserving livelock and deadlock. Unfortunately, the language of certain conflicts is difficult to compute and has only been approximated in previous work. This paper presents an effective algorithm to calculate the language of certain conflicts for any given nondeterministic finite-state process and discusses its properties. The algorithm is shown to be correct and of exponential complexity.

year: 2010-07-07

title: Identification and correlation of thinly bedded late quaternary tephras of Coromandel Peninsula, New Zealand

authors: Hogg, Alan G.

abstract: The Coromandel Peninsula of North Island, New Zealand is covered by up to 2.5 m of thinly bedded Late Quaternary tephras. On the basis of their field characteristics, the tephras are divided into five field classes: the Recent bed (field class I) - a black, friable sandy loam; the Pumiceous bed (field class II) - reddish brown coarse lapilli and ash; the Silty bed (field class III) - a yellowish brown silt loam; the Lumpy bed (field class IV) - a brown sandy loam; and the Shower-bedded class ( field class V) - shower bedded and massive sands and loamy sands. 
The properties of the field classes were examined at 17 stratigraphic sections on the peninsula and indicate that classes I to IV each contain a mixture of at least two tephras. Individual tephras were characterised in the laboratory by multicomponent methods of analysis (particle size parameters, mineral assemblages), single component methods of analysis (chemical analysis of titanomagnetites by XRF), and single particle methods of analysis (microprobe analysis of titanornagnetite grains). 
The Recent bed is composed of at least three tephras, including the Kaharoa Tephra (930 yrs B.P.), Taupo Pumice (1,819 yrs B.P.), and the fine upper portion of the Whangamata Tephra (6,280 yrs B.P.). The Pumiceous bed contains a thorough mixture of the coarser, basal component of the Whangamata Tephra and the finer grained Mamaku Ash (7,050 yrs B.P.) and Rotoma Ash (c. 9,000 yrs B.P.). The Silty bed, Lumpy bed and Shower-bedded class all contain a common tephra, the Rotoehu Ash (41,700 yrs B.P.). The Shower-bedded class consists of pure Rotoehu Ash; the Lumpy bed is a composite of the upper part of the Rotoehu Ash and the Hauparu Tephra (30,000-40,000 yrs B.P.); the Silty bed is also a composite, but contains in addition to the upper part of the Rotoehu Ash and Hauparu Tephra, some unidentified hypersthene-bearing tephras of 20,000-11,000 yrs B.P. age, named “X” tephras.
The Whangamata Taphra Formation (symbol Wg) is dated at 6,280 ± 70 yrs B.P. (Wk 106), and is a brown, graded tephra deposited in two lobes, a coarse lobe of pumiceous ash and lapilli, up to 60 cm thick, extending between Whangamata and Thames on the Coromandel Peninsula, and a fine ash lobe, less than 10 cm in thickness, extending to the south and southwest of the Peninsula, in the Bay of Plenty and Waikato regions. The pumiceous lapilli have a peralkaline mineralogy with phenocrysts of anorthoclase, quartz, aegirine, cossyrite, olivine, riebeckite, and tuhualite, which identifies Mayor Island as the source volcano for the tephrae. 
It is suggested that the processes that have mixed the “X”, Hauparu and Rotoehu tophras in the Katikati region (latitude 37° 30’s) are related to the vegetation pattern, in the Late Otiran when the tephras became mixed under a forest cover north of about latitude 37° 30’s, - but remained unmixed under scrubland south of this latitude, in the Katikati-Tauranga area.

text: Identification and correlation of thinly bedded late quaternary tephras of Coromandel Peninsula, New Zealand The Coromandel Peninsula of North Island, New Zealand is covered by up to 2.5 m of thinly bedded Late Quaternary tephras. On the basis of their field characteristics, the tephras are divided into five field classes: the Recent bed (field class I) - a black, friable sandy loam; the Pumiceous bed (field class II) - reddish brown coarse lapilli and ash; the Silty bed (field class III) - a yellowish brown silt loam; the Lumpy bed (field class IV) - a brown sandy loam; and the Shower-bedded class ( field class V) - shower bedded and massive sands and loamy sands. 
The properties of the field classes were examined at 17 stratigraphic sections on the peninsula and indicate that classes I to IV each contain a mixture of at least two tephras. Individual tephras were characterised in the laboratory by multicomponent methods of analysis (particle size parameters, mineral assemblages), single component methods of analysis (chemical analysis of titanomagnetites by XRF), and single particle methods of analysis (microprobe analysis of titanornagnetite grains). 
The Recent bed is composed of at least three tephras, including the Kaharoa Tephra (930 yrs B.P.), Taupo Pumice (1,819 yrs B.P.), and the fine upper portion of the Whangamata Tephra (6,280 yrs B.P.). The Pumiceous bed contains a thorough mixture of the coarser, basal component of the Whangamata Tephra and the finer grained Mamaku Ash (7,050 yrs B.P.) and Rotoma Ash (c. 9,000 yrs B.P.). The Silty bed, Lumpy bed and Shower-bedded class all contain a common tephra, the Rotoehu Ash (41,700 yrs B.P.). The Shower-bedded class consists of pure Rotoehu Ash; the Lumpy bed is a composite of the upper part of the Rotoehu Ash and the Hauparu Tephra (30,000-40,000 yrs B.P.); the Silty bed is also a composite, but contains in addition to the upper part of the Rotoehu Ash and Hauparu Tephra, some unidentified hypersthene-bearing tephras of 20,000-11,000 yrs B.P. age, named “X” tephras.
The Whangamata Taphra Formation (symbol Wg) is dated at 6,280 ± 70 yrs B.P. (Wk 106), and is a brown, graded tephra deposited in two lobes, a coarse lobe of pumiceous ash and lapilli, up to 60 cm thick, extending between Whangamata and Thames on the Coromandel Peninsula, and a fine ash lobe, less than 10 cm in thickness, extending to the south and southwest of the Peninsula, in the Bay of Plenty and Waikato regions. The pumiceous lapilli have a peralkaline mineralogy with phenocrysts of anorthoclase, quartz, aegirine, cossyrite, olivine, riebeckite, and tuhualite, which identifies Mayor Island as the source volcano for the tephrae. 
It is suggested that the processes that have mixed the “X”, Hauparu and Rotoehu tophras in the Katikati region (latitude 37° 30’s) are related to the vegetation pattern, in the Late Otiran when the tephras became mixed under a forest cover north of about latitude 37° 30’s, - but remained unmixed under scrubland south of this latitude, in the Katikati-Tauranga area.

year: 1979

title: How usable is a smartphone with a Māori-language interface?

authors: Mato, Paora James

subjects: Mäori

abstract: Major languages dominate contemporary technologies. For Mäori, there is opportunity to engage with some technologies using their language and to participate within Mäori- language communities in various digital media. A smartphone launched by Two Degrees Mobile Limited provides a Mäori- language interface option. An initial pilot study indicated users will engage with this interface, but when pushed for time will switch the interface to the English- language option. This paper reports on a study undertaken to test the usability of the smartphone Mäorilanguage interface. Participants reported diffi culties and some frustration as they struggled with new words and unfamiliar uses of words. They also expressed disappointment at poor translations and arbitrary truncations. The feedback highlights perceived shortcomings encountered when technologies that are normally developed and used in a major language are translated for use in minority Indigenous languages. Mäori-language strategies that consider using translated application interfaces should be cognisant of such issues.

text: How usable is a smartphone with a Māori-language interface? Major languages dominate contemporary technologies. For Mäori, there is opportunity to engage with some technologies using their language and to participate within Mäori- language communities in various digital media. A smartphone launched by Two Degrees Mobile Limited provides a Mäori- language interface option. An initial pilot study indicated users will engage with this interface, but when pushed for time will switch the interface to the English- language option. This paper reports on a study undertaken to test the usability of the smartphone Mäorilanguage interface. Participants reported diffi culties and some frustration as they struggled with new words and unfamiliar uses of words. They also expressed disappointment at poor translations and arbitrary truncations. The feedback highlights perceived shortcomings encountered when technologies that are normally developed and used in a major language are translated for use in minority Indigenous languages. Mäori-language strategies that consider using translated application interfaces should be cognisant of such issues.

year: 2016