Results 81 to 90 of about 79,232 (299)

Labelled Tableaux for Non-Normal Modal Logics [PDF]

, 2000
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.
Governatori, G, Luppi, A
openaire   +2 more sources

Brain‐Inspired In‐Memory Data Pruning and Computing with TaOx Mem‐Selectors

Advanced Materials, EarlyView.
In article number 2502168, Zhongrui Wang, Xiaoxin Xu, Dashan Shang, and co‐workers present the first nanoscale Mem‐Selector device that integrates both nonvolatile resistive memory and volatile threshold switching functionalities for visual data pruning.
Yi Li, Jinru Lai, Songqi Wang, Ning Lin, Xu Zheng, Wenxuan Sun, Danian Dong, Xiqing Xu, Haili Ma, Feng Zhang, Xiaojuan Qi, Zhongrui Wang, Xiaoxin Xu, Dashan Shang, Han Wang, Ming Liu   +15 more
wiley   +1 more source

Unperceivable Designs of Wearable Electronics

Advanced Materials, EarlyView.
Unperceivable wearable technologies seamlessly integrate into everyone's daily life, for healthcare and Internet‐of‐Things applications. By remaining completely unnoticed both visually and tactilely, by the user and others, they ensure medical privacy and allow natural social interactions.
Yijun Liu, Séverine De Mulatier, Naoji Matsuhisa   +2 more
wiley   +1 more source

Perovskite Microwires for Room Temperature Exciton‐Polariton Neural Network

Advanced Materials, EarlyView.
Exciton‐polaritons are explored as a novel platform for optical neuromorphic computing at room temperature using a monocrystalline perovskite waveguide. Demonstrating non‐equilibrium Bose‐Einstein condensation, this work achieves machine learning tasks such as classification and object detection, marking a key advance toward energy‐efficient, practical
Andrzej Opala, Krzysztof Tyszka, Mateusz Kędziora, Magdalena Furman, Amir Rahmani, Stanisław Świerczewski, Marek Ekielski, Anna Szerling, Michał Matuszewski, Barbara Piętka   +9 more
wiley   +1 more source

A Roadmap for Plasma‐Enabled Electrocatalysis in Urea Production

Advanced Materials, EarlyView.
A modular plasma—electrochemical platform enables fully electrified urea synthesis from air and CO2 under ambient conditions. This Review integrates plasma oxidation, C─N coupling electrolysis, mechanistic insights, and techno‐economic metrics into a roadmap for scalable, distributed, and renewable fertilizer production.
Jingwen Huang, Zhongping Qu, Renwu Zhou, Jing Sun, Rusen Zhou, Dorna Esrafilzadeh, Ali R. Jalili   +6 more
wiley   +1 more source

Physical Intelligence in Small‐Scale Robots and Machines

Advanced Materials, EarlyView.
“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley   +1 more source

Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array

Advanced Materials, EarlyView.
This study presents a hardware physical reservoir computing system using a tri‐modal memristive crossbar array. Stochastic masking, bistable nonlinear activation, and analog readout enable fully in‐memory spatiotemporal processing. Demonstrations on cellular automata, Lorenz prediction, ADHD EEG classification, and chaotic KS modeling highlight its ...
Sungho Kim, Dong Hoon Shin, Wonho Choi, Sunwoo Cheong, Sung Keun Shim, Soo Hyung Lee, Janguk Han, Yoon Ho Jang, Kunhee Son, Néstor Ghenzi, Cheol Seong Hwang   +10 more
wiley   +1 more source

Soft and Strong: Elastic Conductors with Bio‐Inspired Self‐Protection

Advanced Materials, EarlyView.
A general reverse‐engineering approach is demonstrated for designing functional yarns that uses woven fabric architecture as a structural framework. The fabric‐based stretchable conductive yarns combine flexibility, high elasticity, low stiffness, self‐protection, and weavability with conventional textile processes. By fine‐tuning the number of elastic
Chenglong Zhang, Xiulun Yin, Chris Zhou, Xin Lu, Siying Wu, Ying Li, Addie Bahi, Sukhneet Kaur Dhillon, Orlando J. Rojas, Jinhua Jiang, Nanliang Chen, Frank K. Ko, John D. W. Madden   +12 more
wiley   +1 more source

High‐Performance Air‐Stable Polymer Monolayer Transistors for Monolithic 3D CMOS logics

Advanced Materials, EarlyView.
A fibrillar polymer monolayer with a self‐confinement effect is demonstrated, in which aligned chains parallel the nanofiber axis. Employing a top‐gate CYTOP dielectric, this monolayer transistor achieves high mobility (7.12 cm2 V−1 s−1) and exceptional stability over 1260 days in air.
Miao Cheng, Yanqin Zhang, Jinyao Wang, Haonan Wang, Yifan Xie, Shuaidi Zhang, Changrui Liu, Jingyun Chu, Feng Zhang, Zhenzhong Yang, Zilong Zheng, Mingjian Wu, Ling Li, Mengmeng Li   +13 more
wiley   +1 more source

Halide Perovskite Quantum Dots Form a Scalable Unified Platform for Resistive Memories, Crossbar Networks, Neuromorphic Synapses, and Field Effect Transistors

Advanced Materials Interfaces, EarlyView.
Halide perovskite quantum dots, with their flexible ABX3 lattice enabling collaborative electronic and ionic transport, offer scalable, low‐cost routes to resistive memories, opto‐electronic control, neuromorphic devices, and field‐effect transistors.
Hyojung Kim
wiley   +1 more source