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

2010

Articles 1 - 14 of 14

Full-Text Articles in Physical Sciences and Mathematics

Tr-2010005: Securing Bgp Through Existing Infrastructure And Contractual Chains (Ccbgp), Yuri Cantor, Nancy Griffeth, Bilal Khan, Ping Ji Jan 2010

Tr-2010005: Securing Bgp Through Existing Infrastructure And Contractual Chains (Ccbgp), Yuri Cantor, Nancy Griffeth, Bilal Khan, Ping Ji

Computer Science Technical Reports

No abstract provided.


Tr-2010008: Knowability From A Logical Point Of View, Sergei Artemov, Tudor Protopopescu Jan 2010

Tr-2010008: Knowability From A Logical Point Of View, Sergei Artemov, Tudor Protopopescu

Computer Science Technical Reports

No abstract provided.


Tr-2010009: Solving Linear Systems With Randomized Augmentation Ii, Victor Y. Pan, Guoliang Qian Jan 2010

Tr-2010009: Solving Linear Systems With Randomized Augmentation Ii, Victor Y. Pan, Guoliang Qian

Computer Science Technical Reports

No abstract provided.


Tr-2010014: A Complexity Question In Justification Logic, Antonis Achilleos Jan 2010

Tr-2010014: A Complexity Question In Justification Logic, Antonis Achilleos

Computer Science Technical Reports

No abstract provided.


Tr-2010015: New Progress In Real And Complex Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng Jan 2010

Tr-2010015: New Progress In Real And Complex Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng

Computer Science Technical Reports

No abstract provided.


Tr-2010002: Reasoning About Games, Melvin Fitting Jan 2010

Tr-2010002: Reasoning About Games, Melvin Fitting

Computer Science Technical Reports

No abstract provided.


Tr-2010003: The Impossibility Of Definitive Solutions For Some Games, Sergei Artemov Jan 2010

Tr-2010003: The Impossibility Of Definitive Solutions For Some Games, Sergei Artemov

Computer Science Technical Reports

No abstract provided.


Tr-2010004: Tracking Evidence, Sergei Artemov Jan 2010

Tr-2010004: Tracking Evidence, Sergei Artemov

Computer Science Technical Reports

No abstract provided.


Tr-2010006: Graph-Based Clustering And Its Application In Coreference Resolution, Zheng Chen Jan 2010

Tr-2010006: Graph-Based Clustering And Its Application In Coreference Resolution, Zheng Chen

Computer Science Technical Reports

No abstract provided.


Tr-2010007: Robust Knowledge Of Rationality, Sergei Artemov Jan 2010

Tr-2010007: Robust Knowledge Of Rationality, Sergei Artemov

Computer Science Technical Reports

No abstract provided.


Tr-2010010: Robust Knowledge And Rationality, Sergei Artemov Jan 2010

Tr-2010010: Robust Knowledge And Rationality, Sergei Artemov

Computer Science Technical Reports

No abstract provided.


Tr-2010011: Randomized Preprocessing Versus Pivoting Ii, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng Jan 2010

Tr-2010011: Randomized Preprocessing Versus Pivoting Ii, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng

Computer Science Technical Reports

No abstract provided.


Tr-2010012: Randomized Preconditioning Of Linear Systems Of Equations, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng Jan 2010

Tr-2010012: Randomized Preconditioning Of Linear Systems Of Equations, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng

Computer Science Technical Reports

No abstract provided.


Tr-2010013: Matrix Computations And Polynomial Root-Finding With Preprocessing, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, Zhao Chen Jan 2010

Tr-2010013: Matrix Computations And Polynomial Root-Finding With Preprocessing, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, Zhao Chen

Computer Science Technical Reports

No abstract provided.