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-2009002: Cartesian Closed Categories For The Logic Of Proofs, Florian Lengyel
Tr-2009002: Cartesian Closed Categories For The Logic Of Proofs, Florian Lengyel
Computer Science Technical Reports
No abstract provided.
Tr-2009004: An Investigation Report On Auction Mechanism Design, Jinzhong Niu, Simon Parsons
Tr-2009004: An Investigation Report On Auction Mechanism Design, Jinzhong Niu, Simon Parsons
Computer Science Technical Reports
No abstract provided.
Tr-2009005: Visual Analytics: A Multi-Faceted Overview, Ilknur Icke, Elizabeth Sklar
Tr-2009005: Visual Analytics: A Multi-Faceted Overview, Ilknur Icke, Elizabeth Sklar
Computer Science Technical Reports
No abstract provided.
Tr-2009007: History Tree Descriptors Of Grayscale Images, Gabor T. Herman, T. Yung Kong, Lucas M. Oliveira
Tr-2009007: History Tree Descriptors Of Grayscale Images, Gabor T. Herman, T. Yung Kong, Lucas M. Oliveira
Computer Science Technical Reports
No abstract provided.
Tr-2009006: Intelligent Players, Sergei Artemov
Tr-2009006: Intelligent Players, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2009013: Generalized Gillespie Stochastic Simulation Algorithm And Chemical Master Equation Using Timing Machinery, Ellis D. Cooper, Florian Lengyel
Tr-2009013: Generalized Gillespie Stochastic Simulation Algorithm And Chemical Master Equation Using Timing Machinery, Ellis D. Cooper, Florian Lengyel
Computer Science Technical Reports
No abstract provided.
Tr-2009012: Rational Decisions In Non-Probabilistic Settings, Sergei Artemov
Tr-2009012: Rational Decisions In Non-Probabilistic Settings, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2009014: Randomized Preprocessing Of Homogeneous Linear Systems, Victor Y. Pan, Guoliang Qian
Tr-2009014: Randomized Preprocessing Of Homogeneous Linear Systems, Victor Y. Pan, Guoliang Qian
Computer Science Technical Reports
No abstract provided.
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
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
Computer Science Technical Reports
No abstract provided.
Tr-2009001: Bisc: A Binary Itemset Support Counting Approach Towards Efficient Frequent Itemset Mining, Jinlin Chen, Keli Xiao
Tr-2009001: Bisc: A Binary Itemset Support Counting Approach Towards Efficient Frequent Itemset Mining, Jinlin Chen, Keli Xiao
Computer Science Technical Reports
No abstract provided.
Tr-2009003: On Proof Realization On Modal Logic, Ren-June Wang
Tr-2009003: On Proof Realization On Modal Logic, Ren-June Wang
Computer Science Technical Reports
No abstract provided.
Tr-2009008: Randomized Preprocessing Of Homogeneous Linear Systems Of Equations, Victor Y. Pan, Guoliang Qian
Tr-2009008: Randomized Preprocessing Of Homogeneous Linear Systems Of Equations, Victor Y. Pan, Guoliang Qian
Computer Science Technical Reports
No abstract provided.
Tr-2009009: Solving Linear Systems With Randomized Augmentation, Victor Y. Pan, Guoliang Qian
Tr-2009009: Solving Linear Systems With Randomized Augmentation, Victor Y. Pan, Guoliang Qian
Computer Science Technical Reports
No abstract provided.
Tr-2009010: Randomized Preconditioning Versus Pivoting, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng
Tr-2009010: Randomized Preconditioning Versus Pivoting, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng
Computer Science Technical Reports
No abstract provided.
Tr-2009011: Knowledge-Based Rational Decisions, Sergei Artemov
Tr-2009011: Knowledge-Based Rational Decisions, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2009015: Knowledge-Based Rational Decisions And Nash Paths, Sergei Artemov
Tr-2009015: Knowledge-Based Rational Decisions And Nash Paths, Sergei Artemov
Computer Science Technical Reports
No abstract provided.