Browsing Trabajos Especiales de Licenciaturas by Title
Now showing items 405-418 of 418
-
Usar la historia del diálogo para mejorar modelos de Visual Question Answering
(2022)En este trabajo presentamos algunas técnicas para poder crear modelos que utilicen el historial de una conversación para responder preguntas sobre una imagen. En particular desarrollamos sobre un modelo llamado Oráculo que ... -
Uso de análisis de componentes principales para el estudio de la estructura fina de espectros de dispersión Raman resonante de rayos X
(2014-03)El análisis de componentes principales (ACP) es una técnica estadística multivariada de análisis de datos de suma utilidad y amplio uso interdisciplinario. En particular puede ser utilizada para el análisis de la información ... -
Uso de planes relajados en grounding heurístico
(2021)Los planificadores en planning clásico encuentran planes con éxito aún para tareas realmente complejas. Para esto, la mayoría de planificadores realizan una etapa de preprocesamiento sobre la especificación de la tarea ... -
Uso de redes neuronales en el procesamiento de imágenes odontológicas
(2019-03-28)En este trabajo se aborda el problema de la detección de puntos característicos en imágenes médicas bidimensionales obtenidas mediante técnicas de rayos X, para lo cual se hizo uso de aprendizaje automático basado en ... -
Utilización de técnicas de aprendizaje automático para la detección de áreas de cultivos anegadas con imágenes satelitales
(2022-06-09)En este trabajo especial se da un punto de vista desde la Física a la distinción vía satélite de un campo inundado de uno no inundado. Se compone de dos grandes partes: en la primera (capítulos 1 y 2) se define el sistema ... -
El último Teorema de Fermat
(2021-03)El objetivo del presente trabajo es estudiar la demostración del Último Teorema de Fermat. En la primera parte se hablará acerca de las curvas elípticas y sus propiedades. Se mostrará cómo estas se relacionan a hipotéticas ... -
Variedades aproximadamente Kähler
(2013)En este trabajo se estudia una clase particular de variedades casi hermitianas, las variedades aproximadamente Kähler (NK). Estas variedades fueron introducidas por Alfred Gray en la década de los 70 y es a partir de sus ... -
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 ... -
Verificación en tiempo de ejecución con Streams
(2010)La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ... -
Verificación formal de código binario
(2015)Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ... -
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, ... -
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 ... -
Visualización de gradientes internos en sistemas porosos
(2011)Los materiales porosos son sistemas de gran interés en diversas áreas: en lo tecnológico puede destacarse el desarrollo de catalizadores, en generación de recursos la explotación de pozos petroleros y en el área de la salud ... -
Watershed topológico concurrente
(2015-05)La Transformación Watershed Topológico es un procedimiento de la morfología matemática, basado en la popular Transformación Watershed, cuyo fin es la segmentación de una imagen. Si bien existen algoritmos secuenciales ...
