Results 41 to 50 of about 40,361 (263)
The power of linear programming for general-valued CSPs
, 2014 Let $D$, called the domain, be a fixed finite set and let $\Gamma$, called the valued constraint language, be a fixed set of functions of the form $f:D^m\to\mathbb{Q}\cup\{\infty\}$, where different functions might have different arity $m$.
Kolmogorov, Vladimir +2 more
core +3 more sources
Better fixed-arity unbiased black-box algorithms [PDF]
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018 An extended abstract will appear at GECCO ...
Bulanova, Nina, Buzdalov, Maxim
openaire +2 more sources
Distributed associative memories for high-speed symbolic reasoning [PDF]
, 1996 This paper briefly introduces a novel symbolic reasoning system based upon distributed associative memories which are constructed from correlation matrix memories (CMM). The system is aimed at high-speed rule-based symbolic operations.
Austin, J
core +1 more source
Arity Shape of Polyadic Algebraic Structures [PDF]
Zurnal matematiceskoj fiziki, analiza, geometrii, 2019 43 pages, 4 tables, amsart, v3: minor ...
openaire +2 more sources
The minimal arity of near unanimity polymorphisms [PDF]
Mathematica Slovaca, 2019 Abstract Dmitriy Zhuk has proved that there exist relational structures which admit near unanimity polymorphisms, but the minimum arity of such a polymorphism is large and almost matches the known upper bounds. We present a simplified and explicit construction of such structures and a detailed, self–contained proof.
Barto, Libor, Draganov, Ondřej
openaire +2 more sources
Interpolating Binary and Multivalued Logical Quantum Gates
Proceedings, 2017 A method for synthesizing quantum gates is presented based on interpolation methods applied to operators in Hilbert space. Starting from the diagonal forms of specific generating seed operators with non-degenerate eigenvalue spectrum one obtains for ...
Zeno Toffano, François Dubois
doaj +1 more source
Annals of Pure and Applied Logic, 1996 For many extensions \(L\) of first-order logic considered for finite structures there is a natural notion of arity of a formula (e.g., the maximal arity of a bounded second-order variable in a formula of fixed-point logic). Denote by \(L^k\) the fragment of \(L\) consisting of the sentences of \(L\) of arity \(\leq k\).
openaire +3 more sources
Advanced Functional Materials, EarlyView.This work explores Li‐substituted P2 layered oxides for Na‐ion batteries by crystallographic and electrochemical studies. The effect of lithium on superstructure orderings, on phase transitions during synthesis and electrochemical cycling and on the interplay of O‐ versus TM‐redox is revealed via various advanced techniques, including semi‐simultaneous
Mingfeng Xu +5 more
wiley +1 more source
Eos, Transactions American Geophysical Union, 1995 It took 40,000 years of theoretical time, but it finally happened. In a three‐dimensional, dynamically consistent model of the convecting fluid core of the Earth, the geomagnetic pole reversed after 40 millennia. The model of the dynamo at the center of the Earth, which was developed by Gary Glatzmaier of Los Alamos National Laboratory and Paul Roberts
openaire +1 more source
Advanced Functional Materials, EarlyView.Coating the standard polypropylene separator with a porous red phosphorous nanosheet greatly improves cycling performance in Li electrode cells. The phosphorus‐based surface chemistry deactivates electrolyte solvent decomposition and enhances the cleavage of F‐containing salt, resulting in an inorganic‐dominated electrolyte interphase (SEI) composition
Jiangpeng Wang +9 more
wiley +1 more source