Arctic microorganisms respond more to elevated UV-B radiation than CO2

David Johnson, Colin D. Campbell, John A. Lee, Terry V. Callaghan and Dylan Gwynn-Jones (2002). Arctic microorganisms respond more to elevated UV-B radiation than CO2. Nature, 416 (6876) pp.82-83 Sponsorship: NERC / EU / Swedish Academy of Sciences RAE2008

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

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

Surface Reconstruction from Multiple Views using Rational B-Splines

A method for reconstructing 3D rational B-spline surfaces from multiple views is proposed. The method takes advantage of the projective invariance properties of rational B-splines. Given feature correspondences in multiple views, the 3D surface is reconstructed via a four step framework. First, corresponding features in each view are given an initial surface parameter value (s; t), and a 2D B-spline is fitted in each view. After this initialization, an iterative minimization procedure alternates between updating the 2D B-spline control points and re-estimating each feature's (s; t). Next, a non-linear minimization method is used to upgrade the 2D B-splines to 2D rational B-splines, and obtain a better fit. Finally, a factorization method is used to reconstruct the 3D B-spline surface given 2D B-splines in each view. This surface recovery method can be applied in both the perspective and orthographic case. The orthographic case allows the use of additional constraints in the recovery. Experiments with real and synthetic imagery demonstrate the efficacy of the approach for the orthographic case.

Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.

ARTMAP: Supervised Real-Time Learning and Classification of Nonstationary Data by a Self-Organizing Neural Network

This article introduces a new neural network architecture, called ARTMAP, that autonomously learns to classify arbitrarily many, arbitrarily ordered vectors into recognition categories based on predictive success. This supervised learning system is built up from a pair of Adaptive Resonance Theory modules (ARTa and ARTb) that are capable of self-organizing stable recognition categories in response to arbitrary sequences of input patterns. During training trials, the ARTa module receives a stream {a^(p)} of input patterns, and ARTb receives a stream {b^(p)} of input patterns, where b^(p) is the correct prediction given a^(p). These ART modules are linked by an associative learning network and an internal controller that ensures autonomous system operation in real time. During test trials, the remaining patterns a^(p) are presented without b^(p), and their predictions at ARTb are compared with b^(p). Tested on a benchmark machine learning database in both on-line and off-line simulations, the ARTMAP system learns orders of magnitude more quickly, efficiently, and accurately than alternative algorithms, and achieves 100% accuracy after training on less than half the input patterns in the database. It achieves these properties by using an internal controller that conjointly maximizes predictive generalization and minimizes predictive error by linking predictive success to category size on a trial-by-trial basis, using only local operations. This computation increases the vigilance parameter ρa of ARTa by the minimal amount needed to correct a predictive error at ARTb�� Parameter ρa calibrates the minimum confidence that ARTa must have in a category, or hypothesis, activated by an input a^(p) in order for ARTa to accept that category, rather than search for a better one through an automatically controlled process of hypothesis testing. Parameter ρa is compared with the degree of match between a^(p) and the top-down learned expectation, or prototype, that is read-out subsequent to activation of an ARTa category. Search occurs if the degree of match is less than ρa. ARTMAP is hereby a type of self-organizing expert system that calibrates the selectivity of its hypotheses based upon predictive success. As a result, rare but important events can be quickly and sharply distinguished even if they are similar to frequent events with different consequences. Between input trials ρa relaxes to a baseline vigilance pa When ρa is large, the system runs in a conservative mode, wherein predictions are made only if the system is confident of the outcome. Very few false-alarm errors then occur at any stage of learning, yet the system reaches asymptote with no loss of speed. Because ARTMAP learning is self stabilizing, it can continue learning one or more databases, without degrading its corpus of memories, until its full memory capacity is utilized.

Bonds between fibronectin and fibronectin-binding proteins on Staphylococcus aureus and Lactococcus lactis.

Bacterial cell-wall-associated fibronectin binding proteins A and B (FnBPA and FnBPB) form bonds with host fibronectin. This binding reaction is often the initial step in prosthetic device infections. Atomic force microscopy was used to evaluate binding interactions between a fibronectin-coated probe and laboratory-derived Staphylococcus aureus that are (i) defective in both FnBPA and FnBPB (fnbA fnbB double mutant, DU5883), (ii) capable of expressing only FnBPA (fnbA fnbB double mutant complemented with pFNBA4), or (iii) capable of expressing only FnBPB (fnbA fnbB double mutant complemented with pFNBB4). These experiments were repeated using Lactococcus lactis constructs expressing fnbA and fnbB genes from S. aureus. A distinct force signature was observed for those bacteria that expressed FnBPA or FnBPB. Analysis of this force signature with the biomechanical wormlike chain model suggests that parallel bonds form between fibronectin and FnBPs on a bacterium. The strength and covalence of bonds were evaluated via nonlinear regression of force profiles. Binding events were more frequent (p < 0.01) for S. aureus expressing FnBPA or FnBPB than for the S. aureus double mutant. The binding force, frequency, and profile were similar between the FnBPA and FnBPB expressing strains of S. aureus. The absence of both FnBPs from the surface of S. aureus removed its ability to form a detectable bond with fibronectin. By contrast, ectopic expression of FnBPA or FnBPB on the surface of L. lactis conferred fibronectin binding characteristics similar to those of S. aureus. These measurements demonstrate that fibronectin-binding adhesins FnBPA and FnBPB are necessary and sufficient for the binding of S. aureus to prosthetic devices that are coated with host fibronectin.

Adenovirus F protein as a delivery vehicle for botulinum B.

BACKGROUND: Immunization with recombinant carboxyl-terminal domain of the heavy chain (Hc domain) of botulinum neurotoxin (BoNT) stimulates protective immunity against native BoNT challenge. Most studies developing a botulism vaccine have focused on the whole Hc; however, since the principal protective epitopes are located within beta-trefoil domain (Hcbetatre), we hypothesize that immunization with the Hcbetatre domain is sufficient to confer protective immunity. In addition, enhancing its uptake subsequent to nasal delivery prompted development of an alternative vaccine strategy, and we hypothesize that the addition of targeting moiety adenovirus 2 fiber protein (Ad2F) may enhance such uptake during vaccination. RESULTS: The Hcbetatre serotype B immunogen was genetically fused to Ad2F (Hcbetatre/B-Ad2F), and its immunogenicity was tested in mice. In combination with the mucosal adjuvant, cholera toxin (CT), enhanced mucosal IgA and serum IgG Ab titers were induced by nasal Hcbetatre-Ad2F relative to Hcbetatre alone; however, similar Ab titers were obtained upon intramuscular immunization. These BoNT/B-specific Abs induced by nasal immunization were generally supported in large part by Th2 cells, as opposed to Hcbetatre-immunized mice that showed more mixed Th1 and Th2 cells. Using a mouse neutralization assay, sera from animals immunized with Hcbetatre and Hcbetatre-Ad2F protected mice against 2.0 LD50. CONCLUSION: These results demonstrate that Hcbetatre-based immunogens are highly immunogenic, especially when genetically fused to Ad2F, and Ad2F can be exploited as a vaccine delivery platform to the mucosa.

Human CD19 and CD40L deficiencies impair antibody selection and differentially affect somatic hypermutation.

Individuals with genetic defects in CD40 ligand (CD40L) or B-cell antigen receptor coreceptor molecules CD19 and CD81 suffer from an antibody deficiency. Still, these patients carry low levels of memory B cells and serum antibodies.

Characterization of B cells in muscle-specific kinase antibody myasthenia gravis.

OBJECTIVE: To characterize B-cell subsets in patients with muscle-specific tyrosine kinase (MuSK) myasthenia gravis (MG). METHODS: In accordance with Human Immunology Project Consortium guidelines, we performed polychromatic flow cytometry and ELISA assays in peripheral blood samples from 18 patients with MuSK MG and 9 healthy controls. To complement a B-cell phenotype assay that evaluated maturational subsets, we measured B10 cell percentages, plasma B cell-activating factor (BAFF) levels, and MuSK antibody titers. Immunologic variables were compared with healthy controls and clinical outcome measures. RESULTS: As expected, patients treated with rituximab had high percentages of transitional B cells and plasmablasts and thus were excluded from subsequent analysis. The remaining patients with MuSK MG and controls had similar percentages of total B cells and naïve, memory, isotype-switched, plasmablast, and transitional B-cell subsets. However, patients with MuSK MG had higher BAFF levels and lower percentages of B10 cells. In addition, we observed an increase in MuSK antibody levels with more severe disease. CONCLUSIONS: We found prominent B-cell pathology in the distinct form of MG with MuSK autoantibodies. Increased BAFF levels have been described in other autoimmune diseases, including acetylcholine receptor antibody-positive MG. This finding suggests a role for BAFF in the survival of B cells in MuSK MG, which has important therapeutic implications. B10 cells, a recently described rare regulatory B-cell subset that potently blocks Th1 and Th17 responses, were reduced, which suggests a potential mechanism for the breakdown in immune tolerance in patients with MuSK MG.

Dominant Splice Site Mutations in PIK3R1 Cause Hyper IgM Syndrome, Lymphadenopathy and Short Stature.

The purpose of this research was to use next generation sequencing to identify mutations in patients with primary immunodeficiency diseases whose pathogenic gene mutations had not been identified. Remarkably, four unrelated patients were found by next generation sequencing to have the same heterozygous mutation in an essential donor splice site of PIK3R1 (NM_181523.2:c.1425 + 1G > A) found in three prior reports. All four had the Hyper IgM syndrome, lymphadenopathy and short stature, and one also had SHORT syndrome. They were investigated with in vitro immune studies, RT-PCR, and immunoblotting studies of the mutation's effect on mTOR pathway signaling. All patients had very low percentages of memory B cells and class-switched memory B cells and reduced numbers of naïve CD4+ and CD8+ T cells. RT-PCR confirmed the presence of both an abnormal 273 base-pair (bp) size and a normal 399 bp size band in the patient and only the normal band was present in the parents. Following anti-CD40 stimulation, patient's EBV-B cells displayed higher levels of S6 phosphorylation (mTOR complex 1 dependent event), Akt phosphorylation at serine 473 (mTOR complex 2 dependent event), and Akt phosphorylation at threonine 308 (PI3K/PDK1 dependent event) than controls, suggesting elevated mTOR signaling downstream of CD40. These observations suggest that amino acids 435-474 in PIK3R1 are important for its stability and also its ability to restrain PI3K activity. Deletion of Exon 11 leads to constitutive activation of PI3K signaling. This is the first report of this mutation and immunologic abnormalities in SHORT syndrome.

Comparison of the thermodynamics and base-pair dynamics of a full LNA:DNA duplex and of the isosequential DNA:DNA duplex

Locked nucleic acids (LNA), conformationally restricted nucleotide analogues, are known to enhance pairing stability and selectivity toward complementary strands. With the aim to contribute to a better understanding of the origin of these effects, the structure, thermal stability, hybridization thermodynamics, and base-pair dynamics of a full-LNA:DNA heteroduplex and of its isosequential DNA:DNA homoduplex were monitored and compared. CD measurements highlight differences in the duplex structures: the homoduplex and heteroduplex present B-type and A-type helical conformations, respectively. The pairing of the hybrid duplex is characterized, at all temperatures monitored (between 15 and 37 degrees C), by a larger stability constant but a less favorable enthalpic term. A major contribution to this thermodynamic profile emanates from the presence of a hairpin structure in the LNA single strand which contributes favorably to the entropy of interaction but leads to an enthalpy penalty upon duplex formation. The base-pair opening dynamics of both systems was monitored by NMR spectroscopy via imino protons exchange measurements. The measurements highlight that hybrid G-C base-pairs present a longer base-pair lifetime and higher stability than natural G-C base-pairs, but that an LNA substitution in an A-T base-pair does not have a favorable effect on the stability. The thermodynamic and dynamic data confirm a more favorable stacking of the bases in the hybrid duplex. This study emphasizes the complementarities between dynamic and thermodynamical studies for the elucidation of the relevant factors in binding events.

Are the reference values of B cell subpopulations used in adults for classification of common variable immunodeficiencies appropriate for children?

Detailed phenotypic characterization of B cell subpopulations is of utmost importance for the diagnosis and management of humoral immunodeficiencies, as they are used for classification of common variable immunodeficiencies. Since age-specific reference values remain scarce in the literature, we analysed by flow cytometry the proportions and absolute values of total, memory, switched memory and CD21(-/low) B cells in blood samples from 168 healthy children (1 day to 18 years) with special attention to the different subpopulations of CD21(low) B cells. The percentages of total memory B cells and their subsets significantly increased up to 5-10 years. In contrast, the percentages of immature CD21(-) B cells and of immature transitional CD21(low)CD38(hi) B cells decreased progressively with age, whereas the percentage of CD21(low) CD38(low) B cells remained stable during childhood. Our data stress the importance of age-specific reference values for the correct interpretation of B cell subsets in children as a diagnostic tool in immunodeficiencies.

Erratum: Fundamental amplitude noise limitations to supercontinuum spectra generated in a microstructured fiber (Appl. Phys. B (2003) 77 (269-277))

SCOPUS: er.j

Multi-physics modelling for the fabrication, packaging and reliability of micro-systems components

The latest advances in multi-physics modelling both using high fidelity techniques and reduced order and behavioural models will be discussed. Particular focus will be given to the application and validation of these techniques for modelling the fabrication, packaging and subsequent reliability of micro-systems based components. The paper will discuss results from a number of research projects with particular emphasis on the techniques being developed in a major UK Goverment funded project - 3D-MINTEGRATION (www.3d-mintegration.com).