Results 21 to 30 of about 2,143,165 (258)
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
The Bulletin of Symbolic Logic, 2022 AbstractWe show that numerous distinctive concepts of constructive mathematics arise automatically from an “antithesis” translation of affine logic into intuitionistic logic via a Chu/Dialectica construction. This includes apartness relations, complemented subsets, anti-subgroups and anti-ideals, strict and non-strict order pairs, cut-valued metrics ...
openaire +4 more sources
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source
Introduction to discrete mathematics via logic and proof
, 2019 This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics ...
Jongsma, Calvin
core +1 more source
Advanced Materials, EarlyView.Intrinsic material dynamics are harnessed as computational resources for neuromorphic in‐materio physical reservoir computing. Defects, ionic motion, interfaces, percolation, geometry, and biasing shape transient states that provide fading memory, nonlinearity, and high‐dimensional projection for simple readout. A descriptor‐to‐dynamics framework links
Kshitij RB Singh +5 more
wiley +1 more source
Inverse Design of Nanoparticulate Materials
Advanced Materials, EarlyView.Inverse design shifts nanomaterial development from empirical trial‐and‐error to predictive model‐driven strategies. It can rely on knowledge‐based, data‐based, or hybrid process and property functions. This perspective article provides a practical framework for applying inverse design based on instructive examples. It discusses which modeling approach
Nabi Etienne Traoré +5 more
wiley +1 more source
, 1967 Mathematics is interested in the methods by which concepts are defined in terms of others and statements are inferred from others. It therefore uses a primarily deductive form of reasoning.
Moffett, Janet
core
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
Refutations and the logic of practice [PDF]
, 2011 When arguments are refuted in mathematics classrooms, the ways in which they are refuted can reveal something about the logic of practice evolving in the classroom, as well as about the epistemology that guides the teachers’ teaching.
Crosby, Matthew +4 more
core
Advanced Materials Technologies, EarlyView.Single‐filament material extrusion enables spatial stiffness programming through locally controlled thermal foaming of TPU. A data‐driven G‐code framework tunes porosity from 15.7% to 40.7% and hardness from 90 to 63 Shore A within and across layers. Monolithic hands and soft actuators consequently achieve distinct programmed motions without material ...
Rosanna Rifino +3 more
wiley +1 more source