A ship-based methodology for high precision atmospheric oxygen measurements and its application in the Southern Ocean region

A method for achieving continuous high precision measurements of atmospheric O-2 is presented based on a commercially available fuel-cell instrument, (Sable Systems, Oxzilla FC-II) with a precision of 7 per meg (approximately equivalent to 1.2 ppm) for a 6-min measurement. The Oxzilla was deployed on two voyages in the Western Pacific sector of the Southern Ocean, in February 2003 and in April 2004, making these the second set of continuous O-2 measurements ever made from a ship. The results show significant temporal variation in O-2, in the order of +/- 10 per meg over 6-hourly time intervals, and substantial spatial variation. Data from both voyages show an O-2 maximum centred on 50 degrees S, which is most likely to be the result of biologically driven O-2 outgassing in the region of subtropical convergence around New Zealand, and a decreasing O-2 trend towards Antarctica. O-2 from the ship-based measurements is elevated compared with measurements from the Scripps Institution of Oceanography flask-sampling network, and the O-2 maximum is also not captured in the network observations. This preliminary study shows that ship-based continuous measurements are a valuable addition to current fixed site sampling programmes for the understanding of ocean-atmosphere O-2 exchange processes. [References: 39

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

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)

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

The Importance of Heating System Transient Response in Domestic Energy Labelling

European National Calculation Methods (NCM), such as the UK Standard Assessment Procedure (SAP), are used to make standardised and simplified assessments of building energy performance. These NCMs contain simplifications to aid ease of use and comparability of resulting Energy Performance Certificates (EPC). By comparing SAP with a modern, dynamic modelling system, this study quantifies internal temperatures and thereby heating energy consumption. Results show that for the considered test house SAP results correspond closely to a dynamic model using an idealistic heating system, with perfect control and instant responsiveness. However, the introduction of a dynamic, physically realistic gas fired boiler and water based heating system to the model results in a consistent increase in internal temperature (0.5 °C) and energy demand (by ca. 1000 kWh/a). Variation of further parameters within the dynamic model, controls and heat source size, are presented and compared to SAP results and assumptions. The inclusion of more realistic dynamics in building energy modelling for NCMs may provide a better basis for effective decision making with respect to a wide range of heating systems

Prognostic significance of the bcl-2 apoptotic family of proteins in primary and recurrent cervical cancer

bcl-2 is one of a family of genes that control the apoptotic threshold of a cell. bcl-2 protein and its anti-apoptotic homologue, mcl-1, with the pro-apoptotic protein, bax, are thought to function by forming homo- and heterotypic dimers that then control the progression to apoptosis. p53 is also involved as a down-regulator of bcl-2 and a promoter of bax. To determine the effect of these apoptotic mechanisms, we used immunohistochemistry to determine the prognostic significance of the expression of bcl-2, mcl-1, bax and p53 in primary and recurrent cervical cancer. Tissues from 46 patients with primary cervical cancer and 28 women with recurrent carcinoma were stained for bcl-2, mcl-1, bax and p53. Kaplan-Meier survival analysis was performed using the log-rank test for differences between groups. In the primary disease group, positive staining for bcl-2 was associated with a better 5-year survival (bcl-2 +ve, 84% vs bcl-2 -ve, 53%, P = 0.03). Positive staining for p53 was associated with a survival disadvantage (p53 +ve, 4-year survival 38% vs p53 -ve, 4-year survival 78%, P = 0.02). mcl-1 and bax staining were not useful as prognostic indicators in primary disease. No marker was prognostic in recurrent disease. Positive bcl-2 staining defines a group of patients with primary disease with a good prognosis. p53, an activator of the bax promoter, identifies a group with a worse outcome. In recurrent disease, none of the markers reflected prognosis

Differences in Spectral Sensitivity Within and Among Species of Darters (genus Etheostoma)

We examined variation in the visual system both within and among seven species of darters, colorful freshwater fishes of the genus Etheostoma. Using microspectrophotometry, we found that darters possess rod photoreceptor cells, single cone photoreceptor cells containing middle wavelength sensitive (MWS) visual pigments, and twin photoreceptor cells containing (LWS) visual pigments. No variation in peak sensitivity was detected among species or individuals in the rod class. In the MWS class, significant variation was detected among species and a strong statistical trend suggests differences among individuals. By contrast, all differences in the LWS class could be attributed to variation among individuals. Patterns of variation detected among species, among individuals, and among cone classes suggest that complex patterns of selection may be shaping the visual system of these fishes. Further, differences among individuals may have important consequences for visually based behaviors

The Performance of Alfalfa Synthetics in the First and Advanced Generations

During alfalfa breeding investigations conducted at the Nebraska Agricultural Experiment Station, numerous superior clones were selected and tested as clones, and in polycross progeny tests. Information was needed on the performance of synthetic varieties in the first and advanced generations, on the optimum number of clones to include in a synthetic variety, and on parent-progeny relationships. Clones with high general combining ability for forage yield as measured by polycross progeny tests, and in certain instances specific combining ability based on single-cross tests, were intercrossed in various ways to produce synthetic varieties. A group of synthetics varying in number of parents from 2 to 6 clones, having in some instances certain clones as common parents, was tested initially in the first generation of synthesis (referred to as Syn-1 from here on), later in the Syn-1 versus the Syn-2, and in some instances in the Syn-1, Syn-2, and Syn-3, and ultimately in the Syn-1,-2,-3, and -4 generations. The purposes of this bulletin are to report (1) comparative results obtained in yield trials involving the Syn-1,-2,-3, and -4 generations of 5 two-clone and 14 multiple-clone synthetics at Lincoln, Nebraska, and Ithaca, New York, and (2) parent-progeny relationships