YALEU/DCS/TR1391 [.pdf] The Sentinal Algorithm: Distributed Dynamic Coverage
John Corwin
Ana Cerejo
Diego Montenegro
January 2008
YALEU/DCS/TR1392 Entrywise Bounds for Eigenvectors of Random Graphs
Pradipta Mitra
January 2008
YALEU/DCS/TR1393 [.pdf] Memes and their Themata
Willard L. Miranker
February 2008
YALEU/DCS/TR1394 forthcoming
YALEU/DCS/TR1395 [.pdf] On the Inverse Scattering Problem in the Acoustic Environment
R. Duan
V. Rokhlin
March 2008
YALEU/DCS/TR1396 Certifying Low-Level Programs With Hardware Interrupts and Preemptive Threads
Xinyu Feng
Zhong Shao
Yuan Dong
Yu Guo
March 2008
YALEU/DCS/TR1397 An Open Framework for Certified System Software
Xinyu Feng
December 2007
YALEU/DCS/TR1398 Local Reasoning and Information Hiding in SCAP
Xinyu Feng
Zhong Shao
February 2008
YALEU/DCS/TR1399 [.pdf] [.ps] An Algorithm for the Rapid Evaluation of Special Function Transforms
Michael O’Neil
Franco Woolfe
Vladimir Rokhlin
April 2008
YALEU/DCS/TR1400
Richard Yang
YALEU/DCS/TR1401 [.pdf] High-Order Quadratures for the Solution of Scattering Problem in Two Dimensions
Ran Duan
Vladimir Rokhlin
April 2008
YALEU/DCS/TR1402 [.pdf] [.ps] The Mailman Algorithm: a Note on Matrix Vector Multiplication
Edo Liberty
Steven Zucker
April 2008
YALEU/DCS/TR1403 [.pdf] [.ps] A Fast Randomized Algorithm for Overdetermined Linear Least-Squares Regression
Vladimir Rokhlin
Mark Tygert
April 2008
YALEU/DCS/TR1404 [.pdf] Neural Network Applications
Willard Miranker
April 2008
YALEU/DCS/TR1405 Look Ma, No Arrows – A Functional Reactive Real-Time Sound Synthesis Framework
Paul Hudak
July 2008
YALEU/DCS/TR1406 [.pdf] A Nonlinear Optimization Procedure for Generalized Gaussian Quadratures
James Bremer
Zydrunas Gimbutas
Vladimir Rokhlin
June 2008
YALEU/DCS/TR1407 [.pdf] [.ps] Learning Meaning Before Syntax
Dana Angluin
Leonor Becerra-Bonache
July 2008
YALEU/DCS/TR1408 Yampa Meets the Worm
Paul Hudak
Paul Liu
Michael Stern
Ashish Agarwal
July 2008
YALEU/DCS/TR1409 [.pdf] Querying RDF Data Stored in DBMS: SPARQL to SQL Conversion
Kamil Bajda-Pawlikowski
August 2008
YALEU/DCS/TR1410 [.pdf] Descent Minimization on A Quantum Computer
Willard L. Miranker
July 2008
YALEU/DCS/TR1411 [.pdf] Memes and their Themata
Willard L. Miranker
October 2008
YALEU/DCS/TR1412 [.pdf] Correlation Clustering Revisited: The “True” Cost of Error Minimization Problems
Nir Ailon
Edo Liberty