A homomorphism of an automaton A without outputs onto a subau-tomaton B of A is called a retract homomorphism if it leaves the elements of B fixed. An automaton A is called a retractable automaton if, for every subautomaton B of A, there is a retract homomorphism of A onto B. In [1] and [3], special retractable automata are examined. The purpose of this paper is to give a construction for state...

we investigate the problem of the existence of a frame forright ideals of a c*-algebra a, without the use of the kasparov stabilizationtheorem. we show that this property can not characterize a as a c*-algebraof compact operators.

the main objective of this study is to swing krull intersection theorem in primary decomposition of rings and modules to the primary decomposition of soft rings and soft modules. to fulfill this aim several notions like soft prime ideals, soft maximal ideals, soft primary ideals, and soft radical ideals are introduced for a soft ring over a given unitary commutative ring. consequently, the p...

Among implantable cardioverter-defibrillator (ICD) recipients, there are patients with recurrent episodes of electrical storm (ES), retractable to the optimal antiarrhythmic drug therapy or invasive ablation procedures. A relatively novel anti-ischemic drug with also antiarrhythmic properties, ranolazine, may effectively suppress ventricular arrhythmias in such patients for a long period of time.

Complex Event Processing (CEP) deals with processing of continuously arriving events with the goal of identifying meaningful patterns (complex events). In existing stream database approaches, CEP is manly concerned by temporal relations between events. This paper advocates for a knowledge-rich CEP with Stream Reasoning capabilities. Secondly, we address the problem of revision in event processi...

Pseudolestes mirabilis Kirby (1900), the only member of its genus, endemic to Hainan, continues to provoke speculation on its phylogenetic position. Based on its unique adult characters the species was originally placed in its own subfamily by Kirby (1900), and then in subfamily Lestinae (now Lestidae) by Calvert (1902) and Tillyard and Fraser (1938–1940). Fraser (1957) established the family P...

This study investigated the wind pressure characteristics of an elliptical plan retractable dome roof. Wind tunnel experiments were performed on roofs with varying wall height-to-span ratios (0.1–0.5) and opening (0, 10, 30, 50 %), where ratio was defined as open area roof to total The resulting peak coefficients closed then compared those Japanese load code (AIJ-RLB (2015)) there are no curren...