Results 121 to 130 of about 2,753 (280)
Arbitrary-arity Tree Automata and QCTL
CoRRWe introduce a new class of automata (which we coin EU-automata) running on infininte trees of arbitrary (finite) arity. We develop and study several algorithms to perform classical operations (union, intersection, complement, projection, alternation removal) for those automata, and precisely characterise their complexities.
François Laroussinie, Nicolas Markey
openaire +2 more sources
Advanced Materials, EarlyView.An orbital‐hybridizable nanoseed (OHNS) interphase induces strong orbital hybridization between Zn and carbon edges, accelerating Zn nucleation while suppressing 2D surface diffusion. This interfacial electronic regulation drives uniform, dense, and (002)‐oriented Zn growth, enabling stable and fast charging behavior in anode‐free aqueous Zn batteries.
Won‐Yeong Kim +16 more
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 +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 +1 more
doaj +1 more source
Indium‐Mediated Glue‐Like Interlayer Enables Stable High‐Capacity Flexible Sodium Metal Batteries
Advanced Materials, EarlyView.A three‐dimensional Na‐In‐S/Cu composite interlayer is constructed on a flexible current collector via an In‐mediated in situ reaction. Featuring abundant Na nucleation sites and a low diffusion barrier, this interlayer enables rapid and uniform Na deposition.
Xinyan Li +13 more
wiley +1 more source
Advanced Materials, EarlyView.Ultrathin lithium metal anodes (≤15 µm) offer a promising route to high‐energy‐density batteries due to their high capacity and low potential. This review presents design principles for ultrathin Li, evaluates fabrication strategies, and discusses challenges in liquid and solid‐state cells.
Cheng Wang +9 more
wiley +1 more source
Advanced Materials, EarlyView.A dual‐additive electrolyte strategy is developed to address the hydrolysis of I+ in the aqueous electrolytes. The steric‐hindrance effect of TES− effectively shields I+ from nucleophilic attacks by hydroxyl groups, facilitating the reversible I−/I0/I+ conversion with four‐electron transfer.
Shuai Wang +8 more
wiley +1 more source
On the power of parallel machines with high-arity instruction sets [PDF]
We consider various models of parallel computers based on communication networks of sequential processors. The degree of a parallel machine is the number of communication lines connected Lo each processor; the arity is the number of these lines which a ...
Parberry, Ian
core
General ω-hyperstructures and certain applications of those
Ratio Mathematica, 2012 The aim of this paper is to investigate general hyperstructures construction of which is based on ideas of A. D. Nezhad and R. S. Hashemi. Concept of general hyperstructures considered by the above mentioned authors is generalized on the case of ...
Jan Chvalina, Sarka Hoskova-Mayerova
doaj