Results 71 to 80 of about 56,783 (314)
Angstrom‐Scale Confined Ion Sieve and Accelerator for Efficient Aqueous Zinc Batteries
Advanced Materials, EarlyView.An angstrom‐scale confined ion accelerator strategy is proposed for ultra‐stable aqueous Zn anodes. Selective and precise transport of hydrated Zn(H2O)62+, Zn2+ cations, H2O molecules, and SO42− anions is achieved by in‐plane atomic Ti vacancies and angstrom‐scale interlayer free spacing within the Ti0.87O2 interfacial layer, leading to homogeneous Zn ...
Xing Peng +16 more
wiley +1 more source
Annals of the Japan Association for Philosophy of Science, 1963 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Connectivity of complexes of separating curves [PDF]
, 2013 We prove that the separating curve complex of a closed orientable surface of genus g is (g − 3)-connected. We also obtain a connectivity property for a separating curve complex of the open surface that is obtained by removing a finite set from a closed ...
Sub Algebra,Geometry&Mathem. Logic begr. +2 more
core +1 more source
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
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Kechris, Alexander S. +3 more
core
Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays
Advanced Materials Technologies, EarlyView.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
Ten Theses on Logic Languages for the Semantic Web [PDF]
, 2005 This articles discusses the logic, or logic-based, languages required for a full deployment of the SemanticWeb. It presents ten theses addressing 1. the kinds of logic languages needed, 2. data and data processing, 3. semantics, and 4.
Massimo Marchiori +4 more
core +1 more source
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source
Classical Mathematical Logic: The Semantic Foundations of Logic [PDF]
, 2011 In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics.
Szczerba, Leslaw W, Epstein, Richard L
core
On definability in dependence logic [PDF]
, 2009 We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007].
Väänänen, J., Kontinen, J.
core +1 more source