Search
Now showing items 801-810 of 837
Correspondencia de Langlands en dimensión 1
(2019)
Este trabajo tiene como principal objetivo exponer la correspondencia de Langlands en dimensión 1. Dicha correspondencia está dada entre representaciones de Galois de dimensión 1 y caracteres de Hecke. Para estudiarla, se ...
Algoritmos y análisis de imágenes no convencionales de rayos X
(2011)
En este trabajo se estudian diferentes algoritmos de reconstrucción de imágenes basadas en un analizador de rayos X, con el objeto de separar los efectos de absorción,
refracción y dispersión a ultra bajo ángulo, como ...
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 ...
Invariants of complex structures on nilmanifolds
(2015)
Let (N, J) be a simply connected 2n-dimensional nilpotent Lie group endowed with an invariant complex structure. We define a left invariant Riemannian metric on N compatible with J to be minimal, if it minimizes the norm ...
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 ...
Estudio de la transferencia radiativa de nubes en la región de microondas - RTM
(2011)
Se elaboró un modelo que simula la interacción de la radiación con la parte líquida de las nubes en la región de microondas (23.8 y 36.5GHz) y su correspondiente código. Se creó y codificó un modelo geométrico para las ...
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
(2015-05)
Es ampliamente aceptado que los errores son más fáciles (y menos costosos) de corregir si se capturan lo más temprano posible en el proceso de desarrollo. Luego, obtener una especificación de requisitos de buena calidad, ...
Validación de la emisividad y temperatura de la superficie del suelo usando datos del satélite LANDSAT 8
(2014)
El objetivo de la presente tesis es la validación de la emisividad y temperatura de la superficie para parcelas agrícolas de Argentina y Perú usando datos del satélite Landsat 8. Para lograrlo se ha construido instrumento ...
Calibration method for confocal X-ray microanalysis with polychromatic excitation
(2015)
To apply the fundamental parameters method at the confocal setup the knowledge of the sensitivity of the spectrometer is required which depends on the characteristics of two X-ray lenses: one in the excitation channel and ...
Introducción a la función afín con distintos medios tecnológicos en tercer año de educación secundaria
(2018-11-22)
En el presente informe describiremos nuestra experiencia durante la práctica profesional docente llevada a cabo en el marco de la asignatura Metodología y Práctica de la Enseñanza, realizada en dos cursos de tercer año en ...