Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, T...
Abstract—Quantized feedback control and quantized estimation have attracted a lot of attention in recent years with many results available on both research topics. In this paper,...
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...
The ubiquity of Windows-based desktop environments has not been matched by a corresponding emergence of tools supporting the Unix tool composition paradigm. Outwit is a suite of t...
1 Most engineering artifacts are designed and analyzed2 today within a 3-D computer aided design (CAD)3 environment. However, slender objects such as beams are4 designed in a 3-D e...