A Recursive Inclusion Checker for Recursively Defined Subtypes by Hans De Nivelle

“…We present a tableaux procedure that checks logical relations between recursively defined subtypes of recursively defined types and apply this procedure to the problem of resolving ambiguous names in a programming language. …”
Get full text

Pascal and Recursion by Walter Gander

Subjects: Get full text

Etude on Recursion Elimination by Nikolay Shilov

Subjects: “…recursive and standard program schemata…”
Get full text

On A Class Of Recursive Sequence by Dağıstan Şimşek, Ahmet Doğan

Subjects: Get full text

The recursivity of internet governance research by José van Dijck, Bernhard Rieder

Get full text

Asymptotics on a heriditary recursion by Yong-Guo Shi, Xiaoyu Luo, Zhi-jie Jiang

Subjects: “…heriditary recursion…”
Get full text

Visual recursion without recursive language? a case study of a minimally verbal autistic child by Joana Rosselló, Alexandre Celma-Miralles, Alexandre Celma-Miralles, Mauricio Dias Martins

Subjects: “…recursion…”
Get full text

On the Recursive-Parallel Programming for the .NET Framework by V. V. Vasilchikov

Subjects: Get full text

The recursive algorithm to construct Dirichlet function by A. N. Lysiuk, S. S. Derechennik

Get full text

Holographic thermal correlators from recursions by Jie Ren, Zhe Yu

Get full text

Technological Recursivity and the Contested Subject on Reality TV by Aaron Duplantier

Get full text

Some remarks on recursive sequence of fibonacci type by Najmeddine Attia

Get full text

EVALUATION OF SOME PRODUCTION CHARACTERISTICS OF RECURSIVE CONVEYOR by Boris V. Kupriyanov

Subjects: Get full text

Some Results on a Rational Recursive Sequences by Abdualrazaq Sanbo, Elsayed M. Elsayed

“…In this paper, we study some results on the following rational recursive sequences: xn+1 = xn−9 / ±1 ± xn−1xn−3xn−5xn−7xn−9, n = 0, 1, · · · , where the initial conditions are arbitrary real numbers.…”
Get full text

RECURSIVE CONVEYOR PROCESSES - THE MAIN PROPERTIES AND CHARACTERISTICS by Boris V. Kupriyanov

Subjects: Get full text

Synthesis of the Recursive Discrete Filters in Time Range by S. I. Ziatdinov

Subjects: Get full text

The types and categories of Old English recursive compounding by Carmen Novo Urraca

Subjects: Get full text

Recursive Sentiment Detection Algorithm for Russian Sentences by Anatoliy Y. Poletaev, Ilya V. Paramonov

“…On OpenSentimentCorpus the recursive algorithm performs better than the adapted approach does: $F_1$-measures are 0.70 and 0.63, respectively. …”
Get full text

Recursive Formula for the Trial Function Boundary Function by E. L. Winter, R. S. Weigel

“…Neural Netw. 9(5) (1998) 987–1000) requires the specification of a boundary function that matches the boundary values and is finite in the solution domain. We develop a recursive formula for generating a boundary function for up to second-order partial differential equations with Dirichlet boundary conditions in a finite hyper-box domain and with an arbitrary number of dimensions.…”
Get full text

Recursive algorithms of adaptive lattice filters adjustment by D. I. Lekhovytskiy, V. P. Riabukha, D. S. Rachkov, A. V. Semeniaka

Get full text