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

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Manuel Gräf, Daniel Potts, Gabriele Steidl
- SIAM J. Scientific Computing
- 2012

This paper deals with continuous-domain quantization, which aims to create the illusion of a gray-value image by appropriately… (More)

Is this relevant?

2010

2010

- M. I. Berenguer, D. Gámez, A. I. Garralda-Guillem, Maximiliano S. Perez
- 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)

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)

Is this relevant?

2006

2006

- Lori Badea
- SIAM J. Numerical Analysis
- 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

- Paulo Oliva
- CiE
- 2006

This note reexamines Spector’s remarkable computational interpretation of full classical analysis. Spector’s interpretation makes… (More)

Is this relevant?

2003

2003

Estimates of deviations from exact solutions of initial-boundary value problem for the heat equation

- Sergey I. Repin
- 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

- Sorin Dragomir
- 2003

Sharp bounds of twoČebyšev functionals for the Stieltjes integrals and applications for quadrature rules are given.

Is this relevant?

1995

1995

- John R. Birge, Liqun Qi
- Annals OR
- 1995

One of the main methods for solving stochastic programs is approximation by discretizing the probability distribution. However… (More)

Is this relevant?

1994

1994

- M. I. Ostrovskii
- 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?