Search
Now showing items 81-90 of 1282
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 ...
Depth distribution of martensite in plasma nitrided AISI H13 steel and its correlation to hardness
(2015)
The depth distributions of hardness, nitrogen, and crystallographic phases in the diffusion zone of plasma nitrided AISI H13 steel were determined by microindentation, electron microprobe, grazing incidence X-ray diffraction, ...
Procesamiento de imágenes satelitales para generación de productos en entorno automatizado
(2009)
La gran cantidad de imágenes satelitales con la que se dispone hoy en día requiere de un procesamiento eficiente para obtener el mayor rédito posible de los datos que éstas brindan. La ingeniería del software permite ...
Semántica estática para un lenguaje Pascal-like
(2021)
Este trabajo consiste en el diseño e implementación de un lenguaje de programación estructurado basado en el lenguaje Pascal, orientado al aprendizaje de algoritmos y estructura de datos. El mismo es utilizado actualmente ...
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 ...
Las dinámicas discursivas en el aula y su relación con el aprendizaje de conceptos en física
(2021)
El objetivo de esta tesis de doctorado es analizar de qué manera se relacionan las dinámicas discursivas con el aprendizaje de conceptos en aulas reales en las que se dan clases de física. Para llevar adelante la investigación ...
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. ...
Métodos de escalarización en optimización multiobjetivo
(2020)
La vida inevitablemente involucra la toma de decisiones y elecciones y es natural querer que estas sean las mejores posibles, en otras palabras, sean óptimas. La dificultad aquí radica en el conflicto (al menos parcial) ...
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 ...