• 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 ...
    • 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 ...
    • Introducción a Machine Learning Cuántico 

      Torres Torres, Camilo Andrés (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)
      En este documento se explorará cómo algunos algoritmos de aprendizaje de máquina pueden ser mejorados, cuadrática y exponencialmente, gracias a la computación cuántica. Se hace una breve introducción al mundo de los datos ...
    • 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 ...
    • 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 ...