Results 91 to 100 of about 436,571 (380)
Enriched MU-Calculi Module Checking [PDF]
, 2008 The model checking problem for open systems has been intensively studied in the literature, for both finite-state (module checking) and infinite-state (pushdown module checking) systems, with respect to Ctl and Ctl*. In this paper, we further investigate
Aniello Murano +3 more
core +2 more sources
Advanced Functional Materials, EarlyView.Porous silicon nanoparticles (PSiNPs) reprogram macrophage endocytosis of manganese@albumin‐based TLR4 nanoagonists, driving TRIF‐biased TLR4 signaling, eliciting robust proinflammatory responses, and potentiating macrophage‐mediated immunotherapeutic effects against NSCLC.
Xiaomei Zhang +9 more
wiley +1 more source
Periostin facilitates ovarian cancer recurrence by enhancing cancer stemness
Scientific Reports, 2023 The lethality of epithelial ovarian cancer (OC) is largely due to a high rate of recurrence and development of chemoresistance, which requires synergy between cancer cells and the tumor microenvironment (TME) and is thought to involve cancer stem cells ...
Zhiqing Huang +9 more
doaj +1 more source
Gene vaccination with naked plasmid DNA: mechanism of CTL priming
Journal of Experimental Medicine, 1996 The injection of naked plasmid DNA directly into the muscle cells of mice has been shown to induce potent humoral and cellular immune responses. The generation of a cytotoxic T lymphocyte (CTL) response after plasmid DNA injection may involve the ...
M. Corr +3 more
semanticscholar +1 more source
Generation of virus-specific cytotoxic T cells in vitro II. Induction requirements with functionally inactivated virus preparations [PDF]
, 1980 Using noninfectious Sendai virus preparations after selective enzymatic digestion of either of the two viral envelope glycoproteins, it was possible to study the effect of different virion-cell membrane interactions on virus-specific cytotoxic T ...
Bosslet +27 more
core +1 more source
Biomaterial Strategies for Targeted Intracellular Delivery to Phagocytes
Advanced Functional Materials, EarlyView.Phagocytes are essential to a functional immune system, and their behavior defines disease outcomes. Engineered particles offer a strategic opportunity to target phagocytes, harnessing inflammatory modulation in disease. By tuning features like size, shape, and surface, these systems can modulate immune responses and improve targeted treatment for a ...
Kaitlyn E. Woodworth +2 more
wiley +1 more source
Journal of Immunology, 1999 Immunogenic peptides of human tumor Ag have been used to generate antigen-specific CTL. However, the vast majority of these peptide-specific CTL clones are of low avidity and are peptide, but not tumor, reactive.
C. Yee +4 more
semanticscholar +1 more source
From Quantified CTL to QBF [PDF]
, 2019 QCTL extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over Kripke structures (it is as expressive as MSO).
Hossain, Akash
core +1 more source
Advanced Functional Materials, EarlyView.A 3D bone scaffold with osteogenic properties and capable of hardening in vivo is developed. The scaffold is implanted in a ductile state, and a phase transformation of the ceramic induces the stiffening and strengthening of the scaffold in vivo. Abstract Calcium phosphate 3D printing has revolutionized customized bone grafting.
Miguel Mateu‐Sanz +7 more
wiley +1 more source
Nature Immunology, 2011 Interleukin (IL)-10 is an important regulatory cytokine that can modulate excessive immune mediated injury. Several distinct cell types have been demonstrated to produce IL-10, including most recently CD8+ cytotoxic T lymphocytes (CTLs) responding to ...
Jie Sun +4 more
semanticscholar +1 more source