Biblioteca Digital

15 resultados para Interactive computer systems

em CUNY Academic Works

TR-2003015: Two Counterexamples in the Logic of Dynamic Topological Systems

Relevância:

30.00% 30.00%

Publicador:

TR-2005004: Basic Systems of Epistemic Logic with Justification

Relevância:

30.00% 30.00%

Publicador:

TR-2007022: The Schur Aggregation for Linear Systems and Determinants

Relevância:

30.00% 30.00%

Publicador:

TR-2007023: The Schur Aggregation for Linear Systems and Determinants

Relevância:

30.00% 30.00%

Publicador:

TR-2008008: Schur Aggregation for Linear Systems and Determinants

Relevância:

30.00% 30.00%

Publicador:

TR-2008009: Solving Homogeneous Linear Systems with Weakly Randomized Additive Preprocessing

Relevância:

30.00% 30.00%

Publicador:

TR-2009008: Randomized Preprocessing of Homogeneous Linear Systems of Equations

Relevância:

30.00% 30.00%

Publicador:

TR-2009009: Solving Linear Systems with Randomized Augmentation

Relevância:

30.00% 30.00%

Publicador:

TR-2009014: Randomized Preprocessing of Homogeneous Linear Systems

Relevância:

30.00% 30.00%

Publicador:

TR-2010009: Solving Linear Systems with Randomized Augmentation II

Relevância:

30.00% 30.00%

Publicador:

TR-2010012: Randomized Preconditioning of Linear Systems of Equations

Relevância:

30.00% 30.00%

Publicador:

TR-2011002: Symbolic Lifting for Structured Linear Systems of Equations: Numerical Initialization, Nearly Optimal Boolean Cost, Variations, and Extensions

Relevância:

30.00% 30.00%

Publicador:

TR-2011009: Solving Linear Systems of Equations with Randomized Augmentation and Aggregation

Relevância:

30.00% 30.00%

Publicador:

TR-2012004: Solving Linear Systems of Equations with Randomization, Augmentation and Aggregation

Relevância:

30.00% 30.00%

Publicador:

TR-2012007: Solving Linear Systems of Equations with Randomization, Augmentation and Aggregation II

Relevância:

30.00% 30.00%

Publicador: