The possible worlds semantics is a fruitful approach used in Artificial Intelligence (AI) for both modelling as well as reasoning about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help of Monatague-Scott (MS) semantics of modal logic. In KA questions a...

In this paper a new approach for transmission pricing is presented. The main idea is voltage angle allocation, i.e. determining the contribution of each contract on the voltage angle of each bus. DC power flow is used to compute a primary solution for angle decomposition. To consider the impacts of system non-linearity on angle decomposition, the primary solution is corrected in different itera...

This paper presents a new teleoperation approach using a virtual spring, and local contact force control on the slave robot. The operational space framework provides the control structure needed to achieve decoupled task dynamics. A virtual spring connects the master and slave systems and a closed-loop force controller compensates for the dynamics of the slave system, rendering transparent the ...

This paper studies value predictor design under table access latency and energy constraints for high-frequency, wide-issue microprocessors. Previous value prediction efforts make generous assumptions regarding table sizes and access conditions, while ignoring prediction latencies and energy issues. Our work shows that the latency of a high-performance value predictor cannot be completely hidden...

The effect of thermally induced stress on the modal properties of highly elliptical core optical fibers is studied in this work using a finite element method. The stress analysis is carried out and anisotropic refractive index change is calculated using both the conventional plane strain approximation and the generalized plane strain approach. After considering the stress optical effect, the mo...

The finite element method is applied in the time domain to establish formulations for the integration of first-order and parabolic (transient) problems. The modal decomposition concept is applied using two distinct approaches. The first is based on modal decomposition in the space domain to recover the well-established method for uncoupling the parabolic system of equations. To overcome the lim...

The work undertaken involves the use of functional magnetic resonance imaging (fMRI) and magnetoencephalography (MEG) as separate but complementary non-invasive functional brain imaging modalities. The aim in combining fMRI and MEG is centred around exploitation of the high temporal resolution available in MEG, and the high spatial resolution available in fMRI. However, whilst MEG represents a ...