We present a proposal on how to develop nonmonotonic reasoning based on the modal logic S4. As a consequence of our results we show how to present the well known semantics of answer sets, under a restricted fragment of modal formulas, using this approach. Moreover, by considering the full set of modal formulas we obtain an interesting generalization of answer sets with modal connectives. We sho...

Cross-modal hashing is designed to facilitate fast search across domains. In this work, we present a cross-modal hashing approach, called quantized correlation hashing (QCH), which takes into consideration the quantization loss over domains and the relation between domains. Unlike previous approaches that separate the optimization of the quantizer independent of maximization of domain correlati...

We present an efficient multi-sensor odometry system for mobile platforms that jointly optimizes visual, lidar, and inertial information within a single integrated factor graph. This runs in real-time at full framerate using fixed lag smoothing. To perform such tight integration, new method to extract 3D line planar primitives from lidar point clouds is presented. approach overcomes the subopti...

The IR and NMR spectra were coupled with quantum chemical calculations in DFT approach usingthe hybrid B3LYP exchange-correlation functional to confirm the structure of 2-methoxycarbonyl-7-methyl-1,3-thiazino[3,2-b][1,2,4]triazine-4,8-dione 2d.

Multi-modal test execution allows execution of the same test against various layers and components of a software system. This paper presents a method that effectively encodes one-to-many test definition and test execution relationship of multi-modal functional tests without creating large test maintenance overhead. Our approach extends the Fit table specification structure by multi-modal fixtur...

To predict the resonance characteristics of hydraulic machinery, it is necessary to accurately calculate natural modes runners in operating environment. However, existing research, boundary conditions numerical modal analysis runner were not unified. In this paper, a prototype Francis pump turbine was carried out using acoustic–structure coupling method. The results three different constraints ...

in this paper, we study the existence of coupled coincidence andcoupled common fixed points for single-valued and fuzzy mappingsunder a contractive condition in metric space. presented theoremsextend and improve the main results of abbas and$acute{c}$iri$acute{c}$ {itshape et al.} [m. abbas, l.$acute{c}$iri$acute{c}$, {itshape et al.}, coupled coincidenceand common fixed point theorems for hybr...

In this research, the modal parameters of a beam in free-free condition are extracted by performing different experiments in laboratory. For this purpose, two different techniques are employed. The first methodology is considered as a time domain method in Operational Modal Analysis. While the other one is frequency domain impact hammer test which is categorized as an Experimental Modal Analysi...

With the fast development of data collection techniques, a huge amount of complex multi-modal data are generated, shared and stored on the Internet. The burden of extracting multi-modal features for test instances in data analysis becomes the main fact that hurts the efficiency of prediction. In this paper, in order to reduce the modal extraction cost in serialized classification system, we pro...

Second order matrix equations arise in the description of real dynamical systems. Traditional modal control approaches utilise the eigenvectors of the undamped system to diagonalise the system matrices. A regrettable consequence of this approach is the discarding of residual off-diagonal terms in the modal damping matrix. This has particular importance for systems containing skew-symmetry in th...