Now showing items 1-14 of 14

Algoritmo de medición de rango articular en miembros inferiores, a partir de sensores inerciales

Toro Quitian, Fitzgerald Leonard Gerardo; Castro Sanchez, Brayan Camilo (Ciudad de MexicoIngeniería Biomédica, 2019)

Implementar un algoritmo de medición de rangos articulares con sensores inerciales y validarlo con un sistema de captura de movimiento estandarizado.
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 ...
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 ...
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 ...
Modelos de analítica de datos aplicado a la Detección de Úlceras por Presión en Pacientes Hospitalizados

González Medrano, Natalia Andrea (Ingeniería Biomédica, 2020)

En este trabajo se dará a conocer sobre que son y que causan las úlceras por presión (UPP), también se expondrá una medida para disminuir las ulceras por presión. En primera instancia, las ulceras por presión son lesiones ...
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 ...
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 ...

Envíos recientes

Algoritmo de medición de rango articular en miembros inferiores, a partir de sensores inerciales
...
Toro Quitian, Fitzgerald Leonard Gerardo | 2019

Implementar un algoritmo de medición de rangos articulares con sensores inerciales y validarlo con un sistema de captura de movimiento estandarizado.

LEER
Computación Cuántica Aplicada en Criptografía
...
Soto Anaya, Christian | 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 the RSA encryption algorithm, how this algorithm is analyzed to violate it and how quantum computing performs its violation thanks to the Shor algorithm, with an example developed in Java.

LEER
Computación cuántica: implementación de algoritmos de shor y grover en el computador cuántico de IBM
...
Vega Fernández, Cesar Augusto | 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 contribuciones concretas de este proyecto son primero material didáctico para la enseñanza de Computación Cuántica, segundo Documento que describe el estado del arte, y los algoritmos de Grover y Shor, y por último las implementaciones de los algoritmos en la máquina de IBM.

LEER
EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python
...
Losada Calderón, Hernán Felipe | 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 representar diferentes niveles de abstracción en los modelos y un sistema de prueba para verificar la consistencia dichos modelos. Este documento presenta una algoritmo para generar programas en el lenguaje de programación Python a partir de modelos Event-B correctos. El algoritmo presentado aquí es la composición de reglas de traducción; incluye soporte para relaciones, expresiones numéricas y enumeraciones. El código puede ser generado para ejecución secuencial o concurrente (por medio de hilos). Un ejemplo ilustra la traducción de código y su ejecución como programa en el lenguaje de programación Python.

LEER
An elementary and unified approach to program correctness
...
Bohórquez, Jaime | 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 with Hehner’s recursive predicative programming theory, getting the “best of the two worlds” and without having to recur in any way to higher-order approaches such as predicate transformers, Hoare logic, fixed-point or relational theory.

LEER
Exploración de Modelos para Determinar el Incurrido en Seguros de Autos
...
Posada Aguilar, Camilo Esteban | 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 que se lograría entender el comportamiento del negocio a través de las reservas, la siniestralidad, el índice combinado y la tarifación en caso de que el portafolio sea muy pequeño para realizar un GLM. El propósito de este trabajo es proveer una metodología para pronosticar el incurrido, de tal forma que la reserva de siniestros avisados esté mucho más alineada con el valor de las autopartes en el mercado. Para ello se propone entrenar algoritmos de series de tiempo cuyo output sea un índice de precios de las piezas creado a partir del portafolio de la compañía y su input sean índices económicos y de desempeño del país.

LEER
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 | 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 of important variables in decision-making. In addition, the COVID-19 situation has prevented activities from being face to face with the community where fundamental information is collected for the planning process. Faced with this panorama, and with the aim of complementing the characterization of a water system, and provide an alternative that collaborates in the planning and decision-making process, this research focuses on analyzing digital information sources from the public media, obtaining useful information from articles associated with a basin. The case study corresponds to La Paz - Choqueyapu river basin in Bolivia. The information from 6 representative newspapers of that country, related to water resources, was extracted. An exploratory analysis of the information is executed and it is associated with historical information on hydrological phenomena such as precipitation in the last decade, finding a good correlation between both sources of information. Through the application of Named Entity Recognition, it was possible to identify different entities associated with bodies of water, dams, authorities and communities that are present in the basin. Each of the articles is associated with a positive or negative sentiment according to its content in order to carry out a qualitative analysis of the basin. From the article and its associated sentiment, sentiment text classification models are build in the context of water resources with the extracted articles with different techniques of word embedding and classification machine learning algorithms. It was found that the model with the best performance corresponds to the SVM algorithm with linear kernel and Word2vec continuous bag of words word embedding, obtaining 84% accuracy. This result was compared with the value obtained through the Spanish Sentiment Analysis library of 63%, evidencing a high improvement in the classification of texts associated with water resources in the Spanish language. Finally, by finding the most frequent words in a positive or negative context, important variables can be evidenced for the improvement of the planning and decision-making process.

LEER
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 | 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 binarización incorporan los datos a diferentes escalas para producir umbrales adecuados y robustos, incluso para un pequeño número de puntos de datos. Las diferentes escalas se determinan por el número y la ubicación de las discontinuidades que se utilizan para la aproximación de la función escalonada, desarrolladas en dos diferentes enfoques de múltiples escalas para la binarización de series de tiempo de expresión genética (BASC A, BASC B). Y de esta manera lograr por medio de la implementación de dichos algoritmos, modelar y simular la construcción de la serie de tiempo de expresión genética y así tener un análisis mucho más sencillo.

LEER
Introducción a Machine Learning Cuántico
...
Torres Torres, Camilo Andrés | 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 y por qué es importante realizar un procesamiento adecuado de los mismos, y dando las bases tanto del aprendizaje de máquina como de la computación cuántica, se describirá y se mostrará la implementación en un simulador cuántico, de un algoritmo de maquina de vectores de soporte (SVM), capaz de reconocer y clasificar imágenes de los dígitos 6 y 9, desarrollado e implementado físicamente por Zhaokai Li, Xiaomei Liu, Nanyang Xu, Jiangfeng Du, en la Universidad de Ciencia y Tecnología de China, Hefei, demostrando cómo se puede tener una mejora exponencial en complejidad temporal con respecto a su contraparte clásica.

LEER
Lenguajes de Programación Cuánticos (LPC)
...
Prieto Idarraga, Brandon Nicolai | 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 algoritmo cuántico de Deutsch, luego se trasplanta al la computadora cuántica de IBM accesible en la nube, donde se explica su funcionamiento a nivel de software, y las librerías que la implementan, y se experimente implementado el algoritmo de Deutsch y verificando su funcionamiento, después se hace un avance a lenguajes de programación cuánticos imperativos, en este caso Q y QCL, los cuales están implementados en C y C++ respectivamente, lo cual quiere decir que solamente permiten la emulación de una computadora cuántica, se toma como base de nuevo el algoritmo de Deutsch, y se implemente en ambos lenguajes. Y como punto final se realiza la explicación del compilador de lenguaje ensamblador cuántico construido usando javacc para el proyecto el cual traduce de un lenguaje ensamblador preestablecido y explicado en el documento a java.

LEER
Modelos de analítica de datos aplicado a la Detección de Úlceras por Presión en Pacientes Hospitalizados
...
González Medrano, Natalia Andrea | 2020

En este trabajo se dará a conocer sobre que son y que causan las úlceras por presión (UPP), también se expondrá una medida para disminuir las ulceras por presión. En primera instancia, las ulceras por presión son lesiones en la piel de origen isquémico, con pérdida de sustancia cutánea producida por presión prolongada o fricción entre dos planos duros. Son un problema grave y frecuente en personas de edad avanzada, representan una de las principales complicaciones de las situaciones de inmovilidad y su manejo adecuado constituye un indicador de calidad asistencial.

LEER
Polaridad en redes sociales y principales indicadores financieros del sector asegurador
...
Ramírez Gaita, Andrés Camilo | 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 on the data Companies The article is based on the information of 25 companies that participate actively in Facebook on Twitter and are affiliated to Fasecolda (Federation of Colombian Insurers). It also shows the utility of using free tools to convert data into information and information into knowledge.

LEER
Selección óptima del portafolio de proyectos utilizando metaheurísticas de población y trayectoria meta-optimizadas
...
Candia García, Cristian David | 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 Vías (INVIAS) en Colombia. En esta modalidad, cada con-cursante presenta un portafolio único de proyectos históricos para cuantificar su experiencia como interventor. Como alternativa al uso de hojas de cálculo en Excel con procedimientos limitados de enumeración exhaustiva, se evaluó un algoritmo genético meta-optimizado (GA) y un procedimiento de búsqueda voraz adaptativo probabilista meta-optimizado (GRASP) para el caso de estudio de una Compañía con 207 contratos de trayectoria en el sector. Ambas metaheurísticas consiguieron encontrar puntajes de valoración óptimos para distintas instancias de prueba, sin embargo, el algoritmo GA presentó un mejor desempeño consistentemente en todas las instancias de evaluación, encontrando en algunos casos hasta 10 portafolios óptimos en menos de 9 minutos.

LEER
Transformada cuántica de Fourier
...
Herrera Corredor, Leonardo Andrés | 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 mostraran algunos ejemplos acerca de la transformada continua y la transformada discreta, mientras que en los capítulos siguientes se tratarán la transformada rápida y la transformada cuántica, mostrando las ventajas que tiene la transformada cuántica sobre la rápida, finalmente se explicara la implementación del circuito cuántico que representa a la transformada cuántica.

LEER

Repositorio Digital

Browsing by Subject "Algoritmos"

Algoritmo de medición de rango articular en miembros inferiores, a partir de sensores inerciales

Computación Cuántica Aplicada en Criptografía

Computación cuántica: implementación de algoritmos de shor y grover en el computador cuántico de IBM

EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python

An elementary and unified approach to program correctness

Exploración de Modelos para Determinar el Incurrido en Seguros de Autos

An Exploratory Analysis of Digital Information using Natural Language Processing for the Planning and Decision Making Process of Water Resources in Bolivia

Implementación de algoritmo de múltiples escalas para la binarización de series de tiempo de expresión genética

Introducción a Machine Learning Cuántico

Lenguajes de Programación Cuánticos (LPC)

Modelos de analítica de datos aplicado a la Detección de Úlceras por Presión en Pacientes Hospitalizados

Polaridad en redes sociales y principales indicadores financieros del sector asegurador

Selección óptima del portafolio de proyectos utilizando metaheurísticas de población y trayectoria meta-optimizadas

Transformada cuántica de Fourier

Envíos recientes

Algoritmo de medición de rango articular en miembros inferiores, a partir de sensores inerciales

Computación Cuántica Aplicada en Criptografía

Computación cuántica: implementación de algoritmos de shor y grover en el computador cuántico de IBM

EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python

An elementary and unified approach to program correctness

Exploración de Modelos para Determinar el Incurrido en Seguros de Autos

An Exploratory Analysis of Digital Information using Natural Language Processing for the Planning and Decision Making Process of Water Resources in Bolivia

Implementación de algoritmo de múltiples escalas para la binarización de series de tiempo de expresión genética

Introducción a Machine Learning Cuántico

Lenguajes de Programación Cuánticos (LPC)

Modelos de analítica de datos aplicado a la Detección de Úlceras por Presión en Pacientes Hospitalizados

Polaridad en redes sociales y principales indicadores financieros del sector asegurador

Selección óptima del portafolio de proyectos utilizando metaheurísticas de población y trayectoria meta-optimizadas

Transformada cuántica de Fourier

Browsing by Subject "Algoritmos"

Algoritmo de medición de rango articular en miembros inferiores, a partir de sensores inerciales ﻿

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

Computación cuántica: implementación de algoritmos de shor y grover en el computador cuántico de IBM ﻿

EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python ﻿

An elementary and unified approach to program correctness ﻿

Exploración de Modelos para Determinar el Incurrido en Seguros de Autos ﻿

An Exploratory Analysis of Digital Information using Natural Language Processing for the Planning and Decision Making Process of Water Resources in Bolivia ﻿

Implementación de algoritmo de múltiples escalas para la binarización de series de tiempo de expresión genética ﻿

Introducción a Machine Learning Cuántico ﻿

Lenguajes de Programación Cuánticos (LPC) ﻿

Modelos de analítica de datos aplicado a la Detección de Úlceras por Presión en Pacientes Hospitalizados ﻿

Polaridad en redes sociales y principales indicadores financieros del sector asegurador ﻿

Selección óptima del portafolio de proyectos utilizando metaheurísticas de población y trayectoria meta-optimizadas ﻿

Transformada cuántica de Fourier ﻿

Envíos recientes

Algoritmo de medición de rango articular en miembros inferiores, a partir de sensores inerciales

Computación Cuántica Aplicada en Criptografía

Computación cuántica: implementación de algoritmos de shor y grover en el computador cuántico de IBM

EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python

An elementary and unified approach to program correctness

Exploración de Modelos para Determinar el Incurrido en Seguros de Autos

An Exploratory Analysis of Digital Information using Natural Language Processing for the Planning and Decision Making Process of Water Resources in Bolivia

Implementación de algoritmo de múltiples escalas para la binarización de series de tiempo de expresión genética

Introducción a Machine Learning Cuántico

Lenguajes de Programación Cuánticos (LPC)

Modelos de analítica de datos aplicado a la Detección de Úlceras por Presión en Pacientes Hospitalizados

Polaridad en redes sociales y principales indicadores financieros del sector asegurador

Selección óptima del portafolio de proyectos utilizando metaheurísticas de población y trayectoria meta-optimizadas

Transformada cuántica de Fourier

Algoritmo de medición de rango articular en miembros inferiores, a partir de sensores inerciales

Computación Cuántica Aplicada en Criptografía

Computación cuántica: implementación de algoritmos de shor y grover en el computador cuántico de IBM

EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python

An elementary and unified approach to program correctness

Exploración de Modelos para Determinar el Incurrido en Seguros de Autos

An Exploratory Analysis of Digital Information using Natural Language Processing for the Planning and Decision Making Process of Water Resources in Bolivia

Implementación de algoritmo de múltiples escalas para la binarización de series de tiempo de expresión genética

Introducción a Machine Learning Cuántico

Lenguajes de Programación Cuánticos (LPC)

Modelos de analítica de datos aplicado a la Detección de Úlceras por Presión en Pacientes Hospitalizados

Polaridad en redes sociales y principales indicadores financieros del sector asegurador

Selección óptima del portafolio de proyectos utilizando metaheurísticas de población y trayectoria meta-optimizadas

Transformada cuántica de Fourier