Results 81 to 90 of about 10,516 (283)

Classical Resolution for Many-Valued Logics

, 2016
We present a resolution-based proof method for finite-valued propositional logics based on an algorithmic reduction procedure that expresses these logics in terms of bivalent semantics. Our approach is hybrid in using some elements which are internal and
Marcos, João, Nalon, Cláudia
core   +1 more source

Synchronizing Tunable Luminescence and Shape Morphing in a Metal Nanocluster–Enabled Hydrogel Platform

Advanced Materials, EarlyView.
A nanocluster–gel platform is developed to synchronously integrate tunable luminescence and shape morphing under a single stimulus, with emission programmability encoded through cluster size modulation (Au10 → Au18). Solvent‐induced shape–optical transitions are visualized in a lotus‐shaped gel that dynamically folds and dims, enabling rapid (< 5 s ...
Hongbin Lin, Zening Huang, Yongshi He, Hongda Wei, Zhucheng Yang, Zhiqiang Hu, Yang Zhou, Xiaorong Song, Sanyang Han, Jianping Xie   +9 more
wiley   +1 more source

Advances in Magnesium‐Based Thermoelectrics: A Critical Review

Advanced Materials, EarlyView.
Magnesium‐based thermoelectric materials have emerged as promising candidates for low‐to‐mid‐temperature energy conversion due to their abundance, low cost, and competitive performance. This review summarizes recent advances in Mg3X2, MgAgSb, and Mg2X systems, covering transport mechanisms, fabrication strategies, stability challenges, and device ...
Li‐Min Zhang, Li Zhang, Nan‐Hai Li, Yan‐Ling Yang, Xiao‐Lei Shi, Zhi‐Gang Chen   +5 more
wiley   +1 more source

Weaving Intelligence: Thermally Drawn Multimaterial Fibers Toward AI‐Enabled Smart Textiles

Advanced Materials, EarlyView.
Thermally drawn multimaterial fibers are rapidly advancing as intelligent structural units for next‐generation smart textiles. Integrating multimaterial architectures with neuromorphic and spiking‐neural‐network principles enables fabrics that can sense, compute, and adapt autonomously.
Vuong Dinh Trung, Jiaxiang Yi, Hieu Nguyen‐Duc, Tien Nu Hoang Lo, Weili Zhao, Chaoqun Dong, Fabien Sorin, Baris Caglar, Lei Wei, Tung Nguyen‐Dang   +9 more
wiley   +1 more source

Decision Support System Driven by Thermo-Complexity: Algorithms and Data Manipulation

IEEE Access
Today, making decisions in multi-parameter contexts requires long computational times and increasingly powerful computers. In addition, we are often interested not only in the final decision to be made, but above all in the decision-making path to follow,
Gerardo Iovane
doaj   +1 more source

Soft Hardware, Flowing Software: Reconfigurable Microfluidics for Adaptable Chemical Computation

Advanced Materials, EarlyView.
A reconfigurable microfluidic platform based on soft, photo‐printable, and chemically erasable hydrogel structures printed and erased in situ is used to control flow routing, mixing, chemical patterning, and even chemical computing. Using hardware to control chemical computations decouples logic function from molecular composition, demonstrated via ...
Piet J. M. Swinkels, Brigitta Dúzs, Oliver Skarsetz, Kohei Nishiyama, Andreas Walther   +4 more
wiley   +1 more source

Complexity of Many-Valued Logics

, 2001
As is the case for other logics, a number of complexity-related questions can be posed in the context of many-valued logic. Some of these, such as the complexity of the sets of satisfiable and valid formulas in various logics, are completely standard ...
Hähnle, Reiner, H\ue4hnle, Reiner
core  

High‐Performance, Paper‐Based Microelectronics via a Micromodular Fabrication Process

Advanced Materials Interfaces, EarlyView.
This study demonstrates high‐performance silicon micromodular transistors on cellulose nanomaterial‐coated paper, with interconnects formed via e‐jet printing. Transistors exhibit excellent electrical properties and maintain performance under applied strain.
Rebecca K. Banner, Hubert N. Elly, Kaifan Yue, Cyra Moobed, Siddharth Kurup, Daniel Aziz, Kira L. Barton, Victor Breedveld, Eric M. Vogel, Michael A. Filler   +9 more
wiley   +1 more source

Formalization of Many-Valued Logics

, 2017
Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this ...
Villadsen, Jørgen, Schlichtkrull, Anders   +1 more
core  

A Note on Saturated Models for Many-Valued Logics

, 2015
In this short paper we will discuss on saturated and κ-saturated models of many-valued (t-norm based fuzzy) logics. Using these peculiar structures we show a representation theorem à la Di Nola for several classes of algebras including MV, Gödel ...
T. Flaminio, M. Bianchi
core   +1 more source