Search
Now showing items 161-168 of 168
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 ...
Galaxías débiles en el entorno de grupos fósiles
(2014)
En el presente trabajo se llevó a cabo un estudio estadítico sobre grupos fósiles identificados en simulaciones numéricas combinadas con modelos semianalíticos de formación de galaxias. Se construyeron dos muestras de ...
Aprendizaje activo para mejorar el arranque en frío de sistemas de recomendación
(2016)
Cuando un nuevo usuario hace uso de un sistema de recomendación, no se tiene suficiente información sobre sus preferencias para producir recomendaciones precisas. Este problema es conocido como "arranque en frío". Para ...
Simulación de incendios forestales
(2010)
Los incendios que han acompañado a la provincia de Córdoba desde hace muchos años son un problema cada vez mas difícil de abordar. En parte, por la falta de tecnología que ayude a su prevención y lucha. Proponemos e ...
Invariantes de grupos finitos
(2015-03)
En este trabajo se realiza un repaso por la teoría de invariantes de grupos finitos y de grupos racionales. Se introducen las nociones básicas de geometría algebráica y los preliminares de álgebra conmutativa necesarios. ...
Teorema del peso máximo
(2011-09-05)
Este trabajo es sobre la clasificación, módulo equivalencia, de las representaciones irreducibles de dimensión finita de álgebras de Lie complejas semisimples de dimensión finita.
El Teorema del peso máximo describe a las ...
Fabricación de membranas de alúmina nanoestructuradas: implementación y optimización de nuevas configuraciones experimentales
(2015)
En este trabajo se persigue como objetivo general la implementación y optimización de dispositivos experimentales, funcionales a la síntesis de membranas de alúmina porosa en distintas condiciones. Para ello, se propone ...