Timed modal speciications have proven useful for the veri-cation of real time systems. In the paper, we show how the notion of modal transitions systems, the basic formalism of timed modal specii-cations, can be generalized to modal hybrid systems. This allows verii-cation problems for hybrid systems to be formulated using the notion of (weak) reenement, a generalization of bisimulation. We als...

During a revisit to modal identification in the past three decades, an overview of the major developments and issues in modal identification is motivated. A brief review on the progress from Single-Input/Single-Output (SISO), Single-Input/Multi-Output (SIMO) to Multi-Input/Multi-Output (MIMO) identification in frequency, time and spatial domain, is presented. The latest developments and issues ...

Maternal exposure to significant prenatal stress can negatively affect infant neurobiological development and increase the risk for developmental and health disturbances. These effects may be pronounced in low SES and ethnic minority families. We explored prenatal partner support as a buffer of the impact of prenatal stress on cortisol reactivity of infants born to low-income Mexican American w...

Intuitionistic Fuzzy Modal Operator was defined by Atanassov in cite{at3}in 1999. In 2001, cite{at4}, he introduced the generalization of thesemodal operators. After this study, in 2004, Dencheva cite{dencheva} definedsecond extension of these operators. In 2006, the third extension of thesewas defined in cite{at6} by Atanassov. In 2007,cite{gc1}, the authorintroduced a new operator over Intuit...

Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism. 0. Introduction The extensive parallel between temporal logic and modal logic has...

The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults — modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and...

DNN-based cross-modal retrieval is a research hotspot to retrieve across different modalities as image and text, but existing methods often face the challenge of insufficient cross-modal training data. In single-modal scenario, similar problem is usually relieved by transferring knowledge from largescale auxiliary datasets (as ImageNet). Knowledge from such single-modal datasets is also very us...

We study and give a summary of the complexity of 15 basic normal monomodal logics under the restriction to the Horn fragment and/or bounded modal depth. As new results, we show that: a) the satisfiability problem of sets of Horn modal clauses with modal depth bounded by k ≥ 2 in the modal logics K4 and KD4 is PSPACE-complete, in K is NP-complete; b) the satisfiability problem of modal formulas ...

The necessity to increase performances in terms of lifetime and security in mechanical components or structures is the motivation for intense research in fatigue. Applications range from aeronautics to medical devices. With the development of new materials, there is no longer a fatigue limit in the classical sense, where it was accepted that the fatigue limit is the stress level such that there...

In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit the theory of normal forms for modal logic and derive a normal form representation for positive modal logic. We also show that every finitely generated free modal and distributive modal algebra axiomatised by equatio...