We provide a semantic characterization of AGM belief contraction based on frames consisting Kripke relation and Stalnaker-Lewis selection function. The central idea is as follows. Let K be the initial set K-A by formula A; then B belongs to if only if, at actual state, agent believes that not-A (were) case (would be) case.

yielding elements (ye) are among those devices that not only help control structural damages, but make better seismic behavior by concentrating the frames in some removable part of the structures. ye are located at the intersection of concentric braced frame (cbf) in a rectangular shape. in this paper, seismic behavior of the frames with ye will be investigated. for this reason, 5 braced steel ...

Finite tight frames have many applications and some interesting physical interpretations. One of the important subjects in this area is the ways for constructing such frames. In this article we give a concrete method for constructing finite normalized frames using Platonic solids.

response modification factor (r-factor) is one of the seismic design parameters to consider nonlinear performance of building structures during strong earthquake. relying on this, many seismic design codes led to reduce earthquake loads imposed to the structure. the present paper tries to evaluate the r-factors of conventional concentric braced frames (cbfs) and special moment frames (mrfs) in ...

Background Steady State Free Precession is a fast technique with high contrast between myocardium and blood in cardiovascular MR imaging. According to the time consuming data acquisition and short cardiac cycle (almost 0.9 second), data is obtained in several heartbeats depending on the number of frames and K-space size. The K-Space is divided to segments and each segment is acquired in one car...

Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, ∧, 3, and 2. Previously, the only known result was that the complexity of the satisfiability problem for K dropped from PSPACE-complete to coNP-complete (Schmidt-Schauss and Smolka [5] and Donini et al. [2]). In this paper we show that no...

Introduction To increase the temporal resolution in time-resolved MRI, several view sharing (VS) techniques have been developed. Typically, high spatial frequencies are not fully sampled for all time frames and data from the different time frames are combined to generate full k-space data [1, 2]. In this study the VS concept was applied to share data between different slice positions for axial ...

This paper describes an effective unsupervised method for query-by-example speaker retrieval. We suppose that only one speaker is in each audio file or in audio segment. The audio data are modeled using a common universal codebook. The codebook is based on bag-of-frames (BOF). The features corresponding to the audio frames are extracted from all audio files. These features are grouped into clus...

Hilbert frames theory have been extended to frames in Hilbert $C^*$-modules. The paper introduces equivalent $*$-frames and presents ordinary duals of a constructed $*$-frame by an adjointable and invertible operator. Also, some necessary and sufficient conditions are studied such that $*$-frames and ordinary duals or operator duals of another $*$-frames are equivalent under these conditions. W...