Biblioteca Digital

202 resultados para Computer Sciences

TR-2014001: Computer-Aided Reasoning about Knowledge and Justifications

Relevância:

70.00% 70.00%

Publicador:

TR-2002001: Can We Optimize Toeplitz/Hankel Computations?

Relevância:

60.00% 60.00%

Publicador:

TR-2002002: Can We Optimize Toeplitz/Hankel Computations? II. Singular Toeplitz/Hankel-like Case

Relevância:

60.00% 60.00%

Publicador:

TR-2002003: Univariate Polynomial Root-Finding with a Lower Computational Precision and Higher Convergence Rates

Relevância:

60.00% 60.00%

Publicador:

TR-2002004: On the Effectiveness of Tangible Interfaces in Collaborative Learning Environments

Relevância:

60.00% 60.00%

Publicador:

TR-2002005: Towards a Theory of Social Software

Relevância:

60.00% 60.00%

Publicador:

TR-2002006: States of Knowledge

Relevância:

60.00% 60.00%

Publicador:

TR-2002007: Ubiquitous Puzzle Pieces: 3D Tangible Interfaces for Collaborative Learning Environments

Relevância:

60.00% 60.00%

Publicador:

TR-2002008: Investigation of the Sensitivity of the Monte Carlo Solution for the Barker-Ferry Equation Using Different Sequential and Parallel Pseudo-Random Number Generators

Relevância:

60.00% 60.00%

Publicador:

TR-2002009: A Formal Semantics for UML with Real-Time Constructs

Relevância:

60.00% 60.00%

Publicador:

TR-2002010: Programming Finite-Domain Constraint Propagators in Action Rules

Relevância:

60.00% 60.00%

Publicador:

TR-2002011: Corpus-Based Ambiguity Resolution of Biomedical Terms Using Knowledge Bases and Machine Learning

Relevância:

60.00% 60.00%

Publicador:

TR-2002013: Toward a High-Performance System for Symbolic and Statistical Modeling

Relevância:

60.00% 60.00%

Publicador:

TR-2002012: The Aggregation and Cancellation Techniques As a Practical Tool for Faster Matrix Multiplication

Relevância:

60.00% 60.00%

Publicador:

TR-2002014: Iterative Inversion of Structured Matrices

Relevância:

60.00% 60.00%

Publicador:

«
1
2
3
4
5
6
7
8
...
13
14
»