YALEU/DCS/TR1346 Multilevel Compression of Linear Operators
Mark Tygert
March 2006
YALEU/DCS/TR1347 [.pdf] A Fast Direct Solver for Scattering Problems Involving Elongated Structures
Per Gunnar Martinsson
Vladimir Rokhlin
March 2006
YALEU/DCS/TR1348 Not Available
YALEU/DCS/TR1349 [.pdf] Lower Bounds on the VC Dimension of Unions of Concept Classes
Lev Reyzin
April 2006
YALEU/DCS/TR1350 not assigned
YALEU/DCS/TR1351 [.pdf] [.ps] Analogues for Bessel Functions of the Christoffel-Darboux Identity
Mark Tygert
March 2006
YALEU/DCS/TR1352 [.pdf] [.ps] A Randomized Algorithm for the Approximation of Linear Operators
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
April 2006
YALEU/DCS/TR1353 [.pdf] An Accelerated Kernel-Independent Fast Multipole Method in One Dimension
Per-Gunnar Martinsson
Vladimir Rokhlin
April 2006
YALEU/DCS/TR1354 [.pdf] Spectral Clustering by Recursive Partitioning
Anirban Dasgupta
John Hopcroft
Ravi Kannan
Pradipta Mitra
April 2006
YALEU/DCS/TR1355 [.pdf] A Temporal-Logic Approach to Programming with Dependent Types and Higher-Order Encodings
Adam Poswolsky
Carsten Schuermann
April 2006
YALEU/DCS/TR1356 [.pdf] Hydra: A Functional Hybrid Modeling Language
Hai Liu
May 2006
YALEU/DCS/TR1357 [.pdf] Neural Network Applications
Willard L. Miranker
April 2006
YALEU/DCS/TR1358 [.pdf] Fast Computation by Population Protocols With a Leader
Dana Angluin
James Aspnes
David Eisenstat
May 2006
YALEU/DCS/TR1359 Greedy Basis Pursuit
Patrick S. Huggins
Steven W. Zucker
June 2006
YALEU/DCS/TR1360 [.pdf] The VC Dimension of k-fold Union
David Eisenstat
Dana Angluin
June 2006
YALEU/DCS/TR1361 [.pdf] [.ps] A Randomized Algorithm for the Approximation of Matrices
Per Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
June 2006
YALEU/DCS/TR1362 On the Representation of Logical Relations
Carsten Schuermann
Jeffrey Sarnat
July 2006
YALEU/DCS/TR1363 [.pdf] Path-Independent Load Balancing With Unreliable Machines
James Aspnes
Richard Yang
Yitong Yin
July 2006
YALEU/DCS/TR1364 [.pdf] A Temporal-Logic Approach to Functional Calculi for Dependent Types and Higher-Order Encodings
Adam Poswolsky
July 2006
YALEU/DCS/TR1365 A General Framework for Adaptive Regularization Based on Diffusion Processes On Graphs
Arthur Szlam
Mauro Maggioni
Ronald R. Coifman
July 2006
YALEU/DCS/TR1366 Traffic Engineering in MPLS and VPN Networks
Zheng Ma
Hao Wang
Richard Yang
Arvind Krishnamurthy
Avi Silberschatz
July 2006
YALEU/DCS/TR1367 [.pdf] A Fast Algorithm for the Calculation of the Roots of Special Functions
Andreas Glaser
Xiangotao Liu
Vladimir Rokhlin
August 2006
YALEU/DCS/TR1368 [.pdf] A Model of Onion Routing With Provable Anonymity
Aaron Johnson
August 2006
YALEU/DCS/TR1369 [.pdf] Modeling Awareness in a Bacterial Colony
Vladimir Barash
Willard Miranker
September 2006
YALEU/DCS/TR1370 [.pdf] Self-Stabilizing Leader Election in Networks of Finite-State Anonymous Agents
Michael Fischer
Hong Jiang
October 2006
YALEU/DCS/TR1371 Using Quasi-Randomness to Model Partitioning Problems in Sparse Graphs and Matrices
Pradipta Mitra
November 2006
YALEU/DCS/TR1372 forthcoming
Yinghua Wu
James Aspnes
November 2006
YALEU/DCS/TR1373 An Open Framework for Foundational Proof-Carrying Code
Xinyu Feng
Zhaozhong Ni
Zhong Shao
Yu Guo
November 2006
YALEU/DCS/TR1374 [.pdf] On the Relationship Between Concurrent Separation Logic Assume-Guarantee Reasoning
Xinyu Feng
Rodrigo Ferreira
Zhong Shao
YALEU/DCS/TR1375 Extended Report on Delphin: A Functional Programming Language with Higher-Order Encodings and Dependent Types
Adam Poswolsky
YALEU/DCS/TR1376 [.pdf] Neural Network Theory and Applications
Willliard L. Miranker
December 2006