Results 1 to 10 of about 168,604 (284)
Type Inference for Bimorphic Recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 This paper proposes bimorphic recursion, which is restricted polymorphic recursion such that every recursive call in the body of a function definition has the same type. Bimorphic recursion allows us to assign two different types to a recursively defined
Makoto Tatsuta, Ferruccio Damiani
doaj +4 more sources
Traceable Recursion with Graphical Illustration for Novice Programmers [PDF]
InSight, 2010 Recursion is a concept that can be used to describe the phenomena and natural occurrences in many different fields. As many applications utilize computer software to model recursion, recursion is a particularly important concept in the computing ...
Leonardo Sa, Wen-Jung Hsin
doaj +4 more sources
Recursion and the Definition of Universal Prosodic Categories
Languages, 2021 It is widely agreed that prosodic constituents should mirror syntactic constituents (unless high-ranking prosodic constraints interfere). Because recursion is a feature of syntactic representations, one expects recursion in prosodic representations as ...
Lisa Lai-Shen Cheng, Laura J. Downing
doaj +1 more source
Is Word-Level Recursion Actually Recursion?
Languages, 2021 There is a longstanding debate in the literature about if, and where, recursion occurs in prosodic structure. While there are clear cases of genuine recursion at the phrase level and above, there are very few convincing cases of word-level recursion ...
Taylor L. Miller, Hannah Sande
doaj +1 more source
Controlled Illusion. Recursion as Emotional Suggestion in Post-Cinematographic Space [PDF]
Художественная культура, 2023 The article deals with an aspect of the phenomenon of controlled illusion — manipulating emotional reactions and behaviour through the space of an artificially created reality.
Efremova Anna A.
doaj +1 more source
Recursion to food plants by free-ranging Bornean elephant [PDF]
PeerJ, 2015 Plant recovery rates after herbivory are thought to be a key factor driving recursion by herbivores to sites and plants to optimise resource-use but have not been investigated as an explanation for recursion in large herbivores.
Megan English +5 more
doaj +2 more sources
The semiotic perpetuum mobile in action: OMON, homonyms and antonyms
Слово.ру: балтийский акцент, 2023 We address the interaction of various interpretations of lexical items, which leads to a change in the correlation between signifieds and signifiers and the formation of new signs.
Suren T. Zolyan
doaj +1 more source
Recursive-Parallel Algorithm for Solving the Maximum Common Subgraph Problem
Моделирование и анализ информационных систем, 2023 The paper proposes an algorithm for solving the problem of finding the maximum common subgraph. Both the sequential and the parallel version of the algorithm, their software implementation are described, and an experimental study of their effectiveness ...
Vladimir V. Vasilchikov
doaj +1 more source
Управленческое консультирование, 2022 Aims. Conceptualization of technopolitical sphere impact on recursive processes of public policy; defining key problems that inhibit public authorities from improving digital politics stability essential for developing public policy recursive potential ...
A. M. Kaplunenko
doaj +1 more source
Etude on Recursion Elimination
Моделирование и анализ информационных систем, 2018 Transformation-based program verification was a very important topic in early years of theory of programming. Great computer scientists contributed to these studies: John McCarthy, Amir Pnueli, Donald Knuth ... Many fascinating examples were examined and
Nikolay Shilov
doaj +1 more source