Primitive recursive functional

In mathematical logic, the primitive recursive functionals are a generalization of primitive recursive functions into higher type theory. They… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1974-2018
02419742018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
This paper deals with continuous-domain quantization, which aims to create the illusion of a gray-value image by appropriately… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
and Applied Analysis 3 of continuous and linear coordinate functionals {x∗ n}n≥1 in X∗ is given by x∗ n ∑ n≥1 λnxn λn. Note that… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
2008
2008
Abstract: We propose new tests to detect a change in the mean of a time series. Like many existing tests, the new ones are based… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2006
2006
In [L. Badea, Convergence Rate of a Multiplicative Schwarz Method for Strongly Nonlinear Inequalities, V. Barbu, I. Lasiecka, D… (More)
Is this relevant?
2006
2006
This note reexamines Spector’s remarkable computational interpretation of full classical analysis. Spector’s interpretation makes… (More)
  • table 1
Is this relevant?
2003
2003
— The paper is concerned with deriving functionals that give upper bounds of the difference between the exact solution of the… (More)
Is this relevant?
2003
2003
Recent results involving bounds of the Čebyšev functional to include means over different intervals are extended to a measurable… (More)
Is this relevant?
2003
2003
Sharp bounds of twoČebyšev functionals for the Stieltjes integrals and applications for quadrature rules are given. 
Is this relevant?
1995
1995
One of the main methods for solving stochastic programs is approximation by discretizing the probability distribution. However… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1994
1994
The paper is devoted to two particular cases of the following general problem. Let α and β be two types of bases in Banach spaces… (More)
Is this relevant?