Results 81 to 90 of about 2,753 (280)
Arity and alternation in second-order logic
Annals of Pure and Applied Logic, 1996 This paper studies the expressiveness of second-order logic over finite structures. Two hierarchies of second-order formulas are introduced. In the \(\text{AA} (k,n)\) hierarchy the arity of any relation variable is \(\leq k\) and the number of alternations of quantifiers (first or second order) is \(\leq n\).
Johann A. Makowsky, Y. B. Pnueli
openaire +1 more source
A Holistic Stabilization of the Anode in Lithium‐Sulfur Batteries Through a Ternary Alloy Fusion
Advanced Functional Materials, EarlyView.LiTeAl anodes fabricated through a scalable thermal fusion technique holistically addresses the stability issues faced by lithium‐metal anodes in lithium–sulfur batteries. Aluminum forming a skeletal network with lithium suppresses dendrite growth and enhances energy density, while tellurium forming a robust SEI facilitates Li+‐ion flow.
Akhil Shenoy, Arumugam Manthiram
wiley +1 more source
, 2015 This paper deals with an arity of NU polymorphisms of relational structures. The goal is to simplify and clearly describe an already existing example of a relational structure, which has an NU polymorphism, but no NU polymorphisms of low arity in respect
Draganov, Ondřej
core
Subdivision depth for triangular surfaces
Alexandria Engineering Journal, 2016 The aim of this attempt was to present an efficient algorithm for the evaluation of error bound of triangular subdivision surfaces. The error estimation technique is based on first order difference and this process is independent of parametrization. This
G. Mustafa, M.S. Hashmi, F. Khan
doaj +1 more source
A Dual‐Functional Electrolyte Additive for Highly Reversible Zinc‐Ion Batteries
Advanced Functional Materials, EarlyView.This study introduces tetrabutylammonium bromide (TBAB) as a dual‐function additive for aqueous zinc‐ion batteries. TBAB disrupts the hydrogen‐bond network of water while TBA+ adsorbs on Zn to improve interfacial wettability and regulate Zn2+ flux, resulting in suppressed dendrite growth and parasitic reactions. This synergy extended the lifespan of Zn|
Shirui Zhang +9 more
wiley +1 more source
Logical Connectives Modulate Attention to Simulations Evoked by the Constituents They Link Together
Frontiers in Psychology, 2018 In previous studies investigating logical-connectives simulations, participants focused their attention on verifying truth-condition satisfaction for connective expressions describing visual stimuli (e.g., Dumitru, 2014; Dumitru and Joergensen, 2016 ...
Magda L. Dumitru +2 more
doaj +1 more source
Algebraic theories, monads, and arities
CoRR, 2011 Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general class of monads called monads with arities, so that not only algebraic theories can be computed from a proper set
openaire +2 more sources
Arity Shape of Polyadic Algebraic Structures [PDF]
Zurnal matematiceskoj fiziki, analiza, geometrii, 2019 43 pages, 4 tables, amsart, v3: minor ...
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.PolyGraph, a flexible graphene‐polycaprolactone nanocomposite, unites conductivity, biocompatibility, and processability for next‐generation neural interfaces. Fabricated into microneedle arrays with ultra‐flexible backings, PolyGraph enables bidirectional neuronal recording and stimulation in brain tissue, advancing brain‐computer interface (BCI) and ...
Jack Maughan +12 more
wiley +1 more source
PLV-arity plots for reduced 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) +2 more
core +1 more source