Browsing Trabajos Especiales de Licenciaturas by Title
Now showing items 245-264 of 429
-
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
(2011-03-18)El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar model checking de tipo probabilista. En ... -
Implementación numérica del algoritmo de factorización de Shor
(2023-07-28)A pesar del descubrimiento de muchos algoritmos cuánticos con gran potencial teórico, a la fecha la principal limitación de la Computación Cuántica en la práctica es la poca escalabilidad de las computadoras cuánticas. El ... -
Inferencia de estructuras gramaticales mediante descomposiciones a estructuras simples
(2007)Desarrollamos técnicas para inferir etiquetas complejas a partir de poco material de entrenamiento. La idea consiste en separar las etiquetas en partes significativas y entrenar taggers para que infieran en ellas a partir ... -
Ingeniería de requisitos web orientada a aspectos con transformación de modelos
(2011-03-04)Los analistas usualmente describen requisitos usando notaciones involucrando conceptos técnicos que los clientes suelen desconocer. El expresar requisitos con notaciones legibles para los clientes (NLC) - es decir, que ... -
Inteligencia artificial en juegos : desarrollando un game partner utilizando generación de lenguaje natural
(2013)Actualmente la mayoría de los tutoriales en los videojuegos están hechos para que el jugador siga un script fijo. Por lo tanto, que un tutorial sea bueno o malo es todavía un arte que depende de cuán bueno sea el script ... -
Interpolación de operadores en espacios Lp
(2010-03)En el capítulo I presentamos el 'Teorema de convexidad de Riesz-Thorin' y diferentes aplicaciones. Y concluimos con el 'Teorema de interpolación de Riesz-Stein'. En el capítulo II, hacemos un breve estudio de 'operadores ... -
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. ... -
Inyección de fallas en procesadores RISC-V para caracterizar nodos DTN
(2023-09)Los procesadores RISC-V de código abierto se están popularizando cada vez más aceleradamente en diversos campos de aplicación. El hecho de que son procesadores de arquitectura y de código abierto permite implementar diversas ... -
Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria
(2024-05-10)El propósito de este trabajo es estudiar juegos estocásticos de dos jugadores con multiobjetivo. Uno de los objetivos es de alcanzabilidad de un conjunto de estados considerados exitosos y el otro es de recompensa total ... -
Keylogging para el estudio de los procesos cognitivos del traductor
(2015-07)En este trabajo se extiende una herramienta para adaptarla a la investigación de los procesos cognitivos involucrados en la traducción humana mediante el uso de técnicas de key-logging y de análisis estadístico de datos. Las ... -
Lentes gravitacionales en el fondo cósmico de microondas: caracterización de halos de materia oscura y alineación con la distribución de masa en gran escala
(2022-12)Se estudiaron las anisotropías relacionadas a los efectos de lentes gravitacionales débiles, mediante la correlación de los cúmulos de galaxias presentes en el Universo actual con la información procedente del mapa de ... -
Lentes gravitacionales fuertes : análisis y detección
(2015-03)En este trabajo especial estudiamos los métodos de detección de las lentes gravitacionales fuertes, enfocándonos principalmente en el análisis y la detección de arcos en estos sistemas. Se expondrán los distintos métodos ... -
Lentes plasmáticas en entornos de objetos compactos
(2022-03-28)La deflexión de la luz por potenciales gravitatorios es un fenómeno clásico de la Relatividad General. Es sabido que objetos compactos generan efectos de lente gravitacional convergente. En este trabajo, estudiaremos como ... -
Levitación acústica: principios básicos del funcionamiento de un levitador acústico
(2022)La levitación acústica consiste en un método versátil para levitar muestras en independencia de su composición, de forma estable y dinámica en el aire y utilizando ondas de ultrasonido. En el presente trabajo se estudia ... -
Líneas de control en nebulosas planetarias
(2018-10)En las regiones HII y, en particular, en las Nebulosas Planetarias, existen ciertas líneas de emisión cuyos cocientes no dependen de las propiedades físicas del objeto y por lo cual se las denomina líneas de control, ya ... -
Localización de grupos compactos en el entorno de vacíos cosmológicos
(2019-03)Los grupos compactos (GCs) son sistemas de galaxias de densidad extrema y bastante aislados, lo quelos convierte en un entorno muy especial para estudiar interacciones de galaxias. La naturaleza de los GCs ha sido un tema ... -
Localización visual inercial en tiempo real para aplicaciones de XR
(2022-03)Las aplicaciones de realidad virtual (VR), aumentada (AR) y sus derivadas, englobadas dentro del término XR, necesitan métodos para localizar y entender los movimientos realizados por el usuario y así poder actualizar ... -
Lógicas modales con datos infinitos
(2015-03)En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es ... -
Machine learning automatizado con aplicaciones a modelos predictivos reducidos
(2020-12)La detección directa de ondas gravitacionales a través de interferómetros, generadas por la coalescencia de un sistema binario, es uno de los descubrimientos más relevantes de la ciencia en los últimos años. Esto genera ... -
Magnetismo de defectos generados por irradiación electrónica en HOPG
(2014-05)La exploración del magnetismo inducido por defectos en materiales basados en el carbono está motivada por el desafío de encontrar métodos para la fabricación de magnetos a temperatura ambiente, de interés en sistemas de ...