We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras for the Vietoris functor on compact Hausdorff spaces. Modal compact regular frames and modal de Vries algebras are introduced as algebraic counterparts of modal compact Hausdorff spaces, and dualities are given for the categories involved. These extend the familiar Isbell and de Vries d...

introduction: neuro-plasticity is the neuronal system ability to modify and recover itself after the occurrence of impairment and injuries. following the abolition of a sensory modality, modifications will be applied to other modalities and their cortical function in a way that the processing of these modalities not only will happen in their own specific cortical area, but also in those areas t...

In recent years some multi-mode pushover procedures taking into account higher mode effects, have been proposed. The responses of considered modes are combined by the quadratic combination rules, while using the elastic modal combination rules in the inelastic phases is not valid. Here, an optimum weighted mode combination method for nonlinear static analysis is presented. Genetic algorithm is ...

Hedging academic claims has been recognized as one of integral pragmatic features of academic writing in which most EFL academic writers seem to face substantial problems. Explicit instruction has been proposed by some scholars as an effective approach to make EFL writers aware of the importance, different forms, and pragmatic functions of hedging devices some of which are polysemous and polypr...

The following study deals with the updating the finite element model of structures using the operational modal analysis. The updating process uses an evolutionary optimization algorithm, namely bees algorithm which applies instinctive behavior of honeybees for finding food sources. To determine the uncertain updated parameters such as geometry and material properties of the structure, local and...

in this paper, optimum location of power system stabilizers in order to damp inter-area oscillations has been investigated by using modal series method. nonlinear effects grow in dynamical behaviors of heavily loaded stressed power systems significantly. hence linear based methods and techniques no longer present clear and exact response of the systems. in this article by defining new nonlinear...

An approximate numerical mthod is presented for analysis and determination of modal characteristics in straight, pretwisted non-unifom helicopter blades. The analysis considers the coupled flapwise bending (out of plane), chordwise bending (in plane), and torsion vibration of both rotating and non-rotating blades. The proposed method is based on the integral expansion of Green functions (struct...

We develop the theory of stable modal logics, a class of modal logics introduced in [3]. We give several new characterizations of stable modal logics, and show that there are continuum many such. Since some basic modal systems such as K4 and S4 are not stable, for a modal logic L, we introduce the concept of an L-stable extension of L. We prove that there are continuum many S4-stable modal logi...

In this note we investigate modal logics of submaximal and nodec spaces when the modal diamond is interpreted as the closure operator of a topological space. We axiomatize the modal logic of nodec spaces. We show that the modal logic of submaximal spaces is a proper extension of the modal logic of nodec spaces, axiomatize it, and prove that it coincides with the modal logics of door spaces and ...

We extend the algebraic-coalgebraic specification language CoCasl by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCasl and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCasl thus becomes a modern modal language tha...