A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

Herd immunity to filarial infection is a function of vector biting rate

Despite the existence of an impressive body of work on human immune responses against filarial infections, the occurrence of a protective response to infection remains unclear. Here, we use a combined modelling and comparative data analysis framework to address this issue for human infections with the filarial parasite, Wuchereria bancrofti. By analogy with previous work, the analysis involves the comparison of observed field patterns of infection with epidemiological patterns predicted by a mathematical model of parasite immunity. Unlike most other human helminths, which are transmitted by ingestion or dermal penetration, exposure to infection with lymphatic filariasis can be measured explicitly in terms of vector mosquito biting rates, thereby also allowing, probably for the first time, examination of the suggested role of exposure in generating herd immunity to macroparasites. Observed field patterns in this study were derived from 19 different published studies, which gave parallel estimates of community exposure rates and the corresponding age--prevalence patterns of infection, while predictions of the epidemiological impact of herd immunity were obtained using a catalytic model framework. The results provide the first conclusive evidence to date that variations in the observed age--prevalence patterns of infection in filariasis can be effectively explained by the occurrence of an exposure-driven acquisition of herd immunity. We discuss this result in terms of implications for the new World Health Organization-led initiative for the global control of this parasitic disease.     

Lead differentially modifies cytokine production in vitro and in vivo

An imbalance between helper T cell type 1 (Th1) and helper T cell type 2 (Th2) activation can result in immunodysregulations leading to impaired cell-mediated immunity with an increased incidence of infectious disease or cancer and/or aberrant humoral immunity that may culminate with an autoimmune disease. Mercury, a heavy-metal toxicant, is known to induce renal autoimmunity characterized by a predominant Th2 response. Lead, another metal toxicant, causes enhanced B cell activities and impairs host resistance to several bacterial and viral infections. In addition, Pb was reported to enhance Th2 proliferation and inhibit Th1 proliferation. The differential effects of Pb on Th subset activation have been further investigated. In vitro IL-4 production by a Th2 clone was significantly increased by the addition of PbCl2, whereas IFN gamma production by a Th1 clone was decreased by the addition of PbCl2. When BALB/c mice were subcutaneously exposed to PbCl2, ex vivo Il-4 production by anti-CD3-stimulated splenic T cells was enhanced, but IFN gamma production was inhibited. Additionally, the plasma IL-4 and IgE levels of Pb-exposed mice were increased, and the plasma IFN gamma levels were significantly lowered in the absence of any additional exogenous antigen. In vitro, ex vivo, and in vivo treatment with HgCl2 produced similar findings. This study is the first report of the preferential activation of a Th2 response by Pb in vivo and suggests that PB, like Hg, may induce autoimmune responses by upsetting the balance between Th1- and Th2-like cells, which could enhance production of antibodies to self antigens.     

Transendothelial insulin transport is not saturable in vivo. No evidence for a receptor-mediated process

The redistribution of spin-labeled phospholipid analogs across the plasma membrane of HepG2 cells, either in suspension or grown as monolayers, was investigated. After incorporation into the outer membrane leaflet spin-labeled aminophospholipids phosphatidylserine (PS) and phosphatidylethanolamine (PE) moved rapidly to the inner monolayer, whereas the analog of phosphatidylcholine (PC) disappeared more slowly from the outer leaflet. The fast, inward movement of the aminophospholipids was abolished after adenosine triphosphate (ATP)-depletion of cells, suggesting the presence of an aminophospholipid translocase in the plasma membrane of these cells. Compared with human red blood cells, the activity of the aminophospholipid translocase is two orders of magnitude higher in HepG2 cells. From these data, a transverse phospholipid asymmetry can be inferred with the aminophospholipids mainly concentrated on the inner monolayer and the choline-containing phospholipids on the outer leaflet. The relevance of the enrichment of PC in the outer membrane leaflet for the formation and composition of the bile is discussed.     

A base-pairing interaction between U2 and U6 small nuclear RNAs occurs in > 150S complexes in HeLa cell extracts: implications for the spliceosome assembly pathway

In mammalian cells, base pairing between the U2 and U6 small nuclear RNAs is required during pre-RNA splicing. We show by psoralen crosslinking of HeLa nuclear extract that U2.U6 base pairing occurs within abundant ribonucleoprotein complexes that sediment at > 150 S in glycerol gradients. All of the spliceosomal RNAs (U1, U2, U4, U5, and U6) cosediment with these large complexes, suggesting that they may be related to small nuclear RNA-containing structures called speckles/coiled bodies or snurposomes, which have been visualized in mammalian or amphibian nuclei, respectively. In contrast to nuclear extract, S100 extract, which is splicing-defective and lacks the > 150S complexes, does not contain base-paired U2.U6. However, U2.U6 base pairs form in S100 extract that has been made splicing-competent by supplementation with Ser/Arg-rich (SR) proteins, ATP, and an adenovirus splicing substrate. During splicing in supplemented S100 extract, U2.U6 base pairing precedes the appearance of splicing intermediates and occurs initially in an approximately 60S spliceosome complex but also in progressively larger (100-300 S) complexes. Possible functional relationships between the 60S spliceosome and the > 150S complexes are discussed.     

A general interaction analysis for large deformations

A method is presented for the finite element analysis of the interaction of geometrically and materially non-linear bodies. Interaction is considered at predefined interfaces. Equations for interaction forces are assembled via static condensation, and the solution for these forces is utilized for the full analysis of the problem. An interface function using the interpolating functions is defined to maintain the equilibrium of interaction forces and the displacement compatibility at the interface nodes. The method permits large rotations and slipping as well as the occurrence of new contacts at the interfaces. Additionally, solutions can be found using high- or low-order elements and when nodes at either side of the interface are not aligned.     

A new tool to measure pressure under burn garments

This article introduces a new tool to measure the pressure that is under pressure garments. The Iscan (Tekscan, Inc.) system uses a patented ultra-thin (0.007 inch) sensor with multiple sensing locations that sample continuously at 100 times per second. It is noninvasive, convenient, and quick. The study had two parts. First, we established the validity and reliability of the device. Next, garment/scar interface pressures were measured on new garments with use of the Iscan system. Four garment types were studied, with 10 measurements made in each group: Isotoner gloves (Smith & Nephew Roylan, Inc.); custom-fit pressure gloves; Tubigrip forearm sleeves (Seton Health Care Group); and custom-fit pressure forearm sleeves. Mean garment/scar interface pressures were 18 +/- 2 mm Hg for the Isotoner glove, 34 +/- 5 mm Hg for the custom-fit pressure glove, 20 +/- 7 mm Hg for the Tubigrip sleeve, and 35 +/- 6 mm Hg for the custom-fit sleeve. We concluded that the Iscan system can be used to measure pressure under pressure garments accurately and reliably, and that custom-fit hand and forearm garments provide more pressure than Isotoner gloves or Tubigrip sleeves.