Results 1 to 10 of about 162,209 (248)
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
Integrable discretization of recursion operators and unified bilinear forms to soliton hierarchies [PDF]
Open Communications in Nonlinear Mathematical Physics, 2017 In this paper, we give a procedure for discretizing recursion operators by utilizing unified bilinear forms within integrable hierarchies. To illustrate this approach, we present unified bilinear forms for both the AKNS hierarchy and the KdV hierarchy ...
Xingbiao Hu, Guofu Yu, Yingnan Zhang
doaj +5 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
A generalized topological recursion for arbitrary ramification [PDF]
, 2012 The Eynard-Orantin topological recursion relies on the geometry of a Riemann surface S and two meromorphic functions x and y on S. To formulate the recursion, one must assume that x has only simple ramification points.
Bouchard, Vincent +4 more
core +1 more source
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