2007 Technical Reports

YALEU/DCS/TR1377 forthcoming
Haiyong Xie
Arvind Krishnamurthy
Yang Richard Yang
Avi Silberschatz
March 2007

YALEU/DCS/TR1378 A General Framework for Certifying Garbage Collectors and Their Mutators (extended version)
Andrew McCreight
Zhong Shao
Chunxiao Lin
March 2007

YALEU/DCS/TR1379 Certified Self-Modifying Code
Hongxu Cai
Zhong Shao
Alexander Vaynberg
March 2007

YALEU/DCS/TR1380 [.pdf] [.ps] A Preliminary Report on a Fast Randomized Algorithm for the Approximation of Matrices
Franco Woolfe
Edo Liberty
Vladimir Rokhlin
Mark Tygert
April 2007

YALEU/DCS/TR1381 [.pdf] [.ps] Fast Algorithms for Spherical Harmonic Expansions, II
Mark Tygert
May 2007

YALEU/DCS/TR1382 [.pdf] [.ps] A New Class of Highly Accurate Solvers for Ordinary Differential Equations
Andreas Glaser
Vladimir Rokhlin
June 2007

YALEU/DCS/TR1383 [.pdf] Mathematical Foundations of Consciousness
Willard L. Miranker
Gregg J. Zuckerman
July 2007

YALEU/DCS/TR1384 [.pdf] [.ps] A New Class of Analysis-Based Fast Transforms
Michael O’Neil
Vladimir Rokhlin
August 2007

YALEU/DCS/TR1385 [.pdf] Fast Dimension Reduction Using Rademacher Series on Dual BCH Codes
Nir Ailon
Edo Liberty
July 2007

YALEU/DCS/TR1386 [.pdf] [.ps] A Fast Randomized Algorithm for the Approximation of Matrices
Franco Woolfe
Edo Liberty
Vladimir Rokhlin
Mark Tygert
July 2007

YALEU/DCS/TR1387 NOT ASSIGNED

YALEU/DCS/TR1388 [.pdf] [.ps] Randomized Algorithms for the Low-Rank Approximation of Matrices
Edo Liberty
Franco Woolfe
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
September 2007

YALEU/DCS/TR1389 [.pdf] Cryo-EM Structure Determination Through Eigen Vectors of Sparse Matrices
Ronald Coifman
Yoel Shkolnisky
F.J. Sigworth
A. Singer
November 2007

YALEU/DCS/TR1390 [.pdf] [.ps] Fast Random Projections using Lean Walsh Transforms
Edo Liberty
Nir Ailon
Amit Singer
December 2007