Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
Verification
2
correctness properties
2
soundness
2
ARTIFICIAL INTELLIGENCE
1
Algorithms
1
Aprendizaje profundo
1
Attenuation Correction
1
Automata (e.g., finite, push-down, resource-bounded)
1
Corrección de atenuación
1
Corrections
1
Correctness proofs
1
DGPS
1
Deep Learning
1
Efficiency
1
Error Correcting Codes
1
Formal methods
1
GPS accuracy
1
Generative Models
1
Invariants
1
Modelos generativos
1
Object-oriented Programming
1
Parallel
1
Parallel Evolutionary Algorithms
1
Positron Emission Tomography
1
Radio Network Design
1
Real time
1
Signal processing
1
Specifying and Verifying and Reasoning about Programs
1
Telecommunications
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8