Buscar
Mostrando ítems 1-5 de 5
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 ...
La función zeta de Riemann y su relación con otras funciones aritméticas
(Escuela Colombian de Ingeniería, 2023)
En este texto se estudiará la relación que tiene la función zeta de Riemann con funciones aritméticas,
para esto se usarán herramientas de la teoría de cuerpos, análisis complejos y teoría de números. La
primera parte ...
Resultados relacionados con la función zeta de Riemann
(2023-06-14)
En este texto se estudiará el comportamiento de los ceros no triviales de la función zeta de Riemann.
En la primera parte del documento se presentan algunos resultados preliminares de variable compleja y
análisis que ...
Ad-compacidad
(Escuela Colombiana de Ingeniería Julio Garavito, 2017)
En este trabajo de grado presentamos una noción débil de compacidad en espa-
cios topológicos, llamada ad-compacidad, y exponemos algunas de sus propieda-
des.
Aplicación actuarial del modelo epidemiológico SIR con nacimientos y muertes
(Escuela Colombiana de Ingeniería, 2023)
En este trabajo abordaremos la modelación de primas y reservas de un producto asegurador de vida que ofrezca cobertura en caso de infección o muerte a causa de una enfermedad viral, la modelación de las primas y reservas ...