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

Physical Sciences and Mathematics Commons^™

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

City University of New York (CUNY)

PDF

Computer Science Technical Reports

2005

Articles 1 - 13 of 13

Full-Text Articles in Physical Sciences and Mathematics

Tr-2005002: The Basic Intuitionistic Logic Of Proofs, Sergei Artemov, Rosalie Iemhoff Jan 2005

Tr-2005003: Making Knowledge Explicit: How Hard It Is, Vladimir Brezhnev, Roman Kuznets Jan 2005

Tr-2005004: Basic Systems Of Epistemic Logic With Justification, Sergei Artemov, Elena Nogina Jan 2005

Tr-2005005: Geometric Interpretation And Spherical Property Of The 2-D Poisson Kernel, Sergei Artamoshin Jan 2005

Tr-2005009: Additive Preconditioning In Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt Jan 2005

Tr-2005012: Propositional Games With Explicit Strategies, Bryan Renne Jan 2005

Tr-2005010: Multi-Hop Probing Asymptotics In Available Bandwidth Estimation: Stochastic Analysis, Xiliang Liu, Kaliappa Ravindran, Dmitri Loguinov Jan 2005

Tr-2005013: Typing In Reflective Combinatory Logic, Nikolai Krupski Jan 2005

Tr-2005001: Automatic Target Detection In E3d Images Using Mathematical Morphology Techniques, Ilknur Icke, Jose Hanchi, Robert M. Haralick Jan 2005

Tr-2005006: Integration Of Laser Vibrometry With Infrared Video For Multimedia Surveillance Display, Zhigang Zhu, Weihong Li Jan 2005

Tr-2005007: Null Spaces, Eigensystems, And Small-Rank Modifications, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt Jan 2005

Tr-2005008: Toeplitz And Hankel Meet Hensel And Newton Modulo A Power Of Two, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt, Xinmao Wang Jan 2005

Tr-2005011: Logic Of Proofs For Bounded Arithmetic, Evan Goris Jan 2005