Buscar
Mostrando ítems 1-4 de 4
EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python
(Escuela Colombiana de Ingeniería Julio Garavito, 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 ...
Transformada cuántica de Fourier
(Escuela Colombiana de Ingeniería Julio Garavito, 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 ...
Lenguajes de Programación Cuánticos (LPC)
(Escuela Colombiana de Ingeniería Julio Garavito, 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 ...
Computación Cuántica Aplicada en Criptografía
(Escuela Colombiana de Ingeniería Julio Garavito, 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 ...