Study of state-of-the-art static inverter design Final report, 6 Jan. - 6 Jun. 1966

Multiple purpose inverter design based on phase demodulated inverter circuit selected from state-of-the-art assessment of ten inverter circuit

Application of phage display to high throughput antibody generation and characterization.

We have created a high quality phage display library containing over 1010 human antibodies and describe its use in the generation of antibodies on an unprecedented scale. We have selected, screened and sequenced over 38,000 recombinant antibodies to 292 antigens, yielding over 7,200 unique clones. 4,400 antibodies were characterized by specificity testing and detailed sequence analysis and the data/clones are available online. Sensitive detection was demonstrated in a bead based flow cytometry assay. Furthermore, positive staining by immunohistochemistry on tissue microarrays was found for 37% (143/381) of antibodies. Thus, we have demonstrated the potential of and illuminated the issues associated with genome-wide monoclonal antibody generation.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Cellular expression, trafficking, and function of two isoforms of human ULBP5/RAET1G

Background: The activating immunoreceptor NKG2D is expressed on Natural Killer (NK) cells and subsets of T cells. NKG2D contributes to anti-tumour and anti-viral immune responses in vitro and in vivo. The ligands for NKG2D in humans are diverse proteins of the MIC and ULBP/RAET families that are upregulated on the surface of virally infected cells and tumours. Two splicing variants of ULBP5/RAET1G have been cloned previously, but not extensively characterised. Methodology/Principal Findings: We pursue a number of approaches to characterise the expression, trafficking, and function of the two isoforms of ULBP5/RAET1G. We show that both transcripts are frequently expressed in cell lines derived from epithelial cancers, and in primary breast cancers. The full-length transcript, RAET1G1, is predicted to encode a molecule with transmembrane and cytoplasmic domains that are unique amongst NKG2D ligands. Using specific anti-RAET1G1 antiserum to stain tissue microarrays we show that RAET1G1 expression is highly restricted in normal tissues. RAET1G1 was expressed at a low level in normal gastrointestinal epithelial cells in a similar pattern to MICA. Both RAET1G1 and MICA showed increased expression in the gut of patients with celiac disease. In contrast to healthy tissues the RAET1G1 antiserum stained a wide variety or different primary tumour sections. Both endogenously expressed and transfected RAET1G1 was mainly found inside the cell, with a minority of the protein reaching the cell surface. Conversely the truncated splicing variant of RAET1G2 was shown to encode a soluble molecule that could be secreted from cells. Secreted RAET1G2 was shown to downregulate NKG2D receptor expression on NK cells and hence may represent a novel tumour immune evasion strategy. Conclusions/Significance: We demonstrate that the expression patterns of ULBP5RAET1G are very similar to the well-characterised NKG2D ligand, MICA. However the two isoforms of ULBP5/RAET1G have very different cellular localisations that are likely to reflect unique functionality

A Calculational Deductive System for Linear Temporal Logic

This article surveys the linear temporal logic (LTL) literature and presents all the LTL theorems from the survey, plus many new ones, in a calculational deductive system. Calculational deductive systems, developed by Dijkstra and Scholten and extended by Gries and Schneider, are based on only four inference rules - Substitution, Leibniz, Equanimity, and Transitivity. Inference rules in the older Hilbert-style systems, notably modus ponens, appear as theorems in this calculational deductive system. This article extends the calculational deductive system of Gries and Schneider to LTL, using only the same four inference rules. Although space limitations preclude giving a proof of every theorem in this article, every theorem has been proved with calculational logic