Multi-Modal CTL:Completeness, Complexity, and an Application

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E and A where d denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. © 2009 Springer Science+Business Media B.V.

Epidermal Langerhans Cells are Dispensable for Humoral and Cell-Mediated Immunity Elicited by Gene Gun Immunization.

Gene gun immunization, i.e., bombardment of skin with DNA-coated particles, is an efficient method for the administration of DNA vaccines. Direct transfection of APC or cross-presentation of exogenous Ag acquired from transfected nonimmune cells enables MHC-I-restricted activation of CD8(+) T cells. Additionally, MHC-II-restricted presentation of exogenous Ag activates CD4(+) Th cells. Being the principal APC in the epidermis, Langerhans cells (LC) seem ideal candidates to accomplish these functions. However, the dependence on LC of gene gun-induced immune reactions has not yet been demonstrated directly. This was primarily hampered by difficulties to discriminate the contributions of LC from those of other dermal dendritic cells. To address this problem, we have used Langerin-diphtheria toxin receptor knockin mice that allow for selective inducible ablation of LC. LC deficiency, even over the entire duration of experiments, did not affect any of the gene gun-induced immune functions examined, including proliferation of CD4(+) and CD8(+) T cells, IFN-gamma secretion by spleen cells, Ab production, CTL activity, and development of protective antitumor immunity.

Langerhans Cells Prime IL-17-Producing T Cells and Dampen Genital Cytotoxic Responses following Mucosal Immunization

Langerhans cells (LCs) are dendritic cells (DCs) localized in stratified epithelia, such as those overlaying skin, buccal mucosa, and vagina. The contribution of LCs to the promotion or control of immunity initiated at epithelial sites remains debated. We report in this paper that an immunogen comprising OVA linked to the B subunit of cholera toxin, used as delivery vector, was efficient to generate CTLs after vaginal immunization. Using Lang-EGFP mice, we evaluated the contribution of distinct DC subsets to the generation of CD4 and CD8 T cell responses. We demonstrate that the vaginal epithelium, unlike the skin epidermis, includes a minor population of LCs and a major subset of langerin(-) DCs. Intravaginally administered Ag is taken up by LCs and langerin(-) DCs and carried up to draining lymph nodes, where both subsets prime CD8 T cells, unlike blood-derived DCs, although with distinct capabilities. LCs prime CD8 T cells with a cytokine profile dominated by IL-17, whereas Lang(-) DCs induce IFN-gamma-producing T cells. Using Lang-DTR-EGFP mice to ensure a transient ablation of LCs, we found that these cells not only are dispensable for the generation of genital CTL responses but also downregulate these responses, by a mechanism that may involve IL-10 and IL-17 cytokines. This finding has implications for the development of mucosal vaccines and immunotherapeutic strategies designed for the targeting of DCs.

PROBLEM-SOLVING IN SCHIZOPHRENIA - A SPECIFIC DEFICIT IN PLANNING ABILITY

The study investigated problem solving ability in schizophrenia. Thirty DSM-IIIR schizophrenic patients and 27 matched normal controls were tested on the Three-Dimensional Computerised Tower of London Test (3-D CTL Test) (Morris et al., 1993). The patients took significantly more moves to solve a series of problems and solved significantly fewer problems in the predetermined minimum number of moves. The patients response times, as measured using a control version of the task (the 3-D CTL Control), were longer than those of the controls. However, when latencies were adjusted to take into account the slower responses overall, the patients planning times were not significantly increased. Inaccurate planning, as defined by taking more moves, did not correlate with either positive or negative symptoms, but the response times tended to be longer in patients who had more negative symptoms. The findings suggest that there is a deficit in problem solving activity in schizophrenia that may be associated with translating 'willed intentions' into action, independent of slower motor speed.

Total serum IL-12 and IL-12p40, but not IL-12p70, are increased in the serum of older subjects; relationship to CD3(+)and NK subsets

Interleukin 12 (IL-12), a central cytokine acting on T and natural killer (NK) cells, directs proliferation of activated T lymphocytes towards a Th1 phenotype. The heterodimeric molecule IL-12p70, equates with IL-12 biological activity, while IL-12p40 may antagonize IL-12 and inhibit cytotoxic T lymphocyte (CTL) generation in vitro. This study characterizes age-related changes in serum total IL-12, IL-12p70 and IL-12p40 relating them with CD3(+), NK and related subsets from subjects, aged 30-96 years. Total IL-12, IL-12p40 and the IL-12p40/IL-12p70 ratio, but not IL-12p70, increased significantly with age (P

Dissolving Microneedle Delivery of Nanoparticle Encapsulated Antigen Elicits Efficient Cross-Priming and Th1 Immune Responses by Murine Langerhans Cells

Dendritic cells (DCs) of the skin play an important role in skin-mediated immunity capable of promoting potent immune responses. We availed of polymeric dissolving microneedle (MN) arrays laden with nano-encapsulated antigen to specifically target skin DC networks. This modality of immunization represents an economic, efficient and potent means of antigen delivery directly to skin DCs, which are inefficiently targeted by more conventional immunization routes. Following MN immunization, Langerhans cells (LCs) constituted the major skin DC subset capable of cross-priming antigen-specific CD8(+) T cells ex-vivo. While all DC subsets were equally efficient in priming CD4(+) T cells, LCs were largely responsible for orchestrating the differentiation of CD4(+) IFN-γ and IL-17 producing effectors. Importantly, depletion of LCs prior to immunization had a profound effect on CD8(+) CTL responses in vivo, and vaccinated animals displayed reduced protective anti-tumour and viral immunity. Interestingly, this cross-priming bias was lost following MN immunization with soluble antigen, suggesting that processing and cross-presentation of nano-particulate antigen is favoured by LCs. Therefore, these studies highlight the importance of LCs in skin immunization strategies and that targeting of nano-particulate immunogens through dissolvable polymeric MNs potentially provides a promising technological platform for improved vaccination strategies.Journal of Investigative Dermatology accepted article preview online, 22 September 2014. doi:10.1038/jid.2014.415.

Effect of ultraviolet-B light on lymphocyte activity at doses at which normal bone marrow stem cells are preserved

Ultraviolet B (UVB) light is known to be immunosuppressive, but, probably because of a small UVC component in the emission spectra of some of the UVB lamps used, reports vary on effective dose levels. To prevent potentially lethal graft-versus-host disease (GVHD) after allogeneic bone marrow transplantation, alloreactive donor T-cell activity must be suppressed. In this study, a narrow wavelength UVB lamp (TL01, 312 nm peak emission) was used to determine what doses of UVB were required to abolish rat lymphocyte proliferation while simultaneously preserving rat bone marrow progenitor cell and primitive hematopoietic stem cell viability. Lymphocyte proliferation, as measured by 3H-Thymidine incorporation, in response to lectin stimulation was abolished below detection at doses greater than 3,500 J/m2. When T-cell clonogenicity was measured in a limiting dilution assay, a small fraction (0.6%) was maintained at doses up to 4,000 J/m2. Cytotoxic T-lymphocyte (CTL) activity was reduced after treatment with 4,000 J/m2, but a significant level of cytotoxicity was still maintained. Natural killer cell cytolytic activity was not affected by doses up to 4,000 J/m2. At 4,000 J+m2 there was a 10% survival of colony-forming units-granulocyte-macrophage; a 1% and 4% survival of day-8 and day-12 colony-forming units-spleen, respectively; and 11% survival of marrow repopulating ability cells. Up to 25% of late cobblestone area forming cells (4 to 5 weeks), reflecting the more immature hematopoietic stem cells, were preserved in bone marrow treated with 4,000 J/m2, indicating that early stem cells are less sensitive to UVB damage than are more committed progenitor cells. Thus, a potential therapeutic window was established at approximately 4,000 J/m2 using this light source, whereby the potentially GVHD-inducing T cells were suppressed, but a sufficient proportion of the cells responsible for engraftment was maintained.

Urinary thrombomodulin levels were significantly higher following occupational exposure to chemicals, in the presence of dipstick protein, but not in the presence of dipstick blood

Currently, there are no biomarkers which can identify patients with an increased risk of developing urothelial cancer as a result of occupational chemical exposure. The aim of this study was to evaluate the relationships between final diagnosis and 22 biomarkers measured in urine, serum and plasma collected from 156 hematuric patients. Fourteen of the 80 patients (17.5%) with urothelial cancer and 13/76 (17.1%) of the controls were deemed to have a history of chemical exposure. We applied Fisher's exact tests to explore associations between chemical exposure and final diagnosis, and tumor stage and grade, where applicable; ANOVA and t-test to compare age across patients with and without chemical exposure; and Zelen's exact test to evaluate relationships across final diagnosis, chemical exposure and smoking. Following pre-selection of biomarkers using Lasso, we identified biomarkers with differential levels across patients with and without chemical exposure using Welch's t-test. Using a one-sided t-test and considering multiple testing using FDR, we observed that TM levels in urine were significantly higher in samples from patients with a history of chemical exposure regardless of their diagnosis as control or urothelial cancer (one-sided t-test, p_UC = 0.014 and p_CTL = 0.043); in the presence of dipstick protein and when urinary pH levels ≤ 6 (p = 0.003), but not in the presence of dipstick blood (p = 0.115). Urothelial cancer patients with a history of chemical exposure were significantly younger (64.1 years) than those without chemical exposure (70.2 years) (one-sided t-test p-value = 0.012); and their tumors were higher grade (Fisher's exact test; p = 0.008). There was a strong association between a history of chemical exposure and smoking in urothelial cancer patients (Zelen's exact test; p = 0.025). Elevated urinary thrombomodulin levels could have the potential to identify chemical exposure in hematuric patients at high risk of developing urothelial cancer.