Results 41 to 50 of about 92,095 (302)
Proof in dynamic geometry contexts [PDF]
, 1998 Proof lies at the heart of mathematics yet we know from research in mathematics education that proof is an elusive concept for many mathematics students.
Hoyles, Celia, Jones, Keith
core
Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane +3 more
wiley +1 more source
Developing pedagogic approaches for proof: learning from teaching in the East and West [PDF]
, 2009 In our work we focus on learning from the teaching of proof in geometry at the lower secondary school level across countries in the East and in the West.
Matsumoto, Shinichiro +5 more
core
Enhancing mathematical proof skills in teacher education through etymology-based learning approaches
Indonesian Journal of Science and Mathematics EducationThis study aims to enhance students' understanding of mathematical proof through the etymology-based learning method. The research employs a descriptive approach to observe and analyze students' mathematical proof patterns in various contexts.
Mohamad Rifat +2 more
doaj +1 more source
Karl Popper and the Mechanisms of Hydrogen Embrittlement
Advanced Engineering Materials, EarlyView.Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley +1 more source
, 1995 We describe proof planning, a technique for the global control of search in automatic theorem proving. A proof plan captures the common patterns of reasoning in a family of similar proofs and is used to guide the search for new proofs in this family ...
Bundy, Alan
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
Advances in Sustainable and Wearable Textile Based Soft Robotics
Advanced Functional Materials, EarlyView.This Review examines advances in wearable textile‐based soft robotics, focusing on sustainable materials, integrated sensing, and scalable actuation. It discusses manufacturing and system integration across healthcare, assistive robotics, prosthetics, and human–machine interfaces, and highlights key challenges in circular design, including life‐cycle ...
Zahir Abbas +6 more
wiley +1 more source
The Surprise Examination Paradox and the Second Incompleteness Theorem [PDF]
, 2010 We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox.
Raz, Ran, Kritchman, Shira
core
Advanced Functional Materials, EarlyView.In this work, diamonds with negative charged silicon‐vacancy (SiV−) centers have been designed for use as thermometers in biomedical applications. Multiparametric analysis of the emission characteristics of the SiV− centers provides extraordinary sensitivity for temperature detection in the physiological temperature range.
María Gragera +6 more
wiley +1 more source