Functional CD40 ligand is expressed by T cells in rheumatoid arthritis

CD40 ligand (CD40-L), a member of the tumor necrosis family of transmembrane glycoproteins, is rapidly and transiently expressed on the surface of recently activated CD4+ T cells. Interactions between CD40-L and CD40 induce B cell immunoglobulin production as well as monocyte activation and dendritic cell differentiation. Since these features characterize rheumatoid arthritis (RA), the expression and function of CD40-L in RA was examined. Freshly isolated RA peripheral blood (PB) and synovial fluid (SF)T cells expressed CD40-L mRNA as well as low level cell surface CD40-L. An additional subset of CD4+ RA SF T cells upregulated cell surface CD40-L expression within 15 min of in vitro activation even in the presence of cycloheximide, but soluble CD40-L was not found in SF. CD40-L expressed by RA T cells was functional, since RA PB and SF T cells but not normal PB T cells stimulated CD40-L-dependent B cell immunoglobulin production and dendritic cell IL-12 expression in the absence of prolonged in vitro T cell activation. In view of the diverse proinflammatory effects of CD40-L, this molecule is likely to play a central role in the perpetuation of rheumatoid synovitis. Of importance, blockade of CD40-L may prove highly effective as a disease modifying therapy for RA.

Effects of process modification and heat pump drying on physical and sensory properties of Chinese style shredded beef

Chinese-style dried, shredded meat is traditionally prepared by sequential cooking, shredding, pre-drying, and final drying (roasting) of lean meat. In this study, shredded dried beef (a(w)<0.6) was prepared by omitting roasting but prolonging pre-drying. Sensory scores of the modified product were lower than those for the traditional product. When heat pump drying replaced traditional oven drying, drying time was shortened without significant difference in quality attributes. Desorption curves were established for shredded beef at several drying temperatures.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.