CUNY Ph.D. Program in Computer Science
Technical Reports

• Why Do We Need Justification Logic?

by Sergei Artemov

• Content-Based 3D Mosaics for Large-Scale Dynamic Urban Scenes

by Hao Tang and Zhigang Zhu

• Product-free Lambek Calculus is NP-complete

by Yury Savateev

• Contrast Transfer Function Correction in Electron Microscopy

by Joanna Klukowska

• The Logic of Justification

by Sergei Artemov

• Solving Homogeneous Linear Systems with Weakly Randomized Additive Preprocessing

by Victor Y. Pan and Guoliang Qian

• Schur Aggregation for Linear Systems and Determinants

by V. Y. Pan, D. Grady, B. Murphy, G. Qian, R. E. Rosholt, A. D. Ruslanov

• Degeneration of Structured Integer Matrices

by Victor Y. Pan and Xinmao Wang

• Random Additive Preconditioning, Eigenspaces, and the Inverse Iteration

by Victor Y. Pan and Xiaodong Yan

• Weakly Random Additive Preconditioning for Matrix Computations

by Victor Y. Pan, D. Ivolgin, B. Murphy, R. E. Rosholt, Y. Tang, X. Yan