Results 101 to 110 of about 16,840,789 (262)

n‐Type Semiconductor Hydrogels for Tunable Organic Electrochemical Transistors Operation and Evaporation‐Driven Synergistic Energy Harvesting and Thermal Management

Advanced Functional Materials, EarlyView.
This study develops a tunable n‐OSC hydrogel (PBFDO‐PAAc) platform with a tunable porous network and thermoelectric properties. It demonstrates the first report of n‐OSC hydrogels for evaporation‐driven hydrovoltaic‐thermoelectric electricity generation as well as chemically dedoping‐mediated OECT working mode reconfiguration. This work expands n‐OSCs’
Zhenli Zhou, Cong Huang, Haohong Jiang, Yuhao Jiang, Yaoyao Zhu, Boyuan Li, Yi Wang, Enna Ha, Ni Zhao, Shu‐Jen Wang   +9 more
wiley   +1 more source

Binary‐to‐Ternary Reconfigurable Transistors Using Plasma‐Assisted MoS2

Advanced Functional Materials, EarlyView.
A binary‐to‐ternary reconfigurable transistor is demonstrated using a dual‐gated molybdenum disulfide homojunction with localized O2 plasma treatment. The device exhibits on/intermediate and intermediate/off current ratios of 102 and 104, respectively, and the intermediate state is electrically tunable in the ternary mode.
Yeonghyeon Ko, Jungi Song, Minsu Kim, Yongwook Seok, Seongje Moon, Kenji Watanabe, Takashi Taniguchi, Kayoung Lee   +7 more
wiley   +1 more source

Disorder‐Broadened Topological Hall Phase and Anomalous Hall Scaling in FeGe

Advanced Functional Materials, EarlyView.
By systematically introducing defects into FeGe via ion‐beam modification, we demonstrate that disorder broadens the temperature regime over which the topological Hall effect ‐ a signature of skyrmions or other chiral textures — appears, while also increasing its magnitude.
Chaman Gupta, Chris Matsumura, Hongbin Yang, Sarah Edwards, Rebeca M. Gurrola, Jiun‐Haw Chu, Hanjong Paik, Yongqiang Wang, David A. Muller, Robert Streubel, Tzu‐Ming Lu, Serena Eley   +11 more
wiley   +1 more source

Bulk‐Like Spin Cycloid and Fast Switching in Freestanding BiFeO3

Advanced Functional Materials, EarlyView.
Freestanding BiFeO3 membranes overcome substrate‐induced constraints by simultaneously restoring the intrinsic bulk‐like spin cycloid and enabling ≈50% faster ferroelectric switching than substrate‐clamped epitaxial thin films. This combination of robust noncollinear antiferromagnetic order and efficient electric‐field switching establishes ...
Pratap Pal, Xiaoxi Deng, Gi‐Yeop Kim, Kyoungjun Lee, Jheng‐Cyuan Lin, Prithwijit Mandal, Jiangfeng Yang, Paul Steadman, Pascal Manuel, Roger D. Johnson, Si‐Young Choi, Paolo G. Radaelli, Chang‐Beom Eom   +12 more
wiley   +1 more source

Decision procedure for first-order linear temporal logic with semi-periodic kemels

Lietuvos Matematikos Rinkinys, 2002
There is not abstract.
Regimantas Pliuškevičius
doaj   +1 more source

Finite-Degree Predicates and Two-Variable First-Order Logic [PDF]

, 2015
We consider two-variable first-order logic on finite words with a fixed number of quantifier alternations. We show that all languages with a neutral letter definable using the order and finite-degree predicates are also definable with the order predicate
Paperman, Charles
core   +1 more source

Making the Case for Organ‐on‐Chip Platforms in Long‐Acting Therapeutics Development

Advanced Healthcare Materials, EarlyView.
LATs release drug from a tissue‐resident depot over weeks to months, improving adherence, but their development is hampered by preclinical models that cannot reproduce the coupled tissue processes, sustained release, local microenvironment change, interstitial transport, immune and foreign‐body responses, and clearance that govern depot performance in ...
Charlie Gowans, Abdulwahhab Khedr, Panagiotis G. Georgiou, Nehir Arik, Ozlem Sen, Steve P. Rannard, Tom O. McDonald, Christos Tapeinos   +7 more
wiley   +1 more source

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj   +1 more source

Directional Flow of Confined Polaritons in CrSBr

Advanced Materials, EarlyView.
CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak, Sichao Yu, Jaime Abad‐Arredondo, Biswajit Datta, Andy Cruz, Sorah Fischer, Kseniia Mosina, Zdeněk Sofer, Antonio I. Fernández‐Domínguez, Francisco J. Garcia‐Vidal, Vinod M. Menon   +10 more
wiley   +1 more source

Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power [PDF]

, 2018
In this thesis, we investigate the decidability and computational complexity of (deductive) conservative extensions in expressive fragments of first-order logic, such as two-variable and guarded fragments. Moreover, we also investigate the complexity of (
Martel, Mauricio
core