Publication
-
January 2007
-
January 2007
-
A coinductive calculus of binary trees Tech Report
January 2007
-
A second-order, unconditionally positive, mass-conserving integration scheme for biochemical systems. Article
Applied Numerical Mathematics, 36-58.January 2007
-
Quantum and classical strong direct product theorems and optimal time-space tradeoffs Article
SIAM Journal on Computing, 36(5), 1472-1493.January 2007
-
A remapped particle-mesh semi-Lagrangian advection scheme Article
Quarterly Journal of the Royal Meteorological Society, 133(622), 251-260.January 2007
-
Computing absolute and essential spectra using continuation Article
Physica - D, Nonlinear Phenomena, 166-183.January 2007
-
Robust Polynomials and Quantum Algorithms Article
Theory of Computing Systems, 40(4), 379-395.January 2007