996 resultados para tr SEIRAS

TR-2007013: Error-free Computations via Floating-Point Operations: The Code

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007014: The Schur Aggregation and Extended Iterative Refinement

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007015: Justification Logics and Conservative Extensions

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007016: Symmetric Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007017: Linear Logic with Explicit Resources

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007018: Peak Shaving through Resource Buffering

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007019: Justification Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007020: S4LP and Local Realizability

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007021: Row-Column Pivoting in Gaussian Elimination

Relevância:

20.00% 20.00%

Publicador:

Veja mais

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

Relevância:

20.00% 20.00%

Publicador:

Veja mais

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

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007024: A Register-free Abstract Prolog Machine with Jumbo Instructions

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007025: Public Communication in Justification Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2008001: Public and Private Communication Are Different: Results on Relative Expressivity

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2008002: On Image Reconstruction from a Small Number of Projections

Relevância:

20.00% 20.00%

Publicador:

Veja mais