We introduce improvements in the algorithm by Gastin and Oddoux translating LTL formulae into Büchi automata via very weak alternating co-Büchi automata and generalized Büchi automata. Several improvements are based on specific properties of any formula where each branch of its syntax tree contains at least one eventually operator and at least one always operator. These changes usually result i...

We present the generalized hybrid averaging (GHA) operator. It is a new aggregation operator that generalizes the hybrid averaging (HA) operator by using the generalized mean. Thus, we are able to generalize a wide range of mean operators such as the HA, the hybrid geometric averaging (HGA), the hybrid quadratic averaging (HQA), the generalized ordered weighted averaging (GOWA) operator and the...

in this paper, a technique generally known as meshless numerical scheme for solving fractional dierential equations isconsidered. we approximate the exact solution by use of radial basis function(rbf) collocation method. this techniqueplays an important role to reduce a fractional dierential equation to a system of equations. the numerical results demonstrate the accuracy and ability of this me...

In a generalized topological space Tg = (Ω, ) (Tg -space), various ordinary operators -operators), namely, int_g, cl_g, ext_g, fr_g, der_g, 
 cod_g : P (Ω) −→ (T_g-interior, T_g-closure, T_g-exterior, T_g-frontier, T_g-derived, T_g-coderived operators), are defined in terms of sets (T_g-sets). Accordingly, T_g-operators (g-T_g-operators), g-Int_g, g-Cl_g, g-Ext_g, g-Fr_g, g-Der_g, g-Cod_g ...

In this work, it is presented iterative schemes for achieving to common points of the solutions set of the system of generalized mixed equilibrium problems, solutions set of the variational inequality for an inverse-strongly monotone operator, common fixed points set of two infinite sequences of relatively nonexpansive mappings and common zero points set of two finite sequences of maximal monot...

Let ? be an open connected subset of the complex plane C and let T be a bounded linear operator on a Hilbert space H. For ? in ? let e the orthogonal projection onto the null-space of T-?I . We discuss the necessary and sufficient conditions for the map ?? to b e continuous on ?. A generalized Gram- Schmidt process is also given.

Recently, an extended operator of fractional derivative related to a generalized Beta function was used in order to obtain some generating relations involving the extended hypergeometric functions [1]. The main object of this paper is to present a further generalization of the extended fractional derivative operator and apply the generalized extended fractional derivative operator to derive lin...

In this paper, we present the induced generalized intuitionistic fuzzy ordered weighted averaging (IGIFOWA) operator. It is a new aggregation operator that generalized the IFOWA operator, including all the characteristics of both the generalized IFOWA and the induced IFOWA operators. It provides a very general formulation that includes as special cases a wide range of aggregation operators for ...

‎let $x,y$ be normed spaces with $l(x,y)$ the space of continuous‎ ‎linear operators from $x$ into $y$‎. ‎if ${t_{j}}$ is a sequence in $l(x,y)$,‎ ‎the (bounded) multiplier space for the series $sum t_{j}$ is defined to be‎ [ ‎m^{infty}(sum t_{j})={{x_{j}}in l^{infty}(x):sum_{j=1}^{infty}%‎ ‎t_{j}x_{j}text{ }converges}‎ ‎]‎ ‎and the summing operator $s:m^{infty}(sum t_{j})rightarrow y$ associat...