Search
Now showing items 161-164 of 164
Relation-changing modal logics
(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, ...
Teoría y simulaciones en hidrodinámica ultrarrelativista y electrodinámica no lineal
(2019-03)
En esta tesis abordamos el estudio de ciertos sistemas hiperbólicos clásicos sobre espacio-tiempos curvos. La herramienta fundamental que empleamos a tal fin es la teoría de ecuaciones en derivadas parciales, enfatizando ...
Mejoras al testing exhaustivo acotado
(2015-03)
El Testing consiste en ejecutar una pieza de software con diferentes entradas para luego chequear si el resultado obtenido se corresponde con el resultado esperado. Se estima que esta actividad ocupa más de la mitad del ...
Estudio espectrofotométrico de la galaxia NGC 253
(2018-12)
NGC 253 es la galaxia más masiva del grupo del Escultor, es la galaxia más cercana en
evidenciar el fenómeno starburst, y observaciones recientes de ALMA demostraron que su
evolución global está afectada por el flujo de ...