Results 1 to 10 of about 148,259 (301)
Relative Positionalism and Variable Arity Relations
Metaphysics, 2019 Maureen Donnelly’s (2016) relative positionalism correctly handles any fixed arity relation with any symmetry such a relation can have, yielding the intuitively correct way(s) in which that relation can apply.
T. Scott Dixon
exaly +6 more sources
On the Expressiveness of Intensional Communication [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared ...
Thomas Given-Wilson
doaj +13 more sources
Generalized 5-Point Approximating Subdivision Scheme of Varying Arity
Mathematics, 2020 The Subdivision Schemes (SSs) have been the heart of Computer Aided Geometric Design (CAGD) almost from its origin, and various analyses of SSs have been conducted.
Dumitru Baleanu +2 more
exaly +4 more sources
Initial Semantics for Strengthened Signatures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We give a new general definition of arity, yielding the companion notions of signature and associated syntax. This setting is modular in the sense requested by Ghani and Uustalu: merging two extensions of syntax corresponds to building an amalgamated sum.
André Hirschowitz, Marco Maggesi
doaj +8 more sources
Geometric convergence rates for cardinal spline subdivision with general integer arity
Journal of Numerical Analysis and Approximation Theory, 2019 A rigorous convergence analysis is presented for arbitrary order cardinal spline subdivision with general integer arity, for which the binary case, with arity two, is a well-studied subject.
Johan de Villiers +1 more
doaj +7 more sources
Minor complexity of discrete functions [PDF]
Applied Computing and Informatics, 2021 In this paper we study a class of complexity measures, induced by a new data structure for representing k-valued functions (operations), called minor decision diagram.
Slavcho Shtrakov
doaj +1 more source
Ellipses and Lambda Definability [PDF]
Logical Methods in Computer Science, 2015 Ellipses are a meta-linguistic notation for denoting terms the size of which are specified by a meta-variable that ranges over the natural numbers. In this work, we present a systematic approach for encoding such meta-expressions in the \^I-calculus ...
Mayer Goldberg
doaj +1 more source
The Family of Multiparameter Quaternary Subdivision Schemes
Journal of Mathematics, 2021 In the field of subdivision, the smoothness increases as the arity of schemes increases. The family of high arity schemes gives high smoothness comparative to low arity schemes.
Ghulam Mustafa +4 more
doaj +1 more source
Polyadic Analogs of Direct Product
Universe, 2022 We propose a generalization of the external direct product concept to polyadic algebraic structures which introduces novel properties in two ways: the arity of the product can differ from that of the constituents, and the elements from different ...
Steven Duplij
doaj +1 more source
Higher Regularity, Inverse and Polyadic Semigroups
Universe, 2021 We generalize the regularity concept for semigroups in two ways simultaneously: to higher regularity and to higher arity. We show that the one-relational and multi-relational formulations of higher regularity do not coincide, and each element has several
Steven Duplij
doaj +1 more source