Results 111 to 120 of about 399,115 (333)

A Faster Tableau for CTL*

, 2013
There have been several recent suggestions for tableau systems for deciding satisfiability in the practically important branching time temporal logic known as CTL*.
Reynolds, Mark
core   +2 more sources

Single‐Cell Dissection Reveals Immune Dysregulation After CD5 or CD7‐Directed Chimeric Antigen Receptor T‐Cell Therapy

Advanced Science, EarlyView.
Single‐cell RNA/TCR/BCR sequencing reveals that 5CAR therapy in T‐ALL induces T‐cell exhaustion, reduces EBV‐associated TCRs, lowers TCR/BCR diversity, and increases NK/DC/monocyte activation and function. In contrast, 7CAR therapy reduces multiple pathogen‐associated TCRs, enhances NK cell activation and function, decreases monocyte activation, and ...
Yuechen Luo, Haixiao Zhang, Kaiting Tang, Yiming Wang, Huajiang Dong, Wei Qi, Lingling Shan, Yue Tan, Liping Zhao, Jun Shi, Erlie Jiang, Jing Pan, Xiaoming Feng   +12 more
wiley   +1 more source

CTL [PDF]

, 2011
  +5 more sources

A diversity of novel type-2 innate lymphoid cell subpopulations revealed during tumour expansion

Communications Biology
Type 2 innate lymphoid cells (ILC2s) perform vital functions in orchestrating humoral immune responses, facilitating tissue remodelling, and ensuring tissue homeostasis.
Clara Wenjing Xia, Iryna Saranchova, Pablo L. Finkel, Stephanie Besoiu, Lonna Munro, Cheryl G. Pfeifer, Anne Haegert, Yen-Yi Lin, Stéphane Le Bihan, Colin Collins, Wilfred A. Jefferies   +10 more
doaj   +1 more source

Enhanced induction of HIV-specific CTL by dendritic cell-targeted delivery of SOCS-1 siRNA [PDF]

, 2010
Sandesh Subramanya, Chunting Ye, Sang Soo Kim, Premalata Shankar   +3 more
openalex   +1 more source

Immune Predictors of Radiotherapy Outcomes in Cervical Cancer

Advanced Science, EarlyView.
This study reveals dynamic immune remodeling in cervical cancer following radiotherapy. Single‐cell analysis identifies the C3/C3AR1 axis as a central mediator of epithelial–myeloid crosstalk, whose inhibition reduces treatment efficacy in mice. Guided by these insights, the eight‐feature machine‐learning model: Cervical Cancer Radiotherapy Immune ...
Linghao Wang, Jie Zhu, Zequn Ding, Zhiyuan Xie, Xingchen Liu, Feihong Zhang, Xiaojun Liu, Yan Zhang, Haiyan Chen   +8 more
wiley   +1 more source

Dual-responsive supramolecular photodynamic nanomedicine with activatable immunomodulation for enhanced antitumor therapy

Acta Pharmaceutica Sinica B
A major challenge facing photodynamic therapy (PDT) is that the activity of the immune-induced infiltrating CD8+ T cells is subject to the regulatory T lymphocytes (Tregs), leaving the tumor at risk of recurrence and metastasis after the initial ablation.
Siqin He, Lulu Wang, Dongxu Wu, Fan Tong, Huan Zhao, Hanmei Li, Tao Gong, Huile Gao, Yang Zhou   +8 more
doaj   +1 more source

Hybrid Branching-Time Logics

, 2007
Hybrid branching-time logics are introduced as extensions of CTL-like logics with state variables and the downarrow-binder. Following recent work in the linear framework, only logics with a single variable are considered.
Weber, Volker
core   +1 more source

Branching-time model checking of one-counter processes [PDF]

, 2009
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CTL) over OCPs. A PSPACE upper bound is inherited from the modal mu-calculus
Göller, Stefan, Lohrey, Markus
core   +4 more sources

PENGEMBANGAN LEMBAR KERJA PESERTA DIDIK (LKPD) BERBASIS CONTEXTUAL TEACHING AND LEARNING (CTL)PADA PEMBELAJARAN TEMATIK TERPADU SISWA KELAS IV

, 2021
Susanti Susanti
openalex   +1 more source