Abstract. One of the major challenges in managing networked and dynamic ontologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating ...
Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, St...
Abstract— This paper develops a novel mechanism for managing the performance and feasibility trade off withing predictive control. Specifically, it demonstrates that the potenti...
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
Abstract-- We study the identifiability (i.e. the unique identification) problems for 1-D heat conduction in a nonhomogeneous rod. The piecewise constant conductivity of the rod ca...
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...