Results 1 to 10 of about 180,179 (223)
On the Hybrid Extension of CTL and CTL+ [PDF]
, 2009 The paper studies the expressivity, relative succinctness and complexity of satisfiability for hybrid extensions of the branching-time logics CTL and CTL+ by variables. Previous complexity results show that only fragments with one variable do have elementary complexity.
Martin Lange +3 more
arxiv +6 more sources
Transcriptome Profiling of Porcine Naïve, Intermediate and Terminally Differentiated CD8+ T Cells
Frontiers in Immunology, 2022 The pig has the potential to become a leading research model for human diseases, pharmacological and transplantation studies. Since there are many similarities between humans and pigs, especially concerning anatomy, physiology and metabolism, there is ...
Emil Lagumdzic +7 more
doaj +1 more source
Scientific Reports, 2022 Cancers are immunologically heterogeneous. A range of immunotherapies target abnormal tumor immunity via different mechanisms of actions (MOAs), particularly various tumor-infiltrate leukocytes (TILs).
Ying Jin +16 more
doaj +1 more source
Clinical Relevance of CD4 Cytotoxic T Cells in High-Risk Neuroblastoma
Frontiers in Immunology, 2021 Neuroblastoma is the most common extracranial childhood solid tumor. The majority of high-risk neuroblastoma is resistant/refractory to the current high intensity therapy, and the survival of these patients remains poor for the last three decades.
Xao X. Tang +2 more
doaj +1 more source
Logical Methods in Computer Science, 2010 This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying certain sub-formulas along paths. By selecting the combinations of Boolean and arithmetic operations allowed in constraints, one obtains several distinct logics generalizing CTL.
Laroussinie, François +2 more
openaire +9 more sources
THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆ [PDF]
International Journal of Foundations of Computer Science, 2008 The satisfiability problems for [Formula: see text] and [Formula: see text] are known to be EXPTIME-complete, resp. 2EXPTIME-complete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that use less temporal or propositional operators, the complexity may decrease.
Heribert Vollmer +3 more
openaire +2 more sources
Splenic macrophages are required for protective innate immunity against West Nile virus. [PDF]
PLoS ONE, 2018 Although the spleen is a major site for West Nile virus (WNV) replication and spread, relatively little is known about which innate cells in the spleen replicate WNV, control viral dissemination, and/or prime innate and adaptive immune responses. Here we
Marianne A Bryan +5 more
doaj +1 more source
Exploring the design space for nonlinear buckling of composite thin-walled lenticular tubes under pure bending [PDF]
Int. J. Mech. Sci. 207 (2021) 106661, 2021 This paper presents an automatic finite element simulation scheme accounting for high geometric nonlinearity and the difference between linear and nonlinear buckling of composite thin-walled lenticular tubes (CTLTs). Parameterizing of cross-section shapes and generation of design space for CTLTs with both circular and parabolic arcs were accomplished ...
arxiv +1 more source
Management of Immune Checkpoint Inhibitor-Related Rheumatological Toxicities
Journal of Clinical Rheumatology and Immunology, 2020 Immune checkpoint inhibitors (ICIs) have forged a new direction for the treatment of cancer. However, ICIs – programmed cell death protein 1 (PD-1), programmed death-ligand 1 (PD-L1) and cytotoxic T-lymphocyte-associated protein 4 (CTLA-4) inhibitors ...
Pak Yui Fong +9 more
doaj +1 more source
Journal for ImmunoTherapy of Cancer, 2021 Background The conventional type 1 dendritic cell subset (cDC1) is indispensable for tumor immune responses and the efficacy of immune checkpoint inhibitor (ICI) therapies in animal models but little is known about the role of the human CD141+ DC cDC1 ...
Victoria Atkinson +8 more
doaj +1 more source