Search
Now showing items 51-60 of 626
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
(2014-03)
En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teorías (SMT). Desarrollamos el marco teórico para utilizar las simetrías de
una fórmula modal utilizando el ...
Influencia de los factores de conservación de la muestra en la determinación de alcoholemia
(2018-05-02)
En el presente trabajo se ensayan diferentes condiciones de conservación de la muestra biológica (sangre) en la determinación de alcohol, las que pueden afectar los resultados obtenidos. El propósito de este estudio fue ...
Ingeniería de requisitos web orientada a aspectos con transformación de modelos
(2011-03-04)
Los analistas usualmente describen requisitos usando notaciones involucrando conceptos técnicos que los clientes suelen desconocer. El expresar requisitos con notaciones legibles para los clientes (NLC) - es decir, que ...
Generación de Mapas de Temperatura Radiativa de Superficie Utilizando Datos de Baja Resolución Espacial Mediante Diferentes Técnicas de Remuestreo
(2011-09)
La temperatura de superficie (Ts) es una variable importante dentro del modelado del balance de energía y parámetro fundamental para la estimación de variables hidrológicas como la humedad de suelo y la evapotranspiración. ...
Aplicación del método científico como función de la escala del sistema
(2015)
Presentamos un estudio de la modalidad en que se aplica el método científico en diversas investigaciones, como función de la escala del sistema bajo estudio, concentrándonos principalmente en los aspectos físicos de las ...
Geometría del plano hiperbólico
(2019)
En este trabajo estudiamos la geometría del plano hiperbólico siguiendo un esquema axiomático similar al de la geometría euclídea. Ambas geometrías coinciden en sus bases, salvo por reemplazar el Axioma de las paralelas o ...
Diseño de rutas y paradas óptimas para el tranporte público de pasajeros
(2015-08-07)
En este trabajo se estudia el problema de diseñar una nueva línea de colectivo para un sistema de transporte urbano masivo de pasajeros dado, con el objetivo de mejorar la eficiencia total del sistema. Para ello se considera ...
Recomendación de información basada en análisis de redes sociales y procesamiento de lenguaje natural
(2017-07-19)
El presente trabajo se origina en el estudio de técnicas de Análisis de Redes Sociales para mejorar la calidad de un recomendador de contenido para entornos corporativos. Estudiamos el problema de recomendación de contenido ...
Funciones zeta de grupos
(2015-08)
En esta tesis se estudian funciones zeta de grupos virtualmente nilpotentes. Por un lado se estudia la relación entre la abscisa de convergencia de estas funciones zeta con la estructura del grupo en consideración. Se ...
Simulación de modelos estadísticos correlacionados para imágenes de radar de apertura sintética
(2015-05)
En este trabajo se presentan algoritmos para la simulación de imágenes SAR a partir de modelos estadísticos con distribuciones Gamma, K y G con su caso particular en la familia de estas distribuciones a la distribución G ...