Higher-order CpG-DNA stimulation reveals distinct activation requirements for marginal zone and follicular B cells in lupus mice

Mouse follicular B cells express TLR9 and respond vigorously to stimulation with single-stranded CpG-oligodeoxynucleotides (ODN). Surprisingly, follicular B cells do not respond to direct stimulation with other TLR9 ligands, such as bacterial DNA or class A(D) CpG-ODN capable of forming higher-order structures, unless other cell types are present. Here, we show that priming with interferons or with B cell-activating factor, or simultaneous co-engagement of the B cell receptor for antigen (BCR), can overcome this unresponsiveness. The effect of interferons occurs at the transcriptional level and is mediated through an autocrine/paracrine loop, which is dependent on IRF-1, IL-6 and IL-12 p40. We hypothesize that the lack of bystander activation of follicular B cells with more complex CpG ligands may be an important safety mechanism for avoiding autoimmunity. This will prevent resting B cells from responding to foreign or self-derived hypomethylated double-stranded CpG ligands unless these ligands are either delivered through the B cell receptor or under conditions where B cells are simultaneously co-engaged by activated plasmacytoid dendritic cells or TH1 cells. A corollary is that the heightened responsiveness of lupus B cells to TLR9-induced stimulation cannot be ascribed to unprimed follicular B cells, but is rather mediated by hypersensitive marginal zone B cells.

Refinement of higher-order logic programs

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda abstraction. We use a higher-order type and term system to describe programs, and provide a semantics for the higher-order language and refinement. The calculus is illustrated by refinement examples.

Modeling diffraction and imaging of laser beams by the mode-expansion method

We present a new method of modeling imaging of laser beams in the presence of diffraction. Our method is based on the concept of first orthogonally expanding the resultant diffraction field (that would have otherwise been obtained by the laborious application of the Huygens diffraction principle) and then representing it by an effective multimodal laser beam with different beam parameters. We show not only that the process of obtaining the new beam parameters is straightforward but also that it permits a different interpretation of the diffraction-caused focal shift in laser beams. All of the criteria that we have used to determine the minimum number of higher-order modes needed to accurately represent the diffraction field show that the mode-expansion method is numerically efficient. Finally, the characteristics of the mode-expansion method are such that it allows modeling of a vast array of diffraction problems, regardless of the characteristics of the incident laser beam, the diffracting element, or the observation plane. (C) 2005 Optical Society of America.