Results 101 to 110 of about 3,400 (241)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic [PDF]

Logical Methods in Computer Science
The uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment to contexts involving relations of arity greater than two.
Oskar Fiuk, Emanuel Kieronski
doaj   +1 more source

PLV-arity plots for full data set.

, 2012
Plot of PLV at each arity for each participant (green) and their mean (red) for significant frequency-time bands from the mean of F3-P3, Fz-Pz, and F4-P4 electrode pairs. Line indicates the regression slope.
Yuji Takeda (178444), Archana Singh (178445), Steven Phillips (171179)   +2 more
core   +1 more source

Can Elastomers Combine Stiffness, Toughness and Fatigue Resistance?

Advanced Materials, EarlyView.
This review studies how the molecular and macroscopic architecture of elastomers influence their mechanical properties including: stiffness, stretchability, toughness, fatigue resistance, and damping behavior. By linking the structure to performance, it proposes design principles for advanced elastomeric systems that combine mechanical properties ...
Eva Baur, Esther Amstad
wiley   +1 more source

Sustainable and Multifunctional Natural Macromolecular Polymers for Aqueous Zn Metal Batteries

Advanced Materials, EarlyView.
We comprehensively review the structure‐function relationships and regulatory mechanism of natural macromolecular polymers in stabilizing zinc anodes at the microscopic and mesoscopic scales. The interactions among polymer structures, optimization strategies, and regulatory mechanisms are discussed systematically summarizing recent related research ...
Yunuo Shi, Bo Jiang, Jingcheng Zhang, Xiaodong Shao, Peixun Xiong, Lutong Shan, Shengyang Huang, Mengfang Liang, Mengyao Chang, Fangyan Liu, Wenwu Li, Baoyu Xia, Wei Ji, Ho Seok Park   +13 more
wiley   +1 more source

Theorem proving with sequence variables and flexible arity symbols

, 2002
. An ordering for terms with sequence variables and exible arity symbols is presented. The ordering coincides with the lexicographic extension of multiset path ordering on terms without sequence variables.
Temur Kutsia
core   +1 more source

Electrolyte Design for Fast‐Charging Lithium‐Based Batteries

Advanced Materials, EarlyView.
A decade of progress in fast‐charging electrolytes for lithium batteries is reviewed. Electrolyte design strategies spanning solvents, salts, additives, and advanced systems, such as localized high‐concentration electrolytes (LHCEs), are summarized. Advanced diagnostic tools for lithium plating and interphase chemistry are discussed, with perspectives ...
Chen Liu, Zehao Cui, Arumugam Manthiram
wiley   +1 more source

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition [PDF]

Computer Science Journal of Moldova, 2019
Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments.
Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak, Tohrul Mamedov   +3 more
doaj  

The Clone of K*(n, r)-Full Terms

Discussiones Mathematicae - General Algebra and Applications, 2019
Let τn be a type of algebras in which all operation symbols have arity n, for a fixed n ≥ 1. For 0 < r ≤ n, this paper introduces a special kind of n-ary terms of type τn called K*(n, r)-full terms. The set of all K*(n, r)-full terms of type τn is closed
Wattanatripop Khwancheewa, Changphas Thawhat   +1 more
doaj   +1 more source

Review of Inorganic Separator Engineering for Next‐Generation Lithium–Sulfur Batteries: Compromise or Cornerstone?

Advanced Materials, EarlyView.
Inorganic compound‐modified separators transform lithium–sulfur batteries from passive polysulfide confinement to active reaction‐pathway regulation. A Practical Relevance Index (PRI)‐guided framework bridges interfacial chemistry of inorganic separators with practical constraints, establishing unified design principles for scalable, high‐energy ...
Yuting Qin, Tianyi Wang, Xingyu Wang, Kaifu Xu, Yuzhou Wang, Chengyin Wang, Bing Sun, Guoxiu Wang   +7 more
wiley   +1 more source

Defect‐Templated Phase Engineering in Atomically Thin Metals

Advanced Materials, EarlyView.
Graphene defects are transformed from passive imperfections into programmable templates for phase‐selective growth of atomically thin silver. Plasma‐generated boundary defects favor Ag(1), whereas sp3‐rich zero‐layer graphene promotes Ag(2). This defect‐directed intercalation links local graphene chemistry to crystalline phase, electronic structure ...
Arpit Jain, Boyang Zheng, Sawani Datta, Kanchan Ulman, Jakob Henz, Matthew Wei‐Jun Liu, Van Dong Pham, Wen He, Chengye Dong, Li‐Syuan Lu, Alexander Vera, Nader Sawtarie, Wesley Auker, Ke Wang, Bob Hengstebeck, Zachary W. Henshaw, Shreya Mathela, Maxwell Wetherington, William H. Blades, Kenneth Knappenberger, Ursula Wurstbauer, Su Ying Quek, Ulrich Starke, Shengxi Huang, Vincent H. Crespi, Joshua A. Robinson   +25 more
wiley   +1 more source