In this paper, we address the inspection planning problem to “see” the whole area of the given workspace by a mobile robot. The problem is decoupled into the sensor placement problem and the multi-goal path planning problem to visit found sensing locations. However the decoupled approach provides a feasible solution, its overall quality can be poor, because the sub-problems are solved independe...

One well known approach to mitigate the impact of branch mispredictions and cache misses is to enable deep lookahead so as to overlap instruction and data supply with instruction processing. A continuous look-ahead process which uses separate thread of control on another hardware contexts is one such approach which we call decoupled look-ahead [1], [2]. However, in such look-ahead schemes, look...

Load reduction is an emergency measure to stabilize an electrical grid by decoupling some supply areas to balance the demand and supply of electricity in power grids. In the decoupled areas, power outages may cause important consequences, which may propagate further via the network of interdependent infrastructures. Therefore, support is needed to choose the regions to be decoupled. This paper ...

We study numerical methods for solving a non-stationary mixed Stokes-Darcy problem that models coupled fluid flow and porous media flow. A decoupling approach based on interface approximation via temporal extrapolation is proposed for devising decoupled marching algorithms for the mixed model. Error estimates are derived and numerical experiments are conducted to demonstrate the computational e...

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 ...

Accurate and efficient numerical predictions of flutter is essential for the turbomachinery industry. The decoupled method has been main workhorse industry decades thanks to its low computational resources required. However, there arises need an innovative propulsion architecture a lightweight material, which hinders accuracy effectiveness method. Hence, use fully-coupled methods steadily incre...

• A dedicated paper addressing the NASA Uncertainty Quantification Challenge 2019. Subproblems are solved according their forward or inverse features. Decoupling two-loop uncertainty propagation approach for procedures. Bayesian framework with statistical calibration metric Parallel computation and adaptive surrogate optimization to reduce calculation cost. This is exploring Langley on Optimiza...

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...

Modal logics based on Kripke style semantics are the prominent formalism in AI for modeling beliefs Kripke semantics involve a collection of possible worlds and a relation among the worlds called an accessibility relation Dependent on the properties of the accessibility relation di erent modal operators can be captured Belief operators have been modeled by an accessibility relation which produc...