Results 81 to 90 of about 455,476 (286)

Oxygen‐Tunnel Indium Tin Oxide Vertical Channel Transistors with Enhanced Current Density and Reliability for Monolithic 3D Compute‐In‐Memory Systems

Advanced Functional Materials, EarlyView.
Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu, Haksoon Jung, Yongwoo Lee, Hoichang Jeong, Yanfeng Zhao, Heesoo Yang, Minho Park, Hyeonjin Lee, Seunghun Baek, Minju Song, Junghwan Kim, Youngmin Jo, Hyunjin Park, Munhyeon Kim, Jae‐Joon Kim, Kyuho Jason Lee, Byungjo Kim, Jimin Kwon   +17 more
wiley   +1 more source

Research on Control Stability of Cascade Air-source Heat Pump

Zhileng xuebao, 2014
For the cascade air-source heat pump operated under different environment temperature, the proper control of intermediate pressure is important. In this paper the principle that two stage compression ratio is approximately equal is used to determine the ...
Chen Jianbo, Yao Jingshan, Kang Youli, Han Xing, Li He, Wang Yu   +5 more
doaj  

Self-defined dual charge percolation networks for solution-processed multithreshold transistors

npj Flexible Electronics
This study demonstrates multithreshold engineering of a solution-processed heterojunction electrochemical transistor using a blend of n-type CdSe tetrapod-shaped nanocrystals (TpNCs) and an n-type polymeric organic semiconductor (OSC).
Jung Woo Moon, Seunghan Kim, Jin Hyeon Kim, Sunil V. Barma, Sang Young Jeong, Jinho Keum, Ho Sun Lim, Youngjae Yoo, Han Young Woo, Sae Byeok Jo, Moon Sung Kang, Jeong Ho Cho   +11 more
doaj   +1 more source

Shape‐Controlled Guanine Self‐Assemblies for Stable and Fast‐Ion Solid–Electrolyte Interphases in Sustainable Li Metal Batteries

Advanced Functional Materials, EarlyView.
The shape of guanine self‐assemblies is tuned by introducing alkyl (G8), fluoroalkyl (G8f), and oligoether (G8g) side chains into the G moiety. The scanning tunneling microscopy results and calculations show that the presence and type of the side chain strongly affect the G self‐assembly network.
So‐Huei Kang, So‐Dam Sohn, Kyung Min Lee, Seok‐Kyu Cho, Byongkyu Lee, Ji Eun Lee, Sang‐Young Lee, Sang Kyu Kwak, Hyung‐Joon Shin, Changduk Yang   +9 more
wiley   +1 more source

Natural Deduction for Three-Valued Regular Logics [PDF]

, 2016
In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M.
Petrukhin, Yaroslav
core   +1 more source

Partially Ordered Two-way B\"uchi Automata

, 2011
We introduce partially ordered two-way B\"uchi automata and characterize their expressive power in terms of fragments of first-order logic FO[
A.P. Sistla, C. Baier, C.A. Kapoutsis, E.M. Clarke Jr., J.-P. Pécuchet, J.-É. Pin, J.R. Büchi, K. Lodaya, K. Lodaya, M.Y. Vardi, O. Kupferman, T. Schwentick, W. Thomas   +12 more
core   +1 more source

Statistically Resolving Thickness‐Dependent Electrical Characteristics in Multilayer‐MoS2 Transistors

Advanced Functional Materials, EarlyView.
A large number of MoS2 flakes were screened to obtain high‐quality flakes based on optical intensities in R, G, and B channel images. The flakes were classified from Level 1 to 6 based on optical intensities in the R, G, and B channel images. Low‐quality flake exhibited wrinkled, folded, or overlapped features, while high‐quality displayed a neat ...
Sanghyun Lee, Sumin Hong, Minho Park, Seongju Kim, Sanghoon Baek, Seonguk Yang, Chang‐Soo Lee, Sang‐Hoon Bae, Joonki Suh, Yongwoo Lee, Haksoon Jung, Jimin Kwon   +11 more
wiley   +1 more source

Ternary Logic of Motion to Resolve Kinematic Frictional Paradoxes

Entropy, 2019
Paradoxes of dry friction were discovered by Painlevé in 1895 and caused a controversy on whether the Coulomb−Amontons laws of dry friction are compatible with the Newtonian mechanics of the rigid bodies.
Michael Nosonovsky, Alexander D. Breki
doaj   +1 more source

Tabular Intermediate Logics Comparison

Tabular intermediate logics are intermediate logics characterized by finite posets treated as Kripke frames. For a poset $\mathbb{P}$, let $L(\mathbb{P})$ denote the corresponding tabular intermediate logic. We investigate the complexity of the following decision problem $\mathsf{LogContain}$: given two finite posets $\mathbb P$ and $\mathbb Q$, decide
Pawel Rzazewski, Michal M. Stronkowski
openaire   +2 more sources

Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data

, 2012
As data are increasingly modeled as graphs for expressing complex relationships, the tree pattern query on graph-structured data becomes an important type of queries in real-world applications.
Jiang, Xiaorui, Zeng, Qiang, Zhuge, Hai
core   +2 more sources