New results on pushdown module checking with imperfect information
, 2011 Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about ...
A. Bouajjani +21 more
core +2 more sources
Advanced Microfluidics for Single Cell‐Based Cancer Research
Advanced Science, EarlyView.Cutting‐edge microfluidic platforms are transforming single‐cell cancer research. This review highlights advanced technologies, from droplet microfluidics to tumour‐chips, that enable functional and spatial single‐cell analyses. By integrating biosensing, immune components, and patient‐derived materials, these systems offer new insights into tumour ...
Adriana Carneiro +10 more
wiley +1 more source
Blocking of CTL-mediated killing by monoclonal antibodies to LFA-1 and LYT-2,3. I. Increased susceptibility to blocking after papain treatment of target cells. [PDF]
, 1983 S H Gromkowski +4 more
openalex +1 more source
The model checking fingerprints of CTL operators
, 2015 The aim of this study is to understand the inherent expressive power of CTL operators. We investigate the complexity of model checking for all CTL fragments with one CTL operator and arbitrary Boolean operators.
Krebs, Andreas +2 more
core +1 more source
Osteoblast‐CD4+ CTL Crosstalk Mediated by SIRT1/DAAM2 Axis Prevents Age‐Related Bone Loss
Advanced Science, EarlyView.In the osteoblastic niche, SIRT1 activates and recruits CD4+ CTLs by increasing DAAM2 expression via EZH2 deacetylation and boosting the secretion of key chemokines, such as CCL3, CCL5, and CXCL10. Then, CD4+ CTL directly eliminates senescent osteoblasts in an MHC‐II‐dependent way, thereby slowing down the process of bone ageing and effectively ...
Bin Yang +20 more
wiley +1 more source
In vivo priming of mouse CTL precursors directed to product of a newly defined minor H-42 locus is under a novel control of class II MHC gene. [PDF]
, 1985 Hiromichi Ishikawa +4 more
openalex +1 more source
, 2019 We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an ...
A David +30 more
core +1 more source
Life Factors and Melanoma: From the Macroscopic State to the Molecular Mechanism
Advanced Science, EarlyView.Melanoma, an aggressive skin cancer, arises from dynamic interactions between genetic, environmental, and lifestyle factors. This review explores how age, gender, obesity, diet, exercise, smoking, alcohol, UV exposure, circadian rhythms, and medications influence melanoma risk and progression.
Hanbin Wang +4 more
wiley +1 more source
A "nonidiotypic" inhibition of influenza-immune H-2-restricted CTL by an anti-T cell serum. [PDF]
, 1980 Rita B. Effros +2 more
openalex +1 more source
Predominant utilization of V beta 8+ T cell receptor genes in the H-2Ld- restricted cytotoxic T cell response against the immediate-early protein pp89 of the murine cytomegalovirus [PDF]
, 1989 Cytotoxic T cell responses to the murine Cytomegalovirus (MCMV) were elicited in BALB/c mice (H-2d) by infectious virus. Eight days after infection, MCMV-primed local lymph node T cells were either depleted for T cells expressing a V beta 8+ TCR or ...
Eichmann, K. +3 more
core