Buscar
Mostrando ítems 1-3 de 3
Una semántica formal para Apache Spark en lógica de reescritura
(Escuela Colombiana de Ingeniería Julio Garavito, 2018)
This document presents an executable semantics for Apache
Spark in rewrite logic. Apache Spark is a work environment
open source designed for data processing that provides
an application programming interface for the ...
Algunas consecuencias del Lema de Schwarz
(Escuela Colombiana de Ingeniería Julio Garavito, 2018)
Se estudian algunas relaciones que existen entre la variable compleja, la geometría hiperbólica y sistemas dinámicos en el disco unidad. El Lema de Schwarz motiva gran parte de la discusión y su generalización tendrá que ...
Geometría y propiedades del hiperespacio euclidiano con la métrica de Hausdorff
(Escuela Colombiana de ingeniería Julio Garavito, 2018)
La idea en este trabajo es estudiar y abordar conceptos como segmentos, convexidad, la propia distancia entre los elementos del hiperespacio con la metrica de Hausdorff. Naturalmente existirán semejanzas con la geometría ...