A Saito-Tomita-Lusin theorem for JB*-triples and applications

A theorem of Lusin is proved in the non-ordered context of JB*-triples. This is applied to obtain versions of a general transitivity theorem and to deduce refinements of facial structure in closed unit ballls of JB*-triples and duals.

Experiences applying OVM 2.0 to an 8B/10B RTL design

The SystemVerilog implementation of the Open Verification Methodology (OVM) is exercised on an 8b/10b RTL open core design in the hope of being a simple yet complete exercise to expose the key features of OVM. Emphasis is put onto the actual usage of the verification components rather than a complete verification flow aiming at being of help to readers unfamiliar with OVM seeking to apply the methodology to their own designs. A link that takes you to the complete code is given to reinforce this aim. We found the methodology easy to use but intimidating at first glance specially for someone with little experience in object oriented programming. However it is clear to see the flexibility, portability and reusability of verification code once you manage to give some first steps.

The Aqua-Planet Experiment (APE): CONTROL SST Simulation

Climate simulations by 16 atmospheric general circulation models (AGCMs) are compared on an aqua-planet, a water-covered Earth with prescribed sea surface temperature varying only in latitude. The idealised configuration is designed to expose differences in the circulation simulated by different models. Basic features of the aqua-planet climate are characterised by comparison with Earth. The models display a wide range of behaviour. The balanced component of the tropospheric mean flow, and mid-latitude eddy covariances subject to budget constraints, vary relatively little among the models. In contrast, differences in damping in the dynamical core strongly influence transient eddy amplitudes. Historical uncertainty in modelled lower stratospheric temperatures persists in APE. Aspects of the circulation generated more directly by interactions between the resolved fluid dynamics and parameterized moist processes vary greatly. The tropical Hadley circulation forms either a single or double inter-tropical convergence zone (ITCZ) at the equator, with large variations in mean precipitation. The equatorial wave spectrum shows a wide range of precipitation intensity and propagation characteristics. Kelvin mode-like eastward propagation with remarkably constant phase speed dominates in most models. Westward propagation, less dispersive than the equatorial Rossby modes, dominates in a few models or occurs within an eastward propagating envelope in others. The mean structure of the ITCZ is related to precipitation variability, consistent with previous studies. The aqua-planet global energy balance is unknown but the models produce a surprisingly large range of top of atmosphere global net flux, dominated by differences in shortwave reflection by clouds. A number of newly developed models, not optimised for Earth climate, contribute to this. Possible reasons for differences in the optimised models are discussed. The aqua-planet configuration is intended as one component of an experimental hierarchy used to evaluate AGCMs. This comparison does suggest that the range of model behaviour could be better understood and reduced in conjunction with Earth climate simulations. Controlled experimentation is required to explore individual model behaviour and investigate convergence of the aqua-planet climate with increasing resolution.

The p85 subunit of phosphatidylinositol 3-kinase associates with the Fc receptor gamma-chain and linker for activitor of T cells (LAT) in platelets stimulated by collagen and convulxin.

There is extensive evidence to show that phosphatidylinositol 3-kinase plays an important role in signaling by the immune family of receptors, which has recently been extended to include the platelet collagen receptor, glycoprotein VI. In this report we present two potential mechanisms for the regulation of this enzyme on stimulation of platelets by collagen. We show that on stimulation with collagen, the regulatory subunit of phosphatidylinositol 3-kinase associates with the tyrosine-phosphorylated form of the adapter protein linker for activator of T Cells (LAT) and the tyrosine-phosphorylated immunoreceptor tyrosine-based activation motif of the Fc receptor gamma-chain (a component of the collagen receptor complex that includes glycoprotein VI). The associations of the Fc receptor gamma-chain and LAT with p85 are rapid and supported by the Src-homology 2 domains of the regulatory subunit. We did not obtain evidence to support previous observations that the regulatory subunit of phosphatidylinositol 3-kinase is regulated through association with the tyrosine kinase Syk. The present results provide a molecular basis for the regulation of the p85/110 form of phosphatidylinositol 3-kinase by GPVI, the collagen receptor that underlies activation.

The Fc receptor gamma-chain and the tyrosine kinase Syk are essential for activation of mouse platelets by collagen.

Activation of mouse platelets by collagen is associated with tyrosine phosphorylation of multiple proteins including the Fc receptor gamma-chain, the tyrosine kinase Syk and phospholipase Cgamma2, suggesting that collagen signals in a manner similar to that of immune receptors. This hypothesis has been tested using platelets from mice lacking the Fc receptor gamma-chain or Syk. Tyrosine phosphorylation of Syk and phospholipase Cgamma2 by collagen stimulation is absent in mice lacking the Fc receptor gamma-chain. Tyrosine phosphorylation of phospholipase Cgamma2 by collagen stimulation is also absent in mice platelets which lack Syk, although phosphorylation of the Fc receptor gamma-chain is maintained. In contrast, tyrosine phosphorylation of platelet proteins by the G protein-coupled receptor agonist thrombin is maintained in mouse platelets deficient in Fc receptor gamma-chain or Syk. The absence of Fc receptor gamma-chain or Syk is accompanied by a loss of secretion and aggregation responses in collagen- but not thrombin-stimulated platelets. These observations provide the first direct evidence of an essential role for the immunoreceptor tyrosine-based activation motif (ITAM) in signalling by a non-immune receptor stimulus.

Mast cell tryptase controls paracellular permeability of the intestine: role of protease-activated receptor 2 and beta-arrestins

Tight junctions between intestinal epithelial cells prevent ingress of luminal macromolecules and bacteria and protect against inflammation and infection. During stress and inflammation, mast cells mediate increased mucosal permeability by unknown mechanisms. We hypothesized that mast cell tryptase cleaves protease-activated receptor 2 (PAR2) on colonocytes to increase paracellular permeability. Colonocytes expressed PAR2 mRNA and responded to PAR2 agonists with increased [Ca2+]i. Supernatant from degranulated mast cells increased [Ca2+]i in colonocytes, which was prevented by a tryptase inhibitor, and desensitized responses to PAR2 agonist, suggesting PAR2 cleavage. When applied to the basolateral surface of colonocytes, PAR2 agonists and mast cell supernatant decreased transepithelial resistance, increased transepithelial flux of macromolecules, and induced redistribution of tight junction ZO-1 and occludin and perijunctional F-actin. When mast cells were co-cultured with colonocytes, mast cell degranulation increased paracellular permeability of colonocytes. This was prevented by a tryptase inhibitor. We determined the role of ERK1/2 and of beta-arrestins, which recruit ERK1/2 to PAR2 in endosomes and retain ERK1/2 in the cytosol, on PAR2-mediated alterations in permeability. An ERK1/2 inhibitor abolished the effects of PAR2 agonist on permeability and redistribution of F-actin. Down-regulation of beta-arrestins with small interfering RNA inhibited PAR2-induced activation of ERK1/2 and suppressed PAR2-induced changes in permeability. Thus, mast cells signal to colonocytes in a paracrine manner by release of tryptase and activation of PAR2. PAR2 couples to beta-arrestin-dependent activation of ERK1/2, which regulates reorganization of perijunctional F-actin to increase epithelial permeability. These mechanisms may explain the increased epithelial permeability of the intestine during stress and inflammation.

Ice-sheet configuration in the CMIP5/PMIP3 Last Glacial Maximum experiments

We describe the creation of a data set describing changes related to the presence of ice sheets, including ice-sheet extent and height, ice-shelf extent, and the distribution and elevation of ice-free land at the Last Glacial Maximum (LGM), which were used in LGM experiments conducted as part of the fifth phase of the Coupled Modelling Intercomparison Project (CMIP5) and the third phase of the Palaeoclimate Modelling Intercomparison Project (PMIP3). The CMIP5/PMIP3 data sets were created from reconstructions made by three different groups, which were all obtained using a model-inversion approach but differ in the assumptions used in the modelling and in the type of data used as constraints. The ice-sheet extent in the Northern Hemisphere (NH) does not vary substantially between the three individual data sources. The difference in the topography of the NH ice sheets is also moderate, and smaller than the differences between these reconstructions (and the resultant composite reconstruction) and ice-sheet reconstructions used in previous generations of PMIP. Only two of the individual reconstructions provide information for Antarctica. The discrepancy between these two reconstructions is larger than the difference for the NH ice sheets, although still less than the difference between the composite reconstruction and previous PMIP ice-sheet reconstructions. Although largely confined to the ice-covered regions, differences between the climate response to the individual LGM reconstructions extend over the North Atlantic Ocean and Northern Hemisphere continents, partly through atmospheric stationary waves. Differences between the climate response to the CMIP5/PMIP3 composite and any individual ice-sheet reconstruction are smaller than those between the CMIP5/PMIP3 composite and the ice sheet used in the last phase of PMIP (PMIP2).