We extend the notion of generalized φ-recurrent β-Kenmotsu manifold and study its various geometric properties with the existence of such notion.

A L-estimate will be established for cosine series, considering the generalized Fomin-class Fφ, where φ is a function more general than the power function

This report describes a strong connection between maximum satisfiability and minimally-unsatisfiable subfor-mulas of any constraint system, as well as techniques for exploiting it. Focusing on CNF formulas, we explore this relationship and present novel algorithms for extracting minimally-unsatisfiable subformulas, including one that finds all such subformulas. We present experimental results s...

for various types of risk process X = (X(t), t ≥ 0) and functions f(t). The similar problem of finding the buffer overflow probability appears in the queuing theory for different communication network models. The tasks of such type were solved for many types of processes, including Gaussian ones and aforementioned FBM (see, for example, Norros [1], Michna [2], Baldi and Pacchiarotti [3], etc.)....

In this paper Kantorovich type inequalities are derived for linear spaces endowed with bilinear operations ◦1 and ◦2. Sufficient conditions are found for vector-valued maps Φ and Ψ and vectors x and y under which the inequality Φ(x) ◦2 Φ(y) ≤ C + c 2 √ Cc Ψ(x ◦1 y) is satisfied. Complementary inequalities are also given. Some results of Dragomir [J. Inequal. Pure Appl. Math., 5 (3), Art. 76, 20...

We present a new algorithm to construct a (generalized) deterministic Rabin automaton for an LTL formula φ. The automaton is the product of a co-Büchi automaton for φ and an array of Rabin automata, one for each G-subformula of φ. The Rabin automaton for Gψ is in charge of recognizing whether FGψ holds. This information is passed to the co-Büchi automaton that decides on acceptance. As opposed ...

In this paper, the focus is on absolute stability and input-to-state stability of the feedback interconnection of an infinite-dimensional linear system Σ and a nonlinearity Φ : dom(Φ) ⊂ Lloc(R+, Y ) → L 2 loc(R+, U), where dom(Φ) denotes the domain of Φ and U and Y (Hilbert spaces) denote the input and output spaces of Σ, respectively (see Figure 1, wherein v is an essentially bounded input sig...

Let φ be a w-continuous homomorphism from a dual Banach algebra to C. The notion of φ-Connes amenability is studied and some characterizations is given. A type of diagonal for dual Banach algebras is dened. It is proved that the existence of such a diagonal is equivalent to φ-Connes amenability. It is also shown that φ-Connes amenability is equivalent to so-called φ-splitting of a certain short...