Results 31 to 40 of about 2,753 (280)
Practical Variable-Arity Polymorphism [PDF]
ACM SIGPLAN Lisp Pointers, 2009 Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scripting languages such as Scheme and Python. Statically typed languages also accommodate modest forms of variable-arity functions, but even ML and Haskell, languages with ...
T. Stephen Strickland +2 more
openaire +2 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
On Safety of Unary and Non-unary IFP-operators
Моделирование и анализ информационных систем, 2018 In this paper, we investigate the safety of unary inflationary fixed point operators (IFPoperators). The safety is a computability in finitely many steps.
Sergey Dudakov
doaj +1 more source
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 +1 more source
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 +1 more source
Around the root of random multidimensional quadtrees [PDF]
Discrete Mathematics & Theoretical Computer Science, 2006 We analyse the distribution of the root pattern of randomly grown multidimensional point quadtrees. In particular, exact, recursive and asymptotic formulas are given for the expected arity of the root.
Gilbert Labelle +2 more
doaj +1 more source
Spherical fuzzy hypergraph in decision making. [PDF]
Sci RepThis study presents the Spherical Fuzzy Hypergraph (SFHG), an advancement that integrates the principles of fuzzy theory with hypergraph models, and improving decision-making processes.
Pramanik T +5 more
europepmc +2 more sources
Arity Raising in Manticore [PDF]
, 2010 Compilers for polymorphic languages are required to treat values in programs in an abstract and generic way at the source level. The challenges of optimizing the boxing of raw values, flattening of argument tuples, and raising the arity of functions that handle complex structures to reduce memory usage are old ones, but take on newfound import with ...
Lars Bergstrom, John H. Reppy
openaire +1 more source
Dynamic Complexity of Parity Exists Queries [PDF]
Logical Methods in Computer Science, 2021 Given a graph whose nodes may be coloured red, the parity of the number of red nodes can easily be maintained with first-order update rules in the dynamic complexity framework DynFO of Patnaik and Immerman.
Nils Vortmeier, Thomas Zeume
doaj +1 more source
On the Mints Hierarchy in First-Order Intuitionistic Logic [PDF]
Logical Methods in Computer Science, 2017 We stratify intuitionistic first-order logic over $(\forall,\to)$ into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these fragments.
Aleksy Schubert +2 more
doaj +1 more source