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 2007
TR-2007003: Additive Preconditioning for Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, and Xiaodong Yan
TR-2007004: Additive Preconditioning, Eigenspaces, and the Inverse Iteration, Victor Y. Pan and Xiaodong Yan
TR-2007005: Interpreting Knowledge into Belief in the Presence of Negative Introspection, Evan Goris
TR-2007006: Realizing Substitution Instances of Modal Theorems, Melvin Fitting
TR-2007007: Independent Component Analysis: An Introduction, Rave Harpaz
TR-2007008: The Satisfiability Problem—From the Theory of NP-Completeness to State-of-the-Art SAT Solvers, Rave Harpaz
TR-2007009: Computations in the Null Spaces with Additive Preprocessing, Victor Y. Pan
TR-2007010: Error-Free Computations via Floating-Point Operations, V. Y. Pan, B. Murphy, G. Qian, and R. E. Rosholt
TR-2007011: Numerical Computation of Determinants with Additive Preconditioning, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt, and I. Taj-Eddin
TR-2007012: The Relative Expressivity of Public and Private Communication in BMS Logic, Bryan Renne
TR-2007013: Error-free Computations via Floating-Point Operations: The Code, V. Y. Pan, B. Murphy, G. Qian, and R. E. Rosholt
TR-2007014: The Schur Aggregation and Extended Iterative Refinement, V. Y. Pan, B. Murphy, and R. E. Rosholt
TR-2007015: Justification Logics and Conservative Extensions, Melvin Fitting
TR-2007016: Symmetric Logic of Proofs, Sergei Artemov
TR-2007017: Linear Logic with Explicit Resources, Hirohiko Kushida
TR-2007018: Peak Shaving through Resource Buffering, Amotz Bar-Noy, Matthew P. Johnson, and Ou Liu
TR-2007019: Justification Logic, Sergei Artemov
TR-2007020: S4LP and Local Realizability, Melvin Fitting
TR-2007021: Row-Column Pivoting in Gaussian Elimination, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, and Severin Ngnosse
TR-2007022: The Schur Aggregation for Linear Systems and Determinants, V. Y. Pan, B. Murphy, G. Qian, and R. E. Rosholt
TR-2007023: The Schur Aggregation for Linear Systems and Determinants, V. Y. Pan, B. Murphy, G. Qian, and R. E. Rosholt
TR-2007024: A Register-free Abstract Prolog Machine with Jumbo Instructions, Neng-Fa Zhou
TR-2007025: Public Communication in Justification Logic, Bryan Renne
Submissions from 2006
TR-2006001: The EM Algorithm As a Lower Bound Optimization Technique, Rave Harpaz and Robert Haralick
TR-2006002: A Replacement Theorem for LP, Melvin Fitting
TR-2006003: Explicit Proofs in Formal Provability Logic, Evan Goris
TR-2006004: Justified Knowledge Is Sufficient, Evangelia Antonakos
TR-2006005: Logical Omniscience via Proof Complexity, Sergei Artemov and Roman Kuznets
TR-2006006: Additive Preconditioning and Aggregation in Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Islam Taj-Eddin, Yuqing Tang, and Xiaodong Yan
TR-2006007: Root-Finding with Eigen-Solving, Victor Y. Pan, Brian Murphy, and Rhys Eric Rosholt
TR-2006008: Every P-Recursion Category Has an Index Composer, Florian Lengyel
TR-2006011: Locally Connected Recursion Categories, Florian Lengyel
TR-2006012: Every P-Recursion Category Has an Index Composer, Florian Lengyel
TR-2006013: The Dom Event and Its Use in Implementing Constraint Propagators, Neng-Fa Zhou, Mark Wallace, and Peter J. Stuckey
TR-2006014: Geometric Considerations for Distribution of Sensors in Ad-hoc Sensor Networks, Ted Brown, Deniz Sarioz, Amotz Bar-Noy, Tom LaPorta, Dinesh Verma, Matthew Johnson, and Hosam Rowaihy
Submissions from 2005
TR-2005001: Automatic Target Detection in E3D Images using Mathematical Morphology Techniques, Ilknur Icke, Jose Hanchi, and Robert M. Haralick
TR-2005002: The Basic Intuitionistic Logic of Proofs, Sergei Artemov and Rosalie Iemhoff
TR-2005003: Making Knowledge Explicit: How Hard It Is, Vladimir Brezhnev and Roman Kuznets
TR-2005004: Basic Systems of Epistemic Logic with Justification, Sergei Artemov and Elena Nogina
TR-2005005: Geometric Interpretation and Spherical Property of the 2-D Poisson Kernel, Sergei Artamoshin
TR-2005006: Integration of Laser Vibrometry with Infrared Video for Multimedia Surveillance Display, Zhigang Zhu and Weihong Li
TR-2005007: Null Spaces, Eigensystems, and Small-Rank Modifications, Victor Y. Pan, Brian Murphy, and Rhys Eric Rosholt
TR-2005008: Toeplitz and Hankel Meet Hensel and Newton Modulo a Power of Two, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt, and Xinmao Wang
TR-2005009: Additive Preconditioning in Matrix Computations, Victor Y. Pan, Brian Murphy, and Rhys Eric Rosholt
TR-2005010: Multi-Hop Probing Asymptotics in Available Bandwidth Estimation: Stochastic Analysis, Xiliang Liu, Kaliappa Ravindran, and Dmitri Loguinov
TR-2005011: Logic of Proofs for Bounded Arithmetic, Evan Goris
TR-2005012: Propositional Games with Explicit Strategies, Bryan Renne
TR-2005013: Typing in Reflective Combinatory Logic, Nikolai Krupski
Submissions from 2004
TR-2004001: Tableaux for the Logic of Proofs, Bryan Renne
TR-2004002: OOPN: An Object-Oriented Petri Nets and Its Integrated Development Environment, Jinzhong Niu, Jing Zou, and Aihua Ren
TR-2004003: Intuitionistic Logic with Classical Atoms, Hidenori Kurokawa
TR-2004004: Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant, Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski, and Aleksey Nogin
TR-2004005: A Parallel Monte Carlo Simulation of Five-Dimensional Hyperspheres Using a WebComputing Framework, P. A. Whitlock, Marvin Bishop, and Dino Klein
TR-2004006: A Coordinate Ascent Approach to Tomographic Reconstruction of Label Images from a Few Projections, Hstau Y. Liao and Gabor T. Harman
TR-2004007: Optimal Reversible Quantum Circuit for Multiplication, Anh Quoc Nguyen
TR-2004008: Simultaneous Fuzzy Segmentation of Multiple Objects, Bruno M. Carvalho, Gabor T. Herman, and T. Yung Kong
TR-2004009: A Reduction of the Matrix Eigenproblem to Polynomial Rootfinding via Similarity Transforms into Arrow-Head Matrices, Victor Y. Pan
TR-2004010: Optimal Reversible Quantum Circuit for Multiplication, Anh Quoc Nguyen
TR-2004011: Logic of Knowledge with Justifications from the Provability Perspective, Sergei Artemov and Elena Nogina
TR-2004012: Single-Hop Probing Asymptotics in Available Bandwidth Estimation: Sample-Path Analysis, Xiliang Liu, Kaliappa Ravindran, Benyuan Liu, and Dmitri Loguinov
TR-2004013: Toeplitz and Hankel Meet Hensel and Newton: Nearly Optimal Algorithms and Their Practical Acceleration with Saturated Initialization, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt, and Xinmao Wang
TR-2004014: A Homotopic/Factorization Process for Toeplitz-like Matrices with Newton's/Conjugate Gradient Stages, Victor Y. Pan
TR-2004015: Superfast Algorithms for Singular Toeplitz-like Matrices, Victor Y. Pan
TR-2004016: Semantics and Tableaus for LPS4, Melvin Fitting
TR-2004017: Towards a Formal Concept Analysis Approach to Exploring Communities on the World Wide Web, Jayson E. Rome and Robert M. Haralick
TR-2004018: Evidence-Based Common Knowledge, Sergei Artemov
TR-2004019: Quantified LP, Melvin Fitting
Submissions from 2003
TR-2003001: States of Knowledge and Group Action, Rohit Parikh
TR-2003002: A Knowledge Based Semantics of Messages, Rohit Parikh and R. Ramanujam
TR-2003003: Finite Information Logic, Rohit Parikh and Jouko Väänänen
TR-2003004: Superfast Algorithms for Singular Toeplitz/Hankel-like Matrices, Victor Y. Pan
TR-2003005: Lambek Calculus Is NP-Complete, Mati Pentus
TR-2003006: Rijndael for Algebraists: An Expanded Version of Lenstra's Manuscript, Hannes Moritz and Wei Zhu
TR-2003007: On the Complexity of the Reflected Logic of Proofs, Nikolai V. Krupski
TR-2003008: Learning and Applying Temporal Patterns through Experience, Esther Lock
TR-2003009: A Hierarchical Projection Pursuit Clustering Algorithm, Jayson E. Rome, Alexei D. Miasnikov, and Robert M. Haralick
TR-2003010: A Semantic Proof of the Realizability of Modal Logic in the Logic of Proofs, Melvin Fitting
TR-2003011: Data Modelling and Description: A Guide to Using the SYLModel Library, Jayson E. Rome, Alexei D. Miasnikov, and Robert M. Haralick
TR-2003012: A Semantics for the Logic of Proofs, Melvin Fitting
TR-2003013: QR-Like Algorithms for Generalized Semiseparable Matrices, Dario A. Bini, Luca Gemignani, and Victor Y. Pan
TR-2003014: A High-Performance Abstract Machine for Prolog and Its Extensions, Neng-Fa Zhou
TR-2003015: Two Counterexamples in the Logic of Dynamic Topological Systems, Sergey Slavnov
Submissions from 2002
TR-2002001: Can We Optimize Toeplitz/Hankel Computations?, V. Y. Pan
TR-2002002: Can We Optimize Toeplitz/Hankel Computations? II. Singular Toeplitz/Hankel-like Case, V. Y. Pan
TR-2002004: On the Effectiveness of Tangible Interfaces in Collaborative Learning Environments, Lori L. Scarlatos, Shalva S. Landy, Julia Breban, Robin Horowitz, and Chanie Sandberg
TR-2002005: Towards a Theory of Social Software, Rohit Parikh
TR-2002006: States of Knowledge, Rohit Parikh
TR-2002007: Ubiquitous Puzzle Pieces: 3D Tangible Interfaces for Collaborative Learning Environments, Lori L. Scarlatos, Shalva S. Landy, and Saira Qureshi
TR-2002008: Investigation of the Sensitivity of the Monte Carlo Solution for the Barker-Ferry Equation Using Different Sequential and Parallel Pseudo-Random Number Generators, T. V. Gurov and P. A. Whitlock
TR-2002009: A Formal Semantics for UML with Real-Time Constructs, Subash Shankar
TR-2002010: Programming Finite-Domain Constraint Propagators in Action Rules, Neng-Fa Zhou
TR-2002011: Corpus-Based Ambiguity Resolution of Biomedical Terms Using Knowledge Bases and Machine Learning, Hongfang Liu
TR-2002012: The Aggregation and Cancellation Techniques As a Practical Tool for Faster Matrix Multiplication, Igor Kaporin
TR-2002013: Toward a High-Performance System for Symbolic and Statistical Modeling, Neng-Fa Zhou and Taisuke Sato
TR-2002014: Iterative Inversion of Structured Matrices, Gianni Codevico, Victor Y. Pan, Marc Van Barel, and Xinmao Wang
TR-2002015: Residual Correction Algorithms for General and Structured Matrices, V. Y. Pan, M. Kunin, R. E. Rosholt, and H. Cebecioglu
TR-2002016: Optimization of Basis Functions for Both Reconstruction and Visualization, Edgar Garduño and Gabor T. Herman
TR-2002017: Nearly Optimal Toeplitz/Hankel Computations, Victor Y. Pan
TR-2002018: How Frequently Is a Matrix Nonsingular?, Xinmao Wang