Results 121 to 130 of about 436,571 (380)
, 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
Cytolytic T lymphocyte recognition of the murine cytomegalovirus nonstructural immediate-early protein pp89 expressed by recombinant vaccinia virus [PDF]
, 1987 The murine immediate-early (IE) protein pp89 is a nonstructural virus- encoded phosphoprotein residing in the nucleus of infected cells, where it acts as transcriptional activator.
Bertholet, Christine +4 more
core +4 more sources
First‐Principles Investigation of the T‐ and M‐Centers in Silicon Using Meta‐GGA Functionals
Advanced Theory and Simulations, EarlyView.The relaxed structure for (a) T‐center and (b) M‐center. The calculations on the T‐center demonstrate excellent agreement with the HSE06, reinforcing the efficiency of meta‐GGA approaches for accurate defect characterization in Si. The M‐center is introduced, revealing promising quantum optical properties.
Petros‐Panagis Filippatos +2 more
wiley +1 more source
Journal of Advanced Ceramics, 2017 We prepared (1−x)CaTiO3–xLaAlO3 (0 ≤ x ≤ 1) microwave dielectric ceramics using a conventional two-step solid-state reaction method, and investigated microwave dielectric properties of the ceramics in terms of A/B-site ionic-parameters.
Zhanming Dou +4 more
doaj +1 more source
Automating the IEEE std. 1500 compliance verification for embedded cores [PDF]
, 2007 The IEEE 1500 standard for embedded core testing proposes a very effective solution for testing modern system-on-chip (SoC). It proposes a flexible hardware test wrapper architecture, together with a core test language (CTL) used to describe the ...
Benso, Alfredo +3 more
core +1 more source
Advanced Science, EarlyView.ST6GAL1 plays a critical role in tumor progression and immune regulation in colorectal cancer (CRC). Its depletion significantly suppresses the malignant phenotype of CRC cells and enhances the efficacy of anti‐PD‐L1 therapy. High ST6GAL1 expression promotes an immune‐activated tumor microenvironment (TME), characterized by increased infiltration of ...
Ximo Xu +15 more
wiley +1 more source
Emerging Cellular Therapies: T Cells and Beyond
Cells, 2019 Cellular therapies, including those based on T cells, are becoming approved options for clinicians treating a range of diseases. Cytotoxic T lymphocytes (CTLs) can be modified ex vivo to express receptors such as chimeric antigen receptors (CARs) or T ...
Stephen Todryk +3 more
doaj +1 more source
Advanced Science, EarlyView.This study has characterized a functionally distinct macrophage subset, termed CCL5hi macrophages, and elucidated the underlying mechanisms of a regulatory feedback loop that interconnects IFN‐γ, CCL5hi macrophages, and CD8+ T cells within the TME of ESCC undergoing immunochemotherapy.
Yuanzhen Ma +10 more
wiley +1 more source
CTL-property Transformations along an Incremental Design Process
International Journal on Software Tools for Technology Transfer (STTT), 2004 This paper formalizes an incremental approach to design flow-control oriented hardware devices described by Moore machines. The method is based on successive additions of new behaviours to a simple device in order to build a more complex one.
Cécile Braunstein +1 more
semanticscholar +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