Results 111 to 120 of about 2,868 (293)

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

A Sequent Calculus for Subtyping Polymorphic Types

Information and Computation, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Rathjen M.
europepmc   +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

Differential expression of cancer‐related genes supports prediction of poor response to first‐line treatments in T‐ALL pediatric patients with high minimal residual disease

Molecular Oncology, EarlyView.
In the present work, we have identified a transcriptional signature based on the differential expression of six genes (BCL2&MAST4, HSH2D&LAT2, METRN&PITPNM2) that would facilitate the early detection of T‐cell acute lymphoblastic leukemia (T‐ALL) patients prone to a poor treatment response and could be implemented at diagnosis, along with other risk ...
Antonio Lahera, Laura Vela‐Martín, Pablo Fernández‐Navarro, José Luis López‐Lorenzo, Javier Cornago, Pilar Llamas, Eduardo Pérez‐Gómez, José Luis Marín‐Rubio, Manuel Fresno, Javier Santos, José Fernández‐Piqueras, María Villa‐Morales   +11 more
wiley   +1 more source

CCDC80 suppresses high‐grade serous ovarian cancer migration via negative regulation of B7‐H3

Molecular Oncology, EarlyView.
PAX8 is a lineage‐specific master regulator of transcription in high‐grade serous ovarian cancer (HGSC) progression. We show for the first time that PAX8 facilitates proliferation and metastasis by repressing the cell autonomous tumor suppressor CCDC80 and inducing B7‐H3 expression.
Aya Saleh, Nitzan Medina‐Itzhaki, Milena Chekov, Eden Gal‐Swisa, Roba Gabesh‐Wahabi, Inbar Savyon, Inna Naroditsky, Hilary A. Kenny, Basem Fares, Lina Korsensky, Einav Girsh, Liron Berger, Ruth Perets   +12 more
wiley   +1 more source

A Proof Editor for Sequent Calculus [PDF]

, 2014
Sekventsiaalse lause- ja predikaatarvutuse tuletusülesannete lahendamiseks kasutatakse Tartu Ülikooli ainetes programmi, mille on loonud 1993. aastal Rein Prank. Paraku on see programm juba üsna vana ning selle kasutamine on mõneti ebamugav.
Gabbasov, Dmitri
core  

Sequent calculus for classical logic probabilized

, 2018
Gentzen's approach to deductive systems, and Carnap's and Popper's treatment of probability in logic were two fruitful ideas that appeared in logic of the mid-twentieth century. By combining these two concepts, the notion of sentence probability, and the
Marija Boričić, Boričić, Marija
core   +1 more source

CD47 promotes mitogen‐activated protein kinase and epithelial‐to‐mesenchymal transition molecular programs to drive prometastatic phenotypes in non‐small cell lung cancer

Molecular Oncology, EarlyView.
Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau, Lilian G. Zhai, Ryunosuke Hoshi, Zackary Rousseau, Abraam Zakhary, Yin Fang Wu, Rola M. Saleeb, Heyu Ni, Kelsie L. Thu   +8 more
wiley   +1 more source

Parametric mixed sequent calculus

, 2005
PreprintIn this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics.
Nour, Karim, Laurent, Olivier
core