Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 15 of 15
Full-Text Articles in Physical Sciences and Mathematics
Tr-2003001: States Of Knowledge And Group Action, Rohit Parikh
Tr-2003001: States Of Knowledge And Group Action, Rohit Parikh
Computer Science Technical Reports
No abstract provided.
Tr-2003008: Learning And Applying Temporal Patterns Through Experience, Esther Lock
Tr-2003008: Learning And Applying Temporal Patterns Through Experience, Esther Lock
Computer Science Technical Reports
No abstract provided.
Tr-2003005: Lambek Calculus Is Np-Complete, Mati Pentus
Tr-2003005: Lambek Calculus Is Np-Complete, Mati Pentus
Computer Science Technical Reports
No abstract provided.
Tr-2003006: Rijndael For Algebraists: An Expanded Version Of Lenstra's Manuscript, Hannes Moritz, Wei Zhu
Tr-2003006: Rijndael For Algebraists: An Expanded Version Of Lenstra's Manuscript, Hannes Moritz, Wei Zhu
Computer Science Technical Reports
No abstract provided.
Tr-2003014: A High-Performance Abstract Machine For Prolog And Its Extensions, Neng-Fa Zhou
Tr-2003014: A High-Performance Abstract Machine For Prolog And Its Extensions, Neng-Fa Zhou
Computer Science Technical Reports
No abstract provided.
Tr-2003010: A Semantic Proof Of The Realizability Of Modal Logic In The Logic Of Proofs, Melvin Fitting
Tr-2003010: A Semantic Proof Of The Realizability Of Modal Logic In The Logic Of Proofs, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2003009: A Hierarchical Projection Pursuit Clustering Algorithm, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick
Tr-2003009: A Hierarchical Projection Pursuit Clustering Algorithm, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick
Computer Science Technical Reports
No abstract provided.
Tr-2003015: Two Counterexamples In The Logic Of Dynamic Topological Systems, Sergey Slavnov
Tr-2003015: Two Counterexamples In The Logic Of Dynamic Topological Systems, Sergey Slavnov
Computer Science Technical Reports
No abstract provided.
Tr-2003002: A Knowledge Based Semantics Of Messages, Rohit Parikh, R. Ramanujam
Tr-2003002: A Knowledge Based Semantics Of Messages, Rohit Parikh, R. Ramanujam
Computer Science Technical Reports
No abstract provided.
Tr-2003003: Finite Information Logic, Rohit Parikh, Jouko Väänänen
Tr-2003003: Finite Information Logic, Rohit Parikh, Jouko Väänänen
Computer Science Technical Reports
No abstract provided.
Tr-2003004: Superfast Algorithms For Singular Toeplitz/Hankel-Like Matrices, Victor Y. Pan
Tr-2003004: Superfast Algorithms For Singular Toeplitz/Hankel-Like Matrices, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2003007: On The Complexity Of The Reflected Logic Of Proofs, Nikolai V. Krupski
Tr-2003007: On The Complexity Of The Reflected Logic Of Proofs, Nikolai V. Krupski
Computer Science Technical Reports
No abstract provided.
Tr-2003012: A Semantics For The Logic Of Proofs, Melvin Fitting
Tr-2003012: A Semantics For The Logic Of Proofs, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2003011: Data Modelling And Description: A Guide To Using The Sylmodel Library, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick
Tr-2003011: Data Modelling And Description: A Guide To Using The Sylmodel Library, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick
Computer Science Technical Reports
No abstract provided.
Tr-2003013: Qr-Like Algorithms For Generalized Semiseparable Matrices, Dario A. Bini, Luca Gemignani, Victor Y. Pan
Tr-2003013: Qr-Like Algorithms For Generalized Semiseparable Matrices, Dario A. Bini, Luca Gemignani, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.