Effect of Antiretroviral Therapy on Apoptosis Markers and Morphology in Peripheral Lymph Nodes of HIV-Infected Individuals

Background:: CD4+ T cell depletion and destruction and the involution of the lymphoid tissue are hallmarks of HIV infection. Although the underlying mechanisms are still unclear, apoptosis appears to play a central role. The objective of this study was to investigate the effect of antiretroviral therapy on the lymph node tissue, particularly with respect to morphology and apoptosis. Patients and Methods:: Between 1997 and 1999, two inguinal lymph nodes were excised from 31 previously untreated individuals who were in an early stage of HIV infection, the first one prior to treatment and the second after 16 to 20 months of treatment. Paraffin sections were investigated for lymph node architecture, distribution of cellular and viral markers, apoptosis, and expression of apoptotic key molecules which indirectly reflect apoptotic processes. Results:: After 16-20 months of antiretroviral therapy, a significant decrease in highly activated HIV-driven immune response was observed in the lymph node tissue as a marked reduction in follicular hyperplasia, a normalization of the follicular dendritic cell network, a significant increase in the number of CD4+ T cells, and a significant decrease in the number of CD8+ T cells. The expression of several proapoptotic (Fas, TRAIL, and active caspase 3) and antiapoptotic (Bcl-2 and IL-7Rα) molecules that were reconstituted in the tissues during therapy resembled their expression in lymph nodes of HIV-negative individuals. Limitations of the study are (a) the lack of untreated patients in the late stages, (b) for ethical reasons, the lack of a control group with untreated patients, and (c) for methodological reasons, the restriction of sequential measurements of apotpotic markers to one-third of the patients. Conclusion:: Antiretroviral therapy initiated in the early stages in HIV infection may halt the irreversible destruction of the lymph node tissue and may partially normalize apoptotic processe

Towards a unified theory of Sobolev inequalities

We discuss our work on pointwise inequalities for the gradient which are connected with the isoperimetric profile associated to a given geometry. We show how they can be used to unify certain aspects of the theory of Sobolev inequalities. In particular, we discuss our recent papers on fractional order inequalities, Coulhon type inequalities, transference and dimensionless inequalities and our forthcoming work on sharp higher order Sobolev inequalities that can be obtained by iteration.Comment: 39 pages, made some changes to section 1

Structured Operational Semantics for Graph Rewriting

Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in general. Hence, the goal of this article is to obtain a compositional semantics for graph transformation system in analogy to the structural operational semantics (SOS) for Milner's Calculus of Communicating Systems (CCS). The paper introduces an SOS style axiomatization of the standard labelled transition semantics for graph transformation systems. The first result is its equivalence with the so-called Borrowed Context technique. Unfortunately, the axiomatization is not compositional in the expected manner as no rule captures "internal" communication of sub-systems. The main result states that such a rule is derivable if the given graph transformation system enjoys a certain property, which we call "complementarity of actions". Archetypal examples of such systems are interaction nets. We also discuss problems that arise if "complementarity of actions" is violated.Comment: In Proceedings ICE 2011, arXiv:1108.014

Neurotrophins and neurotrophin receptors in pulmonary sarcoidosis - granulomas as a source of expression

<p>Abstract</p> <p>Background</p> <p>Pulmonary sarcoidosis is an inflammatory disease, characterized by an accumulation of CD4⁺lymphocytes and the formation of non-caseating epithelioid cell granulomas in the lungs. The disease either resolves spontaneously or develops into a chronic disease with fibrosis. The neurotrophins nerve growth factor (NGF), brain-derived neurotrophic factor (BDNF) and neurotrophin-3 (NT-3) have been suggested to be important mediators of inflammation and mediate tissue remodelling. In support of this, we have recently reported enhanced NGF levels in the airways of patients with pulmonary sarcoidosis. However, less is known about levels of BDNF and NT-3, and moreover, knowledge in the cellular sources of neurotrophins and the distribution of the corresponding neurotrophin receptors in airway tissue in sarcoidosis is lacking.</p> <p>Methods</p> <p>The concentrations of NGF, BDNF and NT-3 in bronchoalveolar lavage fluid (BALF) of 41 patients with newly diagnosed pulmonary sarcoidosis and 27 healthy controls were determined with ELISA. The localization of neurotrophins and neurotrophin receptors were examined by immunohistochemistry on transbronchial lung biopsies from sarcoidosis patients.</p> <p>Results</p> <p>The sarcoidosis patients showed significantly enhanced NT-3 and NGF levels in BALF, whereas BDNF was undetectable in both patients and controls. NT-3 levels in BALF were found higher in patients with non-Löfgren sarcoidosis as compared to patients with Löfgren's syndrome, and in more advanced disease stage. Epithelioid cells and multinucleated giant cells within the sarcoid granulomas showed marked immunoreactivity for NGF, BDNF and NT-3. Also, immunoreactivity for the neurotrophin receptor TrkA, TrkB and TrkC, was found within the granulomas. In addition, alveolar macrophages showed positive immunoreactivity for NGF, BDNF and NT-3 as well as for TrkA, TrkB and TrkC.</p> <p>Conclusions</p> <p>This study provides evidence of enhanced neurotrophin levels locally within the airways of patients with sarcoidosis. Findings suggest that sarcoid granuloma cells and alveolar macrophages are possible cellular sources of, as well as targets for, neurotrophins in the airways of these patients.</p

Encoding of Planning Problems and Their Optimizations in Linear Logic

Girard’s Linear Logic is a formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for an easily understandable encoding of many problems. We concentrated on expressing planning problems by linear logic in this paper. We observed a rich usage of a construct of consumable resources in planning problem formulations. This fact motivates us to provide a possible encoding of planning problems in linear logic. This paper shows how planning problems can be encoded in Linear Logic and how some optimizations of planning problems can be encoded. These optimizations can help planners to improve the efficiency of finding solutions (plans)