Fitness of hybrids between rapeseed (Brassica napus) and wild Brassica rapa in natural habitats

J. Allainguillaume, M. Alexander, J. M. Bullock, M. Saunders, C. J. Allender, G. King, C. S. Ford, M. J. Wilkinson. (2006). Fitness of hybrids between rapeseed Brassica napus and wild Brassica rapa in natural habitats. Molecular Ecology, 15 (4) 1175-1184. RAE2008

The Undecidability of Mitchell's Subtyping Relationship

Mitchell defined and axiomatized a subtyping relationship (also known as containment, coercibility, or subsumption) over the types of System F (with "→" and "∀"). This subtyping relationship is quite simple and does not involve bounded quantification. Tiuryn and Urzyczyn quite recently proved this subtyping relationship to be undecidable. This paper supplies a new undecidability proof for this subtyping relationship. First, a new syntax-directed axiomatization of the subtyping relationship is defined. Then, this axiomatization is used to prove a reduction from the undecidable problem of semi-unification to subtyping. The undecidability of subtyping implies the undecidability of type checking for System F extended with Mitchell's subtyping, also known as "F plus eta".

Typability is Undecidable for F+Eta

System F is the well-known polymorphically-typed λ-calculus with universal quantifiers ("∀"). F+η is System F extended with the eta rule, which says that if term M can be given type τ and M η-reduces to N, then N can also be given the type τ. Adding the eta rule to System F is equivalent to adding the subsumption rule using the subtyping ("containment") relation that Mitchell defined and axiomatized [Mit88]. The subsumption rule says that if M can be given type τ and τ is a subtype of type σ, then M can be given type σ. Mitchell's subtyping relation involves no extensions to the syntax of types, i.e., no bounded polymorphism and no supertype of all types, and is thus unrelated to the system F≤("F-sub"). Typability for F+η is the problem of determining for any term M whether there is any type τ that can be given to it using the type inference rules of F+η. Typability has been proven undecidable for System F [Wel94] (without the eta rule), but the decidability of typability has been an open problem for F+η. Mitchell's subtyping relation has recently been proven undecidable [TU95, Wel95b], implying the undecidability of "type checking" for F+η. This paper reduces the problem of subtyping to the problem of typability for F+η, thus proving the undecidability of typability. The proof methods are similar in outline to those used to prove the undecidability of typability for System F, but the fine details differ greatly.

Use of oxygen sensors for the non destructive measurement of oxygen in packaged food and beverage products and its impact on product quality and shelf life

The principal objective of this thesis was to investigate the ability of reversible optical O2 sensors to be incorporated into food/beverage packaging systems to continuously monitor O2 levels in a non-destructive manner immediately postpackaging and over time. Residual levels of O2 present in packs can negatively affect product quality and subsequently, product shelf-life, especially for O2-sensitive foods/beverages. Therefore, the ability of O2 sensors to continuously monitor O2 levels present within food/beverage packages was considered commercially relevant in terms of identifying the consequences of residual O2 on product safety and quality over time. Research commenced with the development of a novel range of O2 sensors based on phosphorescent platinum and palladium octaethylporphyrin-ketones (OEPk) in nano-porous high density polyethylene (HDPE), polypropylene (PP) polytetrafluoroethylene (PTFE) polymer supports. Sensors were calibrated over a temperature range of -10°C to +40°C and deemed suitable for food and beverage packaging applications. This sensor technology was used and demonstrated itself effective in determining failures in packaging containment. This was clearly demonstrated in the packaging of cheese string products. The sensor technology was also assessed across a wide range of packaged products; beer, ready-to-eat salad products, bread and convenience-style, muscle-based processed food products. The O2 sensor technology performed extremely well within all packaging systems. The sensor technology adequately detected O2 levels in; beer bottles prior to and following pasteurisation, modified atmosphere (MA) packs of ready-to-eat salad packs as respiration progressed during product storage and MA packs of bread and convenience-style muscle-based products as mycological growth occurred in food packs over time in the presence and absence of ethanol emitters. The use of the technology, in conjunction with standard food quality assessment techniques, showed remarkable usefulness in determining the impact of actual levels of O2 on specific quality attributes. The O2 sensing probe was modified, miniaturised and automated to screen for the determination of total aerobic viable counts (TVC) in several fish species samples. The test showed good correlation with conventional TVC test (ISO:4833:2003), analytical performance and ruggedness with respect to variation of key assay parameters (probe concentration and pipetting volume). Overall, the respirometric fish TVC test was simple to use, possessed a dynamic microbial range (104-107 cfu/g sample), had an accuracy of +/- one log(cfu/g sample) and was rapid. Its ability to assess highly perishable products such as fish for total microbial growth in <12 hr demonstrates commercial potential.

Transmission of single HIV-1 genomes and dynamics of early immune escape revealed by ultra-deep sequencing.

We used ultra-deep sequencing to obtain tens of thousands of HIV-1 sequences from regions targeted by CD8+ T lymphocytes from longitudinal samples from three acutely infected subjects, and modeled viral evolution during the critical first weeks of infection. Previous studies suggested that a single virus established productive infection, but these conclusions were tempered because of limited sampling; now, we have greatly increased our confidence in this observation through modeling the observed earliest sample diversity based on vastly more extensive sampling. Conventional sequencing of HIV-1 from acute/early infection has shown different patterns of escape at different epitopes; we investigated the earliest escapes in exquisite detail. Over 3-6 weeks, ultradeep sequencing revealed that the virus explored an extraordinary array of potential escape routes in the process of evading the earliest CD8 T-lymphocyte responses--using 454 sequencing, we identified over 50 variant forms of each targeted epitope during early immune escape, while only 2-7 variants were detected in the same samples via conventional sequencing. In contrast to the diversity seen within epitopes, non-epitope regions, including the Envelope V3 region, which was sequenced as a control in each subject, displayed very low levels of variation. In early infection, in the regions sequenced, the consensus forms did not have a fitness advantage large enough to trigger reversion to consensus amino acids in the absence of immune pressure. In one subject, a genetic bottleneck was observed, with extensive diversity at the second time point narrowing to two dominant escape forms by the third time point, all within two months of infection. Traces of immune escape were observed in the earliest samples, suggesting that immune pressure is present and effective earlier than previously reported; quantifying the loss rate of the founder virus suggests a direct role for CD8 T-lymphocyte responses in viral containment after peak viremia. Dramatic shifts in the frequencies of epitope variants during the first weeks of infection revealed a complex interplay between viral fitness and immune escape.

VegeDog: Formalism, vegetarian dogs, and partonomies in transition

The pragmatics of 'vegetarian' and 'carnivorous' exhibits an asymmetry that we put in evidence by analyzing a newspaper report about vegetarian dog-owners imposing a vegetarian diet on their pets. More fundamental is the problem of partonomy versus containment, for which we attempt a naive but formal analysis applied to ingestion and the food chain, an issue we derive from the same text analyzed. Our formal tools belong in commonsense modelling, a domain of artificial intelligence related to extra-linguistic knowledge and pragmatics. We first provide an interpretation of events analyzed, and express it graphically in a semantic-network related representation, and propose an alternative that we express in terms of a modal logic, avoiding the full representational power of Hayes's "ontology for liquids".

Late winter under ice pelagic microbial communities in the high Arctic Ocean and the impact of short-term exposure to elevated CO2 levels

Polar Oceans are natural CO2 sinks because of the enhanced solubility of CO2 in cold water. The Arctic Ocean is at additional risk of accelerated ocean acidification (OA) because of freshwater inputs from sea ice and rivers, which influence the carbonate system. Winter conditions in the Arctic are of interest because of both cold temperatures and limited CO2 venting to the atmosphere when sea ice is present. Earlier OA experiments on Arctic microbial communities conducted in the absence of ice cover, hinted at shifts in taxa dominance and diversity under lowered pH. The Catlin Arctic Survey provided an opportunity to conduct in situ, under-ice, OA experiments during late Arctic winter. Seawater was collected from under the sea ice off Ellef Ringnes Island, and communities were exposed to three CO2 levels for 6 days. Phylogenetic diversity was greater in the attached fraction compared to the free-living fraction in situ, in the controls and in the treatments. The dominant taxa in all cases were Gammaproteobacteria but acidification had little effect compared to the effects of containment. Phylogenetic net relatedness indices suggested that acidification may have decreased the diversity within some bacterial orders, but overall there was no clear trend. Within the experimental communities, alkalinity best explained the variance among samples and replicates, suggesting subtle changes in the carbonate system need to be considered in such experiments. We conclude that under ice communities have the capacity to respond either by selection or phenotypic plasticity to heightened CO2 levels over the short term.

Treatment of effluents contaminated with prions. Chemical reactor design

The control and elimination of prionic infective agents that may be present in the effluents, turns out to be a complicated mechanism inside a High Containment bological Facility. There are two ways to carry out this neutralization: Installation of thermal systems to ensure achieve a minimum temperature of 134 ° C sterilization plateau for a residence time of 18 minutes, and the use of chemical reactors based on the addition of sodium hypochlorite so the mixture maintained 2% of free chlorine during the reaction period. This study presents the design phases, elements and benefits, of a chemical reactor that allows the treatment of prion effluents in order to serve as a model to biocontainment facilities with areas of animal experimentation, who want to develop their work with prions.

Binding and degradation of fibrinogen by Bacteroides fragilis and characterization of a 54 kDa fibrinogen-binding protein

Bacteroides fragilis is a bacterium that resides in the normal human gastro-intestinal tract; however, it is also the most commonly isolated Gram-negative obligate anaerobe from human clinical infections, such as intra-abdominal abscesses, and the most common cause of anaerobic bacteraemia. Abscess formation is important in bacterial containment, limiting dissemination of infection and bacteraemia. In this study, we investigated B. fragilis binding and degradation of human fibrinogen, the major structural component involved in fibrin abscess formation. We have shown that B. fragilis NCTC9343 binds human fibrinogen. A putative Bacteroides fragilis fibrinogen-binding protein, designated BF-FBP, identified in the genome sequence of NCTC9343, was cloned and expressed in Escherichia coli. The purified recombinant BF-FBP bound primarily to the human fibrinogen Bß-chain. In addition, we have identified fibrinogenolytic activity in B. fragilis exponential phase culture supernatants, associated with fibrinogenolytic metalloproteases in NCTC9343 and 638R, and cysteine protease activity in YCH46. All nine clinical isolates of B. fragilis examined degraded human fibrinogen; with eight isolates, initial A-chain degradation was observed, with varying Bß-chain and -chain degradation. With one blood culture isolate, Bß-chain and -chain degradation occurred first, followed by subsequent A-chain degradation. Our data raise the possibility that the fibrinogen-binding protein of B. fragilis, along with a variety of fibrinogenolytic proteases, may be an important virulence factor that facilitates dissemination of infection via reduction or inhibition of abscess formation.

Securing the human in critical security studies: the insecurity of a secure ethics

This article argues that Critical Security Studies (CSS), exemplified by Ken Booth’s Theory of World Security, has outlined an ethics of security as emancipation of the ‘human’, but also a highly problematic security of ethics. After drawing out how the ethics of CSS operates, we examine the security of this ethics by examining it against a hard case, that of the 199899 Kosovo crisis. Confronting this concrete situation, we draw out three possibilities for action used at the time to secure the human: ‘humanitarian containment’, military intervention and hospitality. Assessing each against Booth’s requirements for ethical security action, we counter that, in fact, no option was without risks, pitfalls and ambiguities. Ultimately, if any action to promote the security and the emancipation of the human is possible, it must embrace and prioritise the fundamental insecurity of ethics, or else find itself paralysed through a fear of making situations worse.

Electronic Circuit Packages

This invention relates to electronic circuit packages designed to hold high frequency circuits operating particularly, but not exclusively, in the microwave, millimeter wave, and sub-millimeter wave bands. The invention provides a package incorporating a cavity in a material for containment of the circuits, wherein the package further incorporates at least one conductive surface mounted on an inner surface extending into the cavity, the conductivity thereof being adapted to be at least partially absorbent to electromagnetic radiation. The conductive surface according to the present invention will tend to attenuate electromagnetic radiation present within the cavity, and so help to prevent undesired coupling from one point to another within the cavity. The conductivity of the conductive material is preferably arranged to match the impedance of the radiation mode estimated or computed to be present within the cavity.

‘Escaping the Cage of Ethno-National Conflict in Northern Ireland:The Importance of Transnational Networks

The paper uses research on the EU Special Programme for Peace and Reconciliation in Northern Ireland and the Border Counties of the Republic of Ireland (Peace II) to interrogate the relationship between inter-nationalization, transnationalism and the amelioration of a deeply territorialized ethno-national conflict. It concludes that inter-national cooperation and territorial containment strategies risk enhancing zero-sum territorial politics without more coherent articulation of strategies for building transnational networks of cooperation and conflict resolution

Product standardisation as a tool to control prescribing costs a case study of alginate liquid preparations

Introduction Product standardisation involves promoting the prescribing of pre-selected products within a particular category across a healthcare region and is designed to improve patient safety by promoting continuity of medicine use across the primary/secondary care interface, in addition to cost containment without compromising clinical care (i.e. maintaining safety and efficacy). Objectives To examine the impact of product standardisation on the prescribing of compound alginate preparations within primary care in Northern Ireland. Methods Data were obtained on alginate prescribing from the Northern Ireland Central Services Agency (Prescription Pricing Branch), covering a period of 43 months. Two standardisation promotion interventions were carried out at months 18 and 33. In addition to conventional statistical analyses, a simple interrupted time series analysis approach, using graphical interpretation, was used to facilitate interpretation of the data. Results There was a significant increase in the prescribed share of the preferred alginate product in each of the four health boards in Northern Ireland and a decrease in the cost per Defined Daily Dose for alginate liquid preparations overall. Compliance with the standardisation policy was, however, incomplete and was influenced to a marked degree by the activities of the pharmaceutical industry. The overall economic impact of the prescribing changes during the study was small (3.1%). Conclusion The findings suggested that product standardisation significantly influenced the prescribing pattern for compound alginate liquid preparations within primary care across Northern Ireland. © 2012 The Authors. IJPP © 2012 Royal Pharmaceutical Society.

Multibody modelling of a TB31 and a TB32 crash test with vertical portable concrete barriers: model verification and sensitivity analysis.

In this article the multibody simulation software package MADYMO for analysing and optimizing occupant safety design was used to model crash tests for Normal Containment barriers in accordance with EN 1317. The verification process was carried out by simulating a TB31 and a TB32 crash test performed on vertical portable concrete barriers and by comparing the numerical results to those obtained experimentally. The same modelling approach was applied to both tests to evaluate the predictive capacity of the modelling at two different impact speeds. A sensitivity analysis of the vehicle stiffness was also carried out. The capacity to predict all of the principal EN1317 criteria was assessed for the first time: the acceleration severity index, the theoretical head impact velocity, the barrier working width and the vehicle exit box. Results showed a maximum error of 6% for the acceleration severity index and 21% for theoretical head impact velocity for the numerical simulation in comparison to the recorded data. The exit box position was predicted with a maximum error of 4°. For the working width, a large percentage difference was observed for test TB31 due to the small absolute value of the barrier deflection but the results were well within the limit value from the standard for both tests. The sensitivity analysis showed the robustness of the modelling with respect to contact stiffness increase of ±20% and ±40%. This is the first multibody model of portable concrete barriers that can reproduce not only the acceleration severity index but all the test criteria of EN 1317 and is therefore a valuable tool for new product development and for injury biomechanics research.