Results 71 to 80 of about 12,693 (255)

Necessary conditions for finite decidability in locally finite varieties admitting strongly abelian behavior

, 2014
We show that several kinds of local behavior in a finite algebra A present obstructions to the decidability of the first-order theory of the finite members of HSP(A).
Smedberg, Matthew Raine
core  

Godel algebras free over finite distributive lattices

, 2008
Gödel algebras form the locally finite variety of Heyting algebras satisfying the prelinearity axiom Formula Not Shown . In 1969, Horn proved that a Heyting algebra is a Gödel algebra if and only if its set of prime filters partially ordered by reverse
MARRA V., AGUZZOLI S, S. Aguzzoli, B. Gerla, GERLA, BRUNELLA, V. Marra   +5 more
core   +1 more source

Engineering of Crystal and Domain Structures in Epitaxial Y:HfO2 Thin Films by YSZ Substrate Miscut

Advanced Science, EarlyView.
We investigate how YSZ substrate miscut influences crystal structure and domain formation in epitaxial Y‐doped HfO2 thin films. Using magnetron sputtering, high‐resolution X‐ray diffraction, atomic‐resolution scanning transmission electron microscopy, and first‐principles calculations, we systematically examine the characteristics of thickness‐ and ...
Jun Young Lee, Hyung‐Jin Choi, Kun Hee Ye, Haneul Choi, Byeong‐hyeon Lee, Min‐Seok Kim, Dong‐Hun Han, June Hyuk Lee, Sung Ok Won, Tae Heon Kim, Hye Jung Chang, Jung‐Hae Choi, Seung‐Hyub Baek   +12 more
wiley   +1 more source

Harnessing Phase Separation for the Development of High‐Performance Hydrogels

Advanced Science, EarlyView.
ABSTRACT Hydrogels are indispensable for the development of next‐generation bioelectronics, soft robotics, and biomedical devices, where their mechanical properties determine performance and reliability. Among strategies to enhance hydrogel mechanics, phase separation enables controlled heterogeneity resulting in gel networks that are reinforced by ...
Yue Shao, Yiming Ma, Baihao Shao, Molly M. Stevens   +3 more
wiley   +1 more source

Locally Finite Reducts of Heyting Algebras and Canonical Formulas

, 2013
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices.
Bezhanishvili, N., Bezhanishvili, Guram
core  

Modulating the Charge Transfer Channels via Constructing Charge‐Assisted Hydrogen‐Bonded Organic Frameworks for Enhanced Photosynthesis of Hydrogen Peroxide

Advanced Science, EarlyView.
This work reports a strategy of engineering charge‐assisted hydrogen bonds to tailor charge transfer channels in HOFs, significantly improving their performance in photocatalytic H2O2 production. ABSTRACT The production of H2O2 via artificial photosynthesis is often limited by inefficient charge‐carrier separation, causing significant charge ...
Yajun Zhao, Xianzhi Lan, Tiantian Chen, Qijie Mo, Chao Peng, Jianbo Jia, Jiewei Liu, Cheng‐Yong Su   +7 more
wiley   +1 more source

Sublattices of lattices of order-convex sets, II. Posets of finite length

, 2003
For a positive integer n, we denote by SUB (resp., SUBn) the class of all lattices that can be embedded into the lattice Co(P) of all order-convex subsets of a partially ordered set P (resp., P of length at most n).
Wehrung, Friedrich, Semenova, Marina, V., FRIEDRICH WEHRUNG, MARINA SEMENOVA   +3 more
core   +1 more source

Spatially Selective Solvation Chemistry by Local Charge Enrichment for Stable Potassium‐Metal Anodes

Advanced Science, EarlyView.
A MoC/NC functional intermediate medium preferentially interacts with KFSI to reconstruct the interfacial solvation structure and form a KF‐rich inorganic SEI. The synergistic integration of the electronically insulating SEI and MoC/NC suppresses electron tunneling, enables fast and balanced K+/electron transport, and promotes uniform K deposition for ...
Lu‐Kang Zhao, Xi‐Ran Zhao, Zhimin Ding, Yu‐Hua Bian, Xuan‐Chen Wang, Dongdong Zhao, Yizhuo Zhao, Xuan‐Wen Gao, Zhaomeng Liu, Wen‐Bin Luo   +9 more
wiley   +1 more source

Topology‐Enriched Toughness Enhancement in Quasi‐Periodic Metastructures Featuring Tailorable Strong‐Weak Network

Advanced Science, EarlyView.
A quasi‐periodic Dart‐Kite (QDK) metastructure with a golden‐ratio‐constrained strong–weak bond network simultaneously enhances strength, toughness, and damage tolerance. Its distributed topology enables predictable, tailorable crack paths for precise fracture control and stable mechanics, demonstrating a high‐performance, controllable architecture ...
Tianyu Gao, Genda Wang, Jiabao Bai, Kai Liu   +3 more
wiley   +1 more source

Organoid Brain‐Machine‐Interface Devices for Central Nervous System Repair

Advanced Science, EarlyView.
We envision organoid brain‐machine‐interface (Organoid‐BMI) devices as new biohybrid bidirectional communication pathways to connect the human CNS and the external world for personalized CNS repair and regeneration. ABSTRACT Central nervous system (CNS) repair and regeneration suffer from tremendous clinical challenges due to current limitations in ...
Yantao Xing, Yang Yang, Zichen Hong, Chunhui Tian, Huiyu Chu, Susanne Clara Prokop, Hongwei Cai, Mingxia Gu, Jason Tchieu, Ken Mackie, Feng Guo   +10 more
wiley   +1 more source