Results 71 to 80 of about 2,419,527 (287)
Advanced Materials Technologies, EarlyView.The article overviews past and current efforts on caloric materials and systems, highlighting the contributions of Ames National Laboratory to the field. Solid‐state caloric heat pumping is an innovative method that can be implemented in a wide range of cooling and heating applications.
Agata Czernuszewicz +5 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 +1 more source
Recent Advances in Light‐Addressable Electrochemistry for Spatially Resolved Applications
Advanced Materials Technologies, EarlyView.This comprehensive review highlights light‐addressable electrochemistry as a powerful tool that uses light to control localized chemical reactions on unstructured semiconductor surfaces. The work evaluates advanced strategies to optimize electrode materials for enhanced spatial resolution and stability. Furthermore, it showcases diverse applications in
Nhi Trang Vo +2 more
wiley +1 more source
International Journal of Research in Mathematics EducationThis study explores how a teacher focuses students' mathematical reasoning to advance instruction through the implementation of five mathematically productive teaching streams: guidance to student reasoning and proof, student mathematical discussion ...
Scristia, Tatang Herman
doaj +1 more source
Acceptable gaps in mathematical proofs
Synthese, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Zero‐Waste Manufacturing of Ophthalmic Lenses by Direct Fluidic Shaping in Arbitrary Domains
Advanced Materials Technologies, EarlyView.Conventional ophthalmic lens manufacturing discards up to 97% of material through subtractive processes. The Cookie Cutter algorithm extends Fluidic Shaping to arbitrary rim geometries. The framework prescribes a spatially varying boundary height that, under neutral buoyancy and surface tension, shapes curable polymer into spherocylindrical lenses that
Yotam Katzman +6 more
wiley +1 more source
IEEE Access, 2019 High-penetration wind power access to grid requires wind turbine generator (WTG) to provide frequency regulation service. Consequently, the frequency dynamics of wind power plants (WPPs) integrated system are changing; thus, it is necessary to ...
Jianfeng Dai +3 more
doaj +1 more source
ADVERSITY QUOTIENT AND RESILIENCE IN MATHEMATICAL PROOF PROBLEM-SOLVING ABILITY
MaPan: Jurnal Matematika dan Pembelajaran, 2020 : Various mathematical abilities require a high level of struggle to be achieved, one of which is the ability to solve mathematical proof problems. Several factors are also associated with this ability, including adversity quotient and resilience.
Fauziah Hakim, Murtafiah Murtafiah
doaj +1 more source
Proof Auditing Formalised Mathematics
J. Formaliz. Reason., 2016 The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itself can be subject to error, and yet there is currently no accepted process in checking, or even much ...
openaire +2 more sources
Advanced Materials Technologies, EarlyView.Optically pumped magnetometers are employed to contactlessly map the spatiotemporal dynamics of the magnetic field linked to electrical activity of a skeletal muscle in vivo. It is demonstrated that localization of the clinically relevant innervation zone is feasible using this non‐invasive magnetic measurement modality. ABSTRACT Magnetomyography (MMG)
Simon Nordenström +12 more
wiley +1 more source