Pathogenic mechanisms in the rheumatoid nodule: comparison of proinflammatory cytokine production and cell adhesion molecule expression in rheumatoid nodules and synovial membranes from the same patient

OBJECTIVE: To investigate the production of proinflammatory cytokines and expression of cell adhesion molecules in the rheumatoid nodule. METHODS: Cytokine content (tumor necrosis factor alpha [TNFalpha], interleukin-1beta [IL-1beta], and IL-1 receptor antagonist [IL-1Ra]), at the messenger RNA (mRNA) and protein levels, and cell adhesion molecule expression were studied in 16 rheumatoid nodules and 6 synovial membranes. RESULTS: Macrophages in the rheumatoid nodules contained TNFalpha, IL-1beta, and IL-1Ra mRNA and protein, particularly in perivascular cells of the stroma and in the palisading layer. All cell adhesion molecules studied were expressed in both the rheumatoid nodules and synovial membranes, with increased expression of E-selectin in the rheumatoid nodule compared with the synovial membrane, and with the absence of vascular cell adhesion molecule 1 expression on cells of the palisading layer in the rheumatoid nodule. CONCLUSION: The presence of similar proinflammatory cytokines and cell adhesion molecules in the rheumatoid nodule and synovial membrane suggests that similar pathogenic processes result in the chronic inflammation and tissue destruction in these lesions.     

Effect of pulpmill effluent on dissolved oxygen in a stratified estuary—I. Empirical observations

Pulpmill effluent discharged at the surface in Alberni Inlet is shown to prevent oxygen production in the stratum immediately beneath the halocline by restricting light penetration. This stratum is the source of marine water for entrainment in the halocline and to the upper mixed zone. This situation cannot be remedied by removal of BOD from the pulpmill effluent, rather the staining properties must be diminished or removed.     

Josephson junctions as self-oscillating mixers at 34 GHz

Adjustable point-contact Josephson junctions have been used as self-oscillating mixers at 34 GHz, with an intermediate frequency of 300 MHz. The average conversion loss was about 18 dB, but mismatch losses and waveguide losses may amount to 10 dB at present.     

The reversible oxidation of aromatic cation radicals to dications. Solvents of low nucleophilicity

Reversible behavior for both electron transfers for oxidation of aromatic compounds to cation radicals and dications was observed in several common electrolytic solvents. Nitriles, nitro compounds and dichloromethane can all be rendered essentially nucleophile free for voltammetric purposes simply by conducting the voltammetric measurements over neutral alumina shortly after the mixture has been stirred. Solvents containing trifluoroacetic acid and the corresponding acid anhydride are not only useful for voltammetry but can also be used to prepare stable solutions of cation radicals and dications. Equilibrium constants for the disproportionation of cation radicals to dications were calculated from the reversible electrode potentials and the effect of changes in the solvent system on the equilibrium constants is discussed.     

An evaluation of procedures used in staging carcinoma of the cervix

A review of 227 cases of invasive carcinoma of the cervix was undertaken to determine the efficacy of procedures using in the staging of this disease. All patients had a pretreatment chest radiography and intravenous pyelogram. 96.5% had pretreatment cystoscopy, 98.6% had pretreatment proctoscopy, and 92% had a pretreatment barium enema. These patients were retrospectively staged on the findings of physical examination only. Each additional procedure was then evaluated by comparison with the initial staging. Cystoscopy and chest film findings each would have changed the clinical stage in fewer than 1% of cases, barium enema in 1.4%, and proctoscopy in 2.2%. No patient had a positive barium enema without a positive proctoscopy, while two patients had positive proctoscopies with negative barium enemas. The overall yield of positive findings by pretreatment intravenous pyelography was 7.3%. Lymphangiography, although inconsistently done, yielded positive findings in all stages. Chest radiographs, intravenous pyelography, proctoscopy, and lymphangiography are recommended as part of the pretreatment workup of patients with carcinoma of the cervix. Routine barium enema is no longer recommended, and cystoscopy is only recommended in patients with clinical stage IIB disease or greater.     

Behavioral consequences of crowding in the deermouse (Peromyscus maniculatus).

Hypothesized that, when the degree of crowding is manipulated by varying group size in cages of equal size, it is probable that crowded animals will engage in more contact than uncrowded animals. Home-cage observation of 24 male and 24 female deer mice indicates that crowded Ss do, in fact, engage in more contact behavior. Both home-cage observation and testing in pairs for pain-elicited aggression reveal that (a) crowded Ss display more agonistic behavior than uncrowded Ss, and (b) agonistic behavior increases with prolonged crowding. Support is obtained for the theory that the effect of crowding derives from contact with conspecifics. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Probabilistic symbolic model checking with PRISM: a hybrid approach

In this paper we present efficient symbolic techniques for probabilistic model checking. These have been implemented in PRISM, a tool for the analysis of probabilistic models such as discrete-time Markov chains, continuous-time Markov chains and Markov decision processes using specifications in the probabilistic temporal logics PCTL and CSL. Motivated by the success of model checkers such as SMV which use BDDs (binary decision diagrams), we have developed an implementation of PCTL and CSL model checking based on MTBDDs (multi-terminal BDDs) and BDDs. Existing work in this direction has been hindered by the generally poor performance of MTBDD-based numerical computation, which is often substantially slower than explicit methods using sparse matrices. The focus of this paper is a novel hybrid technique which combines aspects of symbolic and explicit approaches to overcome these performance problems. For typical examples, we achieve a dramatic improvement over the purely symbolic approach. In addition, thanks to the compact model representation using MTBDDs, we can verify systems an order of magnitude larger than with sparse matrices, while almost matching or even beating them for speed.