Results 121 to 130 of about 8,214,233 (250)

Soft Skins With Reversible Thickness Morphing: Materials, Mechanisms, and Applications

Advanced Materials, EarlyView.
Evolution of electronic skin (e‐skin) technologies toward adaptive, multifunctional soft skins. Phase I highlights early rigid and discrete sensory interfaces. Phase II shows the transition toward flexible, stretchable, and large‐area e‐skin. Phase III captures the emergence of computational e‐skin.
Oliver Ozioko, Chiamaka Akah, Ravinder Dahiya   +2 more
wiley   +1 more source

Data‐Driven Materials Science for Energy‐Sustainable Applications

Advanced Materials, EarlyView.
Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley   +1 more source

Many-valued Logic in HOL

, 2007
Many-valued logic is formalized in the logic of the theorem prover HOL [GM93]. We follow an algebraic approach, starting from a Heyting algebra. Using this approach and some useful HOL machinery, we implemented a tautology-checker for a three-valued ...
Indra Polak
core  

Noise‐Tunable Memristor Enabling Programmable Probabilistic Neurons for Frequency‐Selective Time‐Series Signal Encoding

Advanced Materials, EarlyView.
Memristors offer tunable resistance and intrinsic instability, making them promising tunable noise sources. We propose a spiking‐rate‐programmable probabilistic neuron using a Ru/TaOx/Pt memristor, where resistance‐dependent noise enables frequency‐selective encoding.
Do Hoon Kim, Seoeun Jang, Hakseung Rhee, Min Gu Lee, Daehee Kim, Taewook Go, Woon Hyung Cheong, Hanchan Song, Kyung Min Kim   +8 more
wiley   +1 more source

An application of automated equational reasoning to many-valued logic

, 1991
In this paper we present the theorem prover SBR3 for equational logic and itsapplication in the many-valued logic of Lukasiewicz. We give a new equational axiomatization of many-valued logic and we prove by SBR3 that it is equivalent to the classical ...
Maria Paola Bonacina, BONACINA, Maria Paola, Siva Anantharaman   +2 more
core   +1 more source

Review of Inorganic Separator Engineering for Next‐Generation Lithium–Sulfur Batteries: Compromise or Cornerstone?

Advanced Materials, EarlyView.
Inorganic compound‐modified separators transform lithium–sulfur batteries from passive polysulfide confinement to active reaction‐pathway regulation. A Practical Relevance Index (PRI)‐guided framework bridges interfacial chemistry of inorganic separators with practical constraints, establishing unified design principles for scalable, high‐energy ...
Yuting Qin, Tianyi Wang, Xingyu Wang, Kaifu Xu, Yuzhou Wang, Chengyin Wang, Bing Sun, Guoxiu Wang   +7 more
wiley   +1 more source

S‐Nitrosothiols as Thiol‐Protecting Groups for Controlled Thiol‐Maleimide Crosslinking of Homogeneous Soft Hydrogels

Advanced Materials, EarlyView.
Rapid thiol‐maleimide addition frequently outpaces mixing, resulting in heterogeneous hydrogels. S‐nitrosothiols act as thiol‐protecting groups, allowing uniform mixing with maleimide‐functionalized polymers before gelation. Sodium thiosulfate or sodium ascorbate then regenerates thiols on demand, triggering controlled thiol‐maleimide crosslinking ...
Julian A. Serna, Michelle J. Iwohn, Maximilian Seifermann, Stefan Heißler, Maike Schliephake, Franziska Dopp, Claudia Muhle‐Goll, Pavel A. Levkin   +7 more
wiley   +1 more source

Engineering Metal‐Pocket Cooperativity in Single‐Atom COF Nanozymes for Selective Cascade Catalysis

Advanced Materials, EarlyView.
A multilevel programming strategy is developed to engineer single‐atom COF nanozymes with tunable metal centers and chiral pockets inspired by heme–pocket cooperativity. This approach enables controlled metal–pocket interplay for asymmetric cascade catalysis, delivering high activity, selectivity, and recyclability in an asymmetric oxidation–aldol ...
Ziping Li, Qijun Sun, Yawen Hao, Haotian Wen, Shery Chang, Fengwang Li, Jiangtao Xu, Kang Liang   +7 more
wiley   +1 more source

Electrolyte Engineering Challenges and Opportunities for Next‐Generation Aqueous Ammonium‐Ion Batteries

Advanced Materials, EarlyView.
Aqueous ammonium‐ion batteries (AAIBs) face a hydrogen‐bond paradox: the HB network enables fast NH4+ transport but triggers water decomposition. This review dissects this dilemma, evaluates multiple electrolyte engineering strategies, and outlines four future directions for next‐generation AAIB design ABSTRACT Aqueous ammonium‐ion batteries (AAIBs ...
Zi‐Hang Huang, Xiaoyu Liu, Shuai Mao, Lingfeng Zhu, Zhijun Wu, Hongge Pan, Tianyi Ma   +6 more
wiley   +1 more source

Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages

, 2008
The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification languages.

core