Results 31 to 40 of about 397,185 (250)
Tools for Thought: The Case of Mathematics [PDF]
The objective of this article is to take into account the functioning of representational cognitive tools, and in particular of notations and visualizations in mathematics. In order to explain their functioning, formulas in algebra and logic and diagrams
Giardino, Valeria
core +3 more sources
A deep learning inverse‐design framework is established to create versatile reconfigurable terahertz metadevices. By synergizing deep learning with phase‐change materials, this approach enables on‐demand customization of multidimensional electromagnetic responses.
Yisheng Dong +11 more
wiley +1 more source
The octonions are the largest of the four normed division algebras. While somewhat neglected due to their nonassociativity, they stand at the crossroads of many interesting fields of mathematics.
Chang, Woo-Nyoung +3 more
core +10 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Recent Advances of Slip Sensors for Smart Robotics
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
There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing.
Aberdein, Andrew, Inglis, Matthew
core
Phase-Tunable Thermal Logic: Computation with Heat
Boolean algebra, the branch of mathematics where variables can assume only true or false value, is the theoretical basis of classical computation. The analogy between Boolean operations and electronic switching circuits, highlighted by Shannon in 1938 ...
Giazotto, Francesco +3 more
core +1 more source
An in situ electroplating approach for MEX 3D printing is proposed, enabling copper deposition during the fabrication of conductive polymers. The method combines a printer‐integrated plating head, ML‐based g‐code control, and stop‐and‐go printing, achieving near‐bulk copper conductivity and enabling fully embedded, assembly‐free electronic components ...
Gianluca Percoco +5 more
wiley +1 more source
Classical Mathematics for a Constructive World
Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively by dependent type theory and classical reasoning is typically supported by ...
Geuvers +8 more
core +1 more source
Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays
Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley +1 more source

