Results 101 to 110 of about 11,569 (296)

$\varepsilon$-calculus based axiom systems for some propositional modal logics. [PDF]

, 1972
Melvin Fitting
openalex   +1 more source

Additive Manufacturing of Neuromorphic Systems

Advanced Materials, EarlyView.
The crossover of additive Manufacturing (AM) and neuromorphic engineering promises a new paradigm in the fabrication of intelligent hardware—one that is sustainable, scalable, cost‐efficient, and customizable. The AM‐printed neuromorphic hardware (electronics and mechanical systems) is examined, and we discussed the technological integration.
Jiongyi Yan, Yutai Su, James P. K. Armstrong, Andrew Gleadall   +3 more
wiley   +1 more source

Some remarks on metaphysics and the modal logics ${\bf F}^*{\bf F}$. [PDF]

, 1976
Robert Lee Wilson
openalex   +1 more source

High Performance P‐Channel Transistor Based on Amorphous Tellurium Trioxide

Advanced Materials, EarlyView.
This study introduces a breakthrough in p‐channel transistors by transforming crystalline 2D tellurium into amorphous tellurium trioxide (a‐TeO3) via UV‐O3 treatment. This transformation enhances electronic properties, resulting in transistors with reduced hysteresis, superior on/off characteristics, and low barrier height, highlighting the potential ...
Seungho Bang, Chaewon Lee, Deogkyu Choi, Dae Young Park, Dong Hyeon Kim, Dohyeon Lee, Dong‐Joon Yi, Jungeun Song, Seok Joon Yun, Dong‐Wook Kim, Mun Seok Jeong   +10 more
wiley   +1 more source

A matrix decision procedure for three modal logics. [PDF]

, 1979
Adrian Larner
openalex   +1 more source

Heterojunction‐Driven Stochasticity: Bi‐Heterojunction Noise‐Enhanced Negative Transconductance Transistor in Image Generation

Advanced Materials, EarlyView.
This work engineered a bi‐heterojunction noise‐enhanced negative transconductance (BHN‐NTC) transistor using a half‐PTCDI‐C13 layer, achieving expanded and tunable noise characteristics. This advancement enables efficient multi‐bit TRNGs for AI‐driven image generation and enhances logic circuit applications.
Youngmin Han, Ryun‐Han Koo, Jaechan Song, Chang‐Hyun Kim, Eun Kwang Lee, Wonjun Shin, Hocheon Yoo   +6 more
wiley   +1 more source

On Combining Intuitionistic and S4 Modal Logic

Bulletin of the Section of Logic
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj   +1 more source

A modal logic with temporal variables. [PDF]

, 1978
Tobias R. Chapman
openalex   +1 more source

Borate‐Water‐Based 3D‐Slime Interface Quasi‐Solid Electrolytes for Li‐ion Batteries

Advanced Materials, EarlyView.
This advanced material, composed of lithium borate, lithium salt, and water, is a quasi‐solid that can be handled in air and has a 3D‐conducting‐interface network (3D‐Slime‐Interface Quasi‐Solid Electrolytes: 3D‐SLISE). The 3D‐SLISE is nonflammable and can be used in lithium‐ion batteries, and its water solubility allows direct recycling of active ...
Yosuke Shiratori, Kenta Watanabe, Kengo Saito, Ryota Sato, Yukihiro Okuno, Shintaro Yasui   +5 more
wiley   +1 more source

Spin‐Polarized Antiferromagnets for Spintronics

Advanced Materials, EarlyView.
This review highlights recent advances in anomalous and spin transport phenomena in spin‐polarized antiferromagnets. Key effects—including the anomalous Hall, Nernst, and magneto‐optical effects—are discussed across various antiferromagnetic platforms.
Zhenzhou Guo, Xiaotian Wang, Wenhong Wang, Gang Zhang, Xiaodong Zhou, Zhenxiang Cheng   +5 more
wiley   +1 more source