The Computer Science Technical Reports series is the new home of documents previously held on the Computer Science program's technical reports server (tr.cs.gc.cuny.edu). The reports have the same numbering scheme here as they did there (e.g., the report numbered TR-2014001 there is also numbered TR-2014001 here).

Follow


Reports from 2015

PDF

TR-2015001: A Survey and Critique of Facial Expression Synthesis in Sign Language Animation, Hernisa Kacorri

Reports from 2014

PDF

TR-2014001: Computer-Aided Reasoning about Knowledge and Justifications, Natalia Novak

PDF

TR-2014002: Proof Complexity and Quantitative Epistemology, Natalia Novak

PDF

TR-2014003: On the Complexity of Two-Agent Justification Logic, Antonis Achilleos

PDF

TR-2014004: Justification Logics and Realization, Melvin Fitting

PDF

TR-2014005: Fast Approximation Algorithms for Computations with Cauchy Matrices and Extensions, Victor Y. Pan

PDF

TR-2014006: New Algorithms in the Frobenius Matrix Algebra for Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng

PDF

TR-2014007: Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations, Victor Y. Pan

PDF

TR-2014008: Supporting GENP and Low-Rank Approximation with Random Multipliers, Victor Y. Pan, Guoliang Qian, and Xiaodong Yan

PDF

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

PDF

TR-2014010: Intuitionistic Epistemic Logic, Sergei Artemov and Tudor Protopopescu

PDF

TR-2014011: Real Polynomial Root-Finding: New Advances, Victor Y. Pan

Reports from 2013

PDF

TR-2013001: Randomized Augmentation and Additive Preprocessing, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2013003: Polynomial Evaluation and Interpolation: Fast and Stable Approximate Solution, Victor Y. Pan

PDF

TR-2013004: Transformations of Matrix Structures Work Again, Victor Y. Pan

PDF

TR-2013005: Realization Implemented, Melvin Fitting

PDF

TR-2013006: Polynomial Evaluation and Interpolation and Transformations of Matrix Structures, Victor Y. Pan

PDF

TR-2013007: On Definitive Solutions of Strategic Games, Sergei Artemov

PDF

TR-2013008: Information Transmission in Communication Games Signaling with an Audience, Farishta Satari

PDF

TR-2013009: Algebraic Algorithms, Ioannis Z. Emiris, Victor Y. Pan, and Elias P. Tsigaridas

PDF

TR-2013010: Transformations of Matrix Structures Work Again II, Victor Y. Pan

PDF

TR-2013011: Fast Approximation Algorithms for Cauchy Matrices, Polynomials and Rational Functions, Victor Y. Pan

PDF

TR-2013012: New Structured Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng

PDF

TR-2013013: New Structured Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng

PDF

TR-2013014: New Structured Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng

PDF

TR-2013015: Estimating the Norms of Random Circulant and Toeplitz Matrices and Their Inverses, Victor Y. Pan and Guoliang Qian

PDF

TR-2013016: Supporting GENP with Random Multipliers, Victor Y. Pan, Guoliang Qian, and Xiaodong Yan

Reports from 2012

PDF

TR-2012001: Algebraic Algorithms, Ioannis Z. Emiris, Victor Y. Pan, and Elias P. Tsigaridas

PDF

TR-2012002: Randomized Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2012003: Root-Finding and Root-Refining for a Polynomial Equation, Victor Y. Pan

PDF

TR-2012004: Solving Linear Systems of Equations with Randomization, Augmentation and Aggregation, Victor Y. Pan and Guoliang Qian

PDF

TR-2012005: Randomized Matrix Computations, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2012006: Randomized Matrix Computations II, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2012007: Solving Linear Systems of Equations with Randomization, Augmentation and Aggregation II, Victor Y. Pan and Guoliang Qian

PDF

TR-2012008: Randomized Matrix Computations III, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2012009: Randomized Matrix Computations IV, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2012010: Explicit Generic Common Knowledge, Evangelia Antonakos

PDF

TR-2012011: Binding Modalities, Sergei N. Artemov and Tatiana Yavorskaya (Sidon)

PDF

TR-2012012: Condition Estimation by Means of Power Method, Victor Y. Pan

PDF

TR-2012013: Condition Numbers of Random Toeplitz and Circulant Matrices, Victor Y. Pan and Guoliang Qian

PDF

TR-2012014: More on the Power of Randomized Matrix Multiplication, Victor Y. Pan and Guoliang Qian

PDF

TR-2012015: Randomized Matrix Methods for Real and Complex Polynomial Root-Finding, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2012016: More on the Power of Randomized Matrix Multiplication I, Victor Y. Pan and Guoliang Qian

Reports from 2011

PDF

TR-2011002: Symbolic Lifting for Structured Linear Systems of Equations: Numerical Initialization, Nearly Optimal Boolean Cost, Variations, and Extensions, Victor Y. Pan

PDF

TR-2011003: Partial Fraction Decomposition, Sylvester Matrices, Convolution and Newton's Iteration, Victor Y. Pan

PDF

TR-2011004: Acceleration of Newton's Polynomial Factorization: Army of Constraints, Convolution, Sylvester Matrices, and Partial Fraction Decomposition, Victor Y. Pan

PDF

TR-2011005: First-Order Logic of Proofs, Sergei N. Artemov and Tatiana Yavorskaya (Sidon)

PDF

TR-2011007: Randomized and Derandomized Matrix Computations, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2011008: The Ontology of Justifications in the Logical Setting, Sergei N. Artemov

PDF

TR-2011009: Solving Linear Systems of Equations with Randomized Augmentation and Aggregation, Victor Y. Pan and Guoliang Qian

PDF

TR-2011010: Possible World Semantics for First Order LP, Melvin Fitting

PDF

TR-2011011: Randomized and Derandomized Matrix Computations II, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

Reports from 2010

PDF

TR-2010002: Reasoning About Games, Melvin Fitting

PDF

TR-2010003: The Impossibility of Definitive Solutions for Some Games, Sergei Artemov

PDF

TR-2010004: Tracking Evidence, Sergei Artemov

PDF

TR-2010005: Securing BGP through Existing Infrastructure and Contractual Chains (CCBGP), Yuri Cantor, Nancy Griffeth, Bilal Khan, and Ping Ji

PDF

TR-2010006: Graph-Based Clustering and Its Application in Coreference Resolution, Zheng Chen

PDF

TR-2010007: Robust Knowledge of Rationality, Sergei Artemov

PDF

TR-2010008: Knowability from a Logical Point of View, Sergei Artemov and Tudor Protopopescu

PDF

TR-2010009: Solving Linear Systems with Randomized Augmentation II, Victor Y. Pan and Guoliang Qian

PDF

TR-2010010: Robust Knowledge and Rationality, Sergei Artemov

PDF

TR-2010011: Randomized Preprocessing versus Pivoting II, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2010012: Randomized Preconditioning of Linear Systems of Equations, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2010013: Matrix Computations and Polynomial Root-Finding with Preprocessing, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, and Zhao Chen

PDF

TR-2010014: A Complexity Question in Justification Logic, Antonis Achilleos

PDF

TR-2010015: New Progress in Real and Complex Polynomial Root-Finding, Victor Y. Pan and Ai-Long Zheng

Reports from 2009

PDF

TR-2009001: BISC: A Binary Itemset Support Counting Approach towards Efficient Frequent Itemset Mining, Jinlin Chen and Keli Xiao

PDF

TR-2009002: Cartesian Closed Categories for the Logic of Proofs, Florian Lengyel

PDF

TR-2009003: On Proof Realization on Modal Logic, Ren-June Wang

PDF

TR-2009004: An Investigation Report on Auction Mechanism Design, Jinzhong Niu and Simon Parsons

PDF

TR-2009005: Visual Analytics: A Multi-Faceted Overview, Ilknur Icke and Elizabeth Sklar

PDF

TR-2009006: Intelligent Players, Sergei Artemov

PDF

TR-2009007: History Tree Descriptors of Grayscale Images, Gabor T. Herman, T. Yung Kong, and Lucas M. Oliveira

PDF

TR-2009008: Randomized Preprocessing of Homogeneous Linear Systems of Equations, Victor Y. Pan and Guoliang Qian

PDF

TR-2009009: Solving Linear Systems with Randomized Augmentation, Victor Y. Pan and Guoliang Qian

PDF

TR-2009010: Randomized Preconditioning versus Pivoting, Victor Y. Pan, Guoliang Qian, and Ai-Long Zheng

PDF

TR-2009011: Knowledge-Based Rational Decisions, Sergei Artemov

PDF

TR-2009012: Rational Decisions in Non-Probabilistic Settings, Sergei Artemov

PDF

TR-2009013: Generalized Gillespie Stochastic Simulation Algorithm and Chemical Master Equation Using Timing Machinery, Ellis D. Cooper and Florian Lengyel

PDF

TR-2009014: Randomized Preprocessing of Homogeneous Linear Systems, Victor Y. Pan and Guoliang Qian

PDF

TR-2009015: Knowledge-Based Rational Decisions and Nash Paths, Sergei Artemov

PDF

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

Reports from 2008

PDF

TR-2008001: Public and Private Communication Are Different: Results on Relative Expressivity, Bryan Renne

PDF

TR-2008002: On Image Reconstruction from a Small Number of Projections, G. T. Herman and R. Davidi

PDF

TR-2008003: Unified Nearly Optimal Algorithms for Structured Integer Matrices and Polynomials, Victor Y. Pan, Brian Murphy, and Rhys E. Rosholt

PDF

TR-2008004: Additive Preconditioning for Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, and Xiaodong Yan

PDF

TR-2008005: Weakly Random Additive Preconditioning for Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, and Xiaodong Yan

PDF

TR-2008006: Additive Preconditioning, Eigenspaces, and the Inverse Iteration, Victor Y. Pan and Xiaodong Yan

PDF

TR-2008007: Degeneration of Structured Integer Matrices Modulo an Integer, Victor Y. Pan and Xinmao Wang

PDF

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

PDF

TR-2008009: Solving Homogeneous Linear Systems with Weakly Randomized Additive Preprocessing, Victor Y. Pan and Guoliang Qian

PDF

TR-2008010: The Logic of Justification, Sergei Artemov

PDF

TR-2008011: Contrast Transfer Function Correction in Electron Microscopy, Joanna Klukowska

PDF

TR-2008012: Product-Free Lambek Calculus is NP-Complete, Yury Savateev

PDF

TR-2008013: Content-Based 3D Mosaics for Large-Scale Dynamic Urban Scenes, Hao Tang and Zhigang Zhu

PDF

TR-2008014: Why Do We Need Justification Logic?, Sergei Artemov

PDF

TR-2008015: An Efficient Heuristic for the Tree Alignment Problem, Andrés Varón, Ward Wheeler, and Amotz Bar-Noy

PDF

TR-2008016: An Analysis of Entries in the First TAC Market Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, and Peter McBurney

Reports from 2007

PDF

TR-2007001: On Developing User Interfaces for Children in Educational Virtual Reality Environments, Lori Scarlatos and Rebecca Friedman

PDF

TR-2007002: Additive Preconditioning and Aggregation in Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Dmitriy Ivolgin, Yuqing Tang, and Xiaodong Yan