Results 131 to 140 of about 2,753 (280)
A Reappraisal of Dependency Length Minimization as a Linguistic Universal. [PDF]
Open Mind (Camb), 2022 Yadav H, Mittal S, Husain S.
europepmc +1 more source
Advanced Materials Interfaces, EarlyView.An intentionally added, chemically formed LixAlSy coating stabilizes the lithium–electrolyte interface in solid‐state Li–S batteries. The layer suppresses side reactions, preserves smooth charge transfer, and improves ion transport from the start. This approach offers a practical route to more durable solid‐state batteries and a clearer understanding ...
Xinyi Wang +4 more
wiley +1 more source
A Higher-arity Sequent Calculus for Model Linear Logic (Proof theory and proving) [PDF]
, 2018 We propose a cut-free sequent calculus for multiplicative exponential linear logic with S4 necessity and possibility modalities. The calculus has the so-calld "higher-arity" judgment to formalize the exponentials and S4 modalities neatly.
Fukuda, Yosuke, Yoshimizu, Akira
core
Advanced Materials Interfaces, EarlyView.3D conductive frameworks can maintain continuous electron transport, mechanical stability, and interfacial integrity, helping next‐generation batteries operate more efficiently. This Review examines their relevance to Si anodes, all‐solid‐state batteries, and dry‐processed electrodes, and highlights bio‐derived carbons as sustainable, structurally ...
SeoYoung Ha +5 more
wiley +1 more source
Learning and reasoning with graph data. [PDF]
Front Artif Intell, 2023 Jaeger M.
europepmc +1 more source
From an odd arity signature to a Holant dichotomy
CoRR\textsf{Holant} is an essential framework in the field of counting complexity. For over fifteen years, researchers have been clarifying the complexity classification for complex-valued \textsf{Holant} on the Boolean domain, a challenge that remains unresolved.
Boning Meng +3 more
openaire +3 more sources
Advanced Materials Interfaces, EarlyView.We report electrochemical quantum capacitance spectroscopy as an ambient, in situ probe for defect‐mediated electronic structure at 2D material interfaces. Using monolayer MoS2, the method resolves band edges and vacancy states, tracks sulfur‐vacancy evolution during hydrogen evolution, and links interfacial density‐of‐states changes to nearly ...
Mengyu Yan +9 more
wiley +1 more source
A Family of Sodium Solid‐State Electrolytes Based on the NaGaxAl1‐xCl4 Solid Solution
Advanced Materials Interfaces, EarlyView.ABSTRACT Sodium‐based metal chloride solid electrolytes are promising for sodium solid‐state batteries due to their excellent oxidation stability, which, as shown for Li halides, can coexist with high ionic conductivity. To explore cationic substitution effects, we synthesized NaGaxAl1‐xCl4 (0 ≤ x ≤ 1) via ball milling and investigated structural and ...
Hao Guo, Matteo Bianchini
wiley +1 more source
Pattern Unification with Sequence Variables and Flexible Arity Symbols
, 2002 A unification procedure for a theory with individual and sequence variables, free constants, free fixed and flexible arity function symbols and patterns is described.
Kutsia, Temur
core +1 more source
On the combinatorics of crystal structures. II. Number of Wyckoff sequences of a given subdivision complexity. [PDF]
Acta Crystallogr A Found Adv, 2023 Hornfeck W, Červený K.
europepmc +1 more source