Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

PDF

City University of New York (CUNY)

Computer Science Technical Reports

Series

2008

Articles 1 - 16 of 16

Full-Text Articles in Physical Sciences and Mathematics

Tr-2008001: Public And Private Communication Are Different: Results On Relative Expressivity, Bryan Renne Jan 2008

Tr-2008001: Public And Private Communication Are Different: Results On Relative Expressivity, Bryan Renne

Computer Science Technical Reports

No abstract provided.


Tr-2008004: Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan Jan 2008

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

Computer Science Technical Reports

No abstract provided.


Tr-2008006: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan Jan 2008

Tr-2008006: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.


Tr-2008012: Product-Free Lambek Calculus Is Np-Complete, Yury Savateev Jan 2008

Tr-2008012: Product-Free Lambek Calculus Is Np-Complete, Yury Savateev

Computer Science Technical Reports

No abstract provided.


Tr-2008010: The Logic Of Justification, Sergei Artemov Jan 2008

Tr-2008010: The Logic Of Justification, Sergei Artemov

Computer Science Technical Reports

No abstract provided.


Tr-2008011: Contrast Transfer Function Correction In Electron Microscopy, Joanna Klukowska Jan 2008

Tr-2008011: Contrast Transfer Function Correction In Electron Microscopy, Joanna Klukowska

Computer Science Technical Reports

No abstract provided.


Tr-2008013: Content-Based 3d Mosaics For Large-Scale Dynamic Urban Scenes, Hao Tang, Zhigang Zhu Jan 2008

Tr-2008013: Content-Based 3d Mosaics For Large-Scale Dynamic Urban Scenes, Hao Tang, Zhigang Zhu

Computer Science Technical Reports

No abstract provided.


Tr-2008014: Why Do We Need Justification Logic?, Sergei Artemov Jan 2008

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

Computer Science Technical Reports

No abstract provided.


Tr-2008015: An Efficient Heuristic For The Tree Alignment Problem, Andrés Varón, Ward Wheeler, Amotz Bar-Noy Jan 2008

Tr-2008015: An Efficient Heuristic For The Tree Alignment Problem, Andrés Varón, Ward Wheeler, Amotz Bar-Noy

Computer Science Technical Reports

No abstract provided.


Tr-2008002: On Image Reconstruction From A Small Number Of Projections, G. T. Herman, R. Davidi Jan 2008

Tr-2008002: On Image Reconstruction From A Small Number Of Projections, G. T. Herman, R. Davidi

Computer Science Technical Reports

No abstract provided.


Tr-2008003: Unified Nearly Optimal Algorithms For Structured Integer Matrices And Polynomials, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt Jan 2008

Tr-2008003: Unified Nearly Optimal Algorithms For Structured Integer Matrices And Polynomials, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt

Computer Science Technical Reports

No abstract provided.


Tr-2008005: Weakly Random Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan Jan 2008

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

Computer Science Technical Reports

No abstract provided.


Tr-2008007: Degeneration Of Structured Integer Matrices Modulo An Integer, Victor Y. Pan, Xinmao Wang Jan 2008

Tr-2008007: Degeneration Of Structured Integer Matrices Modulo An Integer, Victor Y. Pan, Xinmao Wang

Computer Science Technical Reports

No abstract provided.


Tr-2008008: Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, D. Grady, B. Murphy, G. Qian, R. E. Rosholt, A. D. Ruslanov Jan 2008

Tr-2008008: Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, D. Grady, B. Murphy, G. Qian, R. E. Rosholt, A. D. Ruslanov

Computer Science Technical Reports

No abstract provided.


Tr-2008009: Solving Homogeneous Linear Systems With Weakly Randomized Additive Preprocessing, Victor Y. Pan, Guoliang Qian Jan 2008

Tr-2008009: Solving Homogeneous Linear Systems With Weakly Randomized Additive Preprocessing, Victor Y. Pan, Guoliang Qian

Computer Science Technical Reports

No abstract provided.


Tr-2008016: An Analysis Of Entries In The First Tac Market Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, Peter Mcburney Jan 2008

Tr-2008016: An Analysis Of Entries In The First Tac Market Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, Peter Mcburney

Computer Science Technical Reports

No abstract provided.