title: The Role of Model-Based Testing

authors: Utting, Mark

subjects: computer science

abstract: This position paper gives an overview of model-based testing and discusses how it might fit into the proposed grand challenge for a program verifier.

text: The Role of Model-Based Testing This position paper gives an overview of model-based testing and discusses how it might fit into the proposed grand challenge for a program verifier.

year: 2008

title: New Sb₁₂ and Sb₁₄ Polyoxometalate Frameworks Derived from Arylstibonic Acids: [LiH₃(p-MeC₆H₄Sb)₁₂O₂₈]⁴⁻ and [BaH₁₀(p-MeC₆H₄Sb)₁₄O₃₄]

authors: Nicholson, Brian K.

subjects: chemistry

abstract: The lithium salt of p-tolylstibonic acid contains the anion [LiH₃(p-MeC₆H₄Sb)₁₂O₂₈]⁴⁻, in which the Li⁺ is fully enclosed within an {Sb₁₂O₂₈} cage with γ Keggin ion geometry; the idealized overall formula is Li₅[LiH₃(p-MeC₆H₄Sb)₁₂O₂₈]Br•18H₂O. In contrast, Ba²⁺ induces the formation of the unprecedented {Sb₁₄O₃₄} bowl-shaped polyoxostibonate [BaH₁₀(p-MeC₆H₄Sb)₁₄O₃₄]•4H₂O. Compounds were characterized by single-crystal X-ray crystallography and by ESI-MS.

text: New Sb₁₂ and Sb₁₄ Polyoxometalate Frameworks Derived from Arylstibonic Acids: [LiH₃(p-MeC₆H₄Sb)₁₂O₂₈]⁴⁻ and [BaH₁₀(p-MeC₆H₄Sb)₁₄O₃₄] The lithium salt of p-tolylstibonic acid contains the anion [LiH₃(p-MeC₆H₄Sb)₁₂O₂₈]⁴⁻, in which the Li⁺ is fully enclosed within an {Sb₁₂O₂₈} cage with γ Keggin ion geometry; the idealized overall formula is Li₅[LiH₃(p-MeC₆H₄Sb)₁₂O₂₈]Br•18H₂O. In contrast, Ba²⁺ induces the formation of the unprecedented {Sb₁₄O₃₄} bowl-shaped polyoxostibonate [BaH₁₀(p-MeC₆H₄Sb)₁₄O₃₄]•4H₂O. Compounds were characterized by single-crystal X-ray crystallography and by ESI-MS.

year: 2011

title: Artefacts, biology and bias in museum collection research

authors: Wehi, Priscilla M.

subjects: experimenta design

abstract: Museum collections are increasingly subjected to scientific scrutiny, including molecular, isotopic and trace-element analyses. Recent advances have extended analyses from natural history specimens to historical artefacts. We highlight three areas of concern that can influence interpretation of data derived from museum collections: sampling issues associated with museum collection use, methods of analysis, and the value of cross-referencing data with historical documents and data sets. We use a case study that focuses on kiwi (Apteryx spp.) feather samples from valuable 19th century Māori cloaks in New Zealand to show how sampling and analysis challenges need to be minimized by careful design. We argue that aligning historical records with scientific data generated from museum collections significantly improves data interpretation.

text: Artefacts, biology and bias in museum collection research Museum collections are increasingly subjected to scientific scrutiny, including molecular, isotopic and trace-element analyses. Recent advances have extended analyses from natural history specimens to historical artefacts. We highlight three areas of concern that can influence interpretation of data derived from museum collections: sampling issues associated with museum collection use, methods of analysis, and the value of cross-referencing data with historical documents and data sets. We use a case study that focuses on kiwi (Apteryx spp.) feather samples from valuable 19th century Māori cloaks in New Zealand to show how sampling and analysis challenges need to be minimized by careful design. We argue that aligning historical records with scientific data generated from museum collections significantly improves data interpretation.

year: 2012-07