title: Identification of fatty acid esters of pectenotoxin-2 seco acid in blue mussels (mytilus edulis) from Ireland

authors: Wilkins, Alistair L.

subjects: Dinophysis

abstract: Pectenotoxins from marine dinoflagellates of the genus Dinophysis are rapidly hydrolyzed by many shellfish to give pectenotoxin-2 seco acid, which isomerizes to 7-epi-pectenotoxin-2 seco acid. Three series of fatty acid esters of pectenotoxin-2 seco acid (PTX-2 seco acid) and 7-epi-PTX-2 seco acid were detected by LC-MS analysis of extracts from blue mussels (Mytilus edulis) from Ireland. The locations of the fatty acid ester linkages were identified by a combination of LC-MSn in positive- and negative-ion modes, LC-MS analysis of the products from reaction of the esters with sodium periodate, and NMR analysis of purified samples of the two most abundant ester derivatives. The 37-O-acyl esters of PTX-2 seco acid were the most abundant, followed by the corresponding 11-O-acyl esters, accompanied by low levels of the 33-O-acyl esters. The most abundant fatty acid esters in the fractionated sample were, in order, the 16:0, 22:6, 14:0, 16:1, 18:4, and 20:5 fatty acids, although a wide array of other PTX-2 seco acid fatty acid esters were also present at low levels.

text: Identification of fatty acid esters of pectenotoxin-2 seco acid in blue mussels (mytilus edulis) from Ireland Pectenotoxins from marine dinoflagellates of the genus Dinophysis are rapidly hydrolyzed by many shellfish to give pectenotoxin-2 seco acid, which isomerizes to 7-epi-pectenotoxin-2 seco acid. Three series of fatty acid esters of pectenotoxin-2 seco acid (PTX-2 seco acid) and 7-epi-PTX-2 seco acid were detected by LC-MS analysis of extracts from blue mussels (Mytilus edulis) from Ireland. The locations of the fatty acid ester linkages were identified by a combination of LC-MSn in positive- and negative-ion modes, LC-MS analysis of the products from reaction of the esters with sodium periodate, and NMR analysis of purified samples of the two most abundant ester derivatives. The 37-O-acyl esters of PTX-2 seco acid were the most abundant, followed by the corresponding 11-O-acyl esters, accompanied by low levels of the 33-O-acyl esters. The most abundant fatty acid esters in the fractionated sample were, in order, the 16:0, 22:6, 14:0, 16:1, 18:4, and 20:5 fatty acids, although a wide array of other PTX-2 seco acid fatty acid esters were also present at low levels.

year: 2006

title: Partial Order Reduction with Compositional Verification

authors: Shaw, Adrian Mark

subjects: Partial order reduction

abstract: This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts. In the first part we introduce two new ample conditions that utilise strongly connected components in place of two existing ample conditions that use cycles. We use these new conditions to optimise existing partial order reduction verifiers and extend them to verify nonblocking properties. We also introduce two selection strategies for choosing ample event sets and an improved ample algorithm in order to improve the efficiency of ample set computation, and investigate how the various combinations of these suggested algorithmic improvements effect several models of varying size. The second part of the thesis introduces the concept of using partial order reduction techniques in combination with compositional verification techniques. We introduce a modified version of the silent continuation rule that makes use of the independence relationship from partial order reduction methods and include algorithms by which they may be implemented in a model verifier. All of the original concepts developed in this thesis are also proven correct.

text: Partial Order Reduction with Compositional Verification This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts. In the first part we introduce two new ample conditions that utilise strongly connected components in place of two existing ample conditions that use cycles. We use these new conditions to optimise existing partial order reduction verifiers and extend them to verify nonblocking properties. We also introduce two selection strategies for choosing ample event sets and an improved ample algorithm in order to improve the efficiency of ample set computation, and investigate how the various combinations of these suggested algorithmic improvements effect several models of varying size. The second part of the thesis introduces the concept of using partial order reduction techniques in combination with compositional verification techniques. We introduce a modified version of the silent continuation rule that makes use of the independence relationship from partial order reduction methods and include algorithms by which they may be implemented in a model verifier. All of the original concepts developed in this thesis are also proven correct.

year: 2014

title: Evidence for late polynesian colonization of New Zealand: University of Waikato radiocarbon measurements

authors: Hogg, Alan G.

subjects: radiocarbon

abstract: We present radiocarbon determinations for 271 New Zealand archaeological samples measured at the University of Waikato Radiocarbon Dating Laboratory between 1975 and 1995. A discard protocol is applied to the series and the list culled to winnow the acceptable dates from those that may incorporate error. None of the 221 acceptable ¹⁴C determinations older than 600 BP (in the case of terrestrial samples) or 930 BP (in the case of marine and estuarine shell) extends beyond cal AD 1250. This conclusion supports the short chronology model of New Zealand prehistory presented by Anderson (1991).

text: Evidence for late polynesian colonization of New Zealand: University of Waikato radiocarbon measurements We present radiocarbon determinations for 271 New Zealand archaeological samples measured at the University of Waikato Radiocarbon Dating Laboratory between 1975 and 1995. A discard protocol is applied to the series and the list culled to winnow the acceptable dates from those that may incorporate error. None of the 221 acceptable ¹⁴C determinations older than 600 BP (in the case of terrestrial samples) or 930 BP (in the case of marine and estuarine shell) extends beyond cal AD 1250. This conclusion supports the short chronology model of New Zealand prehistory presented by Anderson (1991).

year: 1997