Results 41 to 50 of about 13,015 (267)

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability [PDF]

Logical Methods in Computer Science, 2012
G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other.
Matthias Baaz, Agata Ciabattoni, Christian G Fermüller   +2 more
doaj   +1 more source

In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device

Advanced Functional Materials, EarlyView.
In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang, Rohan Dhall, Matthew M. Schneider, Cun Li, Chengyu Song, Sundar Kunwar, Hongyi Dou, Natanii R. Yazzie, Henry Tran, Daniel Appuing, Jim Ciston, Nicholas G. Cucciniello, Pinku Roy, Michael T. Pettes, John Watt, Winson Kuo, Haiyan Wang, Ye Cao, Rodney J. McCabe, Aiping Chen   +19 more
wiley   +1 more source

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

Many-valued logic: beyond algebraic semantics [PDF]

Soft Computing, 2012
The last three decades have witnessed major advances in many-valued logic and related fields. The theory of Łukasiewicz logic and Chang’s MV-algebras has flourished, establishing profound connections with other fields of mathematics; Petr Hajek’s framework for mathematical fuzzy logic has met with remarkable success, bringing into focus the central ...
S. Aguzzoli, B. Gerla, V. Marra
openaire   +1 more source

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Generalized Modus Tollens with Linguistic Modifiers for Inverse Approximate Reasoning [PDF]

International Journal of Computational Intelligence Systems, 2014
Based on our previous researchs about generalized modus ponens (GMP) with linguistic modifiers for If … Then rules, this paper proposes new generalized modus tollens (GMT) inference rules with linguistic modifiers in linguistic many–valued ...
Le Anh Phuong, Tran Dinh Khang
doaj   +1 more source

2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics

Advanced Functional Materials, EarlyView.
2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit, Yifei Yang, Shawn Li, Yu‐Chia Chen, Qi Jia, Jian‐Ping Wang   +5 more
wiley   +1 more source

Many-Valued Logic and Zadeh’s Fuzzy Sets: A Stone Representation Theorem for Interval-Valued Łukasiewicz–Moisil Algebras

Journal of Intelligent Systems, 2016
The aim of this article is to develop a representation theory of interval-valued Łukasiewicz–Moisil algebras; the concept of interval fuzzy sets involves the role that the notion of field of sets plays for the representation of Boolean algebras.
Amroune Abdelaziz, Zedam Lemnaouar, Davvaz Bijan   +2 more
doaj   +1 more source

Auxeticity‐by‐Assembly: Interlocking Modular Auxetic Metamaterials with Selectively Activatable AgNW–Graphene Oxide‐EGaIn Composite Interconnects for Scalable Freeform Photovoltaic Modules

Advanced Functional Materials, EarlyView.
Auxeticity‑by‑Assembly converts freeform photovoltaics from cut‑defined layouts to assembly‑defined systems. Standardized interlocking units generate negative‑Poisson‑ratio, reconfigurable architectures, while hinge regions are wired by selectively activatable AgNW–GO@EGaIn composite interconnects and a folding‑enabled interconnector layer. A decimeter‑
Seok Joon Hwang, Jiwon Ryu, Dae‐Hee Cho, YoungHoi Cho, Yewon Hwang, Haram Lee, Dong Hoe Kim, Byeong‐Kwon Ju, Seok Chung, Deokjae Choi, Gee Yeong Kim, Heesuk Jung, Taehee Kim, Hyeonggeun Yu, Gabseok Seo, Phillip Lee   +15 more
wiley   +1 more source