Physical Sciences and Mathematics Commons^™

Tr-2006003: Explicit Proofs In Formal Provability Logic, Evan Goris Jan 2006

Tr-2006007: Root-Finding With Eigen-Solving, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt Jan 2006

Tr-2006008: Every P-Recursion Category Has An Index Composer, Florian Lengyel Jan 2006

Tr-2006005: Logical Omniscience Via Proof Complexity, Sergei Artemov, Roman Kuznets Jan 2006

Tr-2006006: Additive Preconditioning And Aggregation In Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Islam Taj-Eddin, Yuqing Tang, Xiaodong Yan Jan 2006

Tr-2006012: Every P-Recursion Category Has An Index Composer, Florian Lengyel Jan 2006

Tr-2006001: The Em Algorithm As A Lower Bound Optimization Technique, Rave Harpaz, Robert Haralick Jan 2006

Tr-2006002: A Replacement Theorem For Lp, Melvin Fitting Jan 2006

Tr-2006004: Justified Knowledge Is Sufficient, Evangelia Antonakos Jan 2006

Tr-2006011: Locally Connected Recursion Categories, Florian Lengyel Jan 2006

Tr-2006013: The Dom Event And Its Use In Implementing Constraint Propagators, Neng-Fa Zhou, Mark Wallace, Peter J. Stuckey Jan 2006

Tr-2006014: Geometric Considerations For Distribution Of Sensors In Ad-Hoc Sensor Networks, Ted Brown, Deniz Sarioz, Amotz Bar-Noy, Tom Laporta, Dinesh Verma, Matthew Johnson, Hosam Rowaihy Jan 2006