Results 11 to 20 of about 26,685 (258)
Real Recursive Functions and Real Extensions of Recursive Functions [PDF]
, 2005 Recently, functions over the reals that extend elementarily computable functions over the integers have been proved to correspond to the smallest class of real functions containing some basic functions and closed by composition and linear integration.
Bournez, Olivier, Hainry, Emmanuel
openaire +2 more sources
Recursive formulas for partition functions
Revista de Matemática: Teoría y Aplicaciones, 2012 Se estudia una familia de funciones, que comparten muchas propiedades con la función de partición clásica p(n). Se explica por qué estas funciones pueden llamarse "funciones de partición" y, en particular, algunas fórmulas recursivas son desarrolladas ...
Juan Boza Cordero
doaj +1 more source
THE TRANSFORMATION OF THE RECURSIVE CONVEYOR FROM THE GENERAL FORM TO THE LINEAR CONVEYOR
Открытое образование (Москва), 2016 We consider the problem of converting the model of the recursive conveyor process with a variable performance and characterized by five parameters in the model with a constant performance.
Boris V. Kupriyanov
doaj +1 more source
Recursive Formulas for Beans Functions of Graphs
Theory and Applications of Graphs, 2020 In this paper, we regard each edge of a connected graph $G$ as a line segment having a unit length, and focus on not only the "vertices" but also any "point" lying along such a line segment.
Kengo Enami, Seiya Negami
doaj +1 more source
Semi-continuous Sized Types and Termination [PDF]
Logical Methods in Computer Science, 2008 Some type-based approaches to termination use sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted if it is visible in the type system that recursive calls occur just at ...
Andreas Abel
doaj +1 more source
On the number of recursive calls of recursive functions [PDF]
ACM SIGCSE Bulletin, 2005 The advantages and disadvantages of recursion are early introduced to students. Simplicity in coding but time and space inefficiency during execution are the main characteristics. In many occasions, recursive formulae lead to recursive functions/procedures that are highly inefficient as calls with the same parameters are executed several times.
openaire +1 more source
SAFE RECURSIVE SET FUNCTIONS [PDF]
The Journal of Symbolic Logic, 2015 AbstractWe introduce the safe recursive set functions based on a Bellantoni–Cook style subclass of the primitive recursive set functions. We show that the functions computed by safe recursive set functions under a list encoding of finite strings by hereditarily finite sets are exactly the polynomial growth rate functions computed by alternating ...
Friedman, Sy-David +2 more
openaire +4 more sources
RECURSIVE CONVEYOR PROCESSES - THE MAIN PROPERTIES AND CHARACTERISTICS
Статистика и экономика, 2016 In the article the formal model of recursive conveyor processes is considered. The main properties and characteristics ofthis type of processes are described andillustrated. Based on these properties splitting processes into classes is carried out.
Boris V. Kupriyanov
doaj +1 more source
EVALUATION OF SOME PRODUCTION CHARACTERISTICS OF RECURSIVE CONVEYOR
Открытое образование (Москва), 2016 We consider the two objectives of direct relevance to operational planning based on the model of recursive conveyor process. Calculate the Critical Operation of the conveyor and calculate the Load Factor of the equipment of the conveyor.
Boris V. Kupriyanov
doaj +1 more source
General Recursion via Coinductive Types [PDF]
Logical Methods in Computer Science, 2005 A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories.
Venanzio Capretta
doaj +1 more source