Results 31 to 40 of about 5,509,463 (298)
Entire Bivariate Functions of Exponential Type II
Математичні Студії, 2023 Let $f(z_{1},z_{2})$ be a bivariate entire function and $C$ be a positive constant. If $f(z_{1},z_{2})$ satisfies the following inequality for non-negative integer $M$, for all non-negative integers $k,$ $l$ such that $k+l\in\{0, 1, 2, \ldots, M\}$, for ...
A. Bandura, F. Nuray
doaj +1 more source
Bounded functional interpretation
Annals of Pure and Applied Logic, 2005 Gödel's Dialectica interpretation is suitable for extracting precise witnesses from constructive proofs of existential statements (or more generally of \(\forall \exists\)-statements). In the present paper, the authors present a new functional interpretation -- the so called \textit{bounded functional interpretation}, b.f.i. henceforth -- which aims at
Fernando Ferreira 0001, Paulo Oliva
openaire +3 more sources
On Ostrowski Type Inequalities for Stieltjes Integrals with Absolutely Continuous Integrands and Integrators of Bounded Variation [PDF]
, 2006 Some Ostrowski type inequalities are given for the Stieltjes integral where the integrand is absolutely continuous while the integrator is of bounded variation. The case when |f'| is convex is explored.
Cheung, Wing Sum +2 more
core +6 more sources
Scope-bounded pushdown languages [PDF]
, 2014 We study the formal language theory of multistack push-down automata (Mpa) restricted to computations where a symbol can be popped from a stack S only if it was pushed within a bounded number of contexts of S (scoped Mpa).
Salvatore La Torre +5 more
core +1 more source
Bounded Conjunctive Queries [PDF]
, 2014 A query Q is said to be effectively bounded if for all datasets D, there exists a subset DQ of D such that Q(D) = Q(DQ), and the size of DQ and time for fetching DQ are independent of the size of D. The need for studying such queries is evident, since it
Yu, Wenyuan +3 more
core +1 more source
Coproximinality in the Space of Bounded Functions [PDF]
International Journal of Mathematics and Mathematical Sciences, 2014 As a counterpart to best approximation in Banach spaces, the best coapproximation was introduced by Franchetti and Furi (1972). In this paper, we shall consider the relation between coproximinality of a nonempty subsetMof a Banach spaceXand ofC(S, M)inC(S, X).
Eyad Abu-Sirhan, Zuhier Altawallbeh
openaire +4 more sources
BOUNDING BY CANONICAL FUNCTIONS, WITH CH [PDF]
Journal of Mathematical Logic, 2003 We show that the members of a certain class of semi-proper iterations do not add countable sets of ordinals. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from ω1 to ω1 is bounded on a club by a canonical function for an ordinal less than ω2.
Paul B. Larson, Saharon Shelah
openaire +4 more sources
Error Bounds for Fractional Integral Inequalities with Applications
Fractal and FractionalFractional calculus has been a concept used to obtain new variants of some well-known integral inequalities. In this study, our main goal is to establish the new fractional Hermite–Hadamard, and Simpson’s type estimates by employing a differentiable ...
Nouf Abdulrahman Alqahtani +4 more
doaj +1 more source
An upper bound on Jacobsthal’s function [PDF]
Mathematics of Computation, 2014 Let \(p_i\) be the \(i\)-th prime number and \(P_k\) be the product of all primes up to \(p_k\). Let Jacobsthal's function \(h(k)\) denote the smallest number \(m\) such that every sequence of \(m\) consecutive integers contains an integer coprime to \(P_k\).
Fintan J. Costello, Paul Watts
openaire +4 more sources
Context-bounded model checking with ESBMC 1.17 [PDF]
, 2012 ESBMC is a context-bounded symbolic model checker that allows the verification of single- and multi-threaded C code with shared variables and locks.
Denis Nicole +7 more
core +1 more source