Results 31 to 40 of about 399,115 (333)
Recent research and clinical progress of CTLA-4-based immunotherapy for breast cancer
Frontiers in Oncology, 2023 Breast cancer is characterized by a high incidence rate and its treatment challenges, particularly in certain subtypes. Consequently, there is an urgent need for the development of novel therapeutic approaches.
Hongsheng Zhang +6 more
doaj +1 more source
HeliyonDespite advancements in road safety, Powered Two-Wheelers (PTWs) remain a vulnerable group with disproportionately high crash rates. This paper presents an in-depth analysis of PTW crashes in six European countries, with a case study of Loss of Control ...
Stephen Kome Fondzenyuy +5 more
doaj +1 more source
iScience, 2023 Summary: TRIM24 is an oncogenic chromatin reader that is frequently overexpressed in human tumors and associated with poor prognosis. However, TRIM24 is rarely mutated, duplicated, or rearranged in cancer.
Lalit R. Patel +8 more
doaj +1 more source
Progress of immune checkpoint inhibitors for the treatment of myelodysplastic syndrome [PDF]
Jichu yixue yu linchuang, 2021 Immune checkpoint inhibitor(ICI) is a potential treatment for MDS by inhibiting the escape of tumor cells and enhancing immune responses. This article reviewed the efficacy and adverse events of clinical trials focusing on PD-1/PD-L1 and CTLA-4 ...
ZHANG Ruo-xi, HAN Bing
doaj
Specification in CTL+Past for Verification in CTL
Information and Computation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Laroussinie, F., Schnoebelen, Ph.
openaire +2 more sources
Synthetic phospholipid vesicles containing a purified viral antigen and cell membrane proteins stimulate the development of cytotoxic T lymphocytes [PDF]
, 1979 Synthetic phospholipid vesicles (liposomes) containing the purified glycoprotein (G) of vesicular stomatitis virus (VSV) and solubilized membrane proteins from cells of the appropriate H-2 haplotype elicited H-2-restricted cytotoxic T lymphocytes (CTL ...
Baltimore, David +4 more
core +1 more source
Scientific ReportsThe epigenetic regulation of N6-methyladenosine (m6A) has attracted considerable interest in tumor research, but the potential roles of m6A regulator-related genes, remain largely unknown within the context of gastric cancer (GC) and tumor ...
Bin Peng +8 more
doaj +1 more source
Pharmacological Research, 2023 Circulating tumour-derived extracellular vesicles are supposed to contribute to the spreading of distant metastasis. In this study, we investigated the impact of circulating extracellular vesicles derived from tumour-endothelial cells (TEVs) in the ...
Malvina Koni +9 more
doaj +1 more source
Specification in CTL+Past, Verification in CTL
Electronic Notes in Theoretical Computer Science, 1997 AbstractWe describe PCTL, a temporal logic extending CTL with connectives allowing to refer to the past of a current state. This incorporates the new N, “From Now On”, combinator we recently introduced.PCTL has branching future but determined, finite and cumulative past.
Laroussinie, F., Schnoebelen, Ph.
openaire +1 more source
Efficient CTL Verification via Horn Constraints Solving [PDF]
, 2016 The use of temporal logics has long been recognised as a fundamental approach to the formal specification and verification of reactive systems. In this paper, we take on the problem of automatically verifying a temporal property, given by a CTL formula ...
Beyene, Tewodros A. +2 more
core +2 more sources