Trabajos Especiales de Licenciatura en Ciencias de la Computación: Recent submissions
Now showing items 41-60 of 154
-
Plataformas para redes tolerantes a demoras sobre nodos integrados en un chip
(2020)Este trabajo se enfoca en investigar acerca de las capacidades de tolerar fallas en algunas plataformas o topologías para Redes Inalámbricas Tolerantes a Demoras en un Chip. (del inglés: Wireless Delay Tolerant Networks ... -
Optimización de modelo de Heisenberg para GPU
(2020-12)El trabajo consiste en optimizar una simulación de un modelo de Heisenberg. Se realizaron dos implementaciones en C++, una optimizada para CPU y otra para GPU, junto con una visualización gráfica. Se analizan diferentes ... -
Métodos computacionales para el cálculo de la volatilidad implícita del modelo de Black Scholes
(2020)Las finanzas cuantitativas constituyen, desde hace varias décadas, un área particular de estudio dentro de la matemática. Esta nueva disciplina surge de la necesidad de encontrar modelos cuantitativos que permitan describir ... -
De PH a IP : un curso en complejidad computacional
(2019-11)En este trabajo estudiamos algunas de las clases más importantes de la teoría de Complejidad Computacional. Nos basamos en el programa que propone el libro Computational Complexity a modern approach, del cual vemos la ... -
Generando instrucciones de navegación peatonal usando generación por selección
(2014-09)En este trabajo describimos un método para desarrollar un instructor virtual de navegación peatonal basado en interacciones reales entre humanos. Un instructor virtual es un agente capaz de cumplir el rol de un instructor ... -
Registro de imágenes de teledetección espacial
(2014)El registro de imágenes se ha transformado en una de los procesos de mayor interés e importancia en el procesamiento de las mismas. Podemos observar que gran parte del registro, se sigue realizando de manera manual, lo ... -
Control de plataforma de degradación acelerada de transistores de potencia
(2020-07)El objetivo del presente trabajo es desarrollar una plataforma para acelerar, automatizar y emular el proceso de degradación al que se somete un transistor de efecto de campo metal-óxido-semiconductor (MOSFET) de potencia ... -
Automatización de la adquisición y análisis de parámetros indicadores de degradación en MOSFET de potencia
(2020-07)Los transistores MOSFET (transistor de efecto de campo metal-óxido-semiconductor) de potencia se utilizan principalmente para amplificar o conmutar señales electrónicas. Existen aplicaciones en las que estos transistores ... -
Visión artificial para el reconocimiento automático, en tiempo real, de líneas urbanas de autobuses
(2019)En el presente trabajo, se aborda el problema de la detección y el reconocimiento de números de líneas de autobuses del transporte público de pasajeros de la ciudad de Córdoba, empleando imágenes obtenidas mediante ... -
Generalización de meta-programas con tipado dependiente en Mtac2
(2020-03)En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ... -
Reconocimiento de entidades nombradas en texto de dominio legal
(2019)Este trabajo se centra en la detección, clasificación y anotación de entidades nombradas (como Leyes, Resoluciones o Decretos, entre otros) para el corpus de InfoLEG, una base de datos que contiene los documentos de todas ... -
Automatización de cefalometrías utilizando métodos de aprendizaje automático
(2019)La cefalometría es un estudio médico que logra diagnosticar problemas dentarios, esqueléticos ó problemas estéticos. Se realiza sobre un trazado obtenido del calco de líneas de las estructuras blandas y duras (piel y hueso ... -
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ... -
Minería de argumentos con aprendizaje profundo y atención
(2019)En este trabajo agregamos un mecanismo de atención a una red neuronal del estado del arte, que consiste de una red BiLSTM con embeddings de caracteres y una capa de CRF. Este modelo no sólo ha sido previamente aplicado en ... -
Verificación formal de protocolos distribuidos
(2019)En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ... -
Verificación de lógicas modales dinámicas en Coq
(2019-03)Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ... -
Estudio de redes neuronales en escalera como método semi-supervisado para reconocimiento de entidades nombradas en textos legales
(2019)En este trabajo se exploró el uso de un método de aprendizaje automático semi-supervisado profundo, conocido como “Redes Neu- ronales en Escalera”. Como caso de estudio, se decidió abordar la tarea de reconocimiento y ... -
Framework para aprendizaje activo
(2018)Muchos proyectos de Machine Learning de la actualidad precisan de un gran número de datos etiquetados para poder entrenar los algoritmos. El etiquetado de los mismos tiene un gran costo tanto económico como de tiempo. Una ... -
Procesamiento de imágenes médicas para generación automática de reportes
(2019)En el presente trabajo se plantea el problema de la generación automática de reportes médicos a partir de imágenes. La redacción de informes que interpretan las imágenes médicas consume gran parte del tiempo de los ... -
Aprendizaje activo para la extracción de relaciones en textos
(2019)A la hora de realizar un trabajo de aprendizaje automático, podemos encontrarnos con una fuente abundante de datos sin etiquetar y que su etiquetado manual sea un proceso costoso. Una técnica útil en estos casos es permitir ...