Buscar
Mostrando ítems 1-10 de 11
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 ...
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché
(Escuela Colombiana de Ingeniería Julio Garavito, 2015)
This document presents a case study in the specification and verification of invariants of a cache coherence protocol. This protocol is based on the ESI coordination technique based on exclusive or shared access to a ...
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 ...
Dinámica de funciones de variable compleja en el Disco
(Escuela Colombiana de Ingeniería Julio Garavito, 2019)
In this work we study the holomorphic functions of the unit disk and its properties related to the dynamics in points inside and the edge of the disk. This study will be done using the pseudo hyperbolic metric, in particular ...
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 ...
Sobre la función Zeta de Riemann
(Escuela Colombiana de Ingeniería Julio Garavito, 2019)
En este trabajo se presenta la construcción de la función zeta de Riemman, propiedades y otros resultados; a partir de herramientas de la variable compleja y el análisis. Hay que resaltar que esta no es la única manera de ...
Espacios CL-Compactos : una noción débil de compacidad
(Escuela Colombiana de Ingeniería Julio Garavito, 2013)
The purpose of this degree work is to present a notion of weak compactness, which appears naturally when considering a property relative to the compact subspaces of a regular space. We will call such spaces cl-compacts, ...
Metodología para la estimación de la dependencia de las tasas de cambio en Colombia
(Escuela Colombiana de Ingeniería Julio Garavito, 2019)
This document measures the dependence of the exchange rates of the dollar and the euro with respect to the Colombian peso and its forecast. For this purpose, the copula methodology and time series were used following a ...
Sobre la clasificación de transformaciones ergódicas
(Escuela Colombiana de Ingeniería Julio Garavito, 2013)
Este documento es la recopilación de varios resultados que permiten presentar una noción de lo problemas de clasificación en Teoría Ergódica. Tuvo como motivación los cursos de Sistemas Dinámicos y Teoría de la Medida ...
Sobre la cohomología de De Rham
(Escuela Colombiana de Ingeniería Julio Garavito, 2016)
En este documento se presenta la construcción detallada de la cohomología de De Rham junto con algunas de sus propiedades y aplicaciones más importantes utilizadas en todo el campo de la topología diferencial. Todo esto, ...