Publications - Department Technical Reports

The links below are to technical/research reports for each year listed. They are listed by tr number in chronological order. The number of reports for each month/year varies. Reports with electronic versions have a link to the paper in .tex, .pdf and/or .ps format listed next to the report number in brackets. If there is a paper you are interested in that does not have an electronic version, please send email to request a hard copy of it, if available. Be sure to list the tr number, title and author(s). Some reports are no longer available from the Department.

The following are some of the department's more recent technical reports, starting with tr number 1391, the first report of 2008. Reports with electronic versions have a link to the paper in .pdf and/or .ps format listed next to the report number in brackets.


YALE/DCS/TR1391 [.pdf] The Sentinal Algorithm: Distributed Dynamic Coverage
John Corwin
Ana Cerejo
Diego Montenegro
January 2008

YALE/DCS/TR1392 Entrywise Bounds for Eigenvectors of Random Graphs
Pradipta Mitra
January 2008

YALE/DCS/TR1393 [.pdf] Memes and their Themata
Willard L. Miranker
February 2008

YALE/DCS/TR1394 forthcoming

YALE/DCS/TR1395 [.pdf] On the Inverse Scattering Problem in the Acoustic Environment
R. Duan
V. Rokhlin
March 2008

YALE/DCS/TR1396 Certifying Low-Level Programs With Hardware Interrupts and Preemptive Threads
Xinyu Feng
Zhong Shao
Yuan Dong
Yu Guo
March 2008

YALE/DCS/TR1397 An Open Framework for Certified System Software
Xinyu Feng
December 2007

YALE/DCS/TR1398 Local Reasoning and Information Hiding in SCAP
Xinyu Feng
Zhong Shao
February 2008

YALE/DCS/TR1399 [.pdf] [.ps] An Algorithm for the Rapid Evaluation of Special Function Transforms
Michael O'Neil
Franco Woolfe
Vladimir Rokhlin
April 2008

YALE/DCS/TR1400
Richard Yang

YALE/DCS/TR1401 [.pdf] High-Order Quadratures for the Solution of Scattering Problem in Two Dimensions
Ran Duan
Vladimir Rokhlin
April 2008

YALE/DCS/TR1402 [.pdf] [.ps] The Mailman Algorithm: a Note on Matrix Vector Multiplication
Edo Liberty
Steven Zucker
April 2008

YALE/DCS/TR1403 [.pdf] [.ps] A Fast Randomized Algorithm for Overdetermined Linear Least-Squares Regression
Vladimir Rokhlin
Mark Tygert
April 2008

YALE/DCS/TR1404 [.pdf] Neural Network Applications
Willard Miranker
April 2008

YALE/DCS/TR1405 Look Ma, No Arrows -- A Functional Reactive Real-Time Sound Synthesis Framework
Paul Hudak
July 2008

YALE/DCS/TR1406 [.pdf] A Nonlinear Optimization Procedure for Generalized Gaussian Quadratures
James Bremer
Zydrunas Gimbutas
Vladimir Rokhlin
June 2008

YALE/DCS/TR1407 [.pdf] [.ps] Learning Meaning Before Syntax
Dana Angluin
Leonor Becerra-Bonache
July 2008

YALE/DCS/TR1408 Yampa Meets the Worm
Paul Hudak
Paul Liu
Michael Stern
Ashish Agarwal
July 2008

YALE/DCS/TR1409 [.pdf] Querying RDF Data Stored in DBMS: SPARQL to SQL Conversion
Kamil Bajda-Pawlikowski
August 2008

YALE/DCS/TR1410 Descent Minimization on A Quantum Computer
Willard L. Miranker
July 2008

YALE/DCS/TR1411 Memes and their Themata
Willard L. Miranker
October 2008

YALE/DCS/TR1412 [.pdf] Correlation Clustering Revisited: The "True" Cost of Error Minimization Problems
Nir Ailon
Edo Liberty

YALE/DCS/TR1413 Causal Commutative Arrows (supported by NSF grant CSR-EHS/CPS 0720682)
Paul Liu
Paul Hudak
February 2009

YALE/DCS/TR1414 Dynamics of Mental Activity
Willard L.Miranker
Gregg J. Zuckerman

YALE/DCS/TR1415 Psychic Waves
Willard L. Miranker

YALE/DCS/TR1416 Neural Networks
Willard L. Miranker

YALE/DCS/TR1417 [.pdf] A Psychophysical Study of Dominant Texture Detection
Jianye Lu
Alexandra Garr-Schultz
Julie Dorsey
Holly Rushmeier
June 2009

YALE/DCS/TR1418 [.pdf] An adaptive fast direct solver for boundary integral equations in two dimensions
W.Y. Kong
J. Bremer
V. Rokhlin
August 2009