We study the worst-case performance of the maximal matching heuristic applied to the Minimum Vertex Cover and Minimum Maximal Matching problems, through a careful analysis of tigh...
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
This paper reports the mechanical design, structural analysis, and experimental veri cation of a new high performance semi-direct drive robot arm. A design optimization methodolog...
Jaydeep Roy, Randal P. Goldberg, Louis L. Whitcomb
We propose some improvements of TCP Vegas and compare its performance characteristics in comparison with TCP Reno. We demonstrate through analysis that TCP Vegas, with its better ...
Jeonghoon Mo, Richard J. La, Venkat Anantharam, Je...
A new method for performing a nonlinear form of Principal Component Analysis is proposed. By the use of integral operator kernel functions, one can e ciently compute principal comp...