Results 81 to 90 of about 6,486,692 (249)
Standards of rigor in mathematical practice Standards of rigor in mathematical practice
, 2012 Special issue of Philosophia Scientiae focusing on standards of mathematical rigor concerning the varieties of methodological, ontological, proof-theoretical questions.
core +1 more source
Advanced Engineering Materials, EarlyView.Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 more
wiley +1 more source
Rotary 3D Printing With Integrated Electroplating
Advanced Engineering Materials, EarlyView.A rotary material extrusion platform integrates localized copper electroplating with printing and encapsulation to fabricate cylindrical polymer–metal structures containing fully embedded, low‐resistance conductive pathways that enable internal Joule heating and thermally activated shape‐memory responses.
Antonio Zagaria +5 more
wiley +1 more source
Formalizability and Knowledge Ascriptions in Mathematical Practice [PDF]
, 2007 We investigate the truth conditions of knowledge ascriptions for the case of mathematical knowledge. The availability of a formalizable mathematical proof appears to be a natural criterion: (*) X knows that p iff X has available a formalizable proof of p.
Wilhelmus, Eva
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
Advances in Difference Equations, 2019 In this paper, we develop the lower order stabilized finite element methods for the incompressible flow with the slip boundary conditions of friction type whose weak solution satisfies a variational inequality.
Jian Li, Haibiao Zheng, Qingsong Zou
doaj +1 more source
Advanced Functional Materials, EarlyView.In MOCVD MoS2 memristors, a current compliance‐regulated Ag filament mechanism is revealed. The filament ruptures spontaneously during volatile switching, while subsequent growth proceeds vertically through the MoS2 layers and then laterally along the van der Waals gaps during nonvolatile switching.
Yuan Fa +19 more
wiley +1 more source
Model theory and the philosophy of mathematical practice: formalization without foundationalism
, 2018 Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical ...
Baldwin, John T
core
Educational Administration: Theory and Practice [PDF]
, 2021 Educational Administration: Theory & Practice: Vol 25, Issue
Educational Administration Theory and Practice
core
Argumentation in Mathematical Practice [PDF]
Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient.
Ashton, Zoe, Aberdein, Andrew
core +2 more sources