Results 31 to 40 of about 1,240,536 (266)
Ideas for a high-level proof strategy language [PDF]
, 2010 Finding ways to prove theorems mechanically was one of the earliest challenges tackled by the AI community. Notable progress has been made but there is still always a limit to any set of heuristic search techniques.
Gudmund Grov +5 more
core
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 +13 more
wiley +1 more source
Developing Students Ability To Write Mathematical Proof By Polya Method [PDF]
, 2011 Both writing and reading a proof is equally not easy. Some mathematicians attested that students found difficulties in mathematical proving. Mathematics and mathematics education experts like Jones (1997, 2001), Weber (2001), and Smith (2006) found that ...
Kodirun, Kodirun
core
Experiments with proof plans for induction [PDF]
, 1991 The technique of proof plans, is outlined. This technique is used to guideautomatic inference in order to avoid a combinatorial explosion. Empirical research to test this technique in the domain of theorem proving by mathematical induction is described ...
Bundy, Alan +9 more
core +2 more sources
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 +10 more
wiley +1 more source
Proof and proving in current classroom materials [PDF]
, 2008 Research across many countries reports that teaching the key ideas of proof and proving to all students is not an easy task. This paper reports on the session of the BSRLM Geometry Working Group which examined current classroom material from the UK with ...
Clarke, Nichola +3 more
core
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 +12 more
wiley +1 more source
Finding novel vulnerabilities of hypomorphic BRCA1 alleles
Molecular Oncology, EarlyView.Synthetic lethality screens performed to identify novel vulnerabilities often model complete gene loss, thereby overlooking patient‐derived hypomorphic mutations. In this study, we have performed genome‐wide CRISPR screens on BRCA1 hypomorphic mutations, showing BRCA1I26A behaves like wild‐type, while BRCA1R1699Q mimics deficiency. Furthermore, we have
Anne Schreuder +10 more
wiley +1 more source
Lower secondary school students’ understanding of algebraic proof [PDF]
, 2009 Secondary school students are known to face a range of difficulties in learning about proof and proving in mathematics. This paper reports on a study designed to address the issue of students’ cognitive needs for conviction and verification in algebraic ...
Kumakura, Hiroyuki +3 more
core
The Faithfulness of Fat: A Proof-Theoretic Proof [PDF]
Studia Logica, 2015 It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system Fat, a predicative calculus with only two connectives: the conditional and the second-order universal quantifier.
Fernando Ferreira 0001, Gilda Ferreira
openaire +1 more source