Results 91 to 100 of about 580,256 (322)

Intuitionistic fixed point theories over Heyting arithmetic [PDF]

, 2010
In this paper we show that an intuitionistic theory for fixed points is conservative over the Heyting arithmetic with respect to a certain class of formulas. This extends partly the result of mine.
Arai, Toshiyasu
core  

Semantic cut elimination for the logic of bunched implications, formalized in Coq [PDF]

, 2022
Dan Frumin
openalex   +1 more source

Dimethyl fumarate combined with cisplatin at subcytotoxic doses sensitizes cervical cancer toward ferroptosis and apoptosis through GSH restriction and p53 (re)activation

Molecular Oncology, EarlyView.
Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano, Giuseppina Minopoli, Simona Romano, Laura Marrone, Katia Aquilano, Maria Lina Tornesello, Raffaella Faraonio   +6 more
wiley   +1 more source

Syntactic cut-elimination for common knowledge

Annals of Pure and Applied Logic, 2009
The logic of common knowledge has been formulated by Alberucci and Jäger in a sequential system with a rule of infinite premises so as to enjoy completeness, from which then follows the cut-elimination theorem indirectly. There are also several variations of the logic formulated in cut-free sequential systems but a syntactical cut-elimination proof has
Brünnler, Kai, Studer, Thomas
openaire   +2 more sources

Pre‐analytical optimization of cell‐free DNA and extracellular vesicle‐derived DNA for mutation detection in liquid biopsies

Molecular Oncology, EarlyView.
Pre‐analytical handling critically determines liquid biopsy performance. This study defines practical best‐practice conditions for cell‐free DNA (cfDNA) and extracellular vesicle–derived DNA (evDNA), showing how processing time, storage conditions, tube type, and plasma input volume affect DNA integrity and mutation detection.
Jonas Dohmen, Lucrezia De Santis, Bret M. Stephens, Vincent Bernard, Jörg C. Kalff, Lara Braun, Phillipp Leyendecker, Johannes Röttgen, Daniel Weissinger, Anirban Maitra, Paola A. Guerrero, Alexander Semaan   +11 more
wiley   +1 more source

Keratin 19 as a prognostic marker and contributing factor of metastasis and chemoresistance in high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
Keratin 19 (KRT19) is overexpressed in high‐grade serous ovarian cancer with high levels of Kallikrein‐related peptidases (KLK) 4–7 and is associated with poor survival. In vivo analyses demonstrate that elevated KRT19 increases peritoneal tumour burden.
Sophia Bielesch, Isabel Vogel, Sina Nokodian, Johanna Moeller, Antonia Blechschmidt, Vicky Hecht, Vanessa Kuentzel, Katharina Thiedig, Melissa Schwab, Oliver Schilling, Holger Bronger, Marion Kiechle, Viktor Magdolen, Tobias Dreyer   +13 more
wiley   +1 more source

Expansion Trees with Cut [PDF]

, 2013
Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view it suggests a compact representation of proofs in classical first- and higher-order logic by recording the information which instances have been chosen ...
Hetzl, Stefan, Weller, Daniel
core  

Establishment of a humanized patient‐derived xenograft mouse model of high‐grade serous ovarian cancer for preclinical evaluation of combination immunotherapy

Molecular Oncology, EarlyView.
We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric, Line Bjørge, Martine Rott Lode, Cecilie Fredvik Torkildsen, Pia Aehnlich, Rammah Elnour, Daniela Elena Costea, Lars Andreas Akslen, Liv Cecilie Vestrheim Thomsen, Emmet McCormack, Katrin Kleinmanns   +10 more
wiley   +1 more source

Deciphering transcriptional plasticity in pancreatic ductal adenocarcinoma reveals alterations in sensory neuron innervation

Molecular Oncology, EarlyView.
Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova, Michele Montrone, Uday Rangaswamy, Francesco Diversi, Irene Schiavo, Denise Ferrarini, Roberta Di Florio, Irene Longo, Michele Coscia, Nicola Zamboni, Giorgia Demontis, Lisa Veghini, Vincenzo Corbo, Remo Sanges, Paul Heppenstall   +14 more
wiley   +1 more source

Comparison of the pharmacokinetic profiles of three triterpenoids after oral administration of a cucurbitacin tablet and nanosuspension by UHPLC-MS/MS

Frontiers in Pharmacology
IntroductionCucurbitacin, a class of triterpenoid compounds isolated from Pedicellus Melo, possesses various biological activities and is the primary active component of cucurbitacin tablets (CUT) used to treat chronic hepatitis and primary liver cancer.
Chun-nan Zhang, Zhi-bin Wang, Rui-tong Du, Shu-lu Zhang, Chu-qiao Wang, Meng Wang, Li-hong Wu, De-qiang Yang, Chen Wang   +8 more
doaj   +1 more source