Publications

State-space explosion is a central problem in the automatic verification (model-checkling) of concurrent systems.

State-space explosion is a central problem in the automatic verification (model-checking) of concurrent systems.

In this paper, we propose two relay antenna selection (RAS) schemes in multiple-input multiple-output (MIMO) twoway relay networks where an NA-antenna source and an NBantenna source exchange their

In numerous types of mechanisms it is desirable to arrest the motion of a member at a particular point and to maintain it in this position.

When palladium or platinum-family metal contacts are operated in an environment which includes organic vapors, the performance of the contacts may be seriously degraded.

Visitors to the switching development areas in the Bell Telephone Laboratories are often surprised at the extensive amount of measuring equipment used to study so simple a device as the telephone r

Herein, we propose a novel data splitting algorithm for high throughput relay transmissions using multiple antennas.

In recent years, there has been an upsurge of interest in multihop-augmented infrastructure-based networks in both industry and academia, such as the seed concept in 3GPP, mesh networks in IEEE 802

A consecutive-k line is a system of components in sequence such that the system fails if and only if some k consecutive components all fail.

Before they can converse people must either be brought together or virtually be brought into one another's presence by the telephone.