• Computación Cuántica Aplicada en Criptografía 

      Soto Anaya, Christian (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)
      This document contains information about the advances that have been developed in recent years on quantum computing in the field of cryptography. It covers topics such as quantum authentication schemes, the operation of ...
    • Computación cuántica: implementación de algoritmos de shor y grover en el computador cuántico de IBM 

      Vega Fernández, Cesar Augusto; Ramírez Celis, Johan Sebastián (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2017)
      Este proyecto estudia el estado del arte en computación cuántica, explorar a profundidad los algoritmos de Grove y Shor, y realizar implementaciones y extensiones de dichos algoritmos en el computador cuántico de IBM. Las ...
    • EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python 

      Losada Calderón, Hernán Felipe (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)
      Event-B es un método formal para el modelado y análisis de sistemas basado en el enfoque de corrección por construcción. Presenta un conjunto de teorías como la elección para la notación de modelado, el refinamiento para ...
    • An elementary and unified approach to program correctness 

      Bohórquez, Jaime (Springer, 2009)
      We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative style of programming ...
    • Estudio de algoritmos de reducción de ruido en video 

      Cancino Suárez, Sandra Liliana; ESTUPIÑÁN, ENRIQUE; Rodríguez Ramírez, Marcela Patricia; Makowski, Dominik (Universidad Escuela Colombiana de Ingeniería Julio GaravitoBogotá, 2010)
      En este artículo se describe la implementación de algoritmos para reducción de ruido. Estos algoritmos se aplican a videos con diferentes características de movimiento, esto es: bajo, medio o alto, realizando medidas ...
    • Exploración de Modelos para Determinar el Incurrido en Seguros de Autos 

      Posada Aguilar, Camilo Esteban (Maestría en Ciencias Actuariales, 2022)
      En los seguros generales es particularmente complicado hallar la forma de pronosticar el incurrido del ramo de autos en los amparos de pérdida y hurto parcial. Pronosticar esta cifra es vital para la compañía puesto ...
    • An Exploratory Analysis of Digital Information using Natural Language Processing for the Planning and Decision Making Process of Water Resources in Bolivia 

      González Ayala, Camilo Andrés (Escuela Colombiana de Ingeniería Julio GaravitoMaestría en Ingeniería Civil, 2021)
      In recent years, the community is much more participatory in the planning and decision-making processes of Integrated Water Resources Management. However, differences between competing stakeholders prevent the identification ...
    • Implementación de algoritmo de múltiples escalas para la binarización de series de tiempo de expresión genética 

      Higuera Munevar, Tatiana Andrea; Sissa Becerra, Helber Giovanny (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2017)
      Implementación del algoritmo de BASC teniendo dos diferentes métodos llamados BASC A y BASC B. Los cuales son desarrollados específicamente para la binarización de los datos de expresión genética. Estos algoritmos de ...
    • Lenguajes de Programación Cuánticos (LPC) 

      Prieto Idarraga, Brandon Nicolai (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)
      El siguiente documento abarca una investigación sobre lenguajes de programación cuánticos, empezando desde lenguajes de programación cuánticos de bajo nivel, donde se usan compuertas cuánticas básicas para programar el ...
    • Polaridad en redes sociales y principales indicadores financieros del sector asegurador 

      Ramírez Gaita, Andrés Camilo (Escuela Colombiana de Ingeniería Julio GaravitoMaestría en Gestión de Información, 2017)
      This article aims to show the construction of a comparative management analysis tool, which control the insurance companies through a control panel analyze the behavior of financial management indicators and market opinion ...
    • Procesamiento de imágenes y algoritmos para la visión de un vehículo autónomo a escala, mediante una cámara estereoscópica 

      Torres Castillo, Christian Camilo (ElectrónicaIngeniería Electrónica, 2023)
      Este proyecto presenta el desarrollo de diferentes algoritmos para la visión de un vehículo autó- nomo a escala, considerando la obtención de profundidad con una cámara estéreo, identificación del carril a seguir por el ...
    • Selección óptima del portafolio de proyectos utilizando metaheurísticas de población y trayectoria meta-optimizadas 

      Candia García, Cristian David; López Castro, Luis Francisco; Jaimes Suárez, Sonia Alexandra (Colombia, 2020)
      Este artículo aborda el problema de selección de portafolio de proyectos para la adjudicación de interventorías de obra pública a través de concursos de méritos abiertos (CMA) supervi-sados por el Instituto Nacional de ...
    • Transformada cuántica de Fourier 

      Herrera Corredor, Leonardo Andrés (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)
      En este escrito se mostrará y explicará una de las funciones más importantes en cuanto a algoritmos cuánticos se refiere, la transformada cuántica de Fourier; dentro del marco teórico se darán las nociones básicas y se ...