Determination of species

There are no author-identified significant results in this report

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

Effects of cosmic rays on single event upsets

Assistance was provided to the Brookhaven Single Event Upset (SEU) Test Facility. Computer codes were developed for fragmentation and secondary radiation affecting Very Large Scale Integration (VLSI) in space. A computer controlled CV (HP4192) test was developed for Terman analysis. Also developed were high speed parametric tests which are independent of operator judgment and a charge pumping technique for measurement of D(sub it) (E). The X-ray secondary effects, and parametric degradation as a function of dose rate were simulated. The SPICE simulation of static RAMs with various resistor filters was tested

Re-identification of c. 15 700 cal yr BP tephra bed at Kaipo Bog, eastern North Island: implications for dispersal of Rotorua and Puketarata tephra beds.

A 10 mm thick, c. 15 700 calendar yr BP (c. 13 100 14C yr BP) rhyolitic tephra bed in the well-studied montane Kaipo Bog sequence of eastern North Island was previously correlated with Maroa-derived Puketarata Tephra. We revise this correlation to Okataina-derived Rotorua Tephra based on new compositional data from biotite phenocrysts and glass. The new correlation limits the known dispersal of Puketarata Tephra (sensu stricto, c. 16 800 cal yr BP) and eliminates requirements to either reassess its age or to invoke dual Puketarata eruptive events. Our data show that Rotorua Tephra comprises two glass-shard types: an early-erupted low-K2O type that was dispersed mostly to the northwest, and a high-K2O type dispersed mostly to the south and southeast, contemporary with late-stage lava extrusion. Late-stage Rotorua eruptives contain biotite that is enriched in FeO compared with biotite from Puketarata pyroclastics. The occurrence of Rotorua Tephra in Kaipo Bog (100 km from the source) substantially extends its known distribution to the southeast. Our analyses demonstrate that unrecognised syn-eruption compositional and dispersal changes can cause errors in fingerprinting tephra deposits. However, the compositional complexity, once recognised, provides additional fingerprinting criteria, and also documents magmatic and dispersal processes

Hydrogen slush density reference system

A hydrogen slush density reference system was designed for calibration of field-type instruments and/or transfer standards. The device is based on the buoyancy principle of Archimedes. The solids are weighed in a low-mass container so arranged that solids and container are buoyed by triple-point liquid hydrogen during the weighing process. Several types of hydrogen slush density transducers were developed and tested for possible use as transfer standards. The most successful transducers found were those which depend on change in dielectric constant, after which the Clausius-Mossotti function is used to relate dielectric constant and density

Stratigraphy and chronology of a 15ka sequence of multi-sourced silicic tephras in a montane peat bog, eastern North Island, New Zealand.

We document the stratigraphy, composition, and chronology of a succession of 16 distal, silicic tephra layers interbedded with lateglacial and Holocene peats and muds up to c. 15 000 radiocarbon years (c. 18 000 calendar years) old at a montane site (Kaipo Bog) in eastern North Island, New Zealand. Aged from 665 +/- 15 to 14 700 +/- 95 14C yr BP, the tephras are derived from six volcanic centres in North Island, three of which are rhyolitic (Okataina, Taupo, Maroa), one peralkaline (Tuhua), and two andesitic (Tongariro, Egmont). Correlations are based on multiple criteria: field properties and stratigraphic interrelationships, ferromagnesian silicate mineral assemblages, glass-shard major element composition (from electron microprobe analysis), and radiocarbon dating. We extend the known distribution of tephras in eastern North Island and provide compositional data that add to their potential usefulness as isochronous markers. The chronostratigraphic framework established for the Kaipo sequence, based on both site-specific and independently derived tephra-based radiocarbon ages, provides the basis for fine-resolution paleoenvironmental studies at a climatically sensitive terrestrial site from the mid latitudes of the Southern Hemisphere. Tephras identified as especially useful paleoenvironmental markers include Rerewhakaaitu and Waiohau (lateglacial), Konini (lateglacial-early Holocene), Tuhua (middle Holocene), and Taupo and Kaharoa (late Holocene)

The effects of maribavir on the autophosphorylation of ganciclovir resistant mutants of the cytomegalovirus UL97 protein

BACKGROUND: The UL97 protein kinase of human cytomegalovirus phosphorylates the antiviral drug ganciclovir and is the target of maribavir action. A detailed enzyme kinetic analysis of maribavir on the various enzymatic functions of wild type and ganciclovir resistant forms of UL97 is required. METHODS: Wild type and site directed mutant forms of the human cytomegalovirus UL97 gene product were expressed using recombinant baculoviruses and the purified products used to assess the effects of maribavir on the ganciclovir (GCV) kinase and protein kinase (PK) activities. RESULTS: Maribavir was a potent inhibitor of the autophosporylation of the wild type and all the major GCV resistant UL97 mutants analysed (M460I, H520Q, A594V and L595F) with a mean IC50 of 35 nM. The M460I mutation resulted in hypersensitivity to maribavir with an IC50 of 4.8 nM. A maribavir resistant mutant of UL97 (L397R) was functionally compromised as both a GCV kinase and a protein kinase (~ 10% of wild type levels). Enzyme kinetic experiments demonstrated that maribavir was a competitive inhibitor of ATP with a Ki of 10 nM. DISCUSSION: Maribavir is a potent competitive inhibitor of the UL97 protein kinase function and shows increased activity against the M460I GCV-resistant mutant which may impact on the management of GCV drug resistance in patients

Mo Músaem Fíorúil: a web-based search and information service for museum visitors

Abstract. We describe the prototype of an interactive, web-based, museum artifact search and information service. Mo Músaem Fíorúil clusters and indexes images of museum artifacts taken by visitors to the museum where the images are captured using a passive capture device such as Microsoft's SenseCam [1]. The system also matches clustered artifacts to images of the same artifact from the museums o cial photo collection and allows the user to view images of the same artifact taken by other visitors to the museum. This matching process potentially allows the system to provide more detailed information about a particular artifact to the user based on their inferred preferences, thereby greatly enhancing the user's overall museum experience. In this work, we introduce the system and describe, in broad terms, it's overall functionality and use. Using different image sets of artificial museum objects, we also describe experiments and results carried out in relation to the artifact matching component of the system

Deduction with XOR Constraints in Security API Modelling

We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module. We also show how our technique can be applied to standard security protocols

Adapting a Remote Laboratory Architecture to Support Collaboration and Supervision

Interest in, and use of, remote laboratories has been rapidly growing. These laboratories provide remote access, via the internet, to real laboratory equipment. Under appropriate circumstances they can support or even replace traditional (proximal) laboratories, provide improved access at reduced cost, and encourage inter-institutional sharing of expensive resources. Most attention to date has been on the development of the core infrastructure that manages access and interaction, and to a lesser extent consideration of pedagogic issues such as which learning outcomes are best suited to this modality. There has however been a recent recognition of the importance of also considering how collaboration and supervision can also be supported. In this paper we discuss a novel approach to the integration of support for multi-user distributed access to a single laboratory instance. The approach retains the benefits of the lightweight client inherent in the underlying architecture