1999 Technical Reports

YALEU/DCS/TR1174 Visual Learning for Collision Avoidance in a Simulated Environment
C. Rasmussan
January 1999

YALEU/DCS/TR1175 Handling Exceptions in Haskell
Reid
January 1999

YALEU/DCS/TR1176 [.pdf] Quadruple and Octuple Layer Potentials in Two Dimensions: Analytical Apparatus
P. Kolm
V. Rokhlin
March 1999

YALEU/DCS/TR1177 A Quantum State Model of Consciousness
Willard Miranker
April 1999

YALEU/DCS/TR1178 [.pdf] The Pseudopolar TFT and its Application
A. Averbuch
R. Coifman
D. Donoho
M. Israeli
J. Walden

YALEU/DCS/TR1179 On the Evolution of the Skeleton
Jonas August
Allen Tannenbaum
Steven Zucker

YALEU/DCS/TR1180 Representing Java Classes in a Typed Intermediate Language
Christopher League
Zhong Shao
Valery Trivonov
May 1999

YALEU/DCS/TR1181 Transparent Modules with Fully Syntactic Signatures
Zhong Shao
May 1999

YALEU/DCS/TR1182 Scaling Proof-Carrying Code to Production Compilers and Security Policies
Andrew W. Appel
Edward Felton
Zhong Shao
May 1999

YALEU/DCS/TR1183 Contour Fragment Grouping and Shared, Simple Occluders
Jonas August
Kaleem Siddiqi
Steven Zucker
May 1999

YALEU/DCS/TR1184 Solving the Compressible Euler and Navier-Stokes Equations with the Filter Bauk Method
Johan Walden
July 1999

YALEU/DCS/TR1185 [.pdf] Coulomb Interaction on Planar Structures: Inverting the Square Root of the Laplacian
Zydrunas Bimbutas
Leslie Greengard
Michale Minion
July 1999

YALEU/DCS/TR1186 On the Method of Images for Systems of Closely Spaced Conducting Spheres
Hongwei Cheng
September 1999

YALEU/DCS/TR1187 [.pdf] Progressive Wavelet Package Image Cooling Using Compatible Zerotree Quantization
N. Rajpoot
F. Meyer
R. Coifman
R. Wilson
September 1999

YALEU/DCS/TR1188 [.pdf] The Robot, the Grid, and the Algorithm
Chinda Wongngamnit
Dana Angluin
December 1999

YALEU/DCS/TR1189 Cross-Functor Inlining in FLINT
Stefan Monnier
Matthias Blume
Zhong Shao

YALEU/DCS/TR1190 [.pdf] Numerical Quadratures for Singular and Hypersingular Integrals
V. Rokhlin
P. Kolm
December 1999

YALEU/DCS/TR1191 [.pdf] The Zip Calculus
Mark Tullsen

YALEU/DCS/TR1192 Image Texture Flaw: Representation Local Modeling and Implications
Ohad Ben-Shahar
Steven Zucker

YALEU/DCS/TR1193 Inlining as Staged Computation
Stefan Monnier
Zhong Shao

YALEU/DCS/TR1194 Reflexive Intensional Type Analysis
Bratin Saha
Valery Trivonov
Zhong Shao

YALEU/DCS/TR1195 Platform-independent Framework for Verifying Integer Constraints
David Teller
Zhong Shao

YALEU/DCS/TR1196 [.pdf] A Procedure for the Design of Apparata for the Measurement and Generation of Band-Limited Signals
V. Rokhlin
March 2000

YALEU/DCS/TR1197 Fully Reflexive Intensional Type Analysis in a Type Erasure Framework
Bratin Saha
Valery Trifonov
Zhong Shao

YALEU/DCS/TR1198 [.pdf] Well-Conditioned Boundary Integral Equations Contopanagos for Three Dimensional Electromagnetic Embart Scattering
Harry Benjamin
Michael Epton
John J. Ottusch
Vladimir Rokhlin
John Visher
Stephen Wandzura