Transfer Function Synthesis without Quantifier Elimination [PDF]
, 2011 Traditionally, transfer functions have been designed manually for each operation in a program, instruction by instruction. In such a setting, a transfer function describes the semantics of a single instruction, detailing how a given abstract input state ...
Brauer, Jörg, King, Andy
core +5 more sources
Determination of Bounds for the Jensen Gap and Its Applications
Mathematics, 2021 The Jensen inequality has been reported as one of the most consequential inequalities that has a lot of applications in diverse fields of science. For this reason, the Jensen inequality has become one of the most discussed developmental inequalities in ...
Hidayat Ullah +2 more
doaj +1 more source
Some complementary inequalities to Jensen’s operator inequality
Journal of Inequalities and Applications, 2018 In this paper, we study some complementary inequalities to Jensen’s inequality for self-adjoint operators, unital positive linear mappings, and real valued twice differentiable functions.
Jadranka Mićić +2 more
doaj +1 more source
Applications of Hölder-İşcan inequality for n-times differentiable (s,m)-convex functions
AIMS Mathematics, 2023 In this work, Hölder-Isçan inequality is used for the class of n-times differentiable (s,m)-convex functions. The outcomes are new Hermite-Hadamard type inequalities and modified integrals are estimated by better bounds.
Khuram Ali Khan +4 more
doaj +1 more source
On the best Hardy constant for quasi-arithmetic means and homogeneous deviation means [PDF]
, 2018 The aim of this paper is to characterize the so-called Hardy means, i.e., those means $M\colon\bigcup_{n=1}^\infty \mathbb{R}_+^n\to\mathbb{R}_+$ that satisfy the inequality $$ \sum_{n=1}^\infty M(x_1,\dots,x_n) \le C\sum_{n=1}^\infty x_n $$ for all ...
Pasteczka, Paweł, Páles, Zsolt
core +2 more sources
Trapezoidal Type Fejér Inequalities Related to Harmonically Convex Functions and Application
Journal of Function Spaces, 2019 Some authors introduced the concepts of the harmonically arithmetic convex functions and establish some integral inequalities of Hermite Hadamard Fejér type related to the harmonically arithmetic convex functions.
Sercan Turhan
doaj +1 more source
Some New Fractal Milne-Type Integral Inequalities via Generalized Convexity with Applications
Fractal and Fractional, 2023 This study aims to construct some new Milne-type integral inequalities for functions whose modulus of the local fractional derivatives is convex on the fractal set.
Badreddine Meftah +3 more
doaj +1 more source
Reducible means and reducible inequalities [PDF]
, 2016 It is well-known that if a real valued function acting on a convex set satisfies the $n$-variable Jensen inequality, for some natural number $n\geq 2$, then, for all $k\in\{1,\dots, n\}$, it fulfills the $k$-variable Jensen inequality as well.
C Gini +28 more
core +2 more sources
New refinement of the Jensen inequality associated to certain functions with applications
Journal of Inequalities and Applications, 2020 This article proposes a new refinement of the celebrated Jensen inequality. Some refinements have been obtained for quasi-arithmetic means, Hölder and Hermite–Hadamard inequalities. Several applications are given in information theory.
Muhammad Adil Khan +2 more
doaj +1 more source
On generalization of Levinson’s inequality involving averages of 3-convex functions
Journal of Inequalities and Applications, 2023 By using an integral arithmetic mean, a generalization of Levinson’s inequality given in (Pečarić et al. in Convex Functions, Partial Orderings, and Statistical Applications. Mathematics in Science and Engineering, vol.
G. Aras-Gazić +2 more
doaj +1 more source