Search
Now showing items 51-60 of 161
Mapeos de lenguaje de consulta a esquemas XML
(2018-04)
Recientemente se ha estudiado cómo transicionar o mapear modelos de requisitos junto con esquemas de datos a diagramas de interfaz de usuario (UI). Pero no se encontraron trabajos que partan de una etapa previa, o sea desde ...
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 ...
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
(2010)
En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El
objetivo de este trabajo final es implementar ...
Análisis de estructuras de sufijos de strings
(2021)
El problema de desarrollar algoritmos que decidan si un cierto patrón o palabra aparece o no en un determinado texto es fundamental en ciencias de la computación. Diversos algoritmos se han desarrollado en las últimas ...
Algoritmos de tableaux para Xpath con datos
(2018-03-28)
En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de ...
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)
En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...
Simulación de eventos raros con Importance Splitting, extendiendo FIG con Fixed Effort y Fixed Sucess
(2018-12-03)
Un problema que surge al hacer simulación para validar sistemas críticos es cuando el evento a analizar exhibe una probabilidad muy baja. En este trabajo nos enfocamos en la técnica de Importance splitting (división por ...
Reingeniería de "Presentes" : una base de datos sobre el accionar del Terrorismo de Estado
(2015)
“Presentes” es un software utilizado por el Archivo Provincial de la Memoria para la investigación del accionar del terrorismo de estado en la provincia de Córdoba. El sistema no fue sesarrollado mediante un proceso de ...
Análisis multiobjetivo sobre DTNs
(2023-06-14)
En este trabajo se aborda el desafío de la comunicación espacial e interplanetaria a través del uso de redes tolerantes a demoras (DTNs) con un enfoque basado en procesos de decisión de Markov (MDPs). Se emplea la verificación ...
Automatización de la adquisición y análisis de parámetros indicadores de degradación en MOSFET de potencia
(2020-07)
Los transistores MOSFET (transistor de efecto de campo metal-óxido-semiconductor) de potencia se utilizan principalmente para amplificar o conmutar señales electrónicas. Existen aplicaciones en las que estos transistores ...