c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
This paper is concerned with a universal pattern, which is defined as a character pattern designed to have high machine-readability. This universal pattern is a character pattern...
This paper deals with asymptotic rejection of periodic disturbances which may have asymmetric basic wave patterns. This class of disturbances covers asymmetric wave forms in the h...
We define a class of Z-interference channels for which we obtain a new upper bound on the capacity region. The bound exploits a technique first introduced by Korner and Marton. A ...