Results 61 to 70 of about 1,005,997 (319)
Multiplicative-Additive Focusing for Parsing as Deduction
, 2015 Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing.
Morrill, Glyn, Valentín, Oriol
core +2 more sources
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source
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
Desperately Seeking Mathematical Proof [PDF]
The Mathematical Intelligencer, 2009 Remarks on mathematical proof and the practice of mathematics.
openaire +3 more sources
Advanced Functional Materials, EarlyView.This study presents novel anti‐counterfeiting tags with multilevel security features that utilize additional disguise features. They combine luminescent nanosized Ln‐MOFs with conductive polymers to multifunctional mixed‐matrix membranes and powder composites. The materials exhibit visible/NIR emission and matrix‐based conductivity even as black bodies.
Moritz Maxeiner +9 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
A Case for Proof Making for Prospective Middle School Teachers [PDF]
, 2004 In this article, we discuss how we, as mathematics teacher educators, might help our prospective middle school teachers develop a disposition toward mathematics that involves making sound arguments and, more generally, making proofs about mathematical ...
Cavey, L. +2 more
core +1 more source
Easy and nearly simultaneous proofs of the Ergodic Theorem and Maximal Ergodic Theorem [PDF]
, 2006 We give a short proof of a strengthening of the Maximal Ergodic Theorem which also immediately yields the Pointwise Ergodic Theorem.Comment: Published at http://dx.doi.org/10.1214/074921706000000266 in the IMS Lecture Notes--Monograph Series (http ...
Keane, Michael, Petersen, Karl
core +2 more sources
Synchrotron Radiation for Quantum Technology
Advanced Functional Materials, EarlyView.Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source
Advanced Functional Materials, EarlyView.From a database of 170 pentagonal 2D materials, 4 candidates exhibiting altermagnetic ordering are screened. Furthermore, the spin‐splitting and unconventional boundary states in the pentagonal 2D altermagnetic monolayer MnS2 are investigated. A MnS2‐based altermagnetic tunneling junction is designed and, through ab initio quantum transport simulations,
Jianhua Wang +8 more
wiley +1 more source