YALEU/DCS/TR1449 [.pdf] Non-asymptotic Analysis of Bandlimited Functions
Andrei Osipov
YALEU/DCS/TR1450 [.pdf] Explicit upper bounds on the eigenvalues associated with prolate spheroidal wave functions
Andrei Osipov
YALEU/DCS/TR1451 [.pdf] Differential Stochastic Sensing: Intrinsic Modeling of Random Time Series with Applications to Nonlinear Tracking
Ronen Talmon
Ronald R. Coifman
YALEU/DCS/TR1452 [.pdf] Systematizing “Accountability” in Computer Science (Version of Feb. 17, 2012)
Joan Feigenbaum
Aaron D. Jaggard
Rebecca N. Wright
Hongda Xiao
YALEU/DCS/TR1453 [.pdf] A Nearest Neighbors Algorithm for Strings
R. Lederman
April 2012
YALEU/DCS/TR1454 [.pdf] On the Resilience of Routing Tables
Joan Feigenbaum
Brighten Godfrey
Aurojit Panda
Michael Schapira
Scott Shenker
Ankit Singla
August 2012
YALEU/DCS/TR1455 [.pdf] Strong Theft-Proof Privacy-Preserving Biometric Authentication
Ewa Syta
Michael J. Fischer
Abraham Silberschatz
Gina Gallegos Garcia
Bryan Ford
May 25, 2012
YALEU/DCS/TR1456 forthcoming
Richard Yang
YALEU/DCS/TR1457 [.pdf] Modeling zonal electricity prices by anisotropic diffusion embeddings
Neta Rabin
Ronald R. Coifman
June 5, 2012
YALEU/DCS/TR1458 [.pdf] Detailed analysis of prolate quadratures and interpolation formulas
Andrei Osipov
Vladimir Rokhlin
June 28, 2012
YALEU/DCS/TR1459 forthcoming
YALEU/DCS/TR1460 [.pdf] Evaluation of small elements of the eigenvectors of certain symmetric tridiagonal matrices with high relative accuracy
Andrei Osipov
August 23, 2012
YALEU/DCS/TR1461 Modular Verification of Concurrent Thread Management
Yu Guo
Xinyu Feng
Zhong Shao
Peizhi Shi
YALEU/DCS/TR1462 A Case for Behavior-Preserving Actions in Separation Logic
David Costanzo
Zhong Shao
YALEU/DCS/TR1463 Compositional Verification of a Baby Virtual Memory Manager
Alexander Vaynberg
Zhong Shao
YALEU/DCS/TR1464 [.pdf] A one-bit swap object using test-and-sets and a max register
James Aspnes
YALEU/DCS/TR1465 [.pdf] Homopolymer Length Filters
Roy Lederman
YALEU/DCS/TR1466 [.pdf] On Backtracking Resistance in Pseudorandom Bit Generation
Michael J. Fischer
Michael S. Paterson
Ewa Syta
October 24, 2012
YALEU/DCS/TR1467 [.pdf] Empirical Intrinsic Modeling of Signals and Information Geometry
Ronen Talmon
Ronald R. Coifman
November 9, 2012
YALEU/DCS/TR1468 [.pdf] Scaling Software-Defined Network Controllers on Multicore Servers
Andreas Voellmy
Bryan Ford
Paul Hudak
Y. Richard Yang
July 2012
YALEU/DCS/TR1469 [.pdf] Efficient and Privacy-Preserving Biometric Authentication
Ewa Syta
David Wolinsky
Michael J. Fischer
Abraham Silberschatz
Bryan Ford
Gina Gallegos-Garcia
YALEU/DCS/TR1470 [.pdf] Building approximate overlap graphs for DNA assembly using random-permutations-based search
Roy Lederman
December 18, 2012