Buscar
Mostrando ítems 21-30 de 41
Una semántica basada en juegos para la programación lógica rebatible
(2010)
El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la ...
Tolerancia a fallas y gestión de carga en entornos federados
(2011)
Existe una creciente demanda de sistemas online, especial-mente de aquellos que requieren procesamiento de informa-ción. Esta demanda sumada a las nuevas tecnologías de monitoreo (como por ejemplo las redes de sensores) ...
Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
(2013)
El comportamiento debe contemplarse desde etapas tempranas del desarrollo
de software. En este contexto el modelado declarativo incremental constituye una opción
atractiva para capturar y analizar los requerimientos con ...
Los esquemas de argumentación y el pensamiento crítico en la inteligencia artificial
(2016)
Los esquemas de argumentación son entendidos en la Inteligencia Artificial como patrones
de razonamiento semi-estructurados subyacentes a las conversaciones, textos o
discursos escritos. La utilidad práctica de los mismos ...
Formalización y generalización del manejo de preferencias en servicios de razonamiento rebatible
(2017)
Esta tesis aborda el estudio, diseño y formalización de herramientas computacionales
concretas para seleccionar y cambiar el criterio de preferencia entre argumentos que es
utilizado por el sistema de Programación Lógica ...
El método del gradiente espectral proyectado acelerado mediante paralelismo : aplicaciones a ingeniería de procesos
(2014)
En el área de Ingeniería de Procesos abundan los problemas de
optimización no lineales. En busca de formulaciones más realistas ha aumentado la
exigencia de un modelado riguroso. Como complejidades incorporadas, al aumento ...
Desarrollo de métodos analíticos y de predicción para informática molecular basados en técnicas de aprendizaje automático y visualización
(2017)
Los distintos procesos involucrados en la industria química deben ser estudiados cuidadosamente con el fin de obtener productos de calidad al menor costo y causando el mínimo daño al medio ambiente (ej. industria de polímeros ...
Desarrollo de técnicas de computación evolutiva : multiobjetivo y aprendizaje automático para la inferencia, modelado y simulación de redes regulatorias
(2014)
Durante las últimas décadas el desarrollo de la bioinformática nos ha permitido lograr una mayor
comprensión de los procesos biológicos que ocurren con nuestras células a nivel molecular. Al
respecto, las mejoras e ...
Modelos de madurez para la mejora de calidad de los datos de los indicadores de desarrollo sostenible
(2019)
La agenda global de desarrollo está definida por los Objetivos de Desarrollo Sostenible – un conjunto de 17 objetivos acordados por todos los Estados Miembros de las Naciones Unidas en el año 2015 que promueven acciones ...
Metodologías y herramientas visuales para Ingeniería Ontológica
(2018)
El objetivo principal de esta tesis es estudiar la retroalimentación entre los
sistemas de representación visual de conocimiento y los formalismos lógicos,
y definir la teoría subyacente a esta interacción, mediante la ...