Physical Sciences and Mathematics Commons^™

Tr-2009002: Cartesian Closed Categories For The Logic Of Proofs, Florian Lengyel Jan 2009

Tr-2009004: An Investigation Report On Auction Mechanism Design, Jinzhong Niu, Simon Parsons Jan 2009

Tr-2009005: Visual Analytics: A Multi-Faceted Overview, Ilknur Icke, Elizabeth Sklar Jan 2009

Tr-2009007: History Tree Descriptors Of Grayscale Images, Gabor T. Herman, T. Yung Kong, Lucas M. Oliveira Jan 2009

Tr-2009006: Intelligent Players, Sergei Artemov Jan 2009

Tr-2009013: Generalized Gillespie Stochastic Simulation Algorithm And Chemical Master Equation Using Timing Machinery, Ellis D. Cooper, Florian Lengyel Jan 2009

Tr-2009012: Rational Decisions In Non-Probabilistic Settings, Sergei Artemov Jan 2009

Tr-2009014: Randomized Preprocessing Of Homogeneous Linear Systems, Victor Y. Pan, Guoliang Qian Jan 2009

Tr-2009016: On The Effectiveness Of Projection Methods For Convex Feasibility Problems With Linear Inequality Constraints, Yair Censor, Wei Chen, Patrick L. Combettes, Ran Davidi, Gabor T. Herman Jan 2009

Tr-2009001: Bisc: A Binary Itemset Support Counting Approach Towards Efficient Frequent Itemset Mining, Jinlin Chen, Keli Xiao Jan 2009

Tr-2009003: On Proof Realization On Modal Logic, Ren-June Wang Jan 2009

Tr-2009008: Randomized Preprocessing Of Homogeneous Linear Systems Of Equations, Victor Y. Pan, Guoliang Qian Jan 2009

Tr-2009009: Solving Linear Systems With Randomized Augmentation, Victor Y. Pan, Guoliang Qian Jan 2009

Tr-2009010: Randomized Preconditioning Versus Pivoting, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng Jan 2009

Tr-2009011: Knowledge-Based Rational Decisions, Sergei Artemov Jan 2009

Tr-2009015: Knowledge-Based Rational Decisions And Nash Paths, Sergei Artemov Jan 2009