952 resultados para CUNY Serials Librarians

TR-2006002: A Replacement Theorem for LP

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006003: Explicit Proofs in Formal Provability Logic

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006004: Justified Knowledge Is Sufficient

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006005: Logical Omniscience via Proof Complexity

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006006: Additive Preconditioning and Aggregation in Matrix Computations

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006007: Root-Finding with Eigen-Solving

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006008: Every P-Recursion Category Has an Index Composer

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006011: Locally Connected Recursion Categories

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006012: Every P-Recursion Category Has an Index Composer

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006013: The Dom Event and Its Use in Implementing Constraint Propagators

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2006014: Geometric Considerations for Distribution of Sensors in Ad-hoc Sensor Networks

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2007001: On Developing User Interfaces for Children in Educational Virtual Reality Environments

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2007002: Additive Preconditioning and Aggregation in Matrix Computations

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2007003: Additive Preconditioning for Matrix Computations

Relevância:

10.00% 10.00%

Publicador:

Veja mais

TR-2007004: Additive Preconditioning, Eigenspaces, and the Inverse Iteration

Relevância:

10.00% 10.00%

Publicador:

Veja mais