Search
Now showing items 1-10 of 75
Redes convolucionales en comprensión de escenas
(2014-02-17)
Presentamos y aplicamos una técnica de extracción no-supervisada de features de imágenes (Redes Neuronales Convolucionales) al problema de comprensión de escenas. Abarcamos las sutilezas tanto para el diseño como para el ...
Biálgebras infinitesimales de multiplicadores y biálgebras de Lie de derivadores
(2014)
En esta comunicación se estudiarán nuevas estructuras que pueden ser de interés como soporte algebraico de ejemplos conocidos y generalizaciones de estructuras “clásicas”. Estas estructuras son “bi álgebras infinitesimales ...
Modelo de cálculo dosimétríco por convolución de Kernels en presencia de inhomogeneidades
(2014)
El auge de la medicina nuclear tanto en el diagnóstico por imágenes como en los procedimientos terapéuticos, requieren del estudio y desarrollo de nuevas técnicas y métodos en los cálculos dosimétricos con el fin de evaluar ...
Superficies isoperimétricas estables en Kerr y flujo de curvatura media
(2014-09-12)
Se estudia la evolución de hipersuperficies en datos iniciales de la ecuación de Einstein. Por medio de una ecuación de flujo que involucra principalmente la curvatura media de la hipersuperficie. Se obtiene la evolución ...
Lógicas modales con operadores de cambio de accesibilidad
(2014)
En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...
Modelado matemático de la interacción parásito-sistema inmune durante la enfermedad de Chagas
(2014-12)
En este trabajo se extiende un modelo matemático que describe la interacción competitiva del parásito Tripanosoma cruzi (agente causante de la enfermedad de Chagas) y el sistema inmune de su mamífero vertebrado hospedador ...
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 ...
Registro de imágenes de teledetección espacial
(2014)
El registro de imágenes se ha transformado en una de los procesos de mayor interés e importancia en el procesamiento de las mismas. Podemos observar que gran parte del registro, se sigue realizando de manera manual, lo ...
Estudio teórico de la estabilidad de flavinas sobre superficies de Ag(111)
(Universidad Nacional del Sur, 2014)
Recientemente se estudió mediante técnicas electroquímicas y ópticas no lineales la adsorción de flavinas sobre superficies monocristalinas de Ag(111). Las flavinas presentan estructura ordenadas, las cuales, en algunos ...
Benchmarking y optimización de algoritmos criptográficos
(2014)
El presente trabajo presenta los resultados de la optimización de algoritmos criptográficos en procesadores que disponen de las nuevas instrucciones AES, desarrolladas por Intel. En particular se trabajó sobre AES-CPFB y ...