Results 61 to 70 of about 2,143,165 (258)

A Versatile‐Designable Framework for Active and Programmable Shape‐Morphing Soft Matter Systems: From Inverse Design to Closed‐Loop Control

Advanced Science, EarlyView.
A versatile framework integrates addressable electrothermal actuation and strain‐constraint mechanisms to construct programmable shape‐morphing soft matter systems. By combining an analytical inverse design strategy for high‐fidelity 3D surface reconstruction with deep learning‐based closed‐loop control, this approach enables zero‐energy shape locking,
Kai Liu, Peiling Xie, Ruitong Song, Banghan Liu, Rui Guo, Jiu‐an Lv   +5 more
wiley   +1 more source

Sets, models and proofs: Provides a concise introduction to mathematical logic for mathematics students

, 2018
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory.
Moerdijk, I., van Oosten, J., Faculteit Betawetenschappen, Fundamental mathematics, Sub Fundamental Mathematics   +4 more
core  

A Portable Soft Robotic Glove with Fully Functional Thumb Assistance for Complex Dexterous Fine Motor Skills

Advanced Science, EarlyView.
A portable, sensorized, and controlled dexterous thumb‐enhanced glove helps stroke survivors swipe phones, twist caps, and perform other tasks. It is based on a powerful continuously, segmented origami dual chamber actuator to achieve active thumb CMC and MCP joint assistance and passively extend the IP joint.
Disheng Xie, Zhen Wang, Zhongping Ye, Minghao Liu, Xiangqian Shi, Shuk Fan Tong, Jianbin Liu, Chuanbin Mao, Thomas W. Leung, Haitao Liu, Raymond Kai‐yu Tong   +10 more
wiley   +1 more source

Introduction to categories and categorical logic [PDF]

, 2009
Working paper, submitted at Cornell University Library Archive on the 7th of February 2011. Available via http://arxiv.org/abs/1102.1313v196 pages96 pages96 pages96 pagesThe aim of these notes is to provide a succinct, accessible introduction to some of ...
Abramsky, S, Tzevelekos, N, Nikos Tzevelekos, Samson Abramsky, N. Tzevelekos, S. Abramsky   +5 more
core   +1 more source

Voltage‐Driven Non‐Volatile Interconversion Between Giant Single‐Domain and Multidomain Magnetic States in a Multiferroic Heterostructure

Advanced Science, EarlyView.
Non‐volatile voltage control of magnetic configurations is achieved in a strain‐coupled multiferroic heterostructure. Voltage pulses reversibly interconvert giant single‐domain and multidomain magnetic states, which remain stable at zero applied voltage. ABSTRACT Voltage control of magnetic states in multiferroic heterostructures represents a promising
M. Ghidini, S. Valencia, A. Lesaine, R. Mansell, V. Farenkov, X. Moya, N. A. Stelmashenko, F. Maccherozzi, C. W. H. Barnes, F. Kronast, S. S. Dhesi, N. D. Mathur   +11 more
wiley   +1 more source

Discrete Mathematics: Chapter 1, Sentential Logic

, 2016
As a general field of study, logic isn’t really a branch of mathematics. It deals with consequential reasoning, something we do in all areas of our lives. It enters into daily conversation (“How can you believe that? Don’t you know that . . .
Jongsma, Calvin
core   +1 more source

Programmable Paracrine‐Mimetic Microneedle System for Temporal Regulation of Cardiac Repair

Advanced Science, EarlyView.
Temporal signaling is encoded into a programmable paracrine‐mimetic microneedle patch via tris(2,2'‐bipyridyl)dichlororuthenium(II) hexahydrate/sodium persulfate‐tuned hydrogel microparticles that deliver TGF‐β, IGF‐1, and VEGF over phase‐matched 7‐, 14‐, and 28‐day windows.
Yichen Dai, Pengchong Du, Zhaoyang Wang, Surilige, Rangga Fokta, Renjian Tan, Xiqing Zhao, Shuoyi Zhang, Yuecheng Wang, Yixin Zhang, Ziliang Fu, Rui Gong, Cheng Jiang, Yisheng He, Qiguang Wang, Renke Li, Khoon Lim, Junnan Tang, Xiaolin Cui   +18 more
wiley   +1 more source

Neuromorphic Devices and Computing for Sensing, Memory, and Control

Advanced Science, EarlyView.
This review introduces neuromorphic devices made from diverse materials. These devices mimic neuronal functions and architectures and, when integrated with artificial or biological computing, can form closed loops with neurons for pressure, optical, acoustic, and biochemical sensing and modulation.
Zhengguang Zhu, Nicholas Schaffer, Xiao Yang   +2 more
wiley   +1 more source

Programmable Topological Magnetic Textures in Above‐Room‐Temperature 2D Ferromagnet Fe3GaTe2

Advanced Science, EarlyView.
This work demonstrates the programmable generation and deterministic modulation of magnetic skyrmion bags with high‐order topological numbers in the above‐room‐temperature 2D ferromagnet Fe3GaTe2 (FGaT) via current‐pulse control. Furthermore, highly efficient electrical manipulation and current‐driven parallel motion of these high‐order topological ...
Hanqing Shi, Yilian Xi, Jingwei Zhang, Jiaqi Liu, Zhizhen Ren, Shilei Zhang, Weichang Hao, Haifeng Feng, Yi Du   +8 more
wiley   +1 more source

ON THE MATHEMATICS OF LOGIC AND THE LOGIC OF MATHEMATICS

, 2016
In this paper we deal with two different approaches to logic, the Boolean and the Fregean. In particular, we give some reasons to explain certain ignorance of the Boolean approach at some Philosophy Departments, particularly in the teaching of logic. After giving some reasons for the convenience of combining both approaches, we recommend material on ...
openaire   +1 more source