Results 61 to 70 of about 7,429,852 (332)

Language Is a “Quite Useless” Tool: A Rejoinder to Fedorenko, Piantadosi, and Gibson’s “Language Is Primarily a Tool for Communication Rather Than Thought”

Biolinguistics
Contrary to the prevailing assumption that language is “primarily a tool for communication rather than thought”, I argue that language is, to invoke Oscar Wilde, “quite useless”. Arguing from aesthetic philosophy and the minimalist program for linguistic
Jeffrey Watumull
doaj   +1 more source

ANALISIS KEMAMPUAN PEMBUKTIAN MATEMATIS PADA MATA KULIAH TEORI RING DITINJAU DARI PENDIDIKAN SEKOLAH MENENGAH

Jurnal Lebesgue, 2023
Mathematical proof is a crucial component in studying mathematics, especially at advanced levels. Previous research has reported that many students face difficulties in solving mathematical proof problems, including in rings theory course.
Nina Agustyaningrum, Paskalia Pradanti, Dita Aldila Krisma   +2 more
doaj   +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

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

ESR1 methylation and ESR1 mutations in circulating tumor cells (CTCs) and paired plasma‐cfDNA of advanced breast cancer patients: A feasibility proof‐of‐concept study

Molecular Oncology, EarlyView.
Circulating tumor cells (CTCs) and plasma cell‐free DNA (cfDNA) were analyzed to detect ESR1 mutations and methylation in patients with advanced breast cancer. CTC‐derived DNA showed higher sensitivity for mutation detection and revealed complementary genetic and epigenetic alterations, highlighting the added value of CTC analysis for understanding ...
Dimitra Stergiopoulou, Athina Markou, Eleonora Nicolo, Mara S Serafini, Qiang Zhang, Youbin Zhang, Lorenzo Gerratana, Andrew A. Davis, Huiping Liu, William J Gradishar, Carolina Reduzzi, Massimo Cristofanilli, Evi Lianidou   +12 more
wiley   +1 more source

Proof mining and probability theory

Forum of Mathematics, Sigma
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie “noncomputational” proofs from probability theory, thereby unlocking ...
Morenikeji Neri, Nicholas Pischke
doaj   +1 more source

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source

Coalition-proof equilibrium [PDF]

, 1994
We characterize the set of agreements that the players of a non-cooperative game may reach when they have the opportunity to communicate prior to play. We show that communication allows the players to correlate their actions.
Moreno, Diego, Wooders, John
core  

Core Type Theory

Bulletin of the Section of Logic, 2023
Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present a proof system for propositional core logic, explain its connections to bilateralism, and explore the possibility of using it as a ...
Emma van Dijk, David Ripley, Julian Gutierrez   +2 more
doaj   +1 more source

Interpolation in Proof Theory

CoRR
The article will appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors. Theory and Applications of Craig Interpolation.
Iris van der Giessen, Raheleh Jalali, Roman Kuznets   +2 more
openaire   +2 more sources