Publications

We consider a cache network, where a single server is connected to multiple users via a shared bottleneck link.

Recently there has been great interest in the guiding of light by the p-n junction region in certain piezoelectric semiconductors, for it has been noted that the Pockcls effect clue to the electric

The binary mixture phase diagram of n-propyl- and n-butyl- 4'-n-decyloxybiphenyl-4-carbpxylate (3(10)OBC and 4(10)OBC) has been investigated by optical microscopy, x-ray diffraction and heat-capac

Homogeneous linear Fredholm integral equations with nonsingular kernels of normal type (which includes Hermitian kernels as a special case), i.e., kernels for which have been extensively studied.

We begin by showing that existing abstraction frameworks are inherently incomplete for verifying purely existential or mixed universal-existential properties.

Abstraction is often essential to verify a program with model checking.

Strong starters and skew starters have been widely used in various combinatorial designs such as Room squares and Howel designs.

We have studied two-dimensional melting in a colloidal suspension of diameter Phi=0.305mu spheres confined in a wedge geometry by direct lattice imaging using a high power optical microscope.

Just twenty minutes a day spent searching for information equals two weeks' full-time employment over a work year-reason enough for a business to implement a knowledge management system.

H E exponential line m a y b e defined a s a n o r d i n a r y transmission line in which t h e spacing between the conductors (or conductor size) is n o t c o n s t a n t b u t varies in such a w