Publication
-
Automata, power series, and coinduction : taking input derivatives seriously (extended abstract) Tech Report
January 1999
-
Resource augmentation in load balancing Tech Report
January 1999
-
January 1999
-
January 1999
-
January 1999
-
Computing probabilistic bounds for extreme eigenvalues of symmetric matrices with the Lanczos method Tech Report
January 1999
-
On the representation of functions and finite difference operators on adaptive sparse grids Tech Report
January 1999
-
January 1999