Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.