Results 61 to 70 of about 1,573,175 (303)
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
When Is a Proof a Proof? [PDF]
, 2020 AbstractIn his famous talk at ICME 2 (Exeter 1972) the French mathematician R. Thom pointed out that any conception of mathematics teaching necessarily rests on a certain view of mathematics (Thom 1973, 204). As a consequence mathematics education cannot develop without close links to mathematics.
openaire +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
Proof in Mathematics Education, 1980-2020: An Overview
Journal of Educational Research in Mathematics, 2020 This paper looks at the evolution of ideas on the role of proof in mathematics education from 1980 to 2020, examining in particular the contributions of both theoretical and empirical research to the teaching of mathematical proof.
Gila Hanna, Christine Knipping
doaj +1 more source
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 +8 more
wiley +1 more source
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 +11 more
core +1 more source
DIGITAL TECHNOLOGIES AND ENVIRONMENTAL CRIMES
Revista Eletrônica de Direito Processual, 2019 This paper deals with drones as evidence, according to the Spanish law, and the procedure for valuating the proof.
Lorenzo Mateo Bujosa Vadell
doaj +1 more source
Exploring Mathematical Reasoning of Elementary Preservice Teachers
Journal of Educational Research in Mathematics, 2020 The purpose of this study is to understand the characteristics of mathematical reasoning of elementary preservice teachers (EPTs). For this purpose, 68 EPTs were presented with two tasks related to mathematical reasoning, and their written responses were
GwiSoo Na, Dong-Won Kim
doaj +1 more source
Theoretical Computer Science, 1994 This paper serves as an introduction to the paper by \textit{G. Bellin} and \textit{P. Scott} [ibid. 135, 11-65 (1994; Zbl 0817.03001)] giving some background of the developments due to the author and its relations to the cited authors.
openaire +3 more sources
Cancer‐associated mutations in endometriosis reframe a benign disease through molecular oncology
Molecular Oncology, EarlyView.This review aims to comprehensively analyse cancer‐associated somatic mutations (CAMs) present in endometriotic lesions, emphasizing their biological roles, spatial distribution and implications for translational applications in medicine. By contextualizing a benign state within a genomic framework, this analysis seeks to establish its value as a ...
Clarissa Mujacic +15 more
wiley +1 more source