Search
Now showing items 251-260 of 271
Predicción de tendencias en redes sociales basada en características sociales y contenido
(2018-04-30)
En el marco del análisis de redes sociales éste trabajo busca capturar el comportamiento
de los usuarios influyentes sobre una publicación determinada. Con esta información,
la intención es generar un modelo de aprendizaje ...
Verificación formal de protocolos distribuidos
(2019)
En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ...
Búsqueda de Planemos en la Nube Oscura Lynds 1495
(2011-05)
En este trabajo se presenta una búsqueda de Planemos (Planetary Mass Objects) en la nube oscura L 1495 en el complejo molecular de Tauro. Se emplean observaciones en las bandas K(2.2 μm) y H(1.6 μm) obtenidas con la cámara ...
Iluminación global en DirectCompute
(2014)
Los algoritmos de iluminación global aumentan el grado de realismo obtenido en la renderización de escenas tridimensionales al modelar detalladamente el comportamiento de la luz. Su uso en motores de renderizado 3D en ...
Una propuesta de accesibilidad en expresiones matemáticas para la comunidad de ciegos y disminuídos visuales
(2017)
La accesibilidad a la bilbiografía de áreas técnicas como la matemática es un tema importante para que la educación sea cada vez más inclusiva. Aún así, como lo es de importante puede que lo sea de complejo. Uno de los ...
Dinámica de un micronadador autopropulsado en un flujo de cizallamiento
(2017-07-05)
Utilizando simulaciones numéricas del tipo Dinámica de Stokes, se estudia el movimiento de micronadadores sometidos a un flujo de cizalla.
Resulta de gran interés entender la interacción entre la manera en que se propulsa ...
Métricas del espaciotiempo representando masa, estimada dinámicamente, y materia oscura
(2013-03)
En este trabajo especial, presentamos una solución exacta de las ecuaciones de la relatividad general que ajusta correctamente datos observacionales del cúmulo de Coma, correspondientes a estimaciones dinámicas de la materia ...
Reducción de orden parcial en model checking probabilista simbólico
(2010)
El problema fundamental de los model checkers es la explosión exponencial del espacio de estados que se produce al agregar nuevas componentes o variables. El problema se exacerba en los model checkers probabilistas dado ...
Botrix : plugin de bots colaborativos dentro de un juego 3D
(2013)
Botrix es un plugin (un módulo de software) que ofrece creación y manejo de bots colaborativos. Un bot es un jugador artificial manejado por la computadora. Originalmente el plugin está hecho para el juego Half-Life 2: ...
Análisis de binarios usando ejecución simbólica
(2018)
En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ...