In this paper, the notion of generalized regular fuzzy irresolute, generalized regular fuzzy irresolute open  and generalized regular fuzzy irresolute closed maps in fuzzy  topological spaces are introduced and studied. Moreover, some separation axioms and $r$-GRF-separated sets are established. Also, the relations between generalized regular fuzzy continuous maps and generalized regular fuzzy ...

Syndrome de P -R court et QRS normal avec les crises de tachycardie Paroxystique ou le syndrome de (Lown-Ganong-Levine). Dans une enqete epidemiologique sur les ma­ladies cardiovasculaires chez deux populations rurales de Roudsar et Azarbaidjan oriental nous avons retrouve 6 cas de P -R court avec QRS normal. Dans cet article nous avons brievement passe en revue les vois de conduction auriculov...

The existence of mixed curvature measures of two sets in R with positive reach introduced in [6] is discussed. An example shows that the non-osculating condition from [6] does not ensure the locally bounded variation of the mixed curvature measures. Further, some sufficient conditions for the local boundedness of mixed curvature measures involving absolute curvature measures are presented. For ...

Disjunctive Linear Arithmetic (DLA) is a major decidable theory that is supported by almost all existing theorem provers. The theory consists of Boolean combinations of predicates of the form Σ j=1aj · xj ≤ b, where the coefficients aj , the bound b and the variables x1 . . . xn are of type Real (R). We show a reduction to propositional logic from disjunctive linear arithmetic based on Fourier-...

To deal with failures as simply as possible, we propose a new foundation for the core (untyped) C, which is based on a new logic called task logic or imperative logic. We then introduce a sequential-disjunctive statement of the form S : R. This statement has the following semantics: execute S and R sequentially. It is considered a success if at least one of S,R is a success. This statement is u...

We study the quasi-normal modes (QNM) of electromagnetic and gravitational perturbations of a Schwarzschild black hole in an asymptotically Anti-de Sitter (AdS) spacetime. Some of the electromagnetic modes do not oscillate, they only decay, since they have pure imaginary frequencies. The gravitational modes show peculiar features: the odd and even gravitational perturbations no longer have the ...

We consider the following problem: Given a term t, a rewrite system R, a finite set of equations E′ such that R is E′-convergent, compute finitely many instances of t: t1, . . . , tn such that, for every substitution σ, there is an index i and a substitution θ such that tσ↓ =E′ tiθ (where tσ↓ is the normal form of tσ w.r.t. →E′\R). The goal of this paper is to give equivalent (resp. sufficient)...