Results 1 to 10 of about 40,361 (263)
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
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
Finite symmetric functions with non-trivial arity gap [PDF]
Serdica Journal of Computing, 2012 Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the essential arity gap of $f$ which is the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$.
Koppitz, J., Shtrakov, Sl.
core +4 more sources
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
doaj +3 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
Order, 2012 Let \(A\) and \(B\) be sets. For functions \(f:\;A^n\to B\), \(g:\;A^m\to B\) we write \(g\leq f\) if there exists an assignment \(\alpha:\;\{1,\dots,n\}\to\{1,\dots,m\}\) such that \(g(a_1,\dots,a_m)=f(a_{\alpha(1)},\dots,a_{\alpha(n)})\) for all \(a_1,\dots,a_m\in A\).
Couceiro, Miguel +2 more
openaire +5 more sources
Applied Categorical Structures, 2021 We specialise a recently introduced notion of generalised dinaturality for functors $T : (\mathcal{C}^\text{op})^p \times \mathcal{C}^q \to \mathcal{D}$ to the case where the domain (resp., codomain) is constant, obtaining notions of ends (resp., coends) of higher arity, dubbed herein $(p,q)$-ends (resp., $(p,q)$-coends). While higher arity co/ends are
Fosco Loregian, Emily de Oliveira Santos
openaire +3 more sources
Developmental Cell, 2015 Asymmetric localization of planar cell polarity (PCP) proteins is essential for tissue integrity, but how asymmetric localization is regulated during cell division is not known. In this issue of Developmental Cell, Shrestha et al. (2015) show that mitotic Polo-like kinase 1 (Plk1) links internalization of PCP proteins to cell-cycle progression.
Sedzinski, Jakub, Wallingford, John
openaire +2 more sources