Publications

In this paper, we use Dijkstra's method of simultaneously developing a program and a proof of its correctness to solve the so-called McDonald's warehouse problem.

Multipath transport protocols enable the concurrent use of different paths and resource pooling of their capacity.

MCVD (Modified Chemical Vapor Deposition) was the second high-silica fiber process to emerge. Its inception occurred several years after exploration of fiber optics began at Bell Laboratories.

This paper proposes a methodology for identifying data samples that are likely to be mislabeled in a c-class classification problem (dataset).

Encoding multimedia streams of video calls is a very compute-intense task that significantly decreases battery lifetime of mobile phones.

A heuristic percolation model incorporating the effects of frustration in a mean field sense describes spin glass transitions.

Numerical simulations of two-dimensional model equations show that a coupling between amplitude and vertical-vorticity fields allows chaotic flows near the onset of Rayleigh-Benard convection in la

This study has shown that a viable choice for network structure is, surprisingly, an almost randomly constructed (semi-random) network.

We have solved, near T = 0, a model describing two magnetic impurities coupled to a band of itinerant electrons and also antiferromagnetically to each other, using an auxiliary boson mean field the

Vol. 53, No. 5, M a y - J u n e 1974 Printed in U.S.A. Mean-Squared-Error Equalization Using Manually Adjusted Equalizers By Y.-S.