2009 Technical Reports

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

YALEU/DCS/TR1414 [.pdf] Dynamics of Mental Activity
Willard L.Miranker
Gregg J. Zuckerman
January 2009

YALEU/DCS/TR1415 [.pdf] Psychic Waves
Willard L. Miranker

YALEU/DCS/TR1416 [.pdf] Neural Networks
Willard L. Miranker

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

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

YALEU/DCS/TR1419 [.pdf] A Renormalization Group Theory for the Mind
Willard Miranker
October 2009

YALEU/DCS/TR1420 [.pdf] Universal quadratures for boundary integral equations on two-dimensional domains with corners
J. Bremer
V. Rokhlin
I. Sammis
November 2009

YALEU/DCS/TR1421 [.pdf] Lower Bounds on Learning Random Structures with Statistical Queries
Dana Angluin
David Eisenstat
Leonid (Aryeh) Kontorovich
Lev Reyzin
December 2009

YALEU/DCS/TR1422 Parametrized Memory Model and Concurrency Separation Logic
Rodrigo Ferreira
Xinyu Feng
Zhong Shao
December 2009