This paper presents an approach to accurate and scalable multiple-model state estimation for hybrid systems with intermittent, multi-modal dynamics. The approach consists of using discrete-state estimation to identify a system’s behavioral context and determine which motion models appropriately represent current dynamics, and which multiple-model filters are appropriate for state estimation. Th...

We present novel method for image-text multi-modal representation learning. In our knowledge, this work is the first approach of applying adversarial learning concept to multi-modal learning and not exploiting image-text pair information to learn multi-modal feature. We only use category information in contrast with most previous methods using image-text pair information for multi-modal embeddi...

In computer science, scenarios with interacting agents are often developed using modal logic. We show how to interpret modal logic of knowledge in relation algebra. This allows the use of the RelView tool for the purpose of investigating finite models and for visualizing certain properties. Our approach is illustrated with the well-known ‘muddy children’ puzzle using modal logic of knowledge. W...

The forced frequency analysis is very important in the design of automotive structures. In particular, the Frequency Response Functions (FRF) computation is an important step in determining Noise, Vibration and Harshness (NVH) of any automotive vehicle. In general, the CAE engineer must address the severity and compliance of the design limits set in the NVH environment. Usually, a CAE engineer ...

In this article, the formulation of Lagrange Multiplier State-Space Substructuring (LM-SSS) is presented and extended to directly compute coupled displacement velocity state-space models. The LM-SSS method applied couple decouple models established in modal domain. Moreover, it used together with tailored postprocessing procedures eliminate redundant states originated from coupling decoupling o...

Predicting and mitigating unwanted vibration of drillstrings is an important subject for oil drilling companies. Uncontrolled vibrations cause premature failure of the drillstring and associated components. The drillstring is a long slender structure that vibrates in three primary coupled modes: torsional, axial and transverse. Among these coupled modes, the transverse mode is the major cause o...

The objective of this study is to present a mathematical modeling and solution approach for the drying process of spheroidal solids with the application of microwave in capillary porous media based on the Luikov equations, composed of a system of linear and coupled partial differential equations arising from the energy, mass and pressure balances inside the solid matrix. Additionally, the power...

It is known that the inconsistent distribution and representation of different modalities, such as image and text, cause the heterogeneity gap, which makes it very challenging to correlate such heterogeneous data. Recently, generative adversarial networks (GANs) have been proposed and shown its strong ability of modeling data distribution and learning discriminative representation, and most of ...

These are the lecture notes of a tutorial on higher-order modal logics held at the 11th Reasoning Web Summer School. After defining the syntax and (possible worlds) semantics of some higherorder modal logics, we show that they can be embedded into classical higher-order logic by systematically lifting the types of propositions, making them depend on a new atomic type for possible worlds. This a...