2004 Technical Reports

YALEU/DCS/TR1269 Fast Monte Carlo Algorithms for Matrices I: Approximating Matrix Multiplication
P. Drineas
R. Kannan
M.W. Mahoney
February 2004

YALEU/DCS/TR1270 Fast Monte Carlo Altorithms for Matrices II: Computing Low-Rank Approximation to a Matrix
P. Drineas
R. Kannan
M.W. Mahoney
February 2004

YALEU/DCS/TR1271 Fast Monte Carlo Algorithms for Matrices III: Computing on Efficient Approximation Decomposition of a Matrix
P. Drineas
R. Kannan
M.W. Mahoney
February 2004

YALEU/DCS/TR1272 [.pdf] The V-Calculus Functional Programming with Higiher-order Encodings
Carsten Schuermann
Adam Poswolsky
Jeffrey Sarnat
November 2004

YALEU/DCS/TR1273 [.pdf] Neural Net Applications
Willard Miranker
February 2004

YALEU/DCS/TR1274 [.ps] Polylogarithmic Inapproximability of the Radio Broadcast Problem
Michael Elkin
Guy Kortsarz
February 2004

YALEU/DCS/TR1275 [.ps] Efficient Algorithms for Constructing $(1+\epsilon,\beta)$-Spanners in the Distributed and Streaming Models
Michael Elkin
Jian Zhang
February 2004

YALEU/DCS/TR1276 Load-Balancing and Locality in Range-Queriable Data Structures
James Aspnes
Jonathan Kirsch
Arvind Krishnamurthy
February 2004

YALEU/DCS/TR1277 [.pdf] [.ps] Towards a Theory of Entanglement
James Aspnes
Joan Feigenbaum
Aleksandr Yampolskiy
Sheng Zhong
March 2004

YALEU/DCS/TR1278 [.pdf] Experience with Two Systems Supporting Proofs
Dana Angluin
Michael Bell
May 2003

YALEU/DCS/TR1279 How close can \/a + \/b be to an integer?
Dana Angluin
Sarah Eisenstat
February 2004

YALEU/DCS/TR1280 [.pdf] [.ps] Urn Automata
Dana Angluin
James Aspnes
Zoe Diamadi
Michael J. Fischer
Rene Peralta
November 2003

YALEU/DCS/TR1281 [.pdf] [.ps]Computation in Networks of Passively Mobile Finite-State Sensors
Dana Angluin
James Aspnes
Zoe Diamadi
Michael J. Fischer
Rene Peralta
February 2004

YALEU/DCS/TR1282 [.pdf] [.ps] On the Computational Complexity of Sensor Network Localization
James Aspnes
David Goldenberg
Yang Richard Yang
April 2004

YALEU/DCS/TR1283 Sampling Sub-problems of Heterogeneous Max-Cut Problems and Approximation Algorithms
P. Drineas
R. Kannan
M.W. Mahoney
April 2004

YALEU/DCS/TR1284 [.pdf] Apoptosis/Neurogenesis Favorably Informs Memory Development
Willard Miranker
April 2004

YALEU/DCS/TR1285 [.pdf] [.ps]Tiny Systematic Vote Manipulations Can Swing Elections
Anthony DiFranco
Andrew Petro
Emmett Shear
Vladimir Vladimirov
April 2004

YALEU/DCS/TR1286 On Designing Incentive-Compatible Routing and Forwarding Protocols in Wireless Ad-Hoc Networks – an Integrated Approach Using Game Theoretical and Cryptographic Techniques
Sheng Zhong
Li Li
Yangin Liu
Yang Richard Yang
May 2004

YALEU/DCS/TR1287 [.pdf] Think-A-Dot
Michael J. Fischer
Albert R. Meyer
Michael S. Paterson
May 2004

YALEU/DCS/TR1288 [.ps] Graph Distances in the Streaming Model: The Value of Space
Joan Feigenbaum
Sampth Kannan
Andrew McGregor
Siddhart Suri
Jian Zhang
May 2004

YALEU/DCS/TR1289 [.pdf] On Self Adaptive Routing in Dynamic Environments - An Evaluation and Design Using a Simple, Probabilistic Scheme
Haiyong Xie
May 2004

YALEU/DCS/TR1290 [.pdf] [.ps] Privacy from Untrusted Web Servers
Robert Fischer
Margo Seltzer
Michael Fischer
May 2004

YALEU/DCS/TR1291 [.pdf] [.ps] Typed Computational Email for Serverless Distributed Applications
Robert Fischer
Hong Jiang
Michael Fischer
May 2004

YALEU/DCS/TR1292 Multiresolution Analysis Associated to Diffusion Semigroups: Construction and Fast Algorithms
Ronald Coifman
Mauro Maggioni
June 2004

YALEU/DCS/TR1293 Logosphere/Idealized PVS
Carsten Schuermann
June 2004

YALEU/DCS/TR1294 forthcoming
Zhaozhong Ni
June 2004

YALEU/DCS/TR1295 [.pdf] [.ps] Innoculation Strategies for Victims of Viruses and the Sum of-Squares Partition Problem
James Aspnes
Kevin Chang
Aleksandr Yampolskiy
July 2004

YALEU/DCS/TR1296 [.pdf] [.ps] Robustness of Class-Based Path-Vector Systems
Aaron D. Jaggard
Vijay Ramachandran
July 2004

YALEU/DCS/TR1297 [.pdf] Privacy-Preserving Location-based Services for Mobile Users in Wireless Networks
Sheng Zhong
Li (Erran) Li
Yanbin Grace Liu
Richard Yang
July 2004

YALEU/DCS/TR1298 Diffusion Maps and Geometric Harmonics
Ronald R. Coifman
Stephane Lafon
May 2004

YALEU/DCS/TR1299 [.pdf] Optimal ISP Subscription for Internet Multihoming: Algorithm Design and Implication Analysis
Hao Wang
Haiyong Xie
Lili Qiu
Avi Silberschatz
Richard Yang
July 2004

YALEU/DCS/TR1300 Ontology Translation by Ontology Merging and Automated Reasoning
Dejing Dou
July 2004

YALEU/DCS/TR1301 [.pdf] [.ps] Relating Two Formal Models of Path-Vector Routing
Aaron D. Jaggard
Vijay Ramachandran
July 2004

YALEU/DCS/TR1302 [.ps] Subject-Cost Policy Routing
Joan Feigenbaum
David Karger
Vahab Mirrokni
Rahul Sami
August 2004

YALEU/DCS/TR1303 Diffusion Wavelets
Ronald Coifman
Mauro Maggioni
September 2004

YALEU/DCS/TR1304 Diffusion Wavelets Pockets
Ronald Coifman
Mauro Maggioni
September 2004

YALEU/DCS/TR1305 [.ps] On Sparse Additive Spanners
Bela Bollobas
Don Coppersmith
Michael Elkin
September 2004

YALEU/DCS/TR1306 H Porter: Using Arrows to Compose Parallel Processes
Liwen Huang
Paul Hudak
John Peterson
September 2004

YALEU/DCS/TR1307 Fast Evaluation of Electro-Static Interactions in a two-Phase Dielectric Medium
Per-Gunnar Martinsson
September 2004

YALEU/DCS/TR1308 An O(Nbg2N) algorithm for the inversion of general toeplitz matrices
P.G. Martinsson
V. Rokhlin
M. Tygert
December 2004

YALEU/DCS/TR1309 [.pdf] [.ps] Fast Algorithms for Spherical Harmonic Expansions
Vladimir Rokhlin
Mark Tygert
December 2004

YALEU/DCS/TR1310 forthcoming
Zhaozhong Ni
December 2004

YALEU/DCS/TR1311 [.pdf] Algorithms from Signal and Data Processing Applied to Hyperspectral Analysis: Discriminating Normal and Malignant Microarray Colon Tissue Sections Using a Novel Digital Mirror Device System
M. Maggioni
G. Davis
F. Warner
F. Geshwind
A. Coppi
R. Deversi
R. Coifman
December 2004

YALEU/DCS/TR1312 forthcoming
Carsten Schuermann
December 2004

YALEU/DCS/TR1313 [.pdf] [.ps] Diagonal Representation of Certain Matrices
Mark Tygert
December 2004