Results 91 to 100 of about 1,371,228 (355)
Elaboration in Dependent Type Theory [PDF]
, 2015 To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and ...
Avigad, Jeremy +3 more
core
Enhancing Low‐Temperature Performance of Sodium‐Ion Batteries via Anion‐Solvent Interactions
Advanced Functional Materials, EarlyView.DOL is introduced into electrolytes as a co‐solvent, increasing slat solubility, ion conductivity, and the de‐solvent process, and forming an anion‐rich solvent shell due to its high interaction with anion. With the above virtues, the batteries using this electrolyte exhibit excellent cycling stability at low temperatures. Abstract Sodium‐ion batteries
Cheng Zheng +7 more
wiley +1 more source
Investigating Variability in Classroom Performance amongst Children Exhibiting Difficulties with Early Arithmetic [PDF]
, 2007 Researchers in both psychology and mathematics education acknowledge that children’s mathematical performance can vary inexplicably from day to day, though there has been little detailed investigation of the form of variability discussed in this paper ...
Houssart, Jenny
core +1 more source
Advanced Functional Materials, EarlyView.MXene dervied CoFe composites show increased initial Oxygen Evolution Reaction (OER) activity compared to the pure CoFe and MXene in an Anion Exchange Membrane device. Vanadium vacancies in the MXene plays a role in increased OER activity and hinders Fe leaching in the AEM device over using the pure V2C MXene as a support material for the CoFe ...
Can Kaplan +16 more
wiley +1 more source
ManuscritoWe review Ferreirós and Lassalle Casanave's recently publishedbook "El árbol de los números". The book is a result of the Brazilian-Spanish conference "Sobre la elucidación del concepto de número: cognición, lógica y práctica matemática" hosted in ...
Bruno Mendonça
doaj +1 more source
Adam and Eve’s Wifiq: From Mathematics to Transformation Practice [PDF]
, 2022 Rusli Rusli +2 more
openalex +1 more source
Mathematical Practice, Crowdsourcing, and Social Machines [PDF]
, 2013 The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals.
Martin, Ursula, Pease, Alison
openaire +4 more sources
Proof by mathematical induction: Professional practice for secondary teachers [PDF]
, 2017 Mathematical induction is a proof technique that can be applied to establish the veracity of mathematical statements. This professional practice paper offers insight into mathematical induction as it pertains to the Australian Curriculum: Mathematics ...
Hine, G
core +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
Advanced Functional Materials, EarlyView.Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp +7 more
wiley +1 more source