The Computer Science Technical Reports collection has been ingested into the new Publications and Research collection; this page is no longer current. For the most complete and up-to-date collection of all scholarly and creative works submitted by CUNY Graduate Center faculty, students, and staff, go to Publications and Research.
Submissions from 2015
TR-2015001: A Survey and Critique of Facial Expression Synthesis in Sign Language Animation, Hernisa Kacorri
Submissions from 2014
TR-2014001: Computer-Aided Reasoning about Knowledge and Justifications, Natalia Novak
TR-2014002: Proof Complexity and Quantitative Epistemology, Natalia Novak
TR-2014003: On the Complexity of Two-Agent Justification Logic, Antonis Achilleos
TR-2014004: Justification Logics and Realization, Melvin Fitting
TR-2014005: Fast Approximation Algorithms for Computations with Cauchy Matrices and Extensions, Victor Y. Pan
TR-2014006: New Algorithms in the Frobenius Matrix Algebra for Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng
TR-2014007: Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations, Victor Y. Pan
TR-2014008: Supporting GENP and Low-Rank Approximation with Random Multipliers, Victor Y. Pan, Guoliang Qian, and Xiaodong Yan
TR-2014009: Estimating the Norms of Random Circulant and Toeplitz Matrices and Their Inverses II, Victor Y. Pan, Guoliang Qian, John Svadlenka, and Liang Zhao
TR-2014010: Intuitionistic Epistemic Logic, Sergei Artemov and Tudor Protopopescu
TR-2014011: Real Polynomial Root-Finding: New Advances, Victor Y. Pan
Submissions from 2013
TR-2013001: Randomized Augmentation and Additive Preprocessing, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2013003: Polynomial Evaluation and Interpolation: Fast and Stable Approximate Solution, Victor Y. Pan
TR-2013004: Transformations of Matrix Structures Work Again, Victor Y. Pan
TR-2013005: Realization Implemented, Melvin Fitting
TR-2013006: Polynomial Evaluation and Interpolation and Transformations of Matrix Structures, Victor Y. Pan
TR-2013007: On Definitive Solutions of Strategic Games, Sergei Artemov
TR-2013008: Information Transmission in Communication Games Signaling with an Audience, Farishta Satari
TR-2013009: Algebraic Algorithms, Ioannis Z. Emiris, Victor Y. Pan, and Elias P. Tsigaridas
TR-2013010: Transformations of Matrix Structures Work Again II, Victor Y. Pan
TR-2013011: Fast Approximation Algorithms for Cauchy Matrices, Polynomials and Rational Functions, Victor Y. Pan
TR-2013012: New Structured Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng
TR-2013013: New Structured Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng
TR-2013014: New Structured Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng
TR-2013015: Estimating the Norms of Random Circulant and Toeplitz Matrices and Their Inverses, Victor Y. Pan and Guoliang Qian
TR-2013016: Supporting GENP with Random Multipliers, Victor Y. Pan, Guoliang Qian, and Xiaodong Yan
Submissions from 2012
TR-2012001: Algebraic Algorithms, Ioannis Z. Emiris, Victor Y. Pan, and Elias P. Tsigaridas
TR-2012002: Randomized Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2012003: Root-Finding and Root-Refining for a Polynomial Equation, Victor Y. Pan
TR-2012004: Solving Linear Systems of Equations with Randomization, Augmentation and Aggregation, Victor Y. Pan and Guoliang Qian
TR-2012005: Randomized Matrix Computations, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2012006: Randomized Matrix Computations II, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2012007: Solving Linear Systems of Equations with Randomization, Augmentation and Aggregation II, Victor Y. Pan and Guoliang Qian
TR-2012008: Randomized Matrix Computations III, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2012009: Randomized Matrix Computations IV, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2012010: Explicit Generic Common Knowledge, Evangelia Antonakos
TR-2012011: Binding Modalities, Sergei N. Artemov and Tatiana Yavorskaya (Sidon)
TR-2012012: Condition Estimation by Means of Power Method, Victor Y. Pan
TR-2012013: Condition Numbers of Random Toeplitz and Circulant Matrices, Victor Y. Pan and Guoliang Qian
TR-2012014: More on the Power of Randomized Matrix Multiplication, Victor Y. Pan and Guoliang Qian
TR-2012015: Randomized Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2012016: More on the Power of Randomized Matrix Multiplication I, Victor Y. Pan and Guoliang Qian
Submissions from 2011
TR-2011003: Partial Fraction Decomposition, Sylvester Matrices, Convolution and Newton's Iteration, Victor Y. Pan
TR-2011005: First-Order Logic of Proofs, Sergei N. Artemov and Tatiana Yavorskaya (Sidon)
TR-2011007: Randomized and Derandomized Matrix Computations, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2011008: The Ontology of Justifications in the Logical Setting, Sergei N. Artemov
TR-2011009: Solving Linear Systems of Equations with Randomized Augmentation and Aggregation, Victor Y. Pan and Guoliang Qian
TR-2011010: Possible World Semantics for First Order LP, Melvin Fitting
TR-2011011: Randomized and Derandomized Matrix Computations II, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
Submissions from 2010
TR-2010002: Reasoning About Games, Melvin Fitting
TR-2010003: The Impossibility of Definitive Solutions for Some Games, Sergei Artemov
TR-2010004: Tracking Evidence, Sergei Artemov
TR-2010005: Securing BGP through Existing Infrastructure and Contractual Chains (CCBGP), Yuri Cantor, Nancy Griffeth, Bilal Khan, and Ping Ji
TR-2010006: Graph-Based Clustering and Its Application in Coreference Resolution, Zheng Chen
TR-2010007: Robust Knowledge of Rationality, Sergei Artemov
TR-2010008: Knowability from a Logical Point of View, Sergei Artemov and Tudor Protopopescu
TR-2010009: Solving Linear Systems with Randomized Augmentation II, Victor Y. Pan and Guoliang Qian
TR-2010010: Robust Knowledge and Rationality, Sergei Artemov
TR-2010011: Randomized Preprocessing versus Pivoting II, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2010012: Randomized Preconditioning of Linear Systems of Equations, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2010013: Matrix Computations and Polynomial Root-Finding with Preprocessing, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, and Zhao Chen
TR-2010014: A Complexity Question in Justification Logic, Antonis Achilleos
TR-2010015: New Progress in Real and Complex Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng
Submissions from 2009
TR-2009001: BISC: A Binary Itemset Support Counting Approach towards Efficient Frequent Itemset Mining, Jinlin Chen and Keli Xiao
TR-2009002: Cartesian Closed Categories for the Logic of Proofs, Florian Lengyel
TR-2009003: On Proof Realization on Modal Logic, Ren-June Wang
TR-2009004: An Investigation Report on Auction Mechanism Design, Jinzhong Niu and Simon Parsons
TR-2009005: Visual Analytics: A Multi-Faceted Overview, Ilknur Icke and Elizabeth Sklar
TR-2009006: Intelligent Players, Sergei Artemov
TR-2009007: History Tree Descriptors of Grayscale Images, Gabor T. Herman, T. Yung Kong, and Lucas M. Oliveira
TR-2009008: Randomized Preprocessing of Homogeneous Linear Systems of Equations, Victor Y. Pan and Guoliang Qian
TR-2009009: Solving Linear Systems with Randomized Augmentation, Victor Y. Pan and Guoliang Qian
TR-2009010: Randomized Preconditioning versus Pivoting, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng
TR-2009011: Knowledge-Based Rational Decisions, Sergei Artemov
TR-2009012: Rational Decisions in Non-Probabilistic Settings, Sergei Artemov
TR-2009013: Generalized Gillespie Stochastic Simulation Algorithm and Chemical Master Equation Using Timing Machinery, Ellis D. Cooper and Florian Lengyel
TR-2009014: Randomized Preprocessing of Homogeneous Linear Systems, Victor Y. Pan and Guoliang Qian
TR-2009015: Knowledge-Based Rational Decisions and Nash Paths, Sergei Artemov
TR-2009016: On the Effectiveness of Projection Methods for Convex Feasibility Problems with Linear Inequality Constraints, Yair Censor, Wei Chen, Patrick L. Combettes, Ran Davidi, and Gabor T. Herman
Submissions from 2008
TR-2008001: Public and Private Communication Are Different: Results on Relative Expressivity, Bryan Renne
TR-2008002: On Image Reconstruction from a Small Number of Projections, G. T. Herman and R. Davidi
TR-2008003: Unified Nearly Optimal Algorithms for Structured Integer Matrices and Polynomials, Victor Y. Pan, Brian Murphy, and Rhys E. Rosholt
TR-2008004: Additive Preconditioning for Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, and Xiaodong Yan
TR-2008005: Weakly Random Additive Preconditioning for Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, and Xiaodong Yan
TR-2008006: Additive Preconditioning, Eigenspaces, and the Inverse Iteration, Victor Y. Pan and Xiaodong Yan
TR-2008007: Degeneration of Structured Integer Matrices Modulo an Integer, Victor Y. Pan and Xinmao Wang
TR-2008008: Schur Aggregation for Linear Systems and Determinants, V. Y. Pan, D. Grady, B. Murphy, G. Qian, R. E. Rosholt, and A. D. Ruslanov
TR-2008009: Solving Homogeneous Linear Systems with Weakly Randomized Additive Preprocessing, Victor Y. Pan and Guoliang Qian
TR-2008010: The Logic of Justification, Sergei Artemov
TR-2008011: Contrast Transfer Function Correction in Electron Microscopy, Joanna Klukowska
TR-2008012: Product-Free Lambek Calculus is NP-Complete, Yury Savateev
TR-2008013: Content-Based 3D Mosaics for Large-Scale Dynamic Urban Scenes, Hao Tang and Zhigang Zhu
TR-2008014: Why Do We Need Justification Logic?, Sergei Artemov
TR-2008015: An Efficient Heuristic for the Tree Alignment Problem, Andrés Varón, Ward Wheeler, and Amotz Bar-Noy
TR-2008016: An Analysis of Entries in the First TAC Market Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, and Peter McBurney
Submissions from 2007
TR-2007001: On Developing User Interfaces for Children in Educational Virtual Reality Environments, Lori Scarlatos and Rebecca Friedman
TR-2007002: Additive Preconditioning and Aggregation in Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Dmitriy Ivolgin, Yuqing Tang, and Xiaodong Yan