Results 61 to 70 of about 25,852,401 (225)
Using 640 curated electrolyte formulations, we apply data‐driven analysis to reveal how molecular features govern coulombic efficiency (CE) in lithium metal batteries. Fluorine content correlates positively with CE, while oxygen, carbon, and higher boiling points correlate negatively.
Minh Van Duong +6 more
wiley +1 more source
Vibration and buckling analysis of functionally graded sandwich beams by a new higher-order shear deformation theory [PDF]
This paper proposes a new higher-order shear deformation theory for buckling and free vibration analysis of isotropic and functionally graded (FG) sandwich beams.
Thai, Huu-Tai +3 more
core +1 more source
Topological Completeness for Higher-Order Logic
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics".
Steven Awodey (3881575) +1 more
core +3 more sources
Engineering Metal‐Pocket Cooperativity in Single‐Atom COF Nanozymes for Selective Cascade Catalysis
A multilevel programming strategy is developed to engineer single‐atom COF nanozymes with tunable metal centers and chiral pockets inspired by heme–pocket cooperativity. This approach enables controlled metal–pocket interplay for asymmetric cascade catalysis, delivering high activity, selectivity, and recyclability in an asymmetric oxidation–aldol ...
Ziping Li +7 more
wiley +1 more source
Higher-order computational logic
This paper presents a case for the use of higher-order logic as a foundation for computational logic. A suitable polymorphically-typed, higher-order logic is introduced and its syntax and proof theory briefly described.
Lloyd, John
core
Aqueous ammonium‐ion batteries (AAIBs) face a hydrogen‐bond paradox: the HB network enables fast NH4+ transport but triggers water decomposition. This review dissects this dilemma, evaluates multiple electrolyte engineering strategies, and outlines four future directions for next‐generation AAIB design ABSTRACT Aqueous ammonium‐ion batteries (AAIBs ...
Zi‐Hang Huang +6 more
wiley +1 more source
Water harvesting, radiative cooling, and interfacial solar evaporation are fundamentally governed by coupled heat, mass, and light transport processes. These processes are mediated by pore architecture, including pore size, connectivity, and hierarchical organization.
Dejan J. Trajkovski +5 more
wiley +1 more source
The Foundational Turn: Higher-Order Logic and Type Theory
The early 20th century witnessed a profound "foundational turn" in mathematics, driven by paradoxes in set theory and a desire for greater rigor. This intellectual movement sought to establish mathematics on a secure, logical footing, leading to the development of sophisticated formal systems.
openaire +1 more source
Applied here for the first time to a 2D material, high‐resolution synchrotron x‐ray Fourier transform holography directly images topological spin textures in Fe3GeTe2. Combined with atomistic tight‐binding simulations including itinerant electrons and Rashba spin‐orbit coupling, the approach reveals labyrinth, skyrmion, and mixed phases, and uncovers ...
Sourav Chowdhury +16 more
wiley +1 more source
Epitaxially Integrated Electro‐Optic KNbO3 Thin Films on Silicon
We demonstrate the first epitaxial integration of electro‐optic KNbO3 thin films on silicon using suboxide molecular‐beam epitaxy. Combining adsorption‐controlled molecular‐beam epitaxy, advanced characterization, and phase‐field modeling, we demonstrate phase‐pure crystalline films mirroring bulk crystals with robust Pockels response, enabling future ...
Sankalpa Hazra +17 more
wiley +1 more source

