By using Lambert function, the analytical stability bound is obtained in this paper for delayed second-order systems with repeatable poles. An example is presented to illustrate t...
We present a new approach to dealing with default information based on the theory of belief functions. Our semantic structures, inspired by Adams' -semantics, are epsilon-beli...
Salem Benferhat, Alessandro Saffiotti, Philippe Sm...
Abstract. We present a rational version of the classical Landen transformation for elliptic integrals. This is employed to obtain explicit closed-form expressions for a large class...
Building on an existing 2-approximate algorithm for the class of network design problems with downwards-monotone demand functions, many of which are NP-hard, we present an algorith...
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...