Abstract. The condition number of a Gram matrix deļ¬ned by a polynomial basis and a set of points is often used to measure the sensitivity of the least squares polynomial approxim...
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
This work addresses the problem of deciding whether a set of realizations of a vector-valued time series with unknown temporal correlation are spatially correlated or not. Speciļ¬...
Recently, robust transmit beamforming has drawn considerable attention because it can provide guaranteed receiver performance in the presence of channel state information (CSI) er...
We present a uniļ¬ed environment for running declarative speciļ¬cations in the context of an imperative object-oriented programming language. Speciļ¬cations are Alloy-like, wri...
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov...