Results 11 to 20 of about 180,278 (321)
Frontiers in Oncology, 2021 Epithelial ovarian cancer (EOC) is the most lethal gynecologic malignancy worldwide, as patients are typically diagnosed at a late stage and eventually develop chemoresistant disease following front-line platinum-taxane based therapy. Only modest results
Nicole E. James +10 more
doaj +1 more source
Frontiers in Oncology, 2022 Xeroderma Pigmentosum (XP), an autosomal recessive disorder characterized by ultraviolet radiation-induced abnormalities of DNA excision and repair pathways is associated with early development of cutaneous cancers.
Mahlatse C. M. Kgokolo +11 more
doaj +1 more source
Synchronized CTL over One-Counter Automata [PDF]
, 2023 We consider the model-checking problem of Synchronized Computation-Tree Logic (CTL+Sync) over One-Counter Automata (OCAs). CTL+Sync augments CTL with temporal operators that require several paths to satisfy properties in a synchronous manner, e.g., the property "all paths should eventually see $p$ at the same time".
arxiv +1 more source
3D Tumor Models and Their Use for the Testing of Immunotherapies
Frontiers in Immunology, 2020 Over the past decade, immunotherapy has become a powerful and evident tool in the fight against cancers. Notably, the rise of checkpoint blockade using monoclonal antibodies (anti-CTLA4, anti-PD1) to avoid interaction between inhibitory molecules allowed
Nicolas Boucherit +2 more
doaj +1 more source
Frontiers in Pharmacology, 2021 Background: Targeting exhausted T (Tex) cells is a promising strategy for anti-tumour treatment. Previously, we demonstrated that Hirsutella sinensis fungus (HSF) could significantly increase T cell infiltration and the effector T cell ratio in the tumor
Lu Jin +9 more
doaj +1 more source
CTL and Equivalent Sublanguages of CTL [PDF]
, 1997 Specifications of finite state algorithms with a complex temporal behavior such as protocols or hardware systems are often given in temporal logics as e.g. CTL or CTL*. On the one hand, CTL offers in comparison to CTL* efficient model checking algorithms, but on the other hand, CTL seems to suffer from a limited expressiveness.
Klaus Schneider, D. Schmid
openaire +2 more sources
Frontiers in Oncology, 2021 BackgroundWe performed a systematic review and meta-analysis to evaluate the risks of cardiac adverse events in solid tumor patients treated with monotherapy of immune checkpoint inhibitors (ICIs) or combined therapy of ICIs plus chemotherapy ...
Jiexuan Hu +6 more
doaj +1 more source
Model with two types of CTL regulation and experiments on CTL dynamics [PDF]
Journal of Theoretical Biology, 2010 Recently, we developed a mathematical model of interaction between the HIV and the immune system to match various dynamic experiments carried out in HIV-infected humans and SIV-infected macaques. The model includes helper cell-dependent and helper cell-independent cytotoxic lymphocytes (CTLs) and predicts two stable steady states, a state with a high ...
R.A. Sergeev +2 more
openaire +3 more sources
C-type lectin 4 regulates broad-spectrum melanization-based refractoriness to malaria parasites.
PLoS Biology, 2022 Anopheles gambiae melanization-based refractoriness to the human malaria parasite Plasmodium falciparum has rarely been observed in either laboratory or natural conditions, in contrast to the rodent model malaria parasite Plasmodium berghei that can ...
Maria L Simões +3 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.
Philippe Schnoebelen +1 more
openaire +2 more sources