Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"ciencia de la computación"”.
-
Simulación y diseño de metodologías de despacho de cargas
Los problemas de distribución de vehículos son importantes en la ciencia de la computación por su aplicación directa en los campos del transporte de material y el control de tráfico. Esto se debe a que proveen un marco formal con el cual estudiar estas temáticas, las cuales tienen gran impacto …
-
Integración de sistemas de información geográfica
Actualmente, existe una expansión de gran cantidad de sistemas de información disponibles tanto en la Web como dentro de una misma organización. A su vez, muchos de estos sistemas involucran información geográfica para representar simples instancias del mundo real. Es imposible hoy en día pensar en …
-
Verificación formal en ACL2 del algoritmo de Buchberger
… reasoning system and an applicative programming language, a subset of COMMON LISP, based in pure lambda-calculus. It was developed in the University of Texas at Austin (USA) and is based in an untyped quantifier-free first-order logic of total recursive functions with equality. This thesis …
-
Visualizador y evaluador de mallas geométricas mixtas 3D
El objetivo del presente tema de memoria es diseñar y desarrollar un visualizador y evaluador de mallas geométricas mixtas en 3D, que provea diferentes formas de visualización, que permita evaluar la calidad de las mallas aplicando distintos criterios de evaluación sobre ellas, y que sea fácilmente …